General Formal Ontology (GFO)
language en

General Formal Ontology (GFO)

This version:
https://w3id.org/gfo/release/2024-11-18
Previous version:
https://w3id.org/gfo/release/2024-07-05
Revision:
2024-11-18
Imported Ontologies:
base
Download serialization:
JSON-LD RDF/XML N-Triples TTL
License:
http://creativecommons.org/licenses/by/4.0/
Cite as:
General Formal Ontology (GFO). Revision: 2024-11-18. Retrieved from: https://w3id.org/gfo/release/2024-11-18
DOI:
10.5281/zenodo.5205419
Vocabulary maintained at:
https://github.com/Onto-Med/GFO
Provenance of this page
Ontology Specification Draft

Table of contents

General Formal Ontology (GFO): Overview back to ToC

This ontology has the following classes and properties.

Classes

Object Properties

Annotation Properties

Cross-reference for General Formal Ontology (GFO) classes, object properties and data properties back to ToC

This section provides details for each class and property defined by General Formal Ontology (GFO).

Classes

Abstractc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Abstract

Abstract individuals are independent from time and space (they are not in time and space). Examples: the number "2" or pi.

has super-classes
Individual c
is disjoint with
Concrete c, Space time c

Actionc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Action

Actions are occurents which are caused by some presential (the agent) at every (inner and outer) time-boundary of the chronoid framing the occurent.

has super-classes
Occurrent c

Amount of substratec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Amount_of_substrate

is equivalent to
Mass entity c
has super-classes
Continuous c, Presential c

Awareness levelc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Awareness_level

has super-classes
Level c

Biological levelc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Biological_level

has super-classes
Level c

Categoryc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Category

Categories satisfy the following conditions: (1) Categories can be instantiated; (2) Categories can be predicated of other entities. Categories are defined intensional-with-an-s. They are, therefore, closely related to language.

has super-classes
Item c
has sub-classes
Concept c, Ontological layer c, Symbol structure c, Universal c
is in domain of
has categorial part op, instantiated by op
is in range of
has categorial part op, has category op, instance of op
is disjoint with
Individual c

Changec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Change

A change in the technical sense refers to a pair of process boundaries. Either at coinciding boundaries (then it comes close to notions like punctual'' or instantaneous event'' as well as ``moment'' -- in a temporal reading), or at boundaries at the opposite ends of a process of arbitrary extension. The notion of change is relative to contradictory conditions between which a transition takes place. These contradictions refer to some collection of pairwise disjoint universals.

has super-classes
Occurrent c
has sub-classes
Continuous change c, Extrinsic change c, Instantanuous change c, Intrinsic change c
is disjoint with
History c, Process c

Chemical levelc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Chemical_level

has super-classes
Level c

Chronoidc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Chronoid

Chronoids are entities sui generis. Every chronoid has exactly two extremal and infinitely many inner time boundaries which are equivalently called time-points.

has super-classes
Temporal region c
is in domain of
has time boundary op
is in range of
time boundary of op

Conceptc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Concept

has super-classes
Category c
has sub-classes
Function c
is disjoint with
Symbol structure c, Universal c

Concretec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Concrete

Concrete individuals have a relation to time or space (they are in time and space).

has super-classes
Individual c
has sub-classes
Occurrent c, Presential c, Property c, Property value c, Role c, Token c
is in domain of
has part op, part of op
is in range of
has part op, part of op
is disjoint with
Abstract c, Space time c

Configurationc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Configuration

We consider a collection of presential facts which exist at the same time-boundary. Such collections may be considered themselves as presentials, and we call them configurations. It is further required that configurations contain at least one material object.

has super-classes
Presential c
has sub-classes
Situation c
is in domain of
goal of op, has constituent part op, requirement of op
is disjoint with
Material boundary c, Material object c

Configuroidc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Configuroid

Configuroids are, in the simplest case, integrated wholes made up of material structure processes and property processes.

has super-classes
Process c
has sub-classes
Situoid c
is in domain of
goal of op, has constituent part op, requirement of op

Continuousc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Continuous

is equivalent to
Individual c and (not (Discrete c))
has super-classes
Individual c
has sub-classes
Amount of substrate c, Continuous process c, Mass entity c

Continuous changec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Continuous_change

For the purpose of formalizing continuous changes, a minimal chronoid universal D(c) is employed in order to capture the idea of observable differences during certain chronoids, whereas the change itself does not allow the observation of a difference. The predicate change(e1,e2, u1, u2, u, D(c)) is intended to formalize this approach. Continous changes occur over time (a chronoid).

is equivalent to
Intrinsic change c
has super-classes
Change c

Continuous processc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Continuous_process

Processes where all non-coinciding internal boundaries are intrinsic changes. These turn out as purely continuous processes, described e.g. in physics by differential equations.

has super-classes
Continuous c, Process c
is disjoint with
Discrete process c

Dependentc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Dependent

is equivalent to
depends on op some Item c
has super-classes
Individual c
has sub-classes
Material boundary c, Property c, Property value c, Relational role c
is disjoint with
Independent c

Discretec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Discrete

has super-classes
Individual c
has sub-classes
Discrete presential c, Discrete process c

Discrete presentialc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Discrete_presential

has super-classes
Discrete c, Presential c
has sub-classes
Material object c, Material structure c
is disjoint with
Mass entity c

Discrete processc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Discrete_process

Discrete processes are made up of alterations of extrinsic changes and states.

has super-classes
Discrete c, Process c
is disjoint with
Continuous process c

Entityc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Entity

Everything which exists is called an entity.

is equivalent to
Item c or Set c
has sub-classes
Item c, Set c
is in domain of
instance of op, member of op
is in range of
has member op

Extrinsic changec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Extrinsic_change

Deprecated. Extrinsic changes are represented by change(e1,e2, u1, u2, u), where e1 and e2 are a pair of coincident process boundaries, and u1 and u2 are disjoint sub-universals of u.

is equivalent to
Instantanuous change c
has super-classes
Change c
is disjoint with
Intrinsic change c

Functionc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Function

A function F is a universal (conceptual structure) defined in purely teleological terms with respect to a given goal G which commonly is ascribed by means of has-function relation to entities that are the realizations of the function F, execute such a realization or are intended to do it.

has super-classes
Concept c
is in domain of
has function determinant op, has functional item op, has goal op, has requirement op
is in range of
function determinant of op, has function op, realizes op

Historyc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/History

Histories consist of a number of process boundaries. We assume that any history can be embedded into a process, which then forms a foundation of the history. If it were not for this foundation, one would face the problem of singling out the right boundaries in order to get a natural history: It is not sensible to measure the temperature of a patient first, then determine his weight, followed by measuring his blood pressure and to consider these strangely arbitrary process boundaries as a history of the patient's body data.

has super-classes
Occurrent c
is disjoint with
Change c, Process c

Independentc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Independent

has super-classes
Individual c
has sub-classes
Social role c
is disjoint with
Dependent c

Individualc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Individual

Individuals are entities which cannot be further instantiated.

is equivalent to
(Abstract c or Concrete c or Space time c) and (Dependent c or Independent c) and (Role c or (Individual c and (not (Role c))))
has super-classes
Item c
has sub-classes
Abstract c, Concrete c, Continuous c, Dependent c, Discrete c, Independent c, Presential c, Relator c, Space time c
is in domain of
has function op, on layer op, realizes op
is in range of
has function determinant op, layer of op, role of op
is disjoint with
Category c

Instantanuous changec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Instantanuous_change

Instantanuous changes are represented by change(e1,e2, u1, u2, u), where e1 and e2 are a pair of coincident process boundaries, and u1 and u2 are disjoint sub-universals of u. Instantanuous changes are therefore changes of properties on two coinciding time boundaries.

has super-classes
Change c

Intrinsic changec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Intrinsic_change

Deprecated. For the purpose of formalizing intrinsic changes, a minimal chronoid universal D(c) is employed in order to capture the idea of observable differences during certain chronoids, whereas the change itself does not allow the observation of a difference. The predicate change(e1,e2, u1, u2, u, D(c)) is intended to formalize this approach.

has super-classes
Change c
is disjoint with
Extrinsic change c

Itemc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Item

An item is everything which is not a set. Also called ur-element.

is equivalent to
Category c or Individual c
has super-classes
Entity c
has sub-classes
Category c, Individual c
is in domain of
abstract has part op, abstract part of op, depends on op, necessary for op
is in range of
abstract has part op, abstract part of op, depends on op, necessary for op
is disjoint with
Set c

Levelc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Level

An ontological level, which is sth. more restricted and "part of" some gfo:Stratum.

has super-classes
Ontological layer c
has sub-classes
Awareness level c, Biological level c, Chemical level c, Personality level c, Physical level c
is in domain of
level of op
is in range of
on level op
is disjoint with
Stratum c

Linec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Line

is equivalent to
spatial boundary of op some Surface c
has super-classes
Spatial boundary c

Mass entityc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Mass_entity

has super-classes
Continuous c, Presential c
is disjoint with
Discrete presential c

Material boundaryc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Material_boundary

has super-classes
Dependent c, Presential c
has sub-classes
Material line c, Material point c, Material surface c
is disjoint with
Configuration c, Material object c

Material linec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Material_line

has super-classes
Material boundary c
is disjoint with
Material point c, Material surface c

Material objectc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Material_object

A material structure is an individual which satisfies the following conditions: it is a presential, it occupies space, it is a bearer of qualities, but other entities cannot have it as quality, and it consists of an amount of substrate, and it instantiates a persistant ("has identity").

is equivalent to
Material structure c
has super-classes
Discrete presential c
is in domain of
framed by op
is in range of
frames op
is disjoint with
Configuration c, Material boundary c

Material persistantc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Material_persistant

Material persistants are particular universals whose instances are material structures; they are related to those entities which are called sometimes continuants or objects, as apples, cars or houses. Material persistants capture the phenomenon of persistance through time of a material object. A material persistant P satisfies a number of neccessary conditions. For every material persistant P there exists a process P such that the set of instances of P coincides with the set of process-boundaries of P. This implies the existence of a chronoid c such that for every time-point t of c there exists exactly one instance of P at time point t.

has super-classes
Persistant c

Material pointc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Material_point

has super-classes
Material boundary c
is disjoint with
Material line c, Material surface c

Material stratumc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Material_stratum

According to (Poli,2001), the basic structure of the material stratum is a distinction of physical, chemical and biological levels. These levels can be further refined.

has super-classes
Stratum c

Material structurec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Material_structure

has super-classes
Discrete presential c

Material surfacec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Material_surface

has super-classes
Material boundary c
is disjoint with
Material line c, Material point c

Mental stratumc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Mental_stratum

In accordance with the work of R. Poli, we divide the psychological/mental stratum into the layer of awareness and the layer of personality. Awareness comprises most of what is studied by cognitive science (perception, memory, reasoning, etc). Personality on the other hand concerns the phenomenon of will and the way in which someone reacts to her experiences.

has super-classes
Stratum c

Occurrentc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Occurrent

Occurents have temporal parts and thus cannot be present at a time-boundary. Time belongs to them, because they happen in time and the time of the occurent is built into it. The relation between an occurent and a chronoid is determined by the projection relation. Occurents are also called generalized processes in the GFO.

has super-classes
Concrete c
has sub-classes
Action c, Change c, History c, Process c
is in domain of
caused by op, has participant op, projects to op
is in range of
caused by op, participates in op
is disjoint with
Presential c

Ontological layerc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Ontological_layer

Ontological_layer, all of its subconcepts and the properties layer_of and on_layer are work in progress in a premature beta state.

Current version:
Beta
has super-classes
Category c
has sub-classes
Level c, Stratum c
is in domain of
has category op, layer of op
is in range of
on layer op

Persistantc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Persistant

Persistants are GFO's way to capture identity over time. GFO pursues an approach which accounts for persistence by means of a suitable universal whose instances are presentials. Such universals are called persistants. These do not change and they can be used to explain how presentials which have different properties at different times can nevertheless be the same.

has super-classes
Universal c
has sub-classes
Material persistant c

Personality levelc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Personality_level

has super-classes
Level c

Physical levelc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Physical_level

has super-classes
Level c

Pointc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Point

is equivalent to
spatial boundary of op some Line c
has super-classes
Spatial boundary c

Presentialc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Presential

A presential exists wholly at exactly one time boundary.

has super-classes
Concrete c, Individual c
has sub-classes
Amount of substrate c, Configuration c, Discrete presential c, Mass entity c, Material boundary c
is in domain of
caused by op, exists at op, occupies op, participates in op
is in range of
caused by op, has participant op, occupied by op
is disjoint with
Occurrent c

Processc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Process

Processes are a special kind of occurent. Processes are directly in time, they have characteristics which cannot be captured by a collection of time boundaries.

has super-classes
Occurrent c
has sub-classes
Configuroid c, Continuous process c, Discrete process c, Processual role c, State c
is disjoint with
Change c, History c

Processual rolec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Processual_role

Processual roles are dependent processes. They are roles with a process as context.

has super-classes
Process c, Role c
is disjoint with
Relational role c, Social role c

Propertyc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Property

has super-classes
Concrete c, Dependent c
is in domain of
has value op
is in range of
value of op
is disjoint with
Relator c

Property valuec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Property_value

The concept of a property value reflects a relationship between the property of x and the same property as exhibited by another entity y.

is equivalent to
value of op some Property c
has super-classes
Concrete c, Dependent c
is in domain of
value of op
is in range of
has value op

Relational rolec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Relational_role

has super-classes
Dependent c, Role c
is disjoint with
Processual role c, Social role c

Relatorc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Relator

has super-classes
Individual c
is disjoint with
Property c

Rolec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Role

has super-classes
Concrete c
has sub-classes
Processual role c, Relational role c, Social role c
is in domain of
functional item of op, role of op
is in range of
has functional item op, plays role op

Setc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Set

Set is a category pertaining to the individuals in the ZFC set theory.

has super-classes
Entity c
is in domain of
has member op
is in range of
member of op
is disjoint with
Item c

Situationc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Situation

A situation is a special configuration which can be comprehended as a whole and satisfies certain conditions of unity, which are imposed by relations and categories associated with the situation. Herein, we consider situations to be the most complex kind of presentials.

has super-classes
Configuration c

Situoidc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Situoid

Situoids are processes whose boundaries are situations and which satisfy certain principles of coherence, comprehensibility, and continuity. They are regarded as the most complex integrated wholes of the world. A situoid is, intuitively, a part of the world which is a coherent and comprehensible whole and does not need other entities in order to exist. Every situoid has a temporal extent and is framed by a topoid.

has super-classes
Configuroid c

Social rolec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Social_role

has super-classes
Independent c, Role c
is disjoint with
Processual role c, Relational role c

Social stratumc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Social_stratum

On the one hand, the social stratum is divided into Agents and Institutions. Agents are the bearers of the social roles that humans play. Institutions are defined as systems of interrelated social components. On the other hand, a social system can be seen as a network in which businesses, politics, art, language (and many other facets) both present their own features and influence each other.

has super-classes
Stratum c

Spacec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Space

GFO uses Brentano space.

has super-classes
Space time c
has sub-classes
Spatial boundary c, Spatial region c
is in domain of
occupied by op
is in range of
occupies op, spatial boundary of op
is disjoint with
Time c

Space timec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Space_time

has super-classes
Individual c
has sub-classes
Space c, Time c
is disjoint with
Abstract c, Concrete c

Spatial boundaryc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Spatial_boundary

Boundaries of regions are surfaces, boundaries of surfaces are lines, and boundaries of lines are points. As in the case of time-boundaries, spatial boundaries have no independent existence, i.e. they depend on the spatial entity of which they are boundaries.

is equivalent to
spatial boundary of op some Space c
has super-classes
Space c
has sub-classes
Line c, Point c, Surface c
is in domain of
spatial boundary of op
is in range of
has spatial boundary op
is disjoint with
Spatial region c

Spatial regionc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Spatial_region

Space regions are mereological sums of topoids.

has super-classes
Space c
has sub-classes
Topoid c
is disjoint with
Spatial boundary c

Statec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/State

A process without an instantanuous change at any of its inner time boundaries is called a state.

has super-classes
Process c

Stratumc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Stratum

According to (Poli, 2001, 2002) (based on the philosopher Hartmann) we distinguish at least three ontological strata of the world: the material stratum, the mental/psychological stratum, and the social stratum stratum. Every entity of the world participates in certain strata and levels. We take the position that the layers are characterized by integrated systems of categories. Hence, a layer can be understood as a meta-category whose instances are categories of certain kinds. Among these levels specific forms of categorial and existential dependencies hold. For example, a mental entity requires an animate material object as its existential bearer.

has super-classes
Ontological layer c
has sub-classes
Material stratum c, Mental stratum c, Social stratum c
is in domain of
stratum of op
is in range of
on stratum op
is disjoint with
Level c

Surfacec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Surface

is equivalent to
spatial boundary of op some Topoid c
has super-classes
Spatial boundary c

Symbolc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Symbol

has super-classes
Symbol structure c
is in domain of
sequence constituent of op

Symbol sequencec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Symbol_sequence

has super-classes
Symbol structure c
is in range of
sequence constituent of op

Symbol structurec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Symbol_structure

has super-classes
Category c
has sub-classes
Symbol c, Symbol sequence c
is in domain of
has token op
is disjoint with
Concept c, Universal c

Temporal regionc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Temporal_region

Time Regions are defined as the mereological sum of chronoids, i.e. time regions may consist of non-connected intervals of time.

has super-classes
Time c
has sub-classes
Chronoid c
is in range of
projects to op
is disjoint with
Time boundary c

Timec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Time

The time model of GFO is based on Brentano and the glass continuum of Allen&Hayes.

has super-classes
Space time c
has sub-classes
Temporal region c, Time boundary c
is disjoint with
Space c

Time boundaryc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Time_boundary

Time boundaries depend on a chronoids (i.e. they have no independent existence) and can coincide.

has super-classes
Time c
is in domain of
time boundary of op
is in range of
exists at op, has time boundary op
is disjoint with
Temporal region c

Tokenc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Token

has super-classes
Concrete c
is in range of
has token op

Topoidc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Topoid

Topoids are connected compact regions of space. They have spatial boundaries.

has super-classes
Spatial region c
is in domain of
frames op
is in range of
framed by op

Universalc back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Universal

Universals are immanent universals. They exist in re.

has super-classes
Category c
has sub-classes
Persistant c, Value space c
is disjoint with
Concept c, Symbol structure c

Value spacec back to ToC or Class ToC

IRI: https://w3id.org/gfo/base/Value_space

Property values usually appear in groups which are called value structures, value spaces or measurement systems. Each of these structures corresponds to some property. More intuitively, one could say that the property may be measured with respect to some measurement system. For instance, sizes may be measured with the values small'' big'' or very big'', which are the elements of one value structure. The notion of a value structure of a property is similar to a quality dimension in (Gardenfors, 2000). Further, value structures are related to quality spaces in DOLCE (Masolo, 2003}. A quality space consists of all quales'' (our property values) of some quality'' (our property). Often it seems to be the case that a notion of distance can be defined, and that certain layers of value structures are isomorphic to some subset of real numbers, which allows for a mapping of values to pairs of a real number and a unit, as in the case of 10 kg''.

has super-classes
Universal c

Object Properties

abstract has partop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/abstract_has_part

has characteristics: transitive

has sub-properties
has categorial part op, has part op
has domain
Item c
has range
Item c
is inverse of
abstract part of op

abstract part ofop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/abstract_part_of

The abstract part-of relation is denoted by p(x,y); the argument-types of this relation are not specified, i.e. we allow arbitrary entities to be arguments. We assume that p(x,y) satisfies the condition of a partial ordering, .i.e. the following axioms: reflexivity, antisymmetry and transitivity.

has characteristics: transitive

has sub-properties
categorial part of op, part of op
has domain
Item c
has range
Item c
is inverse of
abstract has part op

agent inop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/agent_in

has super-properties
causes op, participates in op
is inverse of
has agent op

boundary ofop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/boundary_of

has super-properties
depends on op
has sub-properties
spatial boundary of op, time boundary of op
is inverse of
has boundary op

categorial part ofop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/categorial_part_of

has super-properties
abstract part of op
has sub-properties
category in layer op, sequence constituent of op
is inverse of
has categorial part op

category in layerop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/category_in_layer

has super-properties
categorial part of op
is inverse of
has category op

caused byop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/caused_by

has domain
Occurrent c or Presential c
has range
Occurrent c or Presential c
is inverse of
causes op

constituent part ofop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/constituent_part_of

has super-properties
proper part of op
is inverse of
has constituent part op

depends onop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/depends_on

This relation captures the notion of existential dependence.

has sub-properties
boundary of op
has domain
Item c
has range
Item c
is inverse of
necessary for op

exists atop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/exists_at

has characteristics: functional

has domain
Presential c
has range
Time boundary c

framed byop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/framed_by

has characteristics: functional

has super-properties
occupies op
has domain
Material object c
has range
Topoid c
is inverse of
frames op

framesop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/frames

has characteristics: inverse functional

has domain
Topoid c
has range
Material object c
is inverse of
framed by op

function determinant ofop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/function_determinant_of

has sub-properties
functional item of op, goal of op, requirement of op
has range
Function c
is inverse of
has function determinant op

functional item ofop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/functional_item_of

has super-properties
function determinant of op
has domain
Role c
is inverse of
has functional item op

goal ofop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/goal_of

"goal" here refers to "final state" in (Burek, 2006).

has super-properties
function determinant of op
has domain
Configuration c or Configuroid c
is inverse of
has goal op

has boundaryop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/has_boundary

has characteristics: inverse functional

has sub-properties
has spatial boundary op, has time boundary op
is inverse of
boundary of op

has categorial partop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/has_categorial_part

has super-properties
abstract has part op
has domain
Category c
has range
Category c
is inverse of
categorial part of op

has categoryop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/has_category

has domain
Ontological layer c
has range
Category c
is inverse of
category in layer op

has constituent partop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/has_constituent_part

has super-properties
has proper part op
has domain
Configuration c or Configuroid c
is inverse of
constituent part of op

has functionop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/has_function

has domain
Individual c
has range
Function c
is inverse of
function of op

has function determinantop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/has_function_determinant

has sub-properties
has functional item op, has goal op, has requirement op
has domain
Function c
has range
Individual c
is inverse of
function determinant of op

has functional itemop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/has_functional_item

has characteristics: functional

has super-properties
has function determinant op
has domain
Function c
has range
Role c
is inverse of
functional item of op

has goalop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/has_goal

has super-properties
has function determinant op
has domain
Function c
is inverse of
goal of op

has left time boundaryop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/has_left_time_boundary

has characteristics: functional

has super-properties
has time boundary op
is inverse of
left boundary of op

has memberop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/has_member

has domain
Set c
has range
Entity c
is inverse of
member of op

has partop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/has_part

has characteristics: transitive

has super-properties
abstract has part op
has sub-properties
has proper part op
has domain
Concrete c
has range
Concrete c
is inverse of
part of op

has participantop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/has_participant

has domain
Occurrent c
has range
Presential c
is inverse of
participates in op

has proper partop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/has_proper_part

has characteristics: transitive

has super-properties
has part op
has sub-properties
has constituent part op
is inverse of
proper part of op

has requirementop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/has_requirement

has super-properties
has function determinant op
has domain
Function c
is inverse of
requirement of op

has right time boundaryop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/has_right_time_boundary

has characteristics: functional

has super-properties
has time boundary op
is inverse of
right boundary of op

has sequence constituentop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/has_sequence_constituent

is inverse of
sequence constituent of op

has spatial boundaryop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/has_spatial_boundary

has super-properties
has boundary op
has range
Spatial boundary c
is inverse of
spatial boundary of op

has time boundaryop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/has_time_boundary

has super-properties
has boundary op
has sub-properties
has left time boundary op, has right time boundary op
has domain
Chronoid c
has range
Time boundary c
is inverse of
time boundary of op

has tokenop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/has_token

has super-properties
instantiated by op
has domain
Symbol structure c
has range
Token c
is inverse of
token of op

has valueop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/has_value

has domain
Property c
has range
Property value c
is inverse of
value of op

instance ofop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/instance_of

The instantiation relation holds between a category and an item. It is not a relation between categories and individuals due to higher order categories such as "species".

has domain
Entity c
has range
Category c
is inverse of
instantiated by op

instantiated byop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/instantiated_by

has sub-properties
has token op
has domain
Category c
is inverse of
instance of op

layer ofop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/layer_of

has sub-properties
level of op, stratum of op
has domain
Ontological layer c
has range
Individual c
is inverse of
on layer op

left boundary ofop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/left_boundary_of

Left boundary of a chronoid.

has characteristics: inverse functional

is inverse of
has left time boundary op

level ofop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/level_of

has super-properties
layer of op
has domain
Level c
is inverse of
on level op

member ofop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/member_of

has domain
Entity c
has range
Set c
is inverse of
has member op

necessary forop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/necessary_for

has domain
Item c
has range
Item c
is inverse of
depends on op

occupied byop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/occupied_by

has characteristics: inverse functional

has domain
Space c
has range
Presential c
is inverse of
occupies op

occupiesop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/occupies

has characteristics: functional

has sub-properties
framed by op
has domain
Presential c
has range
Space c
is inverse of
occupied by op

on layerop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/on_layer

has sub-properties
on level op, on stratum op
has domain
Individual c
has range
Ontological layer c
is inverse of
layer of op

on levelop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/on_level

has super-properties
on layer op
has range
Level c
is inverse of
level of op

on stratumop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/on_stratum

has super-properties
on layer op
has range
Stratum c
is inverse of
stratum of op

part ofop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/part_of

has characteristics: transitive

has super-properties
abstract part of op
has sub-properties
proper part of op
has domain
Concrete c
has range
Concrete c
is inverse of
has part op

participates inop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/participates_in

has sub-properties
agent in op
has domain
Presential c
has range
Occurrent c
is inverse of
has participant op

plays roleop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/plays_role

has domain
Thing c
has range
Role c

projection ofop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/projection_of

has characteristics: inverse functional

is inverse of
projects to op

projects toop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/projects_to

has characteristics: functional

has domain
Occurrent c
has range
Temporal region c
is inverse of
projection of op

proper part ofop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/proper_part_of

has characteristics: transitive

has super-properties
part of op
has sub-properties
constituent part of op
is inverse of
has proper part op

realizesop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/realizes

has domain
Individual c
has range
Function c
is inverse of
realized by op

requirement ofop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/requirement_of

"requirement" here refers to "initial state" in (Burek, 2006).

has super-properties
function determinant of op
has domain
Configuration c or Configuroid c
is inverse of
has requirement op

right boundary ofop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/right_boundary_of

Right boundary of a chronoid.

has characteristics: inverse functional

is inverse of
has right time boundary op

role ofop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/role_of

has domain
Role c
has range
Individual c

sequence constituent ofop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/sequence_constituent_of

has super-properties
categorial part of op
has domain
Symbol c
has range
Symbol sequence c
is inverse of
has sequence constituent op

spatial boundary ofop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/spatial_boundary_of

has super-properties
boundary of op
has domain
Spatial boundary c
has range
Space c
is inverse of
has spatial boundary op

stratum ofop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/stratum_of

has super-properties
layer of op
has domain
Stratum c
is inverse of
on stratum op

time boundary ofop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/time_boundary_of

has super-properties
boundary of op
has domain
Time boundary c
has range
Chronoid c
is inverse of
has time boundary op

value ofop back to ToC or Object Property ToC

IRI: https://w3id.org/gfo/base/value_of

has domain
Property value c
has range
Property c
is inverse of
has value op

Annotation Properties

commentap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2000/01/rdf-schema#comment

licenseap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/terms/license

version Infoap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2002/07/owl#versionInfo

Legend back to ToC

c: Classes
op: Object Properties

Changes from last version

Classes

Added classes
  • http://www.w3.org/2002/07/owl#Thing
  • https://w3id.org/gfo/base/Abstract
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Abstract> <https://w3id.org/gfo/base/Space_time>)
    • Added: SubClass of https://w3id.org/gfo/base/Individual
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Abstract> <https://w3id.org/gfo/base/Concrete>)
  • https://w3id.org/gfo/base/Action
    • Added: SubClass of https://w3id.org/gfo/base/Occurrent
  • https://w3id.org/gfo/base/Amount_of_substrate
    • Added: SubClass of https://w3id.org/gfo/base/Continuous
    • Added: EquivalentClasses EquivalentClasses(<https://w3id.org/gfo/base/Amount_of_substrate> <https://w3id.org/gfo/base/Mass_entity>)
    • Added: SubClass of https://w3id.org/gfo/base/Presential
  • https://w3id.org/gfo/base/Awareness_level
    • Added: SubClass of https://w3id.org/gfo/base/Level
  • https://w3id.org/gfo/base/Biological_level
    • Added: SubClass of https://w3id.org/gfo/base/Level
  • https://w3id.org/gfo/base/Category
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Category> <https://w3id.org/gfo/base/Individual>)
    • Added: SubClass of https://w3id.org/gfo/base/Item
  • https://w3id.org/gfo/base/Change
    • Added: SubClass of https://w3id.org/gfo/base/Occurrent
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Change> <https://w3id.org/gfo/base/Process>)
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Change> <https://w3id.org/gfo/base/History>)
  • https://w3id.org/gfo/base/Chemical_level
    • Added: SubClass of https://w3id.org/gfo/base/Level
  • https://w3id.org/gfo/base/Chronoid
    • Added: SubClass of https://w3id.org/gfo/base/Temporal_region
  • https://w3id.org/gfo/base/Concept
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Concept> <https://w3id.org/gfo/base/Universal>)
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Concept> <https://w3id.org/gfo/base/Symbol_structure>)
    • Added: SubClass of https://w3id.org/gfo/base/Category
  • https://w3id.org/gfo/base/Concrete
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Concrete> <https://w3id.org/gfo/base/Space_time>)
    • Added: SubClass of https://w3id.org/gfo/base/Individual
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Abstract> <https://w3id.org/gfo/base/Concrete>)
  • https://w3id.org/gfo/base/Configuration
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Configuration> <https://w3id.org/gfo/base/Material_object>)
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Configuration> <https://w3id.org/gfo/base/Material_boundary>)
    • Added: SubClass of https://w3id.org/gfo/base/Presential
  • https://w3id.org/gfo/base/Configuroid
    • Added: SubClass of https://w3id.org/gfo/base/Process
  • https://w3id.org/gfo/base/Continuous
    • Added: SubClass of https://w3id.org/gfo/base/Individual
    • Added: EquivalentClasses EquivalentClasses(<https://w3id.org/gfo/base/Continuous> ObjectIntersectionOf(<https://w3id.org/gfo/base/Individual> ObjectComplementOf(<https://w3id.org/gfo/base/Discrete>)))
  • https://w3id.org/gfo/base/Continuous_change
    • Added: SubClass of https://w3id.org/gfo/base/Change
    • Added: EquivalentClasses EquivalentClasses(<https://w3id.org/gfo/base/Continuous_change> <https://w3id.org/gfo/base/Intrinsic_change>)
  • https://w3id.org/gfo/base/Continuous_process
    • Added: SubClass of https://w3id.org/gfo/base/Process
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Continuous_process> <https://w3id.org/gfo/base/Discrete_process>)
    • Added: SubClass of https://w3id.org/gfo/base/Continuous
  • https://w3id.org/gfo/base/Dependent
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Dependent> <https://w3id.org/gfo/base/Independent>)
    • Added: SubClass of https://w3id.org/gfo/base/Individual
    • Added: EquivalentClasses EquivalentClasses(<https://w3id.org/gfo/base/Dependent> ObjectSomeValuesFrom(<https://w3id.org/gfo/base/depends_on> <https://w3id.org/gfo/base/Item>))
  • https://w3id.org/gfo/base/Discrete
    • Added: SubClass of https://w3id.org/gfo/base/Individual
  • https://w3id.org/gfo/base/Discrete_presential
    • Added: SubClass of https://w3id.org/gfo/base/Presential
    • Added: SubClass of https://w3id.org/gfo/base/Discrete
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Discrete_presential> <https://w3id.org/gfo/base/Mass_entity>)
  • https://w3id.org/gfo/base/Discrete_process
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Continuous_process> <https://w3id.org/gfo/base/Discrete_process>)
    • Added: SubClass of https://w3id.org/gfo/base/Process
    • Added: SubClass of https://w3id.org/gfo/base/Discrete
  • https://w3id.org/gfo/base/Entity
    • Added: EquivalentClasses EquivalentClasses(<https://w3id.org/gfo/base/Entity> ObjectUnionOf(<https://w3id.org/gfo/base/Item> <https://w3id.org/gfo/base/Set>))
  • https://w3id.org/gfo/base/Extrinsic_change
    • Added: SubClass of https://w3id.org/gfo/base/Change
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Extrinsic_change> <https://w3id.org/gfo/base/Intrinsic_change>)
    • Added: EquivalentClasses EquivalentClasses(<https://w3id.org/gfo/base/Extrinsic_change> <https://w3id.org/gfo/base/Instantanuous_change>)
  • https://w3id.org/gfo/base/Function
    • Added: SubClass of https://w3id.org/gfo/base/Concept
  • https://w3id.org/gfo/base/History
    • Added: SubClass of https://w3id.org/gfo/base/Occurrent
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/History> <https://w3id.org/gfo/base/Process>)
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Change> <https://w3id.org/gfo/base/History>)
  • https://w3id.org/gfo/base/Independent
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Dependent> <https://w3id.org/gfo/base/Independent>)
    • Added: SubClass of https://w3id.org/gfo/base/Individual
  • https://w3id.org/gfo/base/Individual
    • Added: SubClass of https://w3id.org/gfo/base/Item
    • Added: EquivalentClasses EquivalentClasses(<https://w3id.org/gfo/base/Individual> ObjectIntersectionOf(ObjectUnionOf(<https://w3id.org/gfo/base/Abstract> <https://w3id.org/gfo/base/Concrete> <https://w3id.org/gfo/base/Space_time>) ObjectUnionOf(<https://w3id.org/gfo/base/Dependent> <https://w3id.org/gfo/base/Independent>) ObjectUnionOf(<https://w3id.org/gfo/base/Role> ObjectIntersectionOf(<https://w3id.org/gfo/base/Individual> ObjectComplementOf(<https://w3id.org/gfo/base/Role>)))))
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Category> <https://w3id.org/gfo/base/Individual>)
  • https://w3id.org/gfo/base/Instantanuous_change
    • Added: SubClass of https://w3id.org/gfo/base/Change
    • Added: EquivalentClasses EquivalentClasses(<https://w3id.org/gfo/base/Extrinsic_change> <https://w3id.org/gfo/base/Instantanuous_change>)
  • https://w3id.org/gfo/base/Intrinsic_change
    • Added: SubClass of https://w3id.org/gfo/base/Change
    • Added: EquivalentClasses EquivalentClasses(<https://w3id.org/gfo/base/Continuous_change> <https://w3id.org/gfo/base/Intrinsic_change>)
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Extrinsic_change> <https://w3id.org/gfo/base/Intrinsic_change>)
  • https://w3id.org/gfo/base/Item
    • Added: SubClass of https://w3id.org/gfo/base/Entity
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Item> <https://w3id.org/gfo/base/Set>)
    • Added: EquivalentClasses EquivalentClasses(<https://w3id.org/gfo/base/Item> ObjectUnionOf(<https://w3id.org/gfo/base/Category> <https://w3id.org/gfo/base/Individual>))
  • https://w3id.org/gfo/base/Level
    • Added: SubClass of https://w3id.org/gfo/base/Ontological_layer
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Level> <https://w3id.org/gfo/base/Stratum>)
  • https://w3id.org/gfo/base/Line
    • Added: EquivalentClasses EquivalentClasses(<https://w3id.org/gfo/base/Line> ObjectSomeValuesFrom(<https://w3id.org/gfo/base/spatial_boundary_of> <https://w3id.org/gfo/base/Surface>))
    • Added: SubClass of https://w3id.org/gfo/base/Spatial_boundary
  • https://w3id.org/gfo/base/Mass_entity
    • Added: SubClass of https://w3id.org/gfo/base/Continuous
    • Added: SubClass of https://w3id.org/gfo/base/Presential
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Discrete_presential> <https://w3id.org/gfo/base/Mass_entity>)
    • Added: EquivalentClasses EquivalentClasses(<https://w3id.org/gfo/base/Amount_of_substrate> <https://w3id.org/gfo/base/Mass_entity>)
  • https://w3id.org/gfo/base/Material_boundary
    • Added: SubClass of https://w3id.org/gfo/base/Dependent
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Configuration> <https://w3id.org/gfo/base/Material_boundary>)
    • Added: SubClass of https://w3id.org/gfo/base/Presential
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Material_boundary> <https://w3id.org/gfo/base/Material_object>)
  • https://w3id.org/gfo/base/Material_line
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Material_line> <https://w3id.org/gfo/base/Material_surface>)
    • Added: SubClass of https://w3id.org/gfo/base/Material_boundary
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Material_line> <https://w3id.org/gfo/base/Material_point>)
  • https://w3id.org/gfo/base/Material_object
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Configuration> <https://w3id.org/gfo/base/Material_object>)
    • Added: EquivalentClasses EquivalentClasses(<https://w3id.org/gfo/base/Material_object> <https://w3id.org/gfo/base/Material_structure>)
    • Added: SubClass of https://w3id.org/gfo/base/Discrete_presential
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Material_boundary> <https://w3id.org/gfo/base/Material_object>)
  • https://w3id.org/gfo/base/Material_persistant
    • Added: SubClass of https://w3id.org/gfo/base/Persistant
  • https://w3id.org/gfo/base/Material_point
    • Added: SubClass of https://w3id.org/gfo/base/Material_boundary
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Material_line> <https://w3id.org/gfo/base/Material_point>)
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Material_point> <https://w3id.org/gfo/base/Material_surface>)
  • https://w3id.org/gfo/base/Material_stratum
    • Added: SubClass of https://w3id.org/gfo/base/Stratum
  • https://w3id.org/gfo/base/Material_structure
    • Added: EquivalentClasses EquivalentClasses(<https://w3id.org/gfo/base/Material_object> <https://w3id.org/gfo/base/Material_structure>)
    • Added: SubClass of https://w3id.org/gfo/base/Discrete_presential
  • https://w3id.org/gfo/base/Material_surface
    • Added: SubClass of https://w3id.org/gfo/base/Material_boundary
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Material_line> <https://w3id.org/gfo/base/Material_surface>)
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Material_point> <https://w3id.org/gfo/base/Material_surface>)
  • https://w3id.org/gfo/base/Mental_stratum
    • Added: SubClass of https://w3id.org/gfo/base/Stratum
  • https://w3id.org/gfo/base/Occurrent
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Occurrent> <https://w3id.org/gfo/base/Presential>)
    • Added: SubClass of https://w3id.org/gfo/base/Concrete
  • https://w3id.org/gfo/base/Ontological_layer
    • Added: SubClass of https://w3id.org/gfo/base/Category
  • https://w3id.org/gfo/base/Persistant
    • Added: SubClass of https://w3id.org/gfo/base/Universal
  • https://w3id.org/gfo/base/Personality_level
    • Added: SubClass of https://w3id.org/gfo/base/Level
  • https://w3id.org/gfo/base/Physical_level
    • Added: SubClass of https://w3id.org/gfo/base/Level
  • https://w3id.org/gfo/base/Point
    • Added: SubClass of https://w3id.org/gfo/base/Spatial_boundary
    • Added: EquivalentClasses EquivalentClasses(<https://w3id.org/gfo/base/Point> ObjectSomeValuesFrom(<https://w3id.org/gfo/base/spatial_boundary_of> <https://w3id.org/gfo/base/Line>))
  • https://w3id.org/gfo/base/Presential
    • Added: SubClass of https://w3id.org/gfo/base/Concrete
    • Added: SubClass of https://w3id.org/gfo/base/Individual
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Occurrent> <https://w3id.org/gfo/base/Presential>)
  • https://w3id.org/gfo/base/Process
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/History> <https://w3id.org/gfo/base/Process>)
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Change> <https://w3id.org/gfo/base/Process>)
    • Added: SubClass of https://w3id.org/gfo/base/Occurrent
  • https://w3id.org/gfo/base/Processual_role
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Processual_role> <https://w3id.org/gfo/base/Social_role>)
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Processual_role> <https://w3id.org/gfo/base/Relational_role>)
    • Added: SubClass of https://w3id.org/gfo/base/Process
    • Added: SubClass of https://w3id.org/gfo/base/Role
  • https://w3id.org/gfo/base/Property
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Property> <https://w3id.org/gfo/base/Relator>)
    • Added: SubClass of https://w3id.org/gfo/base/Dependent
    • Added: SubClass of https://w3id.org/gfo/base/Concrete
  • https://w3id.org/gfo/base/Property_value
    • Added: EquivalentClasses EquivalentClasses(<https://w3id.org/gfo/base/Property_value> ObjectSomeValuesFrom(<https://w3id.org/gfo/base/value_of> <https://w3id.org/gfo/base/Property>))
    • Added: SubClass of https://w3id.org/gfo/base/Dependent
    • Added: SubClass of https://w3id.org/gfo/base/Concrete
  • https://w3id.org/gfo/base/Relational_role
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Processual_role> <https://w3id.org/gfo/base/Relational_role>)
    • Added: SubClass of https://w3id.org/gfo/base/Role
    • Added: SubClass of https://w3id.org/gfo/base/Dependent
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Relational_role> <https://w3id.org/gfo/base/Social_role>)
  • https://w3id.org/gfo/base/Relator
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Property> <https://w3id.org/gfo/base/Relator>)
    • Added: SubClass of https://w3id.org/gfo/base/Individual
  • https://w3id.org/gfo/base/Role
    • Added: SubClass of https://w3id.org/gfo/base/Concrete
  • https://w3id.org/gfo/base/Set
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Item> <https://w3id.org/gfo/base/Set>)
    • Added: SubClass of https://w3id.org/gfo/base/Entity
  • https://w3id.org/gfo/base/Situation
    • Added: SubClass of https://w3id.org/gfo/base/Configuration
  • https://w3id.org/gfo/base/Situoid
    • Added: SubClass of https://w3id.org/gfo/base/Configuroid
  • https://w3id.org/gfo/base/Social_role
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Processual_role> <https://w3id.org/gfo/base/Social_role>)
    • Added: SubClass of https://w3id.org/gfo/base/Independent
    • Added: SubClass of https://w3id.org/gfo/base/Role
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Relational_role> <https://w3id.org/gfo/base/Social_role>)
  • https://w3id.org/gfo/base/Social_stratum
    • Added: SubClass of https://w3id.org/gfo/base/Stratum
  • https://w3id.org/gfo/base/Space
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Space> <https://w3id.org/gfo/base/Time>)
    • Added: SubClass of https://w3id.org/gfo/base/Space_time
  • https://w3id.org/gfo/base/Space_time
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Concrete> <https://w3id.org/gfo/base/Space_time>)
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Abstract> <https://w3id.org/gfo/base/Space_time>)
    • Added: SubClass of https://w3id.org/gfo/base/Individual
  • https://w3id.org/gfo/base/Spatial_boundary
    • Added: SubClass of https://w3id.org/gfo/base/Space
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Spatial_boundary> <https://w3id.org/gfo/base/Spatial_region>)
    • Added: EquivalentClasses EquivalentClasses(<https://w3id.org/gfo/base/Spatial_boundary> ObjectSomeValuesFrom(<https://w3id.org/gfo/base/spatial_boundary_of> <https://w3id.org/gfo/base/Space>))
  • https://w3id.org/gfo/base/Spatial_region
    • Added: SubClass of https://w3id.org/gfo/base/Space
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Spatial_boundary> <https://w3id.org/gfo/base/Spatial_region>)
  • https://w3id.org/gfo/base/State
    • Added: SubClass of https://w3id.org/gfo/base/Process
  • https://w3id.org/gfo/base/Stratum
    • Added: SubClass of https://w3id.org/gfo/base/Ontological_layer
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Level> <https://w3id.org/gfo/base/Stratum>)
  • https://w3id.org/gfo/base/Surface
    • Added: SubClass of https://w3id.org/gfo/base/Spatial_boundary
    • Added: EquivalentClasses EquivalentClasses(<https://w3id.org/gfo/base/Surface> ObjectSomeValuesFrom(<https://w3id.org/gfo/base/spatial_boundary_of> <https://w3id.org/gfo/base/Topoid>))
  • https://w3id.org/gfo/base/Symbol
    • Added: SubClass of https://w3id.org/gfo/base/Symbol_structure
  • https://w3id.org/gfo/base/Symbol_sequence
    • Added: SubClass of https://w3id.org/gfo/base/Symbol_structure
  • https://w3id.org/gfo/base/Symbol_structure
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Symbol_structure> <https://w3id.org/gfo/base/Universal>)
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Concept> <https://w3id.org/gfo/base/Symbol_structure>)
    • Added: SubClass of https://w3id.org/gfo/base/Category
  • https://w3id.org/gfo/base/Temporal_region
    • Added: SubClass of https://w3id.org/gfo/base/Time
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Temporal_region> <https://w3id.org/gfo/base/Time_boundary>)
  • https://w3id.org/gfo/base/Time
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Space> <https://w3id.org/gfo/base/Time>)
    • Added: SubClass of https://w3id.org/gfo/base/Space_time
  • https://w3id.org/gfo/base/Time_boundary
    • Added: SubClass of https://w3id.org/gfo/base/Time
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Temporal_region> <https://w3id.org/gfo/base/Time_boundary>)
  • https://w3id.org/gfo/base/Token
    • Added: SubClass of https://w3id.org/gfo/base/Concrete
  • https://w3id.org/gfo/base/Topoid
    • Added: SubClass of https://w3id.org/gfo/base/Spatial_region
  • https://w3id.org/gfo/base/Universal
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Symbol_structure> <https://w3id.org/gfo/base/Universal>)
    • Added: DisjointClasses DisjointClasses(<https://w3id.org/gfo/base/Concept> <https://w3id.org/gfo/base/Universal>)
    • Added: SubClass of https://w3id.org/gfo/base/Category
  • https://w3id.org/gfo/base/Value_space
    • Added: SubClass of https://w3id.org/gfo/base/Universal

Object Properties

Added object properties
  • https://w3id.org/gfo/base/abstract_has_part
    • Added: Range https://w3id.org/gfo/base/Item
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/abstract_part_of> <https://w3id.org/gfo/base/abstract_has_part>)
    • Added: TransitiveObjectProperty TransitiveObjectProperty(<https://w3id.org/gfo/base/abstract_has_part>)
    • Added: domain https://w3id.org/gfo/base/Item
  • https://w3id.org/gfo/base/abstract_part_of
    • Added: Range https://w3id.org/gfo/base/Item
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/abstract_part_of> <https://w3id.org/gfo/base/abstract_has_part>)
    • Added: domain https://w3id.org/gfo/base/Item
    • Added: TransitiveObjectProperty TransitiveObjectProperty(<https://w3id.org/gfo/base/abstract_part_of>)
  • https://w3id.org/gfo/base/agent_in
    • Added: SubProperty of https://w3id.org/gfo/base/causes
    • Added: SubProperty of https://w3id.org/gfo/base/participates_in
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/agent_in> <https://w3id.org/gfo/base/has_agent>)
  • https://w3id.org/gfo/base/boundary_of
    • Added: SubProperty of https://w3id.org/gfo/base/depends_on
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/boundary_of> <https://w3id.org/gfo/base/has_boundary>)
  • https://w3id.org/gfo/base/categorial_part_of
    • Added: SubProperty of https://w3id.org/gfo/base/abstract_part_of
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/categorial_part_of> <https://w3id.org/gfo/base/has_categorial_part>)
  • https://w3id.org/gfo/base/category_in_layer
    • Added: SubProperty of https://w3id.org/gfo/base/categorial_part_of
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/category_in_layer> <https://w3id.org/gfo/base/has_category>)
  • https://w3id.org/gfo/base/caused_by
    • Added: Range Union of (https://w3id.org/gfo/base/Occurrent, https://w3id.org/gfo/base/Presential)
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/caused_by> <https://w3id.org/gfo/base/causes>)
    • Added: domain Union of (https://w3id.org/gfo/base/Occurrent, https://w3id.org/gfo/base/Presential)
  • https://w3id.org/gfo/base/causes
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/caused_by> <https://w3id.org/gfo/base/causes>)
  • https://w3id.org/gfo/base/constituent_part_of
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/constituent_part_of> <https://w3id.org/gfo/base/has_constituent_part>)
    • Added: SubProperty of https://w3id.org/gfo/base/proper_part_of
  • https://w3id.org/gfo/base/depends_on
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/necessary_for> <https://w3id.org/gfo/base/depends_on>)
    • Added: domain https://w3id.org/gfo/base/Item
    • Added: Range https://w3id.org/gfo/base/Item
  • https://w3id.org/gfo/base/exists_at
    • Added: FunctionalObjectProperty FunctionalObjectProperty(<https://w3id.org/gfo/base/exists_at>)
    • Added: Range https://w3id.org/gfo/base/Time_boundary
    • Added: domain https://w3id.org/gfo/base/Presential
  • https://w3id.org/gfo/base/framed_by
    • Added: SubProperty of https://w3id.org/gfo/base/occupies
    • Added: FunctionalObjectProperty FunctionalObjectProperty(<https://w3id.org/gfo/base/framed_by>)
    • Added: domain https://w3id.org/gfo/base/Material_object
    • Added: Range https://w3id.org/gfo/base/Topoid
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/frames> <https://w3id.org/gfo/base/framed_by>)
  • https://w3id.org/gfo/base/frames
    • Added: domain https://w3id.org/gfo/base/Topoid
    • Added: Range https://w3id.org/gfo/base/Material_object
    • Added: InverseFunctionalObjectProperty InverseFunctionalObjectProperty(<https://w3id.org/gfo/base/frames>)
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/frames> <https://w3id.org/gfo/base/framed_by>)
  • https://w3id.org/gfo/base/function_determinant_of
    • Added: Range https://w3id.org/gfo/base/Function
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/has_function_determinant> <https://w3id.org/gfo/base/function_determinant_of>)
  • https://w3id.org/gfo/base/function_of
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/has_function> <https://w3id.org/gfo/base/function_of>)
  • https://w3id.org/gfo/base/functional_item_of
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/has_functional_item> <https://w3id.org/gfo/base/functional_item_of>)
    • Added: domain https://w3id.org/gfo/base/Role
    • Added: SubProperty of https://w3id.org/gfo/base/function_determinant_of
  • https://w3id.org/gfo/base/goal_of
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/goal_of> <https://w3id.org/gfo/base/has_goal>)
    • Added: domain Union of (https://w3id.org/gfo/base/Configuration, https://w3id.org/gfo/base/Configuroid)
    • Added: SubProperty of https://w3id.org/gfo/base/function_determinant_of
  • https://w3id.org/gfo/base/has_agent
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/agent_in> <https://w3id.org/gfo/base/has_agent>)
  • https://w3id.org/gfo/base/has_boundary
    • Added: InverseFunctionalObjectProperty InverseFunctionalObjectProperty(<https://w3id.org/gfo/base/has_boundary>)
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/boundary_of> <https://w3id.org/gfo/base/has_boundary>)
  • https://w3id.org/gfo/base/has_categorial_part
    • Added: Range https://w3id.org/gfo/base/Category
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/categorial_part_of> <https://w3id.org/gfo/base/has_categorial_part>)
    • Added: domain https://w3id.org/gfo/base/Category
    • Added: SubProperty of https://w3id.org/gfo/base/abstract_has_part
  • https://w3id.org/gfo/base/has_category
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/category_in_layer> <https://w3id.org/gfo/base/has_category>)
    • Added: Range https://w3id.org/gfo/base/Category
    • Added: domain https://w3id.org/gfo/base/Ontological_layer
  • https://w3id.org/gfo/base/has_constituent_part
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/constituent_part_of> <https://w3id.org/gfo/base/has_constituent_part>)
    • Added: SubProperty of https://w3id.org/gfo/base/has_proper_part
    • Added: domain Union of (https://w3id.org/gfo/base/Configuration, https://w3id.org/gfo/base/Configuroid)
  • https://w3id.org/gfo/base/has_function
    • Added: Range https://w3id.org/gfo/base/Function
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/has_function> <https://w3id.org/gfo/base/function_of>)
    • Added: domain https://w3id.org/gfo/base/Individual
  • https://w3id.org/gfo/base/has_function_determinant
    • Added: Range https://w3id.org/gfo/base/Individual
    • Added: domain https://w3id.org/gfo/base/Function
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/has_function_determinant> <https://w3id.org/gfo/base/function_determinant_of>)
  • https://w3id.org/gfo/base/has_functional_item
    • Added: SubProperty of https://w3id.org/gfo/base/has_function_determinant
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/has_functional_item> <https://w3id.org/gfo/base/functional_item_of>)
    • Added: domain https://w3id.org/gfo/base/Function
    • Added: FunctionalObjectProperty FunctionalObjectProperty(<https://w3id.org/gfo/base/has_functional_item>)
    • Added: Range https://w3id.org/gfo/base/Role
  • https://w3id.org/gfo/base/has_goal
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/goal_of> <https://w3id.org/gfo/base/has_goal>)
    • Added: domain https://w3id.org/gfo/base/Function
    • Added: SubProperty of https://w3id.org/gfo/base/has_function_determinant
  • https://w3id.org/gfo/base/has_left_time_boundary
    • Added: SubProperty of https://w3id.org/gfo/base/has_time_boundary
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/left_boundary_of> <https://w3id.org/gfo/base/has_left_time_boundary>)
    • Added: FunctionalObjectProperty FunctionalObjectProperty(<https://w3id.org/gfo/base/has_left_time_boundary>)
  • https://w3id.org/gfo/base/has_member
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/has_member> <https://w3id.org/gfo/base/member_of>)
    • Added: domain https://w3id.org/gfo/base/Set
    • Added: Range https://w3id.org/gfo/base/Entity
  • https://w3id.org/gfo/base/has_part
    • Added: TransitiveObjectProperty TransitiveObjectProperty(<https://w3id.org/gfo/base/has_part>)
    • Added: Range https://w3id.org/gfo/base/Concrete
    • Added: domain https://w3id.org/gfo/base/Concrete
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/part_of> <https://w3id.org/gfo/base/has_part>)
    • Added: SubProperty of https://w3id.org/gfo/base/abstract_has_part
  • https://w3id.org/gfo/base/has_participant
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/participates_in> <https://w3id.org/gfo/base/has_participant>)
    • Added: domain https://w3id.org/gfo/base/Occurrent
    • Added: Range https://w3id.org/gfo/base/Presential
  • https://w3id.org/gfo/base/has_proper_part
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/proper_part_of> <https://w3id.org/gfo/base/has_proper_part>)
    • Added: TransitiveObjectProperty TransitiveObjectProperty(<https://w3id.org/gfo/base/has_proper_part>)
    • Added: SubProperty of https://w3id.org/gfo/base/has_part
  • https://w3id.org/gfo/base/has_requirement
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/requirement_of> <https://w3id.org/gfo/base/has_requirement>)
    • Added: domain https://w3id.org/gfo/base/Function
    • Added: SubProperty of https://w3id.org/gfo/base/has_function_determinant
  • https://w3id.org/gfo/base/has_right_time_boundary
    • Added: SubProperty of https://w3id.org/gfo/base/has_time_boundary
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/has_right_time_boundary> <https://w3id.org/gfo/base/right_boundary_of>)
    • Added: FunctionalObjectProperty FunctionalObjectProperty(<https://w3id.org/gfo/base/has_right_time_boundary>)
  • https://w3id.org/gfo/base/has_sequence_constituent
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/has_sequence_constituent> <https://w3id.org/gfo/base/sequence_constituent_of>)
  • https://w3id.org/gfo/base/has_spatial_boundary
    • Added: SubProperty of https://w3id.org/gfo/base/has_boundary
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/spatial_boundary_of> <https://w3id.org/gfo/base/has_spatial_boundary>)
    • Added: Range https://w3id.org/gfo/base/Spatial_boundary
  • https://w3id.org/gfo/base/has_time_boundary
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/time_boundary_of> <https://w3id.org/gfo/base/has_time_boundary>)
    • Added: SubProperty of https://w3id.org/gfo/base/has_boundary
    • Added: domain https://w3id.org/gfo/base/Chronoid
    • Added: Range https://w3id.org/gfo/base/Time_boundary
  • https://w3id.org/gfo/base/has_token
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/has_token> <https://w3id.org/gfo/base/token_of>)
    • Added: domain https://w3id.org/gfo/base/Symbol_structure
    • Added: SubProperty of https://w3id.org/gfo/base/instantiated_by
    • Added: Range https://w3id.org/gfo/base/Token
  • https://w3id.org/gfo/base/has_value
    • Added: Range https://w3id.org/gfo/base/Property_value
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/value_of> <https://w3id.org/gfo/base/has_value>)
    • Added: domain https://w3id.org/gfo/base/Property
  • https://w3id.org/gfo/base/instance_of
    • Added: domain https://w3id.org/gfo/base/Entity
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/instantiated_by> <https://w3id.org/gfo/base/instance_of>)
    • Added: Range https://w3id.org/gfo/base/Category
  • https://w3id.org/gfo/base/instantiated_by
    • Added: domain https://w3id.org/gfo/base/Category
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/instantiated_by> <https://w3id.org/gfo/base/instance_of>)
  • https://w3id.org/gfo/base/layer_of
    • Added: domain https://w3id.org/gfo/base/Ontological_layer
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/layer_of> <https://w3id.org/gfo/base/on_layer>)
    • Added: Range https://w3id.org/gfo/base/Individual
  • https://w3id.org/gfo/base/left_boundary_of
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/left_boundary_of> <https://w3id.org/gfo/base/has_left_time_boundary>)
    • Added: InverseFunctionalObjectProperty InverseFunctionalObjectProperty(<https://w3id.org/gfo/base/left_boundary_of>)
  • https://w3id.org/gfo/base/level_of
    • Added: SubProperty of https://w3id.org/gfo/base/layer_of
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/on_level> <https://w3id.org/gfo/base/level_of>)
    • Added: domain https://w3id.org/gfo/base/Level
  • https://w3id.org/gfo/base/member_of
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/has_member> <https://w3id.org/gfo/base/member_of>)
    • Added: Range https://w3id.org/gfo/base/Set
    • Added: domain https://w3id.org/gfo/base/Entity
  • https://w3id.org/gfo/base/necessary_for
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/necessary_for> <https://w3id.org/gfo/base/depends_on>)
    • Added: Range https://w3id.org/gfo/base/Item
    • Added: domain https://w3id.org/gfo/base/Item
  • https://w3id.org/gfo/base/occupied_by
    • Added: Range https://w3id.org/gfo/base/Presential
    • Added: domain https://w3id.org/gfo/base/Space
    • Added: InverseFunctionalObjectProperty InverseFunctionalObjectProperty(<https://w3id.org/gfo/base/occupied_by>)
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/occupied_by> <https://w3id.org/gfo/base/occupies>)
  • https://w3id.org/gfo/base/occupies
    • Added: Range https://w3id.org/gfo/base/Space
    • Added: domain https://w3id.org/gfo/base/Presential
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/occupied_by> <https://w3id.org/gfo/base/occupies>)
    • Added: FunctionalObjectProperty FunctionalObjectProperty(<https://w3id.org/gfo/base/occupies>)
  • https://w3id.org/gfo/base/on_layer
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/layer_of> <https://w3id.org/gfo/base/on_layer>)
    • Added: Range https://w3id.org/gfo/base/Ontological_layer
    • Added: domain https://w3id.org/gfo/base/Individual
  • https://w3id.org/gfo/base/on_level
    • Added: SubProperty of https://w3id.org/gfo/base/on_layer
    • Added: Range https://w3id.org/gfo/base/Level
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/on_level> <https://w3id.org/gfo/base/level_of>)
  • https://w3id.org/gfo/base/on_stratum
    • Added: Range https://w3id.org/gfo/base/Stratum
    • Added: SubProperty of https://w3id.org/gfo/base/on_layer
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/on_stratum> <https://w3id.org/gfo/base/stratum_of>)
  • https://w3id.org/gfo/base/part_of
    • Added: Range https://w3id.org/gfo/base/Concrete
    • Added: domain https://w3id.org/gfo/base/Concrete
    • Added: TransitiveObjectProperty TransitiveObjectProperty(<https://w3id.org/gfo/base/part_of>)
    • Added: SubProperty of https://w3id.org/gfo/base/abstract_part_of
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/part_of> <https://w3id.org/gfo/base/has_part>)
  • https://w3id.org/gfo/base/participates_in
    • Added: domain https://w3id.org/gfo/base/Presential
    • Added: Range https://w3id.org/gfo/base/Occurrent
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/participates_in> <https://w3id.org/gfo/base/has_participant>)
  • https://w3id.org/gfo/base/plays_role
    • Added: Range https://w3id.org/gfo/base/Role
    • Added: domain http://www.w3.org/2002/07/owl#Thing
  • https://w3id.org/gfo/base/projection_of
    • Added: InverseFunctionalObjectProperty InverseFunctionalObjectProperty(<https://w3id.org/gfo/base/projection_of>)
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/projects_to> <https://w3id.org/gfo/base/projection_of>)
  • https://w3id.org/gfo/base/projects_to
    • Added: domain https://w3id.org/gfo/base/Occurrent
    • Added: FunctionalObjectProperty FunctionalObjectProperty(<https://w3id.org/gfo/base/projects_to>)
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/projects_to> <https://w3id.org/gfo/base/projection_of>)
    • Added: Range https://w3id.org/gfo/base/Temporal_region
  • https://w3id.org/gfo/base/proper_part_of
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/proper_part_of> <https://w3id.org/gfo/base/has_proper_part>)
    • Added: TransitiveObjectProperty TransitiveObjectProperty(<https://w3id.org/gfo/base/proper_part_of>)
    • Added: SubProperty of https://w3id.org/gfo/base/part_of
  • https://w3id.org/gfo/base/realized_by
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/realizes> <https://w3id.org/gfo/base/realized_by>)
  • https://w3id.org/gfo/base/realizes
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/realizes> <https://w3id.org/gfo/base/realized_by>)
    • Added: Range https://w3id.org/gfo/base/Function
    • Added: domain https://w3id.org/gfo/base/Individual
  • https://w3id.org/gfo/base/requirement_of
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/requirement_of> <https://w3id.org/gfo/base/has_requirement>)
    • Added: SubProperty of https://w3id.org/gfo/base/function_determinant_of
    • Added: domain Union of (https://w3id.org/gfo/base/Configuration, https://w3id.org/gfo/base/Configuroid)
  • https://w3id.org/gfo/base/right_boundary_of
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/has_right_time_boundary> <https://w3id.org/gfo/base/right_boundary_of>)
    • Added: InverseFunctionalObjectProperty InverseFunctionalObjectProperty(<https://w3id.org/gfo/base/right_boundary_of>)
  • https://w3id.org/gfo/base/role_of
    • Added: Range https://w3id.org/gfo/base/Individual
    • Added: domain https://w3id.org/gfo/base/Role
  • https://w3id.org/gfo/base/sequence_constituent_of
    • Added: domain https://w3id.org/gfo/base/Symbol
    • Added: Range https://w3id.org/gfo/base/Symbol_sequence
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/has_sequence_constituent> <https://w3id.org/gfo/base/sequence_constituent_of>)
    • Added: SubProperty of https://w3id.org/gfo/base/categorial_part_of
  • https://w3id.org/gfo/base/spatial_boundary_of
    • Added: Range https://w3id.org/gfo/base/Space
    • Added: SubProperty of https://w3id.org/gfo/base/boundary_of
    • Added: domain https://w3id.org/gfo/base/Spatial_boundary
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/spatial_boundary_of> <https://w3id.org/gfo/base/has_spatial_boundary>)
  • https://w3id.org/gfo/base/stratum_of
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/on_stratum> <https://w3id.org/gfo/base/stratum_of>)
    • Added: domain https://w3id.org/gfo/base/Stratum
    • Added: SubProperty of https://w3id.org/gfo/base/layer_of
  • https://w3id.org/gfo/base/time_boundary_of
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/time_boundary_of> <https://w3id.org/gfo/base/has_time_boundary>)
    • Added: Range https://w3id.org/gfo/base/Chronoid
    • Added: domain https://w3id.org/gfo/base/Time_boundary
    • Added: SubProperty of https://w3id.org/gfo/base/boundary_of
  • https://w3id.org/gfo/base/token_of
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/has_token> <https://w3id.org/gfo/base/token_of>)
  • https://w3id.org/gfo/base/value_of
    • Added: domain https://w3id.org/gfo/base/Property_value
    • Added: Range https://w3id.org/gfo/base/Property
    • Added: InverseObjectProperties InverseObjectProperties(<https://w3id.org/gfo/base/value_of> <https://w3id.org/gfo/base/has_value>)

Acknowledgments back to ToC

The authors would like to thank Silvio Peroni for developing LODE, a Live OWL Documentation Environment, which is used for representing the Cross Referencing Section of this document and Daniel Garijo for developing Widoco, the program used to create the template used in this documentation.