definitionsbereichteilkategorie (domainSubclass)

Predicate used to specify argument type restrictions of Predicates. The formula (domainSubclass rel int class) means that the int'th element of each tuple in the relation rel must be a subclass of class.

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

Kategorie

inheritable relation

dreistellige Prädikat

definitionsbereichteilkategorie

Coordinate term(s)

altitude zwischen fähigkeit Abhänigkeitswahrscheinlichkeit konferiertVerpflichtung konferiertRecht schliesstAn depth abstand definitionsbereich hatZweckFürAgent verbindet besetztPosition lagebestimmung bevorzugt verwandtesÄusserkonzept stelltDarFürAgent inSpracheDargestellt zeitlichZwischen zeitlichZwischenOderGleichzeitig

Type restrictions

domainSubclass(Relation, positive Ganzzahl, Menge oder Kategorie)

Axioms (5)

Wenn rel1 ist eine teilrelation von rel2 und die Zahl number Argument von rel2 ist eine teilkategorie von class1 , dann die Zahl number Argument von rel1 ist eine teilkategorie von class1 .

(=>
      (and
            (subrelation ?REL1 ?REL2)
            (domainSubclass ?REL2 ?NUMBER ?CLASS1))
      (domainSubclass ?REL1 ?NUMBER ?CLASS1))

Wenn die Zahl number Argument von rel ist eine teilkategorie von class1 und die Zahl number Argument von rel ist eine teilkategorie von class2 , dann class1 ist eine teilkategorie von class2 oder class2 ist eine teilkategorie von class1.

(=>
      (and
            (domainSubclass ?REL ?NUMBER ?CLASS1)
            (domainSubclass ?REL ?NUMBER ?CLASS2))
      (or
            (subclass ?CLASS1 ?CLASS2)
            (subclass ?CLASS2 ?CLASS1)))

Wenn die Zahl number Argument von rel1 ist eine teilkategorie von class1 und die Zahl number Argument von rel2 ist eine teilkategorie von class2 und class1 ist dijunkt von class2 , dann rel1 und rel2 werden disjunkt.

(=>
      (and
            (domainSubclass ?REL1 ?NUMBER ?CLASS1)
            (domainSubclass ?REL2 ?NUMBER ?CLASS2)
            (disjoint ?CLASS1 ?CLASS2))
      (disjointRelation ?REL1 ?REL2))

Wenn

rel ist ein fall von zweiwertige Relation
die Zahl Argument von rel ist ein fall von class1 oder die Zahl Argument von rel ist eine teilkategorie von class1
die Zahl Argument von rel ist ein fall von class2 oder die Zahl Argument von rel ist eine teilkategorie von class2 oder bildbereich von rel ist ein fall von class2 {nicht} oder die werte die rel zurückgibt sind teilkategorien von class2
class1 ist dijunkt von class2

, dann rel ist ein fall von asymmetrische Relation .

(=>
      (and
            (instance ?REL BinaryRelation)
            (or
                  (domain ?REL 1 ?CLASS1)
                  (domainSubclass ?REL 1 ?CLASS1))
            (or
                  (domain ?REL 2 ?CLASS2)
                  (domainSubclass ?REL 2 ?CLASS2)
                  (range ?REL ?CLASS2)
                  (rangeSubclass ?REL ?CLASS2))
            (disjoint ?CLASS1 ?CLASS2))
      (instance ?REL AsymmetricRelation))

Wenn die Zahl number Argument von rel ist eine teilkategorie von class und rel() gilt , dann "numberte mitglied von "()"" ist eine teilkategorie von class.

(=>
      (and
            (domainSubclass ?REL ?NUMBER ?CLASS)
            (holds ?REL @ROW))
      (subclass
            (ListOrderFn
                  (ListFn @ROW)
                  ?NUMBER)
            ?CLASS))