Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi

inheritable relation (InheritableRelation)

This is a Class of Classes. Each instance of InheritableRelation is a subclass of Relation whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

is instance of

inheritable relation

Instance(s)

einwertige Relation zweiwertige Relation Fallrolle Wahrscheinlichkeitsrelation räumliche Relation zeitliche Relation intentional relation propositionale Einstellung Gegenstandeinstellung dreiwertige Relation viewwertige Relation fünfwertige Relation Prädikat Funktion einstellige Funktion zweistellige Funktion dreistellige Funktion vierstellige funktion zweistellige Prädikat dreistellige Prädikat vierstellige Prädikat fünfstellige Prädikat Relation erweitert auf Quantitäten

Axioms (1)

Wenn pred1 ist eine teilrelation von pred2 und pred2 ist ein fall von class und class ist ein fall von inheritable relation , dann pred1 ist ein fall von class .

(=>
      (and
            (subrelation ?PRED1 ?PRED2)
            (instance ?PRED2 ?CLASS)
            (instance ?CLASS InheritableRelation))
      (instance ?PRED1 ?CLASS))