@prefix : <http://onto.fel.cvut.cz/ontologies/ufo-a/> .
@prefix bibo: <http://purl.org/ontology/bibo/> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix swrl: <http://www.w3.org/2003/11/swrl#> .
@prefix swrlb: <http://www.w3.org/2003/11/swrlb#> .
@prefix terms: <http://purl.org/dc/terms/> .
@prefix ufo: <http://onto.fel.cvut.cz/ontologies/ufo/> .
@prefix vann: <http://purl.org/vocab/vann/> .
@prefix voc: <http://onto.fel.cvut.cz/ontologies/voc/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

[] a owl:Axiom;
  terms:source "ofscm";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:anti-rigid-mixin;
  owl:annotatedTarget ufo:non-rigid-type .

[] a owl:Axiom;
  terms:source "ofscm";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:monadic-type;
  owl:annotatedTarget ufo:endurant-type .

[] a owl:Axiom;
  terms:source "ofscm";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:quantity;
  owl:annotatedTarget ufo:substance-sortal .

[] a owl:Axiom;
  terms:source "ofscm";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:substance-sortal;
  owl:annotatedTarget ufo:rigid-sortal .

[] a owl:Axiom;
  terms:source "ofscm";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:anti-rigid-sortal;
  owl:annotatedTarget ufo:sortal-type .

[] a owl:Axiom;
  terms:source "ofscm";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:non-rigid-type;
  owl:annotatedTarget ufo:mixin-type .

[] a owl:Axiom;
  terms:source "https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models";
  owl:annotatedProperty skos:definition;
  owl:annotatedSource ufo:quantity;
  owl:annotatedTarget "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)."@en .

[] a owl:Axiom;
  terms:source "https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models";
  owl:annotatedProperty terms:description;
  owl:annotatedSource ufo:substance-sortal;
  owl:annotatedTarget "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."@en .

[] a owl:Axiom;
  terms:source "ofscm";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:category;
  owl:annotatedTarget ufo:rigid-mixin .

[] a owl:Axiom;
  terms:source "ofscm, renamed from Relator";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:relator-type;
  owl:annotatedTarget ufo:trope-type .

[] a owl:Axiom;
  terms:source "ofscm";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:substantial-type;
  owl:annotatedTarget ufo:monadic-type .

[] a owl:Axiom;
  terms:source <https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models>;
  owl:annotatedProperty terms:description;
  owl:annotatedSource ufo:category;
  owl:annotatedTarget "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."@en .

[] a owl:Axiom;
  ufo:axiom "a03";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:object;
  owl:annotatedTarget ufo:endurant .

[] a owl:Axiom;
  terms:source "ofscm";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:rigid-mixin;
  owl:annotatedTarget ufo:mixin-type .

[] a owl:Axiom;
  terms:source "https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models";
  owl:annotatedProperty skos:definition;
  owl:annotatedSource ufo:collective;
  owl:annotatedTarget "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."@en .

[] a owl:Axiom;
  terms:source "ofscm";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:kind;
  owl:annotatedTarget ufo:substance-sortal .

[] a owl:Axiom;
  ufo:axiom "a57-part1";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:object;
  owl:annotatedTarget [ a owl:Restriction;
      owl:onProperty ufo:object-has-trope;
      owl:someValuesFrom owl:Thing
    ] .

[] a owl:Axiom;
  terms:source "ofscm";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:role;
  owl:annotatedTarget ufo:anti-rigid-sortal .

[] a owl:Axiom;
  ufo:axiom "a05";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:trope;
  owl:annotatedTarget ufo:endurant .

[] swrl:argument1 <urn:swrl#x>;
  swrl:argument2 <urn:swrl#y>;
  swrl:propertyPredicate ufo:has_object_part .

[] a owl:Axiom;
  terms:source "ofscm";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:collective;
  owl:annotatedTarget ufo:substance-sortal .

[] a owl:Axiom;
  terms:source "https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models";
  owl:annotatedProperty skos:definition;
  owl:annotatedSource ufo:kind;
  owl:annotatedTarget "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)."@en .

[] a owl:Axiom;
  terms:source <https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models>;
  owl:annotatedProperty skos:definition;
  owl:annotatedSource ufo:role;
  owl:annotatedTarget "A role represents a phased-sortal role, i.e. anti-rigid and relationally dependent universal. For instance, the role student is played by an instance of the kind Person."@en .

[] a owl:Axiom;
  ufo:axiom "a47-part1";
  ufo:contributes-to-necessary-condition-for "D1";
  ufo:contributes-to-sufficient-condition-for "D1";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:trope;
  owl:annotatedTarget [ a owl:Restriction;
      owl:cardinality "1"^^xsd:nonNegativeInteger;
      owl:onProperty ufo:trope-inheres-in-endurant
    ] .

[] a swrl:Imp;
  swrl:body [ a swrl:AtomList;
      rdf:first [ a swrl:IndividualPropertyAtom;
          swrl:argument1 <urn:swrl#x>;
          swrl:argument2 <urn:swrl#y>;
          swrl:propertyPredicate ufo:has-object-part
        ];
      rdf:rest [ a swrl:AtomList;
          rdf:first [ a swrl:IndividualPropertyAtom;
              swrl:argument1 <urn:swrl#y>;
              swrl:argument2 <urn:swrl#z>;
              swrl:propertyPredicate ufo:has-object-part
            ];
          rdf:rest rdf:nil
        ]
    ];
  swrl:head [ a swrl:AtomList;
      rdf:first [ a swrl:IndividualPropertyAtom;
          swrl:argument1 <urn:swrl#x>;
          swrl:argument2 <urn:swrl#z>;
          swrl:propertyPredicate ufo:has-object-part
        ];
      rdf:rest rdf:nil
    ] .

[] a owl:Axiom;
  ufo:axiom "a57-part2";
  owl:annotatedProperty rdfs:domain;
  owl:annotatedSource ufo:object-has-trope;
  owl:annotatedTarget ufo:object .

[] a owl:Axiom;
  ufo:axiom "a01";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:endurant;
  owl:annotatedTarget ufo:entity .

[] a owl:Axiom;
  terms:source "ofscm";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:mixin;
  owl:annotatedTarget ufo:non-rigid-type .

[] a owl:Axiom;
  ufo:axiom "a42";
  owl:annotatedProperty owl:disjointWith;
  owl:annotatedSource ufo:object;
  owl:annotatedTarget ufo:trope .

[] a owl:Axiom;
  terms:source "ofscm";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:role-mixin;
  owl:annotatedTarget ufo:anti-rigid-mixin .

[] a owl:Axiom;
  ufo:axiom "a57-part2", "a57-part3";
  owl:annotatedProperty rdfs:range;
  owl:annotatedSource ufo:object-has-trope;
  owl:annotatedTarget ufo:trope .

[] a owl:Axiom;
  terms:source "ofscm";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:mixin-type;
  owl:annotatedTarget ufo:endurant-type .

[] a owl:Axiom;
  terms:source "ofscm";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:phase;
  owl:annotatedTarget ufo:anti-rigid-sortal .

[] a owl:Axiom;
  terms:source "ofscm";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:sortal-type;
  owl:annotatedTarget ufo:endurant-type .

[] a owl:Axiom;
  ufo:axiom "a42";
  owl:annotatedProperty owl:disjointWith;
  owl:annotatedSource ufo:object;
  owl:annotatedTarget ufo:trope .

[] a owl:Axiom;
  ufo:axiom "a12";
  owl:annotatedProperty rdfs:domain;
  owl:annotatedSource ufo:trope-inheres-in-object;
  owl:annotatedTarget ufo:trope .

[] a owl:Axiom;
  terms:source "ofscm";
  rdfs:comment "definition partially reused from Mixin Class";
  owl:annotatedProperty terms:description;
  owl:annotatedSource ufo:mixin-type;
  owl:annotatedTarget "Mixin Type represents the general properties of all mixins, i.e., non-sortals (or dispersive universals)."@en .

[] a owl:Axiom;
  terms:source <https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models>;
  owl:annotatedProperty skos:definition;
  owl:annotatedSource ufo:phase;
  owl:annotatedTarget "A «phase» represents the phased-sortals phase, i.e. anti-rigid and relationally independent universals defined as part of a partition of a substance sortal. For instance, 〈Catterpillar, Butterfly〉 partitions the kind Lepdopterum."@en .

[] a owl:Axiom;
  terms:source "ofscm";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:sub-kind;
  owl:annotatedTarget ufo:rigid-sortal .

[] a owl:Axiom;
  terms:source "ofscm";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:trope-type;
  owl:annotatedTarget ufo:monadic-type .

[] a owl:Axiom;
  ufo:axiom "a26", "a47-part2";
  ufo:contributes-to-necessary-condition-for "D1";
  ufo:contributes-to-sufficient-condition-for "D1";
  owl:annotatedProperty rdfs:range;
  owl:annotatedSource ufo:trope-inheres-in-object;
  owl:annotatedTarget ufo:object .

[] a owl:Axiom;
  terms:source "ofscm";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:mode-type;
  owl:annotatedTarget ufo:intrinsic-trope-type .

[] a owl:Axiom;
  terms:source "ofscm";
  owl:annotatedProperty rdfs:subClassOf;
  owl:annotatedSource ufo:quality-type;
  owl:annotatedTarget ufo:intrinsic-trope-type .

[] a owl:Axiom;
  terms:source "https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models";
  owl:annotatedProperty skos:definition;
  owl:annotatedSource ufo:sub-kind;
  owl:annotatedTarget "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."@en .

<http://onto.fel.cvut.cz/ontologies/ufo-a> a owl:Ontology;
  terms:created "2.10.2018"@en;
  terms:creator <http://onto.fel.cvut.cz/ontologies/kbss/people/petr-kremen>;
  terms:description "The ontology aims at formalize basic notions of the Unified Foundational Ontology, part A - structural models."@en;
  terms:rights <https://creativecommons.org/licenses/by-sa/4.0>;
  terms:title "Unified Foundational Ontology - A"@en;
  bibo:status "Ontology Specification"@en;
  vann:preferredNamespacePrefix "ufo"@en;
  vann:preferredNamespaceUri "http://onto.fel.cvut.cz/ontologies/ufo/"@en;
  owl:priorVersion :1.0.1;
  owl:versionIRI :1.1.0;
  owl:versionInfo "1.1.0"@en;
  <https://w3id.org/widoco/vocab#jsonldSerialization> <https://onto.fel.cvut.cz/ontologies/ufo-a/1.1.0.jsonld>;
  <https://w3id.org/widoco/vocab#ntSerialization> <https://onto.fel.cvut.cz/ontologies/ufo-a/1.1.0.nt>;
  <https://w3id.org/widoco/vocab#rdfxmlSerialization> <https://onto.fel.cvut.cz/ontologies/ufo-a/1.1.0.rdf>;
  <https://w3id.org/widoco/vocab#turtleSerialization> <https://onto.fel.cvut.cz/ontologies/ufo-a/1.1.0.ttl> .

ufo:anti-rigid-mixin a owl:Class;
  rdfs:label "Antirigidní mixin"@cs, "Anti Rigid Mixin"@en;
  rdfs:subClassOf ufo:non-rigid-type .

ufo:anti-rigid-sortal a owl:Class;
  rdfs:label "Antirigidní sortál"@cs, "Anti Rigid Sortal"@en;
  rdfs:subClassOf ufo:sortal-type .

ufo:axiom a owl:AnnotationProperty .

ufo:category a owl:Class;
  terms: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."@en;
  rdfs:label "Kategorie"@cs, "Category"@en;
  rdfs:subClassOf ufo:rigid-mixin .

ufo:collective a owl:Class;
  rdfs:label "Collective"@en;
  rdfs:subClassOf ufo:substance-sortal;
  skos: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."@en .

ufo:contributes-to-necessary-condition-for a owl:AnnotationProperty .

ufo:contributes-to-sufficient-condition-for a owl:AnnotationProperty .

ufo:endurant a owl:Class;
  terms:source <https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models>;
  rdfs:label "Endurant"@cs, "Endurant"@en;
  rdfs:subClassOf ufo:entity;
  skos:definition "Endurant je prvek jenž existuje v čase. Enduranty se mohou účastnit událostí a mít závislé prvky."@cs,
    "Endurant is an entity existing in time. Endurants participate in events and can have tropes. Theirs state can change over time."@en .

ufo:endurant-type a owl:Class;
  rdfs:label "Typ endurantu"@cs, "Endurant Type"@en;
  rdfs:subClassOf ufo:type .

ufo:entity a owl:Class;
  rdfs:label "Prvek"@cs, "Entity"@en;
  owl:equivalentClass [ a owl:Class;
      owl:unionOf (ufo:individual ufo:type)
    ];
  skos:definition "Entity represents any identifiable meaning (concept)."@cs, "Prvek je jakýkoliv identifikovatelný  význam (koncept)."@cs .

ufo:event rdfs:label "Událost"@cs .

ufo:has-object-part a owl:ObjectProperty;
  rdfs:domain ufo:object;
  rdfs:label "má jako část objekt"@cs, "has object part"@en;
  rdfs:range ufo:object;
  rdfs:subPropertyOf ufo:has-part;
  owl:inverseOf ufo:is-object-part-of .

ufo:has-part a owl:ObjectProperty;
  rdfs:domain ufo:entity;
  rdfs:label "má část"@cs, "has part"@en;
  rdfs:range ufo:entity;
  owl:inverseOf ufo:is-part-of .

ufo:has-trope a owl:ObjectProperty;
  rdfs:domain ufo:entity;
  rdfs:label "má vlastnost"@cs, "has trope"@en;
  rdfs:range ufo:trope;
  owl:inverseOf ufo:inheres-in .

ufo:has-type-order a owl:DatatypeProperty .

ufo:individual a owl:Class;
  rdfs:label "Individuál"@cs, "Individual"@en;
  rdfs:subClassOf ufo:entity;
  owl:equivalentClass [ a owl:Class;
      owl:intersectionOf (ufo:entity [ a owl:Class;
            owl:complementOf ufo:type
          ])
    ];
  skos:definition "Individuálem je prvek, který označuje jednotlivost, nelze jej použít pro typování, klasifikaci, jiných prvků."@cs,
    "Individual is any entity, which denotes a unique concept, which cannot be used for typing"@en .

ufo:inheres-in a owl:ObjectProperty;
  rdfs:label "je vlastností"@cs, "inheres in"@en;
  rdfs:range ufo:entity .

ufo:intrinsic-trope a owl:Class;
  rdfs:label "Vlastnost"@cs, "Intrinsic Trope"@en;
  rdfs:subClassOf ufo:trope .

ufo:intrinsic-trope-type a owl:Class;
  rdfs:label "Typ vlastnosti"@cs, "Intrinsic Trope Type"@en;
  rdfs:subClassOf ufo:trope-type;
  skos:altLabel "Intrinsic Moment Type"@en .

ufo:is-instance-of a owl:ObjectProperty .

ufo:is-object-part-of a owl:ObjectProperty;
  rdfs:domain ufo:object;
  rdfs:label "je částí objektu"@cs, "is object part of"@en;
  rdfs:range ufo:object;
  rdfs:subPropertyOf ufo:is-part-of .

ufo:is-part-of a owl:ObjectProperty;
  rdfs:domain ufo:entity;
  rdfs:label "je částí"@cs, "is part of"@en;
  rdfs:range ufo:entity .

ufo:kind a owl:Class;
  rdfs:label "Druh"@cs, "Kind"@en;
  rdfs:subClassOf ufo:substance-sortal;
  skos: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)."@en .

ufo:mediates a owl:ObjectProperty;
  rdfs:domain ufo:relator;
  rdfs:label "mediates"@en;
  rdfs:range ufo:endurant .

ufo:mixin a owl:Class;
  terms:source "https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models";
  rdfs:label "Mixin"@cs, "Mixin"@en;
  rdfs:subClassOf ufo:non-rigid-type .

ufo:mixin-type a owl:Class;
  terms:description "Mixin Type represents the general properties of all mixins, i.e., non-sortals (or dispersive universals)."@en;
  rdfs:label "Typ mixinu"@cs, "Mixin Type"@en;
  rdfs:subClassOf ufo:endurant-type .

ufo:mode-type a owl:Class;
  terms:source <https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models>;
  rdfs:label "Typ módu"@cs, "Mode Type"@en;
  rdfs:subClassOf ufo:intrinsic-trope-type .

ufo:monadic-type a owl:Class;
  rdfs:label "Monadic Type"@en;
  rdfs:subClassOf ufo:endurant-type .

ufo:non-rigid-type a owl:Class;
  rdfs:label "Nerigidní mixin"@cs, "Non Rigid Mixin"@en;
  rdfs:subClassOf ufo:mixin-type .

ufo:object a owl:Class;
  rdfs:label "Objekt"@cs, "Object"@en;
  rdfs:subClassOf [ a owl:Restriction;
      owl:onProperty ufo:object-has-trope;
      owl:someValuesFrom owl:Thing
    ], ufo:endurant;
  owl:disjointWith ufo:trope;
  skos:definition "Object is any identifiable endurant entity existence of which is not directly dependent on an existence of another entity."@en;
  skos:example """- An object *participates in* an event.
- An object *has part* another object."""@en;
  skos:scopeNote """- An *aircraft* is an object.
- An *ATC descent procedure* is an object (formal regulation) that describes the course of a descent operation/process (event)."""@en .

ufo:object-has-trope a owl:ObjectProperty;
  rdfs:domain ufo:object;
  rdfs:label "objekt má vlastnost"@cs, "object has trope"@en;
  rdfs:range ufo:trope;
  rdfs:subPropertyOf ufo:has-trope;
  owl:inverseOf ufo:trope-inheres-in-object .

ufo:object-type a owl:Class;
  rdfs:label "Typ objektu"@cs, "Object Type"@en;
  rdfs:subClassOf ufo:substantial-type .

ufo:phase a owl:Class;
  rdfs:label "Fáze"@cs, "Phase"@en;
  rdfs:subClassOf ufo:anti-rigid-sortal;
  skos:definition "A «phase» represents the phased-sortals phase, i.e. anti-rigid and relationally independent universals defined as part of a partition of a substance sortal. For instance, 〈Catterpillar, Butterfly〉 partitions the kind Lepdopterum."@en .

ufo:quality-type a owl:Class;
  terms:source <https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models>;
  rdfs:label "Typ kvality"@cs, "Quality Type"@en;
  rdfs:subClassOf ufo:intrinsic-trope-type .

ufo:quantity a owl:Class;
  rdfs:label "Kvantita"@cs, "Quantity"@en;
  rdfs:subClassOf ufo:substance-sortal;
  skos: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)."@en .

ufo:relator a owl:Class;
  rdfs:label "Vztah"@cs, "Relator"@en;
  rdfs:subClassOf ufo:trope .

ufo:relator-type a owl:Class;
  rdfs:label "Typ vztahu"@cs, "Relator Type"@en;
  rdfs:subClassOf ufo:trope-type .

ufo:rigid-mixin a owl:Class;
  rdfs:label "Rigidní mixin"@cs, "Rigid Mixin"@en;
  rdfs:subClassOf ufo:mixin-type .

ufo:rigid-sortal a owl:Class;
  terms:source <https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models>;
  rdfs:label "Rigidní sortál"@cs, "Rigid Sortal"@en;
  rdfs:subClassOf ufo:sortal-type .

ufo:role a owl:Class;
  rdfs:label "Role"@cs, "Role"@en;
  rdfs:subClassOf ufo:anti-rigid-sortal;
  skos:definition "A role represents a phased-sortal role, i.e. anti-rigid and relationally dependent universal. For instance, the role student is played by an instance of the kind Person."@en .

ufo:role-mixin a owl:Class;
  terms:source "https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models";
  rdfs:label "Mixin rolí"@cs, "Role Mixin"@en;
  rdfs:subClassOf ufo:anti-rigid-mixin .

ufo:sortal-type a owl:Class;
  rdfs:label "Typ sortálu"@cs, "Sortal Type"@en;
  rdfs:subClassOf ufo:endurant-type .

ufo:sub-kind a owl:Class;
  rdfs:label "Poddruh"@cs, "Sub-kind"@en;
  rdfs:subClassOf ufo:rigid-sortal;
  skos: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."@en .

ufo:substance-sortal a owl:Class;
  terms: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."@en;
  rdfs:label "Substance sortal"@en;
  rdfs:subClassOf ufo:rigid-sortal .

ufo:substantial-type a owl:Class;
  rdfs:label "Substantial Type"@en;
  rdfs:subClassOf ufo:monadic-type .

ufo:trope a owl:Class;
  rdfs:label "Závislý endurant"@cs, "Trope"@en;
  rdfs:subClassOf [ a owl:Restriction;
      owl:cardinality "1"^^xsd:nonNegativeInteger;
      owl:onProperty ufo:trope-inheres-in-endurant
    ], ufo:endurant;
  skos:definition "Trope is a property of some object/event or another trope. The trope CANNOT exist without the object/event it inheres in.";
  skos:example """We say that:

A trope *inheres in* an object."""@en;
  skos:scopeNote """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)"""@en .

ufo:trope-inheres-in-endurant a owl:ObjectProperty;
  rdfs:label "trope inheres in endurant"@en;
  rdfs:subPropertyOf ufo:inheres-in .

ufo:trope-inheres-in-object a owl:ObjectProperty;
  rdfs:domain ufo:trope;
  rdfs:label "trope inheres in object"@en;
  rdfs:range ufo:object;
  rdfs:subPropertyOf ufo:trope-inheres-in-endurant .

ufo:trope-type a owl:Class;
  rdfs:label "Moment Type"@en;
  rdfs:subClassOf ufo:monadic-type .

ufo:type a owl:Class;
  terms:source <https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models>;
  rdfs:label "Typ"@cs, "Type"@en;
  rdfs:subClassOf [ a owl:Restriction;
      owl:allValuesFrom [ a rdfs:Datatype;
          owl:onDatatype xsd:int;
          owl:withRestrictions ([
                xsd:minExclusive "0"^^xsd:int
              ])
        ];
      owl:onProperty ufo:has-type-order
    ], [ a owl:Restriction;
      owl:onProperty ufo:is-instance-of;
      owl:someValuesFrom ufo:type
    ], ufo:entity;
  skos:altLabel "Univerzál"@cs, "Universal"@en;
  skos: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."@en .

terms:created a owl:AnnotationProperty .

terms:creator a owl:AnnotationProperty .

terms:description a owl:AnnotationProperty .

terms:rights a owl:AnnotationProperty .

terms:source a owl:AnnotationProperty .

terms:title a owl:AnnotationProperty .

bibo:status a owl:AnnotationProperty .

vann:preferredNamespacePrefix a owl:AnnotationProperty .

vann:preferredNamespaceUri a owl:AnnotationProperty .

owl:versionInfo a owl:AnnotationProperty .

swrl:argument1 a owl:AnnotationProperty .

swrl:argument2 a owl:AnnotationProperty .

swrl:propertyPredicate a owl:AnnotationProperty .

skos:altLabel a owl:AnnotationProperty .

skos:definition a owl:AnnotationProperty .

skos:example a owl:AnnotationProperty .

skos:scopeNote a owl:AnnotationProperty .

<urn:swrl#x> a swrl:Variable .

<urn:swrl#y> a swrl:Variable .

<urn:swrl#z> a swrl:Variable .