Unified Foundational Ontology - A
type: Ontology
version IRI: http://onto.fel.cvut.cz/ontologies/ufo-a/1.1.0
created: 2.10.2018
creator: petr-kremen
description: The ontology aims at formalize basic notions of the Unified Foundational Ontology, part A - structural models.
rights: https://creativecommons.org/licenses/by-sa/4.0
status: Ontology Specification
preferred namespace prefix: ufo
preferred namespace uri: http://onto.fel.cvut.cz/ontologies/ufo/
prior version: http://onto.fel.cvut.cz/ontologies/ufo-a/1.0.1
version info: 1.1.0

has object part
type: ObjectProperty
sub property of: has part
inverse of: is object part of
domain: Object
range: Object
label: má jako část objekt @cs

has part
type: ObjectProperty
inverse of: is part of
domain: Entity
range: Entity
label: má část @cs

has trope
type: ObjectProperty
inverse of: inheres in
domain: Entity
range: Trope
label: má vlastnost @cs

inheres in
type: ObjectProperty
range: Entity
label: je vlastností @cs

is object part of
type: ObjectProperty
sub property of: is part of
domain: Object
range: Object
label: je částí objektu @cs

is part of
type: ObjectProperty
domain: Entity
range: Entity
label: je částí @cs

mediates
type: ObjectProperty
domain: Relator
range: Endurant

object has trope
type: ObjectProperty
sub property of: has trope
inverse of: trope inheres in object
domain: Object
range: Trope
label: objekt má vlastnost @cs

Axiom
annotated source: object has trope
annotated property: domain
annotated target: Object
axiom: a57-part2

Axiom
annotated source: object has trope
annotated property: range
annotated target: Trope
axiom: a57-part2
axiom: a57-part3

trope inheres in endurant
type: ObjectProperty
sub property of: inheres in

trope inheres in object
type: ObjectProperty
sub property of: trope inheres in endurant
domain: Trope
range: Object

Axiom
annotated source: trope inheres in object
annotated property: domain
annotated target: Trope
axiom: a12

Axiom
annotated source: trope inheres in object
annotated property: range
annotated target: Object
axiom: a26
axiom: a47-part2
contributes-to-necessary-condition-for: D1
contributes-to-sufficient-condition-for: D1

Anti Rigid Mixin
type: Class
subclass of: Non Rigid Mixin
label: Antirigidní mixin @cs

Axiom
annotated source: Anti Rigid Mixin
annotated property: subClassOf
annotated target: Non Rigid Mixin
source: ofscm

Anti Rigid Sortal
type: Class
subclass of: Sortal Type
label: Antirigidní sortál @cs

Axiom
annotated source: Anti Rigid Sortal
annotated property: subClassOf
annotated target: Sortal Type
source: ofscm

Category
type: Class
subclass of: Rigid Mixin
description: A «category» represents a rigid and relationally independent mixin, i.e., a dispersive universal that aggregates essential properties which are common to different substance sortals. For example, the category RationalEntity as a generalization of Person and IntelligentAgent.
label: Kategorie @cs

Axiom
annotated source: Category
annotated property: subClassOf
annotated target: Rigid Mixin
source: ofscm

Axiom
annotated source: Category
annotated property: description
annotated target: A «category» represents a rigid and relationally independent mixin, i.e., a dispersive universal that aggregates essential properties which are common to different substance sortals. For example, the category RationalEntity as a generalization of Person and IntelligentAgent.
source: ontological-foundations-for-structural-conceptual-models

Collective
type: Class
subclass of: Substance sortal
definition: A «collective» represents a substance sortal whose instances are collectives, i.e., they are collections of complexes that have a uniform structure. Examples include a deck of cards, a forest, a group of people, a pile of bricks. Collectives can typically relate to complexes via a constitution relation. For example, a pile of bricks that constitutes a wall, a group of people that constitutes a football team. In this case, the collectives typically have an extensional principle of identity, in contrast to the complexes they constitute. For instance, The Beatles was in a given world w constituted by the collective {John, Paul, George, Pete} and in another world w’ constituted by the collective {John, Paul, George, Ringo}. The replacement of Pete Best by Ringo Star does not alter the identity of the band, but creates a numerically different group of people.

Axiom
annotated source: Collective
annotated property: definition
annotated target: A «collective» represents a substance sortal whose instances are collectives, i.e., they are collections of complexes that have a uniform structure. Examples include a deck of cards, a forest, a group of people, a pile of bricks. Collectives can typically relate to complexes via a constitution relation. For example, a pile of bricks that constitutes a wall, a group of people that constitutes a football team. In this case, the collectives typically have an extensional principle of identity, in contrast to the complexes they constitute. For instance, The Beatles was in a given world w constituted by the collective {John, Paul, George, Pete} and in another world w’ constituted by the collective {John, Paul, George, Ringo}. The replacement of Pete Best by Ringo Star does not alter the identity of the band, but creates a numerically different group of people.
source: https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models

Axiom
annotated source: Collective
annotated property: subClassOf
annotated target: Substance sortal
source: ofscm

Endurant
type: Class
subclass of: Entity
source: ontological-foundations-for-structural-conceptual-models
definition: Endurant is an entity existing in time. Endurants participate in events and can have tropes. Theirs state can change over time.
definition: Endurant je prvek jenž existuje v čase. Enduranty se mohou účastnit událostí a mít závislé prvky. @cs

Axiom
annotated source: Endurant
annotated property: subClassOf
annotated target: Entity
axiom: a01

Endurant Type
type: Class
subclass of: Type
label: Typ endurantu @cs

Entity
type: Class
equivalent class: Class
  union of: Individual
  union of: Type
label: Prvek @cs
definition: Entity represents any identifiable meaning (concept). @cs
definition: Prvek je jakýkoliv identifikovatelný význam (koncept). @cs

Individual
type: Class
equivalent class: Class
  intersection of: Entity
  intersection of: Class
    complement of: Type
subclass of: Entity
label: Individuál @cs
definition: Individual is any entity, which denotes a unique concept, which cannot be used for typing
definition: Individuálem je prvek, který označuje jednotlivost, nelze jej použít pro typování, klasifikaci, jiných prvků. @cs

Intrinsic Trope
type: Class
subclass of: Trope
label: Vlastnost @cs

Intrinsic Trope Type
type: Class
subclass of: Moment Type
label: Typ vlastnosti @cs
alternative label: Intrinsic Moment Type

Kind
type: Class
subclass of: Substance sortal
label: Druh @cs
definition: A kind represents a substance sortal whose instances are functional complexes. Examples include instances of Natural Kinds (such as Person, Dog, Tree) and of artifacts (Chair, Car, Television).

Axiom
annotated source: Kind
annotated property: subClassOf
annotated target: Substance sortal
source: ofscm

Axiom
annotated source: Kind
annotated property: definition
annotated target: A kind represents a substance sortal whose instances are functional complexes. Examples include instances of Natural Kinds (such as Person, Dog, Tree) and of artifacts (Chair, Car, Television).
source: https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models

Mixin
type: Class
subclass of: Non Rigid Mixin
source: https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models

Axiom
annotated source: Mixin
annotated property: subClassOf
annotated target: Non Rigid Mixin
source: ofscm

Mixin Type
type: Class
subclass of: Endurant Type
description: Mixin Type represents the general properties of all mixins, i.e., non-sortals (or dispersive universals).
label: Typ mixinu @cs

Axiom
annotated source: Mixin Type
annotated property: subClassOf
annotated target: Endurant Type
source: ofscm

Axiom
annotated source: Mixin Type
annotated property: description
annotated target: Mixin Type represents the general properties of all mixins, i.e., non-sortals (or dispersive universals).
source: ofscm
comment: definition partially reused from Mixin Class

Mode Type
type: Class
subclass of: Intrinsic Trope Type
source: ontological-foundations-for-structural-conceptual-models
label: Typ módu @cs

Axiom
annotated source: Mode Type
annotated property: subClassOf
annotated target: Intrinsic Trope Type
source: ofscm

Monadic Type
type: Class
subclass of: Endurant Type

Axiom
annotated source: Monadic Type
annotated property: subClassOf
annotated target: Endurant Type
source: ofscm

Non Rigid Mixin
type: Class
subclass of: Mixin Type
label: Nerigidní mixin @cs

Axiom
annotated source: Non Rigid Mixin
annotated property: subClassOf
annotated target: Mixin Type
source: ofscm

Object
type: Class
subclass of: Endurant
subclass of: Restriction
disjoint with: Trope
label: Objekt @cs
definition: Object is any identifiable endurant entity existence of which is not directly dependent on an existence of another entity.
example: - An object *participates in* an event. - An object *has part* another object.
scope note: - An *aircraft* is an object. - An *ATC descent procedure* is an object (formal regulation) that describes the course of a descent operation/process (event).

Axiom
annotated source: Object
annotated property: subClassOf
annotated target: Endurant
axiom: a03

Axiom
annotated source: Object
annotated property: subClassOf
annotated target: Restriction
axiom: a57-part1

Axiom
annotated source: Object
annotated property: disjointWith
annotated target: Trope
axiom: a42

Object Type
type: Class
subclass of: Substantial Type
label: Typ objektu @cs

Phase
type: Class
subclass of: Anti Rigid Sortal
label: Fáze @cs

Axiom
annotated source: Phase
annotated property: subClassOf
annotated target: Anti Rigid Sortal
source: ofscm

Quality Type
type: Class
subclass of: Intrinsic Trope Type
source: ontological-foundations-for-structural-conceptual-models
label: Typ kvality @cs

Axiom
annotated source: Quality Type
annotated property: subClassOf
annotated target: Intrinsic Trope Type
source: ofscm

Quantity
type: Class
subclass of: Substance sortal
definition: A «quantity» represents a substance sortal whose instances are quantities. Examples are those stuff universals that are typically referred in natural language by mass general terms (e.g., Gold, Water, Sand, Clay).

Axiom
annotated source: Quantity
annotated property: subClassOf
annotated target: Substance sortal
source: ofscm

Axiom
annotated source: Quantity
annotated property: definition
annotated target: A «quantity» represents a substance sortal whose instances are quantities. Examples are those stuff universals that are typically referred in natural language by mass general terms (e.g., Gold, Water, Sand, Clay).
source: https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models

Relator
type: Class
subclass of: Trope
label: Vztah @cs

Relator Type
type: Class
subclass of: Moment Type
label: Typ vztahu @cs

Axiom
annotated source: Relator Type
annotated property: subClassOf
annotated target: Moment Type
source: ofscm, renamed from Relator

Rigid Mixin
type: Class
subclass of: Mixin Type
label: Rigidní mixin @cs

Axiom
annotated source: Rigid Mixin
annotated property: subClassOf
annotated target: Mixin Type
source: ofscm

Rigid Sortal
type: Class
subclass of: Sortal Type
source: ontological-foundations-for-structural-conceptual-models
label: Rigidní sortál @cs

Role
type: Class
subclass of: Anti Rigid Sortal

Axiom
annotated source: Role
annotated property: subClassOf
annotated target: Anti Rigid Sortal
source: ofscm

Role Mixin
type: Class
subclass of: Anti Rigid Mixin
source: https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models
label: Mixin rolí @cs

Axiom
annotated source: Role Mixin
annotated property: subClassOf
annotated target: Anti Rigid Mixin
source: ofscm

Sortal Type
type: Class
subclass of: Endurant Type
label: Typ sortálu @cs

Axiom
annotated source: Sortal Type
annotated property: subClassOf
annotated target: Endurant Type
source: ofscm

Sub-kind
type: Class
subclass of: Rigid Sortal
label: Poddruh @cs
definition: A subkind is a rigid, relationally independent restriction of a substance sortal that carries the principle of identity supplied by it. An example could be the subkind MalePerson of the kind Person. In general, the stereotype subkind can be omitted in conceptual models without loss of clarity.

Axiom
annotated source: Sub-kind
annotated property: subClassOf
annotated target: Rigid Sortal
source: ofscm

Axiom
annotated source: Sub-kind
annotated property: definition
annotated target: A subkind is a rigid, relationally independent restriction of a substance sortal that carries the principle of identity supplied by it. An example could be the subkind MalePerson of the kind Person. In general, the stereotype subkind can be omitted in conceptual models without loss of clarity.
source: https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models

Substance sortal
type: Class
subclass of: Rigid Sortal
description: Substance Sortal is an abstract metaclass that represents the general properties of all substance sortals, i.e., rigid, relationally independent object universals that supply a principle of identity for their instances. Substance Sortal has no concrete syntax. Thus, symbolic representations are defined by each of its concrete subclasses.

Axiom
annotated source: Substance sortal
annotated property: subClassOf
annotated target: Rigid Sortal
source: ofscm

Axiom
annotated source: Substance sortal
annotated property: description
annotated target: Substance Sortal is an abstract metaclass that represents the general properties of all substance sortals, i.e., rigid, relationally independent object universals that supply a principle of identity for their instances. Substance Sortal has no concrete syntax. Thus, symbolic representations are defined by each of its concrete subclasses.
source: https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models

Substantial Type
type: Class
subclass of: Monadic Type

Axiom
annotated source: Substantial Type
annotated property: subClassOf
annotated target: Monadic Type
source: ofscm

Trope
type: Class
subclass of: Endurant
subclass of: Restriction
label: Závislý endurant @cs
definition: Trope is a property of some object/event or another trope. The trope CANNOT exist without the object/event it inheres in.
example: We say that: A trope *inheres in* an object.
scope note: Examples include: - *function* of a VOR beacon (property of an object), - *availability* of VOR beacon function (property of a property), - *efficiency* of a rescue operation (property of an event)

Restriction
on property: trope inheres in endurant
cardinality: 1

Axiom
annotated source: Trope
annotated property: subClassOf
annotated target: Endurant
axiom: a05

Axiom
annotated source: Trope
annotated property: subClassOf
annotated target: Restriction
axiom: a47-part1
contributes-to-necessary-condition-for: D1
contributes-to-sufficient-condition-for: D1

Axiom
annotated source: Object
annotated property: disjointWith
annotated target: Trope
axiom: a42

Moment Type
type: Class
subclass of: Monadic Type

Axiom
annotated source: Moment Type
annotated property: subClassOf
annotated target: Monadic Type
source: ofscm

Type
type: Class
subclass of: Entity
subclass of: Restriction
  on property: is-instance-of
  some values from: Type
subclass of: Restriction
  on property: has-type-order
  all values from: Datatype
    on datatype: int
    with restrictions:
      min exclusive: 0
source: ontological-foundations-for-structural-conceptual-models
label: Typ @cs
alternative label: Universal
alternative label: Univerzál @cs
definition: A type is a class instances of which are all types of all levels. Type and Individual form a partition on the Entity class.

Událost