cheng2 li4 (holds)

(holds P N1 ... NK) is true just in case the tuple of objects denoted by N1,..., NK is an element of the Relation P.

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

shu4 ci2

bian4 yi4 yuan2 shu4 guan1 xi4
is instance of

cheng2 li4

Coordinate term(s)

zhi3 ding4 han2 shu4 zui4 da4 gong1 yue1 shu4 han2 shu4 zui4 xiao3 gong1 bei4 shu4 han2 shu4 xu4 lie4 han2 shu4 mao2 dun4 shu3 xing4 wu2 jiao1 ji2 fen1 jie3 wu2 jiao1 ji2 guan1 xi4 qiong2 jin4 de5 shu3 xing4 qiong2 jin4 de5 fen1 jie3 fen1 ge1

Type restrictions

holds(guan1 xi4)

Axioms (34)

If rel1 shi4 rel2 de5 dao4 xu4, then for all inst1,inst2 holds: rel1(inst1,inst2) (bu2) cheng2 li4s if and only if rel2(inst2,inst1) (bu2) cheng2 li4s.

(=>
      (inverse ?REL1 ?REL2)
      (forall
            (?INST1 ?INST2)
            (<=>
                  (holds ?REL1 ?INST1 ?INST2)
                  (holds ?REL2 ?INST2 ?INST1))))

If rel1 shi4 rel2 de5 ci4 guan1 xi4 and rel1() (bu2) cheng2 li4s, then rel2() (bu2) cheng2 li4s.

(=>
      (and
            (subrelation ?REL1 ?REL2)
            (holds ?REL1 @ROW))
      (holds ?REL2 @ROW))

If rel1 deng3 yu1 rel2, then for all holds: rel1() (bu2) cheng2 li4s if and only if rel2() (bu2) cheng2 li4s.

(=>
      (equal ?REL1 ?REL2)
      (forall
            (@ROW)
            (<=>
                  (holds ?REL1 @ROW)
                  (holds ?REL2 @ROW))))

if obj1 deng3 yu1 obj2,
then if obj1 deng3 yu1 ""()" de5 di4 er4 yuan2 su4" and obj2 deng3 yu1 ""()" de5 di4 er4 yuan2 su4" and "()" deng3 yu1 "()", then () (bu2) cheng2 li4s if and only if () (bu2) cheng2 li4s

(=>
      (equal ?OBJ1 ?OBJ2)
      (=>
            (and
                  (equal
                        ?OBJ1
                        (ListOrderFn
                              (ListFn @ROW1)
                              ?NUMBER))
                  (equal
                        ?OBJ2
                        (ListOrderFn
                              (ListFn @ROW2)
                              ?NUMBER))
                  (equal
                        (ListFn @ROW1)
                        (ListFn @ROW2)))
            (<=>
                  (holds @ROW1)
                  (holds @ROW2))))

If wu2 jiao1 ji2 guan1 xi4() holds and rel1 shi4 "()" de5 yi1 cheng2 yuan2 and rel2 shi4 "()" de5 yi1 cheng2 yuan2 and rel1 deng3 yu1 rel2 and rel1() (bu2) cheng2 li4s, then rel2() not(bu2) cheng2 li4.

(=>
      (and
            (disjointRelation @ROW1)
            (inList
                  ?REL1
                  (ListFn @ROW1))
            (inList
                  ?REL2
                  (ListFn @ROW1))
            (not
                  (equal ?REL1 ?REL2))
            (holds ?REL1 @ROW2))
      (not
            (holds ?REL2 @ROW2)))

If rel(,inst) (bu2) cheng2 li4s and rel shi4 han2 shu4 de5 shi2 li4, then "rel()" deng3 yu1 inst.

(=>
      (and
            (holds ?REL @ROW ?INST)
            (instance ?REL Function))
      (equal
            (AssignmentFn ?REL @ROW)
            ?INST))

If rel shi4 guan1 xi4 de5 shi2 li4, then rel() (bu2) cheng2 li4s if and only if rel() holds.

(=>
      (instance ?REL Relation)
      (<=>
            (holds ?REL @ROW)
            (?REL @ROW)))

rel shi4 dan1 zhi2 guan1 xi4 de5 shi2 li4 if and only if for all ,item1,item2 holds: if rel(,item1) (bu2) cheng2 li4s and rel(,item2) (bu2) cheng2 li4s, then item1 deng3 yu1 item2.

(<=>
      (instance ?REL SingleValuedRelation)
      (forall
            (@ROW ?ITEM1 ?ITEM2)
            (=>
                  (and
                        (holds ?REL @ROW ?ITEM1)
                        (holds ?REL @ROW ?ITEM2))
                  (equal ?ITEM1 ?ITEM2))))

rel shi4 quan2 zhi2 guan1 xi4 de5 shi2 li4 if and only if there exists valence so_that_not rel shi4 guan1 xi4 de5 shi2 li4 and rel %&有論元(s) valence and

if for all number,element,class holds: if number xiao3 yu1 valence and rel de5 lun4 yuan2 number shi4 class de5 shi2 li4 and element deng3 yu1 ""()" de5 di4 er4 yuan2 su4", then element shi4 class de5 shi2 li4,
then there exists item so_that_not rel(,item) (bu2) cheng2 li4s

(<=>
      (instance ?REL TotalValuedRelation)
      (exists
            (?VALENCE)
            (and
                  (instance ?REL Relation)
                  (valence ?REL ?VALENCE)
                  (=>
                        (forall
                              (?NUMBER ?ELEMENT ?CLASS)
                              (=>
                                    (and
                                          (lessThan ?NUMBER ?VALENCE)
                                          (domain ?REL ?NUMBER ?CLASS)
                                          (equal
                                                ?ELEMENT
                                                (ListOrderFn
                                                      (ListFn @ROW)
                                                      ?NUMBER)))
                                    (instance ?ELEMENT ?CLASS)))
                        (exists
                              (?ITEM)
                              (holds ?REL @ROW ?ITEM))))))

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

if rel shi4 fan3 shen1 guan1 xi4 de5 shi2 li4,
then if rel(inst1,inst2) (bu2) cheng2 li4s or rel(inst2,inst1) (bu2) cheng2 li4s, then rel(inst1,inst1) (bu2) cheng2 li4s

(=>
      (instance ?REL ReflexiveRelation)
      (=>
            (or
                  (holds ?REL ?INST1 ?INST2)
                  (holds ?REL ?INST2 ?INST1))
            (holds ?REL ?INST1 ?INST1)))

If rel shi4 fei1 fan3 shen1 guan1 xi4 de5 shi2 li4, then for all inst holds: rel(inst,inst) not(bu2) cheng2 li4.

(=>
      (instance ?REL IrreflexiveRelation)
      (forall
            (?INST)
            (not
                  (holds ?REL ?INST ?INST))))

if rel shi4 dui4 chen4 guan1 xi4 de5 shi2 li4,
then for all inst1,inst2 holds: if rel(inst1,inst2) (bu2) cheng2 li4s, then rel(inst2,inst1) (bu2) cheng2 li4s

(=>
      (instance ?REL SymmetricRelation)
      (forall
            (?INST1 ?INST2)
            (=>
                  (holds ?REL ?INST1 ?INST2)
                  (holds ?REL ?INST2 ?INST1))))

if rel shi4 fan3 dui4 chen4 guan1 xi4 de5 shi2 li4,
then for all inst1,inst2 holds: if rel(inst1,inst2) (bu2) cheng2 li4s and rel(inst2,inst1) (bu2) cheng2 li4s, then inst1 deng3 yu1 inst2

(=>
      (instance ?REL AntisymmetricRelation)
      (forall
            (?INST1 ?INST2)
            (=>
                  (and
                        (holds ?REL ?INST1 ?INST2)
                        (holds ?REL ?INST2 ?INST1))
                  (equal ?INST1 ?INST2))))

If rel shi4 san1 jiao3 guan1 xi4 de5 shi2 li4, then for all inst1,inst2 holds: rel(inst1,inst2) (bu2) cheng2 li4s or inst1 deng3 yu1 inst2 or rel(inst2,inst1) (bu2) cheng2 li4s.

(=>
      (instance ?REL TrichotomizingRelation)
      (forall
            (?INST1 ?INST2)
            (or
                  (holds ?REL ?INST1 ?INST2)
                  (equal ?INST1 ?INST2)
                  (holds ?REL ?INST2 ?INST1))))

if rel shi4 ke3 di4 guan1 xi4 de5 shi2 li4,
then for all inst1,inst2,inst3 holds: if rel(inst1,inst2) (bu2) cheng2 li4s and rel(inst2,inst3) (bu2) cheng2 li4s, then rel(inst1,inst3) (bu2) cheng2 li4s

(=>
      (instance ?REL TransitiveRelation)
      (forall
            (?INST1 ?INST2 ?INST3)
            (=>
                  (and
                        (holds ?REL ?INST1 ?INST2)
                        (holds ?REL ?INST2 ?INST3))
                  (holds ?REL ?INST1 ?INST3))))

if rel shi4 fei1 ke3 di4 guan1 xi4 de5 shi2 li4,
then for all inst1,inst2,inst3 holds: if rel(inst1,inst2) (bu2) cheng2 li4s and rel(inst2,inst3) (bu2) cheng2 li4s, then rel(inst1,inst3) not(bu2) cheng2 li4

(=>
      (instance ?REL IntransitiveRelation)
      (forall
            (?INST1 ?INST2 ?INST3)
            (=>
                  (and
                        (holds ?REL ?INST1 ?INST2)
                        (holds ?REL ?INST2 ?INST3))
                  (not
                        (holds ?REL ?INST1 ?INST3)))))

If rel shi4 quan2 xu4 guan1 xi4 de5 shi2 li4, then for all inst1,inst2 holds: rel(inst1,inst2) (bu2) cheng2 li4s or rel(inst2,inst1) (bu2) cheng2 li4s.

(=>
      (instance ?REL TotalOrderingRelation)
      (forall
            (?INST1 ?INST2)
            (or
                  (holds ?REL ?INST1 ?INST2)
                  (holds ?REL ?INST2 ?INST1))))

If rel shi4 yi4 tu2 guan1 xi4 de5 shi2 li4 and rel(agent,) (bu2) cheng2 li4s and obj shi4 "()" de5 yi1 cheng2 yuan2, then agent zai4 obj fan4 wei2 zhong1.

(=>
      (and
            (instance ?REL IntentionalRelation)
            (holds ?REL ?AGENT @ROW)
            (inList
                  ?OBJ
                  (ListFn @ROW)))
      (inScopeOfInterest ?AGENT ?OBJ))

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

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

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

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

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

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

If rel de5 lun4 yuan2 number shi4 class de5 shi2 li4 and rel() (bu2) cheng2 li4s, then ""()" de5 di4 er4 yuan2 su4" shi4 class de5 shi2 li4.

(=>
      (and
            (domain ?REL ?NUMBER ?CLASS)
            (holds ?REL @ROW))
      (instance
            (ListOrderFn
                  (ListFn @ROW)
                  ?NUMBER)
            ?CLASS))

If rel de5 lun4 yuan2 number shi4 class de5 ci4 zhong3 lei4 and rel() (bu2) cheng2 li4s, then ""()" de5 di4 er4 yuan2 su4" shi4 class de5 ci4 zhong3 lei4.

(=>
      (and
            (domainSubclass ?REL ?NUMBER ?CLASS)
            (holds ?REL @ROW))
      (subclass
            (ListOrderFn
                  (ListFn @ROW)
                  ?NUMBER)
            ?CLASS))

if rel %&有論元(s) number,
then for all holds: if rel() (bu2) cheng2 li4s, then ""()" de5 chang2 du4" deng3 yu1 number

(=>
      (valence ?REL ?NUMBER)
      (forall
            (@ROW)
            (=>
                  (holds ?REL @ROW)
                  (equal
                        (ListLengthFn
                              (ListFn @ROW))
                        ?NUMBER))))

if relation fan3 ying4 yu1 class ,
then for all inst holds: if inst shi4 class de5 shi2 li4, then relation(inst,inst) (bu2) cheng2 li4s

(=>
      (reflexiveOn ?RELATION ?CLASS)
      (forall
            (?INST)
            (=>
                  (instance ?INST ?CLASS)
                  (holds ?RELATION ?INST ?INST))))

if relation fei1 fan3 she4 yu1 class ,
then for all inst holds: if inst shi4 class de5 shi2 li4, then relation(inst,inst) not(bu2) cheng2 li4

(=>
      (irreflexiveOn ?RELATION ?CLASS)
      (forall
            (?INST)
            (=>
                  (instance ?INST ?CLASS)
                  (not
                        (holds ?RELATION ?INST ?INST)))))

if relation dui4 class shi4 san1 fen1 fa3,
then for all inst1,inst2 holds: if inst1 shi4 class de5 shi2 li4 and inst2 shi4 class de5 shi2 li4, then relation(inst1,inst2) (bu2) cheng2 li4s or relation(inst2,inst1) (bu2) cheng2 li4s or inst1 deng3 yu1 inst2

(=>
      (trichotomizingOn ?RELATION ?CLASS)
      (forall
            (?INST1 ?INST2)
            (=>
                  (and
                        (instance ?INST1 ?CLASS)
                        (instance ?INST2 ?CLASS))
                  (or
                        (holds ?RELATION ?INST1 ?INST2)
                        (holds ?RELATION ?INST2 ?INST1)
                        (equal ?INST1 ?INST2)))))

If role shi4 ge2 wei4 jue2 se4 de5 shi2 li4 and role(arg1,arg2) (bu2) cheng2 li4s and arg1 shi4 proc de5 shi2 li4, then arg2 ke3 yi3 ren4 jue2 se4 role zuo4 proc.

(=>
      (and
            (instance ?ROLE CaseRole)
            (holds ?ROLE ?ARG1 ?ARG2)
            (instance ?ARG1 ?PROC))
      (capability ?PROC ?ROLE ?ARG2))

if rel shi4 yu3 liang4 guan1 xi4 de5 shi2 li4 and rel shi4 san1 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,value) (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)","value unit(s)") (bu2) cheng2 li4s

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

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

If rel(inst1,inst2) (bu2) cheng2 li4s intervala(zhi1 zhong1) interval and inst1 shi4 wu4 zhi4 de5 de5 shi2 li4 and inst2 shi4 wu4 zhi4 de5 de5 shi2 li4, then inst1 (bu2) cun2 zai4s interval qi1 jian1 and inst2 (bu2) cun2 zai4s interval qi1 jian1.

(=>
      (and
            (holdsDuring
                  ?INTERVAL
                  (holds ?REL ?INST1 ?INST2))
            (instance ?INST1 Physical)
            (instance ?INST2 Physical))
      (and
            (time ?INST1 ?INTERVAL)
            (time ?INST2 ?INTERVAL)))

If rel shi4 kong1 jian1 guan1 xi4 de5 shi2 li4 and rel(obj1,obj2) (bu2) cheng2 li4s, then "obj2 cun2 zai4 de5 shi2 jian1" (mei2) yu3 1 ?zhong4 die2s.

(=>
      (and
            (instance ?REL SpatialRelation)
            (holds ?REL ?OBJ1 ?OBJ2))
      (overlapsTemporally
            (WhenFn ?OBJ1)
            (WhenFn ?OBJ2)))

If rel shi4 ge2 wei4 jue2 se4 de5 shi2 li4 and rel(process,obj) (bu2) cheng2 li4s, then there exists time so_that_not "process zai4 time de5 timewei4 zhi4" (mei2) yu3 obj zhong4 die2s.

(=>
      (and
            (instance ?REL CaseRole)
            (holds ?REL ?PROCESS ?OBJ))
      (exists
            (?TIME)
            (overlapsSpatially
                  (WhereFn ?PROCESS ?TIME)
                  ?OBJ)))