+
+
+language en
+General Formal Ontology (GFO)
+ + +-
+
- This version: +
- https://w3id.org/gfo/release/2023-07-05 +
- Previous version: +
- https://w3id.org/gfo/release/1.0.9 +
- Revision: +
- 2024-07-05 +
- Imported Ontologies: +
- base + +
- Download serialization:
- License:
+- Cite as: +
- General Formal Ontology (GFO). Revision: 2024-07-05. Retrieved from: https://w3id.org/gfo/release/2023-07-05 +
- DOI: +
+- Vocabulary maintained at: +
- https://github.com/Onto-Med/GFO +
+
+
+
+
+
+Ontology Specification Draft
+
+General Formal Ontology (GFO): Overview back to ToC
+ +This ontology has the following classes and properties. +Classes
+-
+
- + + Abstract + + +
- + + Action + + +
- + + Amount of substrate + + +
- + + Awareness level + + +
- + + Biological level + + +
- + + Category + + +
- + + Change + + +
- + + Chemical level + + +
- + + Chronoid + + +
- + + Concept + + +
- + + Concrete + + +
- + + Configuration + + +
- + + Configuroid + + +
- + + Continuous + + +
- + + Continuous change + + +
- + + Continuous process + + +
- + + Dependent + + +
- + + Discrete + + +
- + + Discrete presential + + +
- + + Discrete process + + +
- + + Entity + + +
- + + Extrinsic change + + +
- + + Function + + +
- + + History + + +
- + + Independent + + +
- + + Individual + + +
- + + Instantanuous change + + +
- + + Intrinsic change + + +
- + + Item + + +
- + + Level + + +
- + + Line + + +
- + + Mass entity + + +
- + + Material boundary + + +
- + + Material line + + +
- + + Material object + + +
- + + Material persistant + + +
- + + Material point + + +
- + + Material stratum + + +
- + + Material structure + + +
- + + Material surface + + +
- + + Mental stratum + + +
- + + Occurrent + + +
- + + Ontological layer + + +
- + + Persistant + + +
- + + Personality level + + +
- + + Physical level + + +
- + + Point + + +
- + + Presential + + +
- + + Process + + +
- + + Processual role + + +
- + + Property + + +
- + + Property value + + +
- + + Relational role + + +
- + + Relator + + +
- + + Role + + +
- + + Set + + +
- + + Situation + + +
- + + Situoid + + +
- + + Social role + + +
- + + Social stratum + + +
- + + Space + + +
- + + Space time + + +
- + + Spatial boundary + + +
- + + Spatial region + + +
- + + State + + +
- + + Stratum + + +
- + + Surface + + +
- + + Symbol + + +
- + + Symbol sequence + + +
- + + Symbol structure + + +
- + + Temporal region + + +
- + + Time + + +
- + + Time boundary + + +
- + + Token + + +
- + + Topoid + + +
- + + Universal + + +
- + + Value space + + +
Object Properties
-
+
- + + abstract has part + + +
- + + abstract part of + + +
- + + agent in + + +
- + + boundary of + + +
- + + categorial part of + + +
- + + category in layer + + +
- + + caused by + + +
- + + constituent part of + + +
- + + depends on + + +
- + + exists at + + +
- + + framed by + + +
- + + frames + + +
- + + function determinant of + + +
- + + functional item of + + +
- + + goal of + + +
- + + has boundary + + +
- + + has categorial part + + +
- + + has category + + +
- + + has constituent part + + +
- + + has function + + +
- + + has function determinant + + +
- + + has functional item + + +
- + + has goal + + +
- + + has left time boundary + + +
- + + has member + + +
- + + has part + + +
- + + has participant + + +
- + + has proper part + + +
- + + has requirement + + +
- + + has right time boundary + + +
- + + has sequence constituent + + +
- + + has spatial boundary + + +
- + + has time boundary + + +
- + + has token + + +
- + + has value + + +
- + + instance of + + +
- + + instantiated by + + +
- + + layer of + + +
- + + left boundary of + + +
- + + level of + + +
- + + member of + + +
- + + necessary for + + +
- + + occupied by + + +
- + + occupies + + +
- + + on layer + + +
- + + on level + + +
- + + on stratum + + +
- + + part of + + +
- + + participates in + + +
- + + plays role + + +
- + + projection of + + +
- + + projects to + + +
- + + proper part of + + +
- + + realizes + + +
- + + requirement of + + +
- + + right boundary of + + +
- + + role of + + +
- + + sequence constituent of + + +
- + + spatial boundary of + + +
- + + stratum of + + +
- + + time boundary of + + +
- + + value of + + +
Annotation Properties
-
+
- + + comment + + +
- + + license + + +
- + + version Info + + +
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
+-
+
- Abstract +
- Action +
- Amount of substrate +
- Awareness level +
- Biological level +
- Category +
- Change +
- Chemical level +
- Chronoid +
- Concept +
- Concrete +
- Configuration +
- Configuroid +
- Continuous +
- Continuous change +
- Continuous process +
- Dependent +
- Discrete +
- Discrete presential +
- Discrete process +
- Entity +
- Extrinsic change +
- Function +
- History +
- Independent +
- Individual +
- Instantanuous change +
- Intrinsic change +
- Item +
- Level +
- Line +
- Mass entity +
- Material boundary +
- Material line +
- Material object +
- Material persistant +
- Material point +
- Material stratum +
- Material structure +
- Material surface +
- Mental stratum +
- Occurrent +
- Ontological layer +
- Persistant +
- Personality level +
- Physical level +
- Point +
- Presential +
- Process +
- Processual role +
- Property +
- Property value +
- Relational role +
- Relator +
- Role +
- Set +
- Situation +
- Situoid +
- Social role +
- Social stratum +
- Space +
- Space time +
- Spatial boundary +
- Spatial region +
- State +
- Stratum +
- Surface +
- Symbol +
- Symbol sequence +
- Symbol structure +
- Temporal region +
- Time +
- Time boundary +
- Token +
- Topoid +
- Universal +
- Value space +
+
+ 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, has token 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.
+
+
+
+
+ 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 + +
+
+ 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 + +
+
+ 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.
+
+
+
+
+ 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 + +
+
+
+ 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 + +
+
+ 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 domain of + +
- + sequence constituent of 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 part +
- abstract part of +
- agent in +
- boundary of +
- categorial part of +
- category in layer +
- caused by +
- constituent part of +
- depends on +
- exists at +
- framed by +
- frames +
- function determinant of +
- functional item of +
- goal of +
- has boundary +
- has categorial part +
- has category +
- has constituent part +
- has function +
- has function determinant +
- has functional item +
- has goal +
- has left time boundary +
- has member +
- has part +
- has participant +
- has proper part +
- has requirement +
- has right time boundary +
- has sequence constituent +
- has spatial boundary +
- has time boundary +
- has token +
- has value +
- instance of +
- instantiated by +
- layer of +
- left boundary of +
- level of +
- member of +
- necessary for +
- occupied by +
- occupies +
- on layer +
- on level +
- on stratum +
- part of +
- participates in +
- plays role +
- projection of +
- projects to +
- proper part of +
- realizes +
- requirement of +
- right boundary of +
- role of +
- sequence constituent of +
- spatial boundary of +
- stratum of +
- time boundary of +
- value of +
+
+ 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 + +
- + 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 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 + +
- + instance of op + +
- + has domain + +
- + Symbol structure c + +
- + has range + +
- + Concrete 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 sub-properties + +
- + has token op + +
- + 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 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
+ +
+
+ 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
+ +
+
+ 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, sequence constituent 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
+ +
+
+ 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 + +
- + part of op + +
- + has domain + +
- + Token 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
+-
+
- comment +
- license +
- version Info +
+
+ 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
+
++op: Object Properties
+
null
+
+
+
+
+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.
+