er4 yuan2 guan1 xi4 (BinaryRelation)

BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

er4 yuan2 guan1 xi4

Superclass(es)

shi2 ti3

chou1 xiang4 de5

guan1 xi4

er4 yuan2 guan1 xi4

Instance(s)

fen1 pei4

Subclass(es)

fan3 shen1 guan1 xi4 fei1 fan3 shen1 guan1 xi4 dui4 chen4 guan1 xi4 fan3 dui4 chen4 guan1 xi4 san1 jiao3 guan1 xi4 ke3 di4 guan1 xi4 fei1 ke3 di4 guan1 xi4 yi1 yuan2 han2 shu4 er4 yuan2 shu4 ci2

Coordinate term(s)

er4 yuan2 han2 shu4 er4 yuan2 shu4 ci2 ge2 wei4 jue2 se4 han2 shu4 yi4 tu2 guan1 xi4 xu4 lie4 shou4 shi4 dao3 xiang4 li4 cheng2 pian1 zhi2 guan1 xi4 shu4 ci2 huo4 ran2 lv4 guan1 xi4 ming4 ti2 tai4 du4 si4 yuan2 han2 shu4 si4 yuan2 shu4 ci2 si4 yuan2 guan1 xi4 wu3 yuan2 shu4 ci2 wu3 yuan2 guan1 xi4 yu3 liang4 guan1 xi4 dan1 zhi2 guan1 xi4 kong1 jian1 guan1 xi4 shi2 jian1 guan1 xi4 san1 yuan2 han2 shu4 san1 yuan2 shu4 ci2 san1 yuan2 guan1 xi4 quan2 zhi2 guan1 xi4 yi1 yuan2 han2 shu4 bian4 yi4 yuan2 shu4 guan1 xi4

Constrains relations

deng3 tong2 guan1 xi4 yu1 dao4 xu4 fei1 fan3 she4 yu1... pian1 xu4 yu1... fan3 she4 yu1... quan2 xu4 yu1... san1 fen1 fa3

Axioms (4)

guan1 xi4 wu2 jiao1 ji2 di4 fen1 jie3 cheng2 er4 yuan2 guan1 xi4,san1 yuan2 guan1 xi4,si4 yuan2 guan1 xi4,wu3 yuan2 guan1 xi4,bian4 yi4 yuan2 shu4 guan1 xi4.

(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)

If rel shi4 er4 yuan2 guan1 xi4 de5 shi2 li4, then there don't exist item1,item2,item3, so_that_not rel(item1,item2,item3,) (bu2) cheng2 li4s.

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

rel shi4 er4 yuan2 guan1 xi4 de5 shi2 li4
rel de5 lun4 yuan2 shi4 class1 de5 shi2 li4 or rel de5 lun4 yuan2 shi4 class1 de5 ci4 zhong3 lei4
rel de5 lun4 yuan2 shi4 class2 de5 shi2 li4 or rel de5 lun4 yuan2 shi4 class2 de5 ci4 zhong3 lei4 or rel de5 fan4 wei2 shi4 class2 de5 shi2 li4 or bei4 rel gui1 hui2 de5 zhi2 shi4 class2de5 ci4 zhong3 lei4
class1 wu2 jiao1 ji2 yu1 class2

, then rel shi4 bu2 dui4 chen4 guan1 xi4 de5 shi2 li4.

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

if rel shi4 yu3 liang4 guan1 xi4 de5 shi2 li4 and rel shi4 er4 yuan2 guan1 xi4 de5 shi2 li4 and number1 shi4 shi2 shu4 de5 shi2 li4 and number2 shi4 shi2 shu4 de5 shi2 li4 and rel(number1,number2) (bu2) cheng2 li4s,
then for all unit holds: if unit shi4 liang2 du4 dan1 wei4 de5 shi2 li4, then rel("number1 unit(s)","number2 unit(s)") (bu2) cheng2 li4s

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