terciální relace (TernaryRelation)

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

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

třída

inheritable relation

terciální relace

Nadtřída(y)

entita

abstraktum

relace

terciální relace

Podtřída(y)

binární funkce predikát se třemi argumenty

Související termín(y)

binární funkce binární predikát binární relace case role funkce intentional relation seznam postoj k objektu neúplná relace predikát pravděpodobnostní relace postoj k tvrzení funkce se čtyřmi argumenty predikát se čtyřmi argumenty relace se čtyřmi argumenty predikát s pěti argumenty relace s pěti argumenty relace rozšířená na veličiny relace s jedinou hodnotou prostorová relace časová relace funkce se třemi argumenty predikát se třemi argumenty úplná relace unární funkce relace s proměnným počtem argumentů

Axiomy (3)

relace je disjointly decomposed into binární relace,terciální relace,relace se čtyřmi argumenty,relace s pěti argumenty,relace s proměnným počtem argumentů.

(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)

Jestliže rel je instancí třídy terciální relace, potom neexistují item1,item2,item3,item4, tak, že rel(item1,item2,item3,item4,) holds.

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

jestliže rel je instancí třídy relace rozšířená na veličiny a rel je instancí třídy terciální relace a number1 je instancí třídy reálné číslo a number2 je instancí třídy reálné číslo a rel(number1,number2,value) holds,
potom pro všechny unit platí: jestliže unit je instancí třídy měrná jednotka, potom rel("number1 unit(s)","number2 unit(s)","value unit(s)") holds

(=>
      (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)))))