The ontology aims at formalize basic notions of the Unified Foundational Ontology, part A - structural models.
Unified Foundational Ontology - A
Ontology Specification
ufo
has object part
má jako část objekt
has part
má část
has trope
má vlastnost
inheres in
je vlastností
is object part of
je částí objektu
is part of
je částí
mediates
object has trope
objekt má vlastnost
trope inheres in endurant
trope inheres in object
Anti Rigid Mixin
Antirigidní mixin
Anti Rigid Sortal
Antirigidní sortál
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.
Category
Kategorie
Collective
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.
Endurant
Endurant is an entity existing in time. Endurants participate in events and can have tropes. Theirs state can change over time.
Endurant je prvek jenž existuje v čase. Enduranty se mohou účastnit událostí a mít závislé prvky.
Endurant Type
Typ endurantu
Entity
Prvek
Entity represents any identifiable meaning (concept).
Prvek je jakýkoliv identifikovatelný význam (koncept).
Individual
Individuál
Individual is any entity, which denotes a unique concept, which cannot be used for typing
Individuálem je prvek, který označuje jednotlivost, nelze jej použít pro typování, klasifikaci, jiných prvků.
Intrinsic Trope
Vlastnost
Intrinsic Trope Type
Typ vlastnosti
Intrinsic Moment Type
Druh
Kind
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).
Mixin
Mixin Type represents the general properties of all mixins, i.e., non-sortals (or dispersive universals).
Mixin Type
Typ mixinu
definition partially reused from Mixin Class
Mode Type
Typ módu
Monadic Type
Nerigidní mixin
Non Rigid Mixin
Object
Objekt
Object is any identifiable endurant entity existence of which is not directly dependent on an existence of another entity.
- An object *participates in* an event. - An object *has part* another object.
- An *aircraft* is an object. - An *ATC descent procedure* is an object (formal regulation) that describes the course of a descent operation/process (event).
Object Type
Typ objektu
Fáze
Phase
Quality Type
Typ kvality
Quantity
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).
Relator
Vztah
Relator Type
Typ vztahu
Rigid Mixin
Rigidní mixin
Rigid Sortal
Rigidní sortál
Role
Mixin rolí
Role Mixin
Sortal Type
Typ sortálu
Poddruh
Sub-kind
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.
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.
Substance sortal
Substantial Type
Trope
Závislý endurant
Trope is a property of some object/event or another trope. The trope CANNOT exist without the object/event it inheres in.
We say that: A trope *inheres in* an object.
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)
Moment Type
Typ
Type
Universal
Univerzál
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