三元關係 (TernaryRelation)

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

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

種類

可繼承關係

三元關係

Superclass(es)

實體

抽象的

關係

三元關係

Subclass(es)

二元函數三元述詞

Coordinate term(s)

二元函數二元述詞二元關係格位角色函數意圖關係序列受事導向（歷程）偏值關係述詞或然率關係命題態度四元函數四元述詞四元關係五元述詞五元關係與量關係單值關係空間關係時間關係三元函數三元述詞全值關係一元函數變異元數關係

Axioms (3)

關係無交集地分解成二元關係,三元關係,四元關係,五元關係,變異元數關係.

(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)

If rel 是三元關係的實例, then there don't exist item1,item2,item3,item4, so that rel(item1,item2,item3,item4,) (不) 成立s.

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

if rel 是與量關係的實例 and rel 是三元關係的實例 and number1 是實數的實例 and number2 是實數的實例 and rel(number1,number2,value) (不) 成立s,
then for all unit holds: if unit 是量度單位的實例, then rel("number1 unit(s)","number2 unit(s)","value unit(s)") (不) 成立s

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