16.11.2017
The ontology aims at formalize basic notions of multi-level modeling in the Unified Foundational Ontology.
Unified Foundational Ontology - Powertypes
Ontology Specification
ufo
http://onto.fel.cvut.cz/ontologies/ufo/
1.1.0
is associated with
categorizes
categorizes(t,t')
The instances of t apply to instances of t’ according specific classification criteria. Thus, all proper specializations of t’ that categorizes(t,t’) follow the specified classification criteria are instances of t.
completely categorizes
'completely categorizes'(t,t’)
A variation of categorization in which the classification criteria defined by t guarantee that each instance of t’ is instance of at least one instance of t.
disjointly categorizes
'disjointly categorizes'(t,t')
A variation of categorization in which the classification criteria defined by t guarantee that each instance of t’ is instance of at most one instance of t.
has property
This relation is a relationship between an individual and its type. The type is understood in the sense of UFO instance powertype.
has type
Use is-instance-of instead
is classified by
is instance of
is powertype of
'is powertype of'(t,t')
The instances of t apply to instances of t’ but no classification criteria are defined. Thus, all specializations of t’, including t’ itself are instances of t.
partitions
partitions(t,t')
A variation of categorization in which the classification criteria defined by t guarantee that each instance of t’ is instance of exactly one instance of t.
0
has type order
má úroveň
Type Intrinsic Trope
Vlastnost typu