dreiwertige Relation (TernaryRelation)

TernaryRelations relate three items. The two subclasses of TernaryRelation are TernaryPredicate and BinaryFunction.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Kategorie

inheritable relation

dreiwertige Relation

Superclass(es)

Wesen

abstrakter Gegenstand

Relation

dreiwertige Relation

Subclass(es)

zweistellige Funktion dreistellige Prädikat

Coordinate term(s)

zweistellige Funktion zweistellige Prädikat zweiwertige Relation Fallrolle Funktion intentional relation Liste Gegenstandeinstellung teilwertige Relation Prädikat Wahrscheinlichkeitsrelation propositionale Einstellung vierstellige funktion vierstellige Prädikat viewwertige Relation fünfstellige Prädikat fünfwertige Relation Relation erweitert auf Quantitäten einwertige Relation räumliche Relation zeitliche Relation dreistellige Funktion dreistellige Prädikat totalwertige Relation einstellige Funktion Relation mit veränderlicher Anzahl Argumente

Axioms (3)

Relation wird zusammenhanglos auf zweiwertige Relation,dreiwertige Relation,viewwertige Relation,fünfwertige Relation,Relation mit veränderlicher Anzahl Argumente disjunkt.

(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)

Wenn rel ist ein fall von dreiwertige Relation , dann es gibt kein item1,item2,item3,item4, der rel(item1,item2,item3,item4,) gilt .

(=>
      (instance ?REL TernaryRelation)
      (not
            (exists
                  (?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 @ROW)
                  (holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 @ROW))))

wenn rel ist ein fall von Relation erweitert auf Quantitäten und rel ist ein fall von dreiwertige Relation und number1 ist ein fall von reelle Zahl und number2 ist ein fall von reelle Zahl und rel(number1,number2,value) gilt ,
dann für jeden unit gilt: wenn unit ist ein fall von Masseinheit , dann rel("number1 unit(s)","number2 unit(s)","value unit(s)") gilt

(=>
      (and
            (instance ?REL RelationExtendedToQuantities)
            (instance ?REL TernaryRelation)
            (instance ?NUMBER1 RealNumber)
            (instance ?NUMBER2 RealNumber)
            (holds ?REL ?NUMBER1 ?NUMBER2 ?VALUE))
      (forall
            (?UNIT)
            (=>
                  (instance ?UNIT UnitOfMeasure)
                  (holds
                        ?REL
                        (MeasureFn ?NUMBER1 ?UNIT)
                        (MeasureFn ?NUMBER2 ?UNIT)
                        (MeasureFn ?VALUE ?UNIT)))))