Natural Language View: GFO-basic-QL
ABSTRACT (class)
Typology | An abstract is an individual. |
Distinctions | No abstract is a Space time entity, or a concrete. |
AMOUNT OF SUBSTRATE (class)
Typology | An Amount of substrate is a presential. |
CATEGORY (class)
Description | If X is instance of Y then Y is a category. If X is instantiated by Y then X is a category. |
Examples | The following are categories: universals, Symbol structures, and concepts. |
Distinctions | No category is an individual. |
CHANGE (class)
Typology | |
Examples | Discrete changes, and Continuous changes are changes. |
Distinctions |
CHRONOID (class)
Typology | A chronoid is a Temporal region. |
COINCIDES WITH (object property)
Description | The property "coincides with" is symmetric. |
CONCEPT (class)
Typology | |
Distinctions | No concept is an universal, or a Symbol structure. |
CONCRETE (class)
Typology | A concrete is an individual. |
Description | If X has as token Y then Y is a concrete. If X is token of Y then X is a concrete. |
Examples | The following are concretes: Processual Structures, presentials, and perpetuants. |
Distinctions | No concrete is a Space time entity. |
CONTINUOUS CHANGE (class)
Typology | A Continuous change is a change. |
Distinctions | No Continuous change is a Discrete change. |
CONTINUOUS PROCESS (class)
Typology | A Continuous process is a process. |
DISCRETE CHANGE (class)
Typology | A Discrete change is a change. |
Distinctions | No Continuous change is a Discrete change. |
DISCRETE PROCESS (class)
Typology | A Discrete process is a process. |
ENTITY (class)
Definition | |
Description | If any of the following relationships hold between X and Y then X is an entity: "is instance of" and "has as role". If X is instantiated by Y then Y is an entity. |
EVENT (class)
Typology | |
Distinctions |
EXHIBITS (object property)
Description | If X exhibits Y then Y is a presential. If X exhibits Y then X is a perpetuant. |
FRAMES (object property)
Description | If X frames Y then Y is a presential. If X frames Y then X is a Space entity. X frames Y if and only if Y is framed by X. |
HAS AS PARTICIPANT (object property)
Description | If X has as participant Y then X is a Processual Structure. X has as participant Y if and only if Y participates in X. |
Others | objectPropertyRange(objectProperty('http://www.onto-med.de/ontologies/gfo.owl#has_participant'), [objectComplementOf(class('http://www.onto-med.de/ontologies/gfo.owl#Space_time')), objectComplementOf(class('http://www.onto-med.de/ontologies/gfo.owl#Processual_Structure'))]). |
HAS AS ROLE (object property)
Typology | The property "has as role" is a sub-property of "is abstract has-part". |
Description | If X has as role Y then Y is a role. If X has as role Y then X is an entity. |
HAS AS TOKEN (object property)
Typology | The property "has as token" is a sub-property of "is instantiated by". |
Description | If X has as token Y then Y is a concrete. If X has as token Y then X is a Symbol structure. X has as token Y if and only if Y is token of X. |
INDIVIDUAL (class)
Examples | The following are individuals: Space time entities, roles and relators, and so on (6 items in total). |
Distinctions | No category is an individual. |
IS ABSTRACT HAS-PART (object property)
Description | The property "has as role" is a sub-property of "is abstract has-part". |
IS FRAMED BY (object property)
Description | If X is framed by Y then Y is a Space entity. If X is framed by Y then X is a presential. X frames Y if and only if Y is framed by X. |
IS INSTANCE OF (object property)
Description | The property "is token of" is a sub-property of "is instance of". If X is instance of Y then Y is a category. If X is instance of Y then X is an entity. X is instantiated by Y if and only if Y is instance of X. |
IS INSTANTIATED BY (object property)
Description | The property "has as token" is a sub-property of "is instantiated by". If X is instantiated by Y then Y is an entity. If X is instantiated by Y then X is a category. X is instantiated by Y if and only if Y is instance of X. |
IS TOKEN OF (object property)
Typology | The property "is token of" is a sub-property of "is instance of". |
Description | If X is token of Y then Y is a Symbol structure. If X is token of Y then X is a concrete. X has as token Y if and only if Y is token of X. |
LEFT TIME BOUNDARY (class)
Typology | A Left time boundary is a Time boundary. |
Distinctions | No Left time boundary is a Right time boundary. |
LINE (class)
Typology | A line is a Spatial boundary. |
MATERIAL BOUNDARY (class)
Typology | A Material boundary is a presential. |
Description | |
Distinctions | No Material boundary is a Material object. |
MATERIAL OBJECT (class)
Typology | A Material object is a presential. |
Description | |
Distinctions | No Material boundary is a Material object. |
OCCURRENT (class)
Typology | An occurrent is a Processual Structure. |
Examples | The following are occurrents: histories, events, and changes. |
Distinctions |
PARTICIPATES IN (object property)
Description | If X participates in Y then Y is a Processual Structure. X has as participant Y if and only if Y participates in X. |
Others | objectPropertyDomain(objectProperty('http://www.onto-med.de/ontologies/gfo.owl#participates_in'), [objectComplementOf(class('http://www.onto-med.de/ontologies/gfo.owl#Space_time')), objectComplementOf(class('http://www.onto-med.de/ontologies/gfo.owl#Processual_Structure'))]). |
PERPETUANT (class)
Typology | A perpetuant is a concrete. |
Description | If X exhibits Y then X is a perpetuant. |
POINT (class)
Typology | A point is a Spatial boundary. |
PRESENTIAL (class)
Typology | A presential is a concrete. |
Description | If any of the following relationships hold between X and Y then Y is a presential: "frames" and "exhibits". If X is framed by Y then X is a presential. |
Examples | The following are presentials: Material objects, Material boundaries, and Amounts of substrate. |
Distinctions | No presential is a Processual Structure. |
PROCESS (class)
Typology | A process is a Processual Structure. |
Examples | The following are process: states, Processual roles and Discrete process, and so on (4 items in total). |
Distinctions |
PROCESSUAL ROLE (class)
Typology | A Processual role is both a role, and a process. |
Distinctions | No Processual role is a Social role, or a Relational role. |
PROCESSUAL STRUCTURE (class)
Typology | A Processual Structure is a concrete. |
Description | If X participates in Y then Y is a Processual Structure. If X has as participant Y then X is a Processual Structure. |
Examples | Process, and occurrents are Processual Structures. |
Distinctions | No presential is a Processual Structure. |
PROPERTY (class)
Typology | A property is an individual. |
Examples | A Relational role is a property. |
Distinctions |
RELATIONAL ROLE (class)
Typology | A Relational role is both a role, and a property. |
Distinctions | No Processual role is a Relational role. No Relational role is a Social role. |
RELATOR (class)
Typology | A relator is an individual. |
Distinctions |
RIGHT TIME BOUNDARY (class)
Typology | A Right time boundary is a Time boundary. |
Distinctions | No Left time boundary is a Right time boundary. |
ROLE (class)
Typology | A role is an individual. |
Description | If X has as role Y then Y is a role. |
Examples | The following are roles: Social roles, Relational roles, and Processual roles. |
SOCIAL ROLE (class)
Typology | A Social role is a role. |
Distinctions | No Relational roles or Processual roles are Social roles. |
SPACE ENTITY (class)
Typology | A Space entity is a Space time entity. |
Description | If X is framed by Y then Y is a Space entity. If X frames Y then X is a Space entity. |
Examples | Spatial regions, and Spatial boundaries are Space entities. |
Distinctions | No Space entity is a Time entity. |
SPACE TIME ENTITY (class)
Typology | A Space time entity is an individual. |
Examples | Time entities, and Space entities are Space time entities. |
Distinctions | No concretes or abstracts are Space time entities. |
SPATIAL BOUNDARY (class)
Typology | A Spatial boundary is a Space entity. |
Examples | The following are Spatial boundaries: surfaces, points, and lines. |
Distinctions | No Spatial boundary is a Spatial region. |
SPATIAL REGION (class)
Typology | A Spatial region is a Space entity. |
Examples | A topoid is a Spatial region. |
Distinctions | No Spatial boundary is a Spatial region. |
SURFACE (class)
Typology | A surface is a Spatial boundary. |
SYMBOL STRUCTURE (class)
Typology | A Symbol structure is a category. |
Description | If X is token of Y then Y is a Symbol structure. If X has as token Y then X is a Symbol structure. |
Distinctions | No concept is a Symbol structure. No Symbol structure is an universal. |
TEMPORAL REGION (class)
Typology | A Temporal region is a Time entity. |
Examples | A chronoid is a Temporal region. |
Distinctions | No Temporal region is a Time boundary. |
TIME BOUNDARY (class)
Typology | A Time boundary is a Time entity. |
Examples | Right time boundaries, and Left time boundaries are Time boundaries. |
Distinctions | No Temporal region is a Time boundary. |
TIME ENTITY (class)
Typology | A Time entity is a Space time entity. |
Examples | Time boundaries, and Temporal regions are Time entities. |
Distinctions | No Space entity is a Time entity. |
TOPOID (class)
Typology | A topoid is a Spatial region. |
UNIVERSAL (class)
Typology | |
Distinctions | No Symbol structures or concepts are universals. |