cun2 zai4 (exists)

The existential quantifier of predicate logic.

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

luo2 ji2 yun4 suan4 yuan2

cun2 zai4

Coordinate term(s)

ruo4 qie3 wei2 ruo4 ruo4 he2 tui1 zhi1 suo3 you3 fei1 huo4

Type restrictions

exists(xu4 lie4, SUO-KIFbiao3 shu4 shi4)

Related WordNet synsets

being, beingness, existence: the state or fact of existing: "a point of view gradually coming into being"; "laws in existence for centuries"
reality, realness, realism: the state of being actual or real: "the reality of his situation slowly dawned on him"
actuality: the state of actually existing objectively: "a hope that progressed from possibility to actuality"
subsistence: the state of existing in reality; having substance
exist, be: have an existence, be extant; "Is there a God?"

See more related synsets on a separate page.

Axioms (290)

If entity shi4 class de5 zhi2 jie1 shi2 li4, then there doesn't exist class subclass so_that_not entity shi4 subclass de5 shi2 li4.

(=>
      (immediateInstance ?ENTITY ?CLASS)
      (not
            (exists
                  (?SUBCLASS)
                  (and
                        (subclass ?SUBCLASS ?CLASS)
                        (instance ?ENTITY ?SUBCLASS)))))

If class1 shi4 class2 de5 zhi2 jie1 ci4 zhong3 lei4, then there doesn't exist class2 class3 so_that_not class1 shi4 class3 de5 ci4 zhong3 lei4 and class2 deng3 yu1 class3 and class1 deng3 yu1 class3.

(=>
      (immediateSubclass ?CLASS1 ?CLASS2)
      (not
            (exists
                  (?CLASS3)
                  (and
                        (subclass ?CLASS3 ?CLASS2)
                        (subclass ?CLASS1 ?CLASS3)
                        (not
                              (equal ?CLASS2 ?CLASS3))
                        (not
                              (equal ?CLASS1 ?CLASS3))))))

if qiong2 jin4 de5 shu3 xing4,
then for all obj holds: if attr1 shi4 class de5 shi2 li4, then there exists attr2 so_that_not attr2 shi4 "()" de5 yi1 cheng2 yuan2 and attr1 deng3 yu1 attr2

(=>
      (exhaustiveAttribute ?CLASS @ROW)
      (forall
            (?OBJ)
            (=>
                  (instance ?ATTR1 ?CLASS)
                  (exists
                        (?ATTR2)
                        (and
                              (inList
                                    ?ATTR2
                                    (ListFn @ROW))
                              (equal ?ATTR1 ?ATTR2))))))

If attr1 shi4 attr2 de5 xu4 jie1 shu3 xing4 and entity you3 shu3 xing4 attr2 time1a(zhi1 zhong1) time1, then there exists time2 so_that_not time2 shi4 "time1 zhi1 qian2" de5 bu4 fen5 and entity you3 shu3 xing4 attr1 time2a(zhi1 zhong1) time2.

(=>
      (and
            (successorAttribute ?ATTR1 ?ATTR2)
            (holdsDuring
                  ?TIME1
                  (property ?ENTITY ?ATTR2)))
      (exists
            (?TIME2)
            (and
                  (temporalPart
                        ?TIME2
                        (PastFn ?TIME1))
                  (holdsDuring
                        ?TIME2
                        (property ?ENTITY ?ATTR1)))))

There exists thing so_that_not thing shi4 shi2 ti3 de5 shi2 li4.

(exists
      (?THING)
      (instance ?THING Entity))

phys shi4 wu4 zhi4 de5 de5 shi2 li4 if and only if there exist loc,time so_that_not phys wei4 yu1 loc and phys (bu2) cun2 zai4s time qi1 jian1.

(<=>
      (instance ?PHYS Physical)
      (exists
            (?LOC ?TIME)
            (and
                  (located ?PHYS ?LOC)
                  (time ?PHYS ?TIME))))

If atom shi4 yuan2 zi3 de5 shi2 li4, then there exist zhi4 zi3 proton,dian4 zi3 electron so_that_not proton shi4 atom de5 yuan2 jian4 and electron shi4 atom de5 yuan2 jian4.

(=>
      (instance ?ATOM Atom)
      (exists
            (?PROTON ?ELECTRON)
            (and
                  (component ?PROTON ?ATOM)
                  (component ?ELECTRON ?ATOM)
                  (instance ?PROTON Proton)
                  (instance ?ELECTRON Electron))))

If particle shi4 ci4 yuan2 zi3 li4 zi3 de5 shi2 li4, then there exists yuan2 zi3 atom so_that_not particle shi4 atom de5 bu4 fen5).

(=>
      (instance ?PARTICLE SubatomicParticle)
      (exists
            (?ATOM)
            (and
                  (instance ?ATOM Atom)
                  (part ?PARTICLE ?ATOM))))

If nucleus shi4 yuan2 zi3 he2 de5 shi2 li4, then there exist zhong1 zi3 neutron,zhi4 zi3 proton so_that_not neutron shi4 nucleus de5 yuan2 jian4 and proton shi4 nucleus de5 yuan2 jian4.

(=>
      (instance ?NUCLEUS AtomicNucleus)
      (exists
            (?NEUTRON ?PROTON)
            (and
                  (component ?NEUTRON ?NUCLEUS)
                  (component ?PROTON ?NUCLEUS)
                  (instance ?NEUTRON Neutron)
                  (instance ?PROTON Proton))))

If mixture shi4 hun4 he2 wu4 de5 shi2 li4, then there exist chun2 wu4 zhi4 pure1,chun2 wu4 zhi4 pure2 so_that_not pure1 deng3 yu1 pure2 and pure1 shi4 mixture de5 yi1 xiao3 bu4 fen5 and pure2 shi4 mixture de5 yi1 xiao3 bu4 fen5.

(=>
      (instance ?MIXTURE Mixture)
      (exists
            (?PURE1 ?PURE2)
            (and
                  (subclass ?PURE1 PureSubstance)
                  (subclass ?PURE2 PureSubstance)
                  (not
                        (equal ?PURE1 ?PURE2))
                  (piece ?PURE1 ?MIXTURE)
                  (piece ?PURE2 ?MIXTURE))))

If obj shi4 fu4 za2 ti1/fei1 dan1 zhi4 ti1 de5 shi2 li4, then there exist wu4 zhi4 substance1,wu4 zhi4 substance2 so_that_not substance1 shi4 you2 obj zu3 cheng2 and substance2 shi4 you2 obj zu3 cheng2 and substance1 deng3 yu1 substance2.

(=>
      (instance ?OBJ CorpuscularObject)
      (exists
            (?SUBSTANCE1 ?SUBSTANCE2)
            (and
                  (subclass ?SUBSTANCE1 Substance)
                  (subclass ?SUBSTANCE2 Substance)
                  (material ?SUBSTANCE1 ?OBJ)
                  (material ?SUBSTANCE2 ?OBJ)
                  (not
                        (equal ?SUBSTANCE1 ?SUBSTANCE2)))))

If region shi4 qu1 yu4 de5 shi2 li4, then there exists phys so_that_not phys wei4 yu1 region.

(=>
      (instance ?REGION Region)
      (exists
            (?PHYS)
            (located ?PHYS ?REGION)))

If coll shi4 qun2 ji2 de5 shi2 li4, then there exists obj so_that_not obj shi4 collde5 cheng2 yuan2.

(=>
      (instance ?COLL Collection)
      (exists
            (?OBJ)
            (member ?OBJ ?COLL)))

If string shi4 fu2 hao4 chuan4 de5 shi2 li4, then there exists zi4 yuan2 part so_that_not part shi4 string de5 bu4 fen5).

(=>
      (instance ?STRING SymbolicString)
      (exists
            (?PART)
            (and
                  (part ?PART ?STRING)
                  (instance ?PART Character))))

If lang shi4 ren2 zao4 yu3 yan2 de5 shi2 li4, then there exists ji4 hua4 plan so_that_not lang shi4 plan de5 jie2 guo3.

(=>
      (instance ?LANG ConstructedLanguage)
      (exists
            (?PLAN)
            (and
                  (instance ?PLAN Planning)
                  (result ?PLAN ?LANG))))

agent shi4 shi1 shi4 zhe3 de5 shi2 li4 if and only if there exists proc so_that_not proc shi4 agent de5 shi1 shi4 zhe3.

(<=>
      (instance ?AGENT Agent)
      (exists
            (?PROC)
            (agent ?PROC ?AGENT)))

If process shi4 shuang1 shou4 shi4 li4 cheng2 de5 shi2 li4, then there exist obj1,obj2 so_that_not obj1 shi4 process de5 shou4 shi4 zhe3 and obj2 shi4 process de5 shou4 shi4 zhe3 and obj1 deng3 yu1 obj2.

(=>
      (instance ?PROCESS DualObjectProcess)
      (exists
            (?OBJ1 ?OBJ2)
            (and
                  (patient ?PROCESS ?OBJ1)
                  (patient ?PROCESS ?OBJ2)
                  (not
                        (equal ?OBJ1 ?OBJ2)))))

abs shi4 chou1 xiang4 de5 de5 shi2 li4 if and only if there doesn't exist point so_that_not abs wei4 yu1 point or abs (bu2) cun2 zai4s point qi1 jian1.

(<=>
      (instance ?ABS Abstract)
      (not
            (exists
                  (?POINT)
                  (or
                        (located ?ABS ?POINT)
                        (time ?ABS ?POINT)))))

If number shi4 xu1 shu4 de5 shi2 li4, then there exists shi2 shu4 real so_that_not number deng3 yu1 "real*" de5 ping2 fang1 gen1"".

(=>
      (instance ?NUMBER ImaginaryNumber)
      (exists
            (?REAL)
            (and
                  (instance ?REAL RealNumber)
                  (equal
                        ?NUMBER
                        (MultiplicationFn
                              ?REAL
                              (SquareRootFn -1))))))

If number shi4 fu4 shu4 de5 shi2 li4, then there exist shi2 shu4 real1,shi2 shu4 real2 so_that_not number deng3 yu1 "(real1+"real2*" de5 ping2 fang1 gen1"")".

(=>
      (instance ?NUMBER ComplexNumber)
      (exists
            (?REAL1 ?REAL2)
            (and
                  (instance ?REAL1 RealNumber)
                  (instance ?REAL2 RealNumber)
                  (equal
                        ?NUMBER
                        (AdditionFn
                              ?REAL1
                              (MultiplicationFn
                                    ?REAL2
                                    (SquareRootFn -1)))))))

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 process shi4 li4 cheng2 de5 shi2 li4, then there exists cause so_that_not process shi4 cause de5 shi1 shi4 zhe3.

(=>
      (instance ?PROCESS Process)
      (exists
            (?CAUSE)
            (agent ?PROCESS ?CAUSE)))

If agent (bu2) xiang3 yao4not(s) obj, then there exists purp so_that_not obj dui4agent you3 yi4 tu2 purp.

(=>
      (wants ?AGENT ?OBJ)
      (exists
            (?PURP)
            (hasPurposeForAgent ?OBJ ?PURP ?AGENT)))

If agent (bu2)xiang1 xin4 formula, then there exists time so_that_not agent (bu2) kao3 lv4p{s} formula timea(zhi1 zhong1) time.

(=>
      (believes ?AGENT ?FORMULA)
      (exists
            (?TIME)
            (holdsDuring
                  ?TIME
                  (considers ?AGENT ?FORMULA))))

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 list shi4 xu4 lie4 de5 shi2 li4,
then there exists number1 so_that_not there exists item1 so_that_not "list de5 di4 er4 yuan2 su4" deng3 yu1 item1 and for all number2 holds: if number2 shi4 zheng4 zheng3 shu4 de5 shi2 li4 and number2 xiao3 yu1 number1, then there exists item2 so_that_not "list de5 di4 er4 yuan2 su4" deng3 yu1 item2

(=>
      (instance ?LIST List)
      (exists
            (?NUMBER1)
            (exists
                  (?ITEM1)
                  (and
                        (not
                              (equal
                                    (ListOrderFn ?LIST ?NUMBER1)
                                    ?ITEM1))
                        (forall
                              (?NUMBER2)
                              (=>
                                    (and
                                          (instance ?NUMBER2 PositiveInteger)
                                          (lessThan ?NUMBER2 ?NUMBER1))
                                    (exists
                                          (?ITEM2)
                                          (equal
                                                (ListOrderFn ?LIST ?NUMBER2)
                                                ?ITEM2))))))))

list deng3 yu1 kong1 lie4 if and only if there doesn't exist item so_that_not item shi4 list de5 yi1 cheng2 yuan2.

(<=>
      (equal ?LIST NullList)
      (not
            (exists
                  (?ITEM)
                  (inList ?ITEM ?LIST))))

if class bei4 bao1 han2,
then for all obj holds: if obj shi4 class de5 shi2 li4, then there exists item so_that_not item shi4 "()" de5 yi1 cheng2 yuan2 and obj shi4 item de5 shi2 li4

(=>
      (exhaustiveDecomposition ?CLASS @ROW)
      (forall
            (?OBJ)
            (=>
                  (instance ?OBJ ?CLASS)
                  (exists
                        (?ITEM)
                        (and
                              (inList
                                    ?ITEM
                                    (ListFn @ROW))
                              (instance ?OBJ ?ITEM))))))

If "list de5 chang2 du4" deng3 yu1 number1, then for all number2 holds: there exists item so_that_not "list de5 di4 er4 yuan2 su4" deng3 yu1 item if and only if number2 小於或等於 number1.

(=>
      (equal
            (ListLengthFn ?LIST)
            ?NUMBER1)
      (forall
            (?NUMBER2)
            (<=>
                  (exists
                        (?ITEM)
                        (equal
                              (ListOrderFn ?LIST ?NUMBER2)
                              ?ITEM))
                  (lessThanOrEqualTo ?NUMBER2 ?NUMBER1))))

If "list1 de5 chang2 du4" deng3 yu1 number, then there exists list2 so_that_not list1 (mei2chu1 shi3 hua4not(s) list2 and "(number+1)" deng3 yu1 "list2 de5 chang2 du4" and "list2 de5 di4 er4 yuan2 su4" deng3 yu1 item.

(=>
      (equal
            (ListLengthFn ?LIST1)
            ?NUMBER)
      (exists
            (?LIST2)
            (and
                  (initialList ?LIST1 ?LIST2)
                  (equal
                        (SuccessorFn ?NUMBER)
                        (ListLengthFn ?LIST2))
                  (equal
                        (ListOrderFn
                              ?LIST2
                              (SuccessorFn ?NUMBER))
                        ?ITEM))))

item shi4 list de5 yi1 cheng2 yuan2 if and only if there exists number so_that_not "list de5 di4 er4 yuan2 su4" deng3 yu1 item.

(<=>
      (inList ?ITEM ?LIST)
      (exists
            (?NUMBER)
            (equal
                  (ListOrderFn ?LIST ?NUMBER)
                  ?ITEM)))

if list1 shi4 list2 de5 ci4 xu4 lie4,
then there exists number3 so_that_not for all item holds: if item shi4 list1 de5 yi1 cheng2 yuan2, then there exist number1,number2 so_that_not "list1 de5 di4 er4 yuan2 su4" deng3 yu1 item and "list2 de5 di4 er4 yuan2 su4" deng3 yu1 item and number2 deng3 yu1 "(number1+number3)"

(=>
      (subList ?LIST1 ?LIST2)
      (exists
            (?NUMBER3)
            (forall
                  (?ITEM)
                  (=>
                        (inList ?ITEM ?LIST1)
                        (exists
                              (?NUMBER1 ?NUMBER2)
                              (and
                                    (equal
                                          (ListOrderFn ?LIST1 ?NUMBER1)
                                          ?ITEM)
                                    (equal
                                          (ListOrderFn ?LIST2 ?NUMBER2)
                                          ?ITEM)
                                    (equal
                                          ?NUMBER2
                                          (AdditionFn ?NUMBER1 ?NUMBER3))))))))

If rel shi4 bian4 yi4 yuan2 shu4 guan1 xi4 de5 shi2 li4, then there doesn't exist int so_that_not rel %&有論元(s) int.

(=>
      (instance ?REL VariableArityRelation)
      (not
            (exists
                  (?INT)
                  (valence ?REL ?INT))))

If proc1 shi4 li4 cheng2 de5 shi2 li4, then there exists proc2 so_that_not proc2 (bu2) zao4 cheng2 proc1.

(=>
      (instance ?PROC1 Process)
      (exists
            (?PROC2)
            (causes ?PROC2 ?PROC1)))

if ci4 lei4 zhao4 yin1,
then for all inst2 holds: if inst2 shi4 proc2 de5 shi2 li4, then there exists proc1 inst1 so_that_not inst1 (bu2) zao4 cheng2 inst2

(=>
      (causesSubclass ?PROC1 ?PROC2)
      (forall
            (?INST2)
            (=>
                  (instance ?INST2 ?PROC2)
                  (exists
                        (?INST1)
                        (and
                              (instance ?INST1 ?PROC1)
                              (causes ?INST1 ?INST2))))))

If obj (bu2) li4 yong4not(s) agent, then there exists process so_that_not process shi4 agent de5 shi1 shi4 zhe3 and obj dui4 process shi4 zi1 yuan2.

(=>
      (exploits ?OBJ ?AGENT)
      (exists
            (?PROCESS)
            (and
                  (agent ?PROCESS ?AGENT)
                  (resource ?PROCESS ?OBJ))))

If thing you3 yi4 tu2 purpose, then there exists agent so_that_not thing dui4agent you3 yi4 tu2 purpose.

(=>
      (hasPurpose ?THING ?PURPOSE)
      (exists
            (?AGENT)
            (hasPurposeForAgent ?THING ?PURPOSE ?AGENT)))

If obj bu4 fen5 wei4 yu1 region, then there exists subobj so_that_not subobj shi4 obj de5 bu4 fen5) and subobj jing1 que4 wei4 yu1 region.

(=>
      (partlyLocated ?OBJ ?REGION)
      (exists
            (?SUBOBJ)
            (and
                  (part ?SUBOBJ ?OBJ)
                  (exactlyLocated ?SUBOBJ ?REGION))))

If obj jing1 que4 wei4 yu1 region, then there doesn't exist otherobj so_that_not otherobj jing1 que4 wei4 yu1 region and otherobj deng3 yu1 obj.

(=>
      (exactlyLocated ?OBJ ?REGION)
      (not
            (exists
                  (?OTHEROBJ)
                  (and
                        (exactlyLocated ?OTHEROBJ ?REGION)
                        (not
                              (equal ?OTHEROBJ ?OBJ))))))

if person (mei2) yong1 you3not(s) obj,
then there exists type so_that_not type you3 quan2 shi3 person wei2 zhen1 and for all process holds: if process shi4 type de5 shi2 li4, then obj shi4 process de5 shou4 shi4 zhe3

(=>
      (possesses ?PERSON ?OBJ)
      (exists
            (?TYPE)
            (and
                  (holdsRight ?PERSON ?TYPE)
                  (forall
                        (?PROCESS)
                        (=>
                              (instance ?PROCESS ?TYPE)
                              (patient ?PROCESS ?OBJ))))))

if proc1 shi4 proc2 de5 xian1 jue2 tiao2 jian4,
then if there exists inst2 so_that_not inst2 shi4 proc2 de5 shi2 li4, then there exists inst1 so_that_not inst1 shi4 proc1 de5 shi2 li4

(=>
      (precondition ?PROC1 ?PROC2)
      (=>
            (exists
                  (?INST2)
                  (instance ?INST2 ?PROC2))
            (exists
                  (?INST1)
                  (instance ?INST1 ?PROC1))))

If yi4 zhi4(proc1,proc2) holds, then for all time,place holds: "there exists proc1 inst1 so_that_not inst1 wei4 yu1 place timea(zhi1 zhong1) time" (bu2jiang4 di1s) %2 de5 ke3 neng2 xing4.

(=>
      (inhibits ?PROC1 ?PROC2)
      (forall
            (?TIME ?PLACE)
            (decreasesLikelihood
                  (holdsDuring
                        ?TIME
                        (exists
                              (?INST1)
                              (and
                                    (instance ?INST1 ?PROC1)
                                    (located ?INST1 ?PLACE))))
                  (holdsDuring
                        ?TIME
                        (exists
                              (?INST2)
                              (and
                                    (instance ?INST2 ?PROC2)
                                    (located ?INST2 ?PLACE)))))))

if proc1 bi4 mian3 proc2 de5 fa1 sheng1,
then for all time,place holds: if there exists proc1 inst1 so_that_not inst1 wei4 yu1 place timea(zhi1 zhong1) time, then there exists proc2 inst2 so_that_not inst2 wei4 yu1 place timea(zhi1 zhong1) time

(=>
      (prevents ?PROC1 ?PROC2)
      (forall
            (?TIME ?PLACE)
            (=>
                  (holdsDuring
                        ?TIME
                        (exists
                              (?INST1)
                              (and
                                    (instance ?INST1 ?PROC1)
                                    (located ?INST1 ?PLACE))))
                  (not
                        (holdsDuring
                              ?TIME
                              (exists
                                    (?INST2)
                                    (and
                                          (instance ?INST2 ?PROC2)
                                          (located ?INST2 ?PLACE))))))))

If rep yi3 yu3 yan2 language cheng2 xian4 entity, then there exists agent so_that_not agent shi3 yong4 rep biao3 shi4 entity.

(=>
      (representsInLanguage ?REP ?ENTITY ?LANGUAGE)
      (exists
            (?AGENT)
            (representsForAgent ?REP ?ENTITY ?AGENT)))

class1 bao1 rong2 class2 if and only if for all obj2,info holds: if obj2 shi4 class2 de5 shi2 li4 and obj2 (bu2) bao1 han2s) xun4 xi1 %2, then there exists class1 obj1 so_that_not obj1 (bu2) bao1 han2s) xun4 xi1 %2.

(<=>
      (subsumesContentClass ?CLASS1 ?CLASS2)
      (forall
            (?OBJ2 ?INFO)
            (=>
                  (and
                        (instance ?OBJ2 ?CLASS2)
                        (containsInformation ?OBJ2 ?INFO))
                  (exists
                        (?OBJ1)
                        (and
                              (instance ?OBJ1 ?CLASS1)
                              (containsInformation ?OBJ1 ?INFO))))))

If process biao3 da2 prop de5 na4 rong2, then there exists na4 rong2 zai4 ti3 obj so_that_not obj (bu2) bao1 han2s) xun4 xi1 %2.

(=>
      (realization ?PROCESS ?PROP)
      (exists
            (?OBJ)
            (and
                  (instance ?OBJ ContentBearingObject)
                  (containsInformation ?OBJ ?PROP))))

express yi3 language yu3 yan2 biao3 da2 if and only if there exists prop so_that_not express yi3 yu3 yan2 language cheng2 xian4 prop.

(<=>
      (expressedInLanguage ?EXPRESS ?LANGUAGE)
      (exists
            (?PROP)
            (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE)))

If agent shi3 yong4 obj, then there exists proc so_that_not proc shi4 agent de5 shi1 shi4 zhe3 and obj dui4 proc shi4 gong1 ju4.

(=>
      (uses ?OBJ ?AGENT)
      (exists
            (?PROC)
            (and
                  (agent ?PROC ?AGENT)
                  (instrument ?PROC ?OBJ))))

If number shi4 you3 li3 shu4 de5 shi2 li4, then there exist zheng3 shu4 int1,zheng3 shu4 int2 so_that_not number deng3 yu1 "int1/int2".

(=>
      (instance ?NUMBER RationalNumber)
      (exists
            (?INT1 ?INT2)
            (and
                  (instance ?INT1 Integer)
                  (instance ?INT2 Integer)
                  (equal
                        ?NUMBER
                        (DivisionFn ?INT1 ?INT2)))))

If "number de5 shang4 xian4" deng3 yu1 int, then there doesn't exist zheng3 shu4 otherint so_that_not otherint da4 yu1 huo4 deng3 yu1 number and otherint xiao3 yu1 int.

(=>
      (equal
            (CeilingFn ?NUMBER)
            ?INT)
      (not
            (exists
                  (?OTHERINT)
                  (and
                        (instance ?OTHERINT Integer)
                        (greaterThanOrEqualTo ?OTHERINT ?NUMBER)
                        (lessThan ?OTHERINT ?INT)))))

If "zui4 da4 zheng3 shu4 xiao3 yu1 huo4 deng3 yu1 number" deng3 yu1 int, then there doesn't exist zheng3 shu4 otherint so_that_not otherint 小於或等於 number and otherint (bu2) da4 yu1 int.

(=>
      (equal
            (FloorFn ?NUMBER)
            ?INT)
      (not
            (exists
                  (?OTHERINT)
                  (and
                        (instance ?OTHERINT Integer)
                        (lessThanOrEqualTo ?OTHERINT ?NUMBER)
                        (greaterThan ?OTHERINT ?INT)))))

if " de5 zui4 da4 gong1 yue1 shu4" deng3 yu1 number,
then there doesn't exist greater so_that_not greater (bu2) da4 yu1 number and for all element holds: if element shi4 "()" de5 yi1 cheng2 yuan2, then "element qu3 yu2 shu4 greater" deng3 yu1

(=>
      (equal
            (GreatestCommonDivisorFn @ROW)
            ?NUMBER)
      (not
            (exists
                  (?GREATER)
                  (and
                        (greaterThan ?GREATER ?NUMBER)
                        (forall
                              (?ELEMENT)
                              (=>
                                    (inList
                                          ?ELEMENT
                                          (ListFn @ROW))
                                    (equal
                                          (RemainderFn ?ELEMENT ?GREATER)
                                          0)))))))

If number shi4 fu4 shu4 de5 shi2 li4, then there exist part1,part2 so_that_not part1 deng3 yu1 "number de5 shi2 shu4" and part2 deng3 yu1 "number de5 xu1 shu4".

(=>
      (instance ?NUMBER ComplexNumber)
      (exists
            (?PART1 ?PART2)
            (and
                  (equal
                        ?PART1
                        (RealNumberFn ?NUMBER))
                  (equal
                        ?PART2
                        (ImaginaryPartFn ?NUMBER)))))

if " de5 zui4 xiao3 gong1 bei4 shu4" deng3 yu1 number,
then there doesn't exist less so_that_not less xiao3 yu1 number and for all element holds: if element shi4 "()" de5 yi1 cheng2 yuan2, then "less qu3 yu2 shu4 element" deng3 yu1

(=>
      (equal
            (LeastCommonMultipleFn @ROW)
            ?NUMBER)
      (not
            (exists
                  (?LESS)
                  (and
                        (lessThan ?LESS ?NUMBER)
                        (forall
                              (?ELEMENT)
                              (=>
                                    (inList
                                          ?ELEMENT
                                          (ListFn @ROW))
                                    (equal
                                          (RemainderFn ?LESS ?ELEMENT)
                                          0)))))))

There doesn't exist element so_that_not element shi4 kong1 ji2 he2 de5 yuan2 su4.

(not
      (exists
            (?ELEMENT)
            (element ?ELEMENT NullSet)))

If set shi4 you3 xian4 ji2 he2 de5 shi2 li4, then there exists fei1 fu4 zheng3 shu4 number so_that_not number deng3 yu1 "set zhong1 shi2 li4 de5 shu4 mu4".

(=>
      (instance ?SET FiniteSet)
      (exists
            (?NUMBER)
            (and
                  (instance ?NUMBER NonnegativeInteger)
                  (equal
                        ?NUMBER
                        (CardinalityFn ?SET)))))

if class shi4 hu4 chi4 lei4 de5 shi2 li4,
then for all inst1,inst2 holds: if inst1 shi4 class de5 shi2 li4 and inst2 shi4 inst1 de5 shi2 li4, then there exists class inst3 so_that_not inst2 shi4 inst3 de5 shi2 li4

(=>
      (instance ?CLASS MutuallyDisjointClass)
      (forall
            (?INST1 ?INST2)
            (=>
                  (and
                        (instance ?INST1 ?CLASS)
                        (instance ?INST2 ?INST1))
                  (exists
                        (?INST3)
                        (and
                              (instance ?INST3 ?CLASS)
                              (not
                                    (instance ?INST2 ?INST3)))))))

If graph shi4 tu2 de5 shi2 li4 and node1 shi4 tu2 jie2 dian3 de5 shi2 li4 and node2 shi4 tu2 jie2 dian3 de5 shi2 li4 and node1 shi4 graph de5 bu4 fen5 and node2 shi4 graph de5 bu4 fen5 and node1 deng3 yu1 node2, then there exist arc,path so_that_not

arc (mei2) lian2 jie2not(s) node1 he2 node2
- path shi4 graph de5 ci4 tu2
- path shi4 tu2 lu4 jing4 de5 shi2 li4
- - "path de5 zui4 chu1 jie2 dian3" deng3 yu1 node1 and "path de5 zui4 hou4 jie2 dian3" deng3 yu1 node2
  - "path de5 zui4 chu1 jie2 dian3" deng3 yu1 node2 and "path de5 zui4 hou4 jie2 dian3" deng3 yu1 node1

(=>
      (and
            (instance ?GRAPH Graph)
            (instance ?NODE1 GraphNode)
            (instance ?NODE2 GraphNode)
            (graphPart ?NODE1 ?GRAPH)
            (graphPart ?NODE2 ?GRAPH)
            (not
                  (equal ?NODE1 ?NODE2)))
      (exists
            (?ARC ?PATH)
            (or
                  (links ?NODE1 ?NODE2 ?ARC)
                  (and
                        (subGraph ?PATH ?GRAPH)
                        (instance ?PATH GraphPath)
                        (or
                              (and
                                    (equal
                                          (BeginNodeFn ?PATH)
                                          ?NODE1)
                                    (equal
                                          (EndNodeFn ?PATH)
                                          ?NODE2))
                              (and
                                    (equal
                                          (BeginNodeFn ?PATH)
                                          ?NODE2)
                                    (equal
                                          (EndNodeFn ?PATH)
                                          ?NODE1)))))))

If graph shi4 tu2 de5 shi2 li4, then there exist node1,node2,node3,arc1,arc2 so_that_not node1 shi4 graph de5 bu4 fen5 and node2 shi4 graph de5 bu4 fen5 and node3 shi4 graph de5 bu4 fen5 and arc1 shi4 graph de5 bu4 fen5 and arc2 shi4 graph de5 bu4 fen5 and node2 (mei2) lian2 jie2not(s) arc1 he2 node1 and node3 (mei2) lian2 jie2not(s) arc2 he2 node2 and node1 deng3 yu1 node2 and node2 deng3 yu1 node3 and node1 deng3 yu1 node3 and arc1 deng3 yu1 arc2.

(=>
      (instance ?GRAPH Graph)
      (exists
            (?NODE1 ?NODE2 ?NODE3 ?ARC1 ?ARC2)
            (and
                  (graphPart ?NODE1 ?GRAPH)
                  (graphPart ?NODE2 ?GRAPH)
                  (graphPart ?NODE3 ?GRAPH)
                  (graphPart ?ARC1 ?GRAPH)
                  (graphPart ?ARC2 ?GRAPH)
                  (links ?ARC1 ?NODE1 ?NODE2)
                  (links ?ARC2 ?NODE2 ?NODE3)
                  (not
                        (equal ?NODE1 ?NODE2))
                  (not
                        (equal ?NODE2 ?NODE3))
                  (not
                        (equal ?NODE1 ?NODE3))
                  (not
                        (equal ?ARC1 ?ARC2)))))

If graph shi4 you3 xiang4 tu2 de5 shi2 li4 and arc shi4 tu2 hu2 xian4 de5 shi2 li4 and arc shi4 graph de5 bu4 fen5, then there exist node1,node2 so_that_not "arc de5 qi3 shi3 jie2 dian3" deng3 yu1 node1 and "arc de5 zui4 zhong1 jie2 dian3" deng3 yu1 node2.

(=>
      (and
            (instance ?GRAPH DirectedGraph)
            (instance ?ARC GraphArc)
            (graphPart ?ARC ?GRAPH))
      (exists
            (?NODE1 ?NODE2)
            (and
                  (equal
                        (InitialNodeFn ?ARC)
                        ?NODE1)
                  (equal
                        (TerminalNodeFn ?ARC)
                        ?NODE2))))

If graph shi4 shu4 zhuang4 tu2 de5 shi2 li4, then there doesn't exist tu2 hui2 quan1 loop so_that_not loop shi4 graph de5 bu4 fen5.

(=>
      (instance ?GRAPH Tree)
      (not
            (exists
                  (?LOOP)
                  (and
                        (instance ?LOOP GraphLoop)
                        (graphPart ?LOOP ?GRAPH)))))

if graph shi4 tu2 lu4 jing4 de5 shi2 li4 and arc shi4 tu2 hu2 xian4 de5 shi2 li4 and arc shi4 graph de5 bu4 fen5,
then if "arc de5 qi3 shi3 jie2 dian3" deng3 yu1 node, then there doesn't exist other so_that_not "other de5 qi3 shi3 jie2 dian3" deng3 yu1 node and other deng3 yu1 arc

(=>
      (and
            (instance ?GRAPH GraphPath)
            (instance ?ARC GraphArc)
            (graphPart ?ARC ?GRAPH))
      (=>
            (equal
                  (InitialNodeFn ?ARC)
                  ?NODE)
            (not
                  (exists
                        (?OTHER)
                        (and
                              (equal
                                    (InitialNodeFn ?OTHER)
                                    ?NODE)
                              (not
                                    (equal ?OTHER ?ARC)))))))

if graph shi4 tu2 lu4 jing4 de5 shi2 li4 and arc shi4 tu2 hu2 xian4 de5 shi2 li4 and arc shi4 graph de5 bu4 fen5,
then if "arc de5 zui4 zhong1 jie2 dian3" deng3 yu1 node, then there doesn't exist other so_that_not "other de5 zui4 zhong1 jie2 dian3" deng3 yu1 node and other deng3 yu1 arc

(=>
      (and
            (instance ?GRAPH GraphPath)
            (instance ?ARC GraphArc)
            (graphPart ?ARC ?GRAPH))
      (=>
            (equal
                  (TerminalNodeFn ?ARC)
                  ?NODE)
            (not
                  (exists
                        (?OTHER)
                        (and
                              (equal
                                    (TerminalNodeFn ?OTHER)
                                    ?NODE)
                              (not
                                    (equal ?OTHER ?ARC)))))))

graph shi4 tu2 xing2 hui2 lu4 de5 shi2 li4 if and only if there exists node so_that_not "graph de5 zui4 chu1 jie2 dian3" deng3 yu1 node and "graph de5 zui4 hou4 jie2 dian3" deng3 yu1 node.

(<=>
      (instance ?GRAPH GraphCircuit)
      (exists
            (?NODE)
            (and
                  (equal
                        (BeginNodeFn ?GRAPH)
                        ?NODE)
                  (equal
                        (EndNodeFn ?GRAPH)
                        ?NODE))))

graph shi4 duo1 tu2 de5 shi2 li4 if and only if there exist arc1,arc2,node1,node2 so_that_not arc1 shi4 graph de5 bu4 fen5 and arc2 shi4 graph de5 bu4 fen5 and node1 shi4 graph de5 bu4 fen5 and node2 shi4 graph de5 bu4 fen5 and arc1 (mei2) lian2 jie2not(s) node1 he2 node2 and arc2 (mei2) lian2 jie2not(s) node1 he2 node2 and arc1 deng3 yu1 arc2.

(<=>
      (instance ?GRAPH MultiGraph)
      (exists
            (?ARC1 ?ARC2 ?NODE1 ?NODE2)
            (and
                  (graphPart ?ARC1 ?GRAPH)
                  (graphPart ?ARC2 ?GRAPH)
                  (graphPart ?NODE1 ?GRAPH)
                  (graphPart ?NODE2 ?GRAPH)
                  (links ?NODE1 ?NODE2 ?ARC1)
                  (links ?NODE1 ?NODE2 ?ARC2)
                  (not
                        (equal ?ARC1 ?ARC2)))))

graph shi4 ni3 tu2 de5 shi2 li4 if and only if there exists tu2 hui2 quan1 loop so_that_not loop shi4 graph de5 bu4 fen5.

(<=>
      (instance ?GRAPH PseudoGraph)
      (exists
            (?LOOP)
            (and
                  (instance ?LOOP GraphLoop)
                  (graphPart ?LOOP ?GRAPH))))

If part shi4 tu2 yuan2 jian4 de5 shi2 li4, then there exists tu2 graph so_that_not part shi4 graph de5 bu4 fen5.

(=>
      (instance ?PART GraphElement)
      (exists
            (?GRAPH)
            (and
                  (instance ?GRAPH Graph)
                  (graphPart ?PART ?GRAPH))))

If node shi4 tu2 jie2 dian3 de5 shi2 li4, then there exist other,arc so_that_not arc (mei2) lian2 jie2not(s) node he2 other.

(=>
      (instance ?NODE GraphNode)
      (exists
            (?OTHER ?ARC)
            (links ?NODE ?OTHER ?ARC)))

If arc shi4 tu2 hu2 xian4 de5 shi2 li4, then there exist node1,node2 so_that_not arc (mei2) lian2 jie2not(s) node1 he2 node2.

(=>
      (instance ?ARC GraphArc)
      (exists
            (?NODE1 ?NODE2)
            (links ?NODE1 ?NODE2 ?ARC)))

loop shi4 tu2 hui2 quan1 de5 shi2 li4 if and only if there exists node so_that_not loop (mei2) lian2 jie2not(s) node he2 node.

(<=>
      (instance ?LOOP GraphLoop)
      (exists
            (?NODE)
            (links ?NODE ?NODE ?LOOP)))

if "hua2 fen1 graph wei2 liang3 du2 li4 tu2 biao3 de5 zui4 xiao3 xiang1 jiao1 lu4 jing4" deng3 yu1 pathclass,
then there exists number so_that_not for all path holds: if path shi4 pathclass de5 shi2 li4, then path de5 lu4 jing4 chang2 shi4 number

(=>
      (equal
            (MinimalCutSetFn ?GRAPH)
            ?PATHCLASS)
      (exists
            (?NUMBER)
            (forall
                  (?PATH)
                  (=>
                        (instance ?PATH ?PATHCLASS)
                        (pathLength ?PATH ?NUMBER)))))

There don't exist hua2 fen1 graph wei2 liang3 du2 li4 tu2 biao3 de5 xiang1 jiao1 lu4 jing4 path1,hua2 fen1 graph wei2 liang3 du2 li4 tu2 biao3 de5 zui4 xiao3 xiang1 jiao1 lu4 jing4 path2 so_that_not path1 de5 lu4 jing4 chang2 shi4 number1 and path2 de5 lu4 jing4 chang2 shi4 number2 and number1 xiao3 yu1 number2.

(not
      (exists
            (?PATH1 ?PATH2)
            (and
                  (instance
                        ?PATH1
                        (CutSetFn ?GRAPH))
                  (instance
                        ?PATH2
                        (MinimalCutSetFn ?GRAPH))
                  (pathLength ?PATH1 ?NUMBER1)
                  (pathLength ?PATH2 ?NUMBER2)
                  (lessThan ?NUMBER1 ?NUMBER2))))

If biao1 gao1(obj1,obj2,height) holds, then there exists top so_that_not obj1 de5 ding3 duan1 shi4 top and top he2 obj2 zhi1 jian1 ju4 li2 shi4 height.

(=>
      (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
      (exists
            (?TOP)
            (and
                  (top ?TOP ?OBJ1)
                  (distance ?TOP ?OBJ2 ?HEIGHT))))

If shen1 du4, then there exists bottom so_that_not obj1 de5 di3 bu4 shi4 bottom and bottom he2 obj2 zhi1 jian1 ju4 li2 shi4 depth.

(=>
      (depth ?OBJ1 ?OBJ2 ?DEPTH)
      (exists
            (?BOTTOM)
            (and
                  (bottom ?BOTTOM ?OBJ1)
                  (distance ?BOTTOM ?OBJ2 ?DEPTH))))

If point shi4 shi2 dian3 de5 shi2 li4 and point deng3 yu1 shi2 jian1 zhong1 dian3/yong3 yuan3, then there exists otherpoint so_that_not otherpoint zai4 point he2 shi2 jian1 zhong1 dian3/yong3 yuan3 zhi1 jian1 .

(=>
      (and
            (instance ?POINT TimePoint)
            (not
                  (equal ?POINT PositiveInfinity)))
      (exists
            (?OTHERPOINT)
            (temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))

If point shi4 shi2 dian3 de5 shi2 li4 and point deng3 yu1 shi2 jian1 qi3 dian3/gen4 gu3, then there exists otherpoint so_that_not otherpoint zai4 shi2 jian1 qi3 dian3/gen4 gu3 he2 point zhi1 jian1 .

(=>
      (and
            (instance ?POINT TimePoint)
            (not
                  (equal ?POINT NegativeInfinity)))
      (exists
            (?OTHERPOINT)
            (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))

if mei3 time1 fa1 sheng1 proc,
then for all time2 holds: if time2 de5 chi2 xu4 shi4 time1, then there exists position so_that_not position shi4 time2 de5 bu4 fen5 and there exists inst so_that_not inst shi4 proc de5 shi2 li4 positiona(zhi1 zhong1) position

(=>
      (frequency ?PROC ?TIME1)
      (forall
            (?TIME2)
            (=>
                  (duration ?TIME2 ?TIME1)
                  (exists
                        (?POSITION)
                        (and
                              (temporalPart ?POSITION ?TIME2)
                              (holdsDuring
                                    ?POSITION
                                    (exists
                                          (?INST)
                                          (instance ?INST ?PROC))))))))

If point shi4 shi2 dian3 de5 shi2 li4, then there exists shi2 duan4 interval so_that_not point shi4 interval de5 bu4 fen5.

(=>
      (instance ?POINT TimePoint)
      (exists
            (?INTERVAL)
            (and
                  (instance ?INTERVAL TimeInterval)
                  (temporalPart ?POINT ?INTERVAL))))

If interval shi4 shi2 duan4 de5 shi2 li4, then there exists shi2 dian3 point so_that_not point shi4 interval de5 bu4 fen5.

(=>
      (instance ?INTERVAL TimeInterval)
      (exists
            (?POINT)
            (and
                  (instance ?POINT TimePoint)
                  (temporalPart ?POINT ?INTERVAL))))

if obj shi4 wu4 ti1 de5 shi2 li4,
then there exist shi2 dian3 time1,shi2 dian3 time2 so_that_not time1 (mei2) fa1 sheng1?{s} zai4 time2 zhi1 qian2 and for all time holds: if time1 (mei2) fa1 sheng1?{s} zai4 time huo4 zhi1 qian2 and time (mei2) fa1 sheng1?{s} zai4 time2 huo4 zhi1 qian2, then obj (bu2) cun2 zai4s time qi1 jian1

(=>
      (instance ?OBJ Object)
      (exists
            (?TIME1 ?TIME2)
            (and
                  (instance ?TIME1 TimePoint)
                  (instance ?TIME2 TimePoint)
                  (before ?TIME1 ?TIME2)
                  (forall
                        (?TIME)
                        (=>
                              (and
                                    (beforeOrEqual ?TIME1 ?TIME)
                                    (beforeOrEqual ?TIME ?TIME2))
                              (time ?OBJ ?TIME))))))

interval2 (mei2) yu3 1 ?zhong4 die2s if and only if there exists shi2 duan4 interval3 so_that_not interval3 shi4 interval1 de5 bu4 fen5 and interval3 shi4 interval2 de5 bu4 fen5.

(<=>
      (overlapsTemporally ?INTERVAL1 ?INTERVAL2)
      (exists
            (?INTERVAL3)
            (and
                  (instance ?INTERVAL3 TimeInterval)
                  (temporalPart ?INTERVAL3 ?INTERVAL1)
                  (temporalPart ?INTERVAL3 ?INTERVAL2))))

If interval shi4 "cong2 timeclass1 dao4 timeclass2 de5 hui2 gui1 jian1 ge2" de5 shi2 li4, then there exist timeclass1 time1,timeclass2 time2 so_that_not time1 (mei2) kai1 shi3s interval and time2 (mei2) wan2 cheng2s interval.

(=>
      (instance
            ?INTERVAL
            (RecurrentTimeIntervalFn ?TIMECLASS1 ?TIMECLASS2))
      (exists
            (?TIME1 ?TIME2)
            (and
                  (instance ?TIME1 ?TIMECLASS1)
                  (instance ?TIME2 ?TIMECLASS2)
                  (starts ?TIME1 ?INTERVAL)
                  (finishes ?TIME2 ?INTERVAL))))

if "interval fen1 jie3 cheng2 ? interval-types" deng3 yu1 class,
then for all time1,time2 holds: if time1 shi4 interval-type de5 shi2 li4 and time2 shi4 class de5 shi2 li4, then there exists duration so_that_not time1 de5 chi2 xu4 shi4 duration and time2 de5 chi2 xu4 shi4 duration

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (forall
            (?TIME1 ?TIME2)
            (=>
                  (and
                        (instance ?TIME1 ?INTERVAL-TYPE)
                        (instance ?TIME2 ?CLASS))
                  (exists
                        (?DURATION)
                        (and
                              (duration ?TIME1 ?DURATION)
                              (duration ?TIME2 ?DURATION))))))

If "interval fen1 jie3 cheng2 ? interval-types" deng3 yu1 class, then there exists class time so_that_not time (mei2) kai1 shi3s interval.

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (exists
            (?TIME)
            (and
                  (instance ?TIME ?CLASS)
                  (starts ?TIME ?INTERVAL))))

If "interval fen1 jie3 cheng2 ? interval-types" deng3 yu1 class, then there exists class time so_that_not time (mei2) wan2 cheng2s interval.

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (exists
            (?TIME)
            (and
                  (instance ?TIME ?CLASS)
                  (finishes ?TIME ?INTERVAL))))

if "interval fen1 jie3 cheng2 ? interval-types" deng3 yu1 class,
then for all time1 holds: if time1 shi4 class de5 shi2 li4 and time1 not(mei2) wan2 cheng2 interval, then there exists class time2 so_that_not time1 (mei2) xiang1 jie1s time2

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (forall
            (?TIME1)
            (=>
                  (and
                        (instance ?TIME1 ?CLASS)
                        (not
                              (finishes ?TIME1 ?INTERVAL)))
                  (exists
                        (?TIME2)
                        (and
                              (instance ?TIME2 ?CLASS)
                              (meetsTemporally ?TIME1 ?TIME2))))))

if "interval fen1 jie3 cheng2 ? interval-types" deng3 yu1 class,
then for all time1 holds: if time1 shi4 class de5 shi2 li4 and time1 not(mei2) kai1 shi3 interval, then there exists class time2 so_that_not time2 (mei2) xiang1 jie1s time1

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (forall
            (?TIME1)
            (=>
                  (and
                        (instance ?TIME1 ?CLASS)
                        (not
                              (starts ?TIME1 ?INTERVAL)))
                  (exists
                        (?TIME2)
                        (and
                              (instance ?TIME2 ?CLASS)
                              (meetsTemporally ?TIME2 ?TIME1))))))

if "interval fen1 jie3 cheng2 ? interval-types" deng3 yu1 class,
then for all time holds: if time shi4 shi2 dian3 de5 shi2 li4 and time shi4 interval de5 bu4 fen5, then there exists class instance so_that_not time shi4 instance de5 bu4 fen5

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (forall
            (?TIME)
            (=>
                  (and
                        (instance ?TIME TimePoint)
                        (temporalPart ?TIME ?INTERVAL))
                  (exists
                        (?INSTANCE)
                        (and
                              (instance ?INSTANCE ?CLASS)
                              (temporalPart ?TIME ?INSTANCE))))))

obj1 (mei2) yu3 obj2 zhong4 die2s if and only if there exists obj3 so_that_not obj3 shi4 obj1 de5 bu4 fen5) and obj3 shi4 obj2 de5 bu4 fen5).

(<=>
      (overlapsSpatially ?OBJ1 ?OBJ2)
      (exists
            (?OBJ3)
            (and
                  (part ?OBJ3 ?OBJ1)
                  (part ?OBJ3 ?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)))

obj1 (mei2) yu3 obj2 bu4 fen5 zhong4 die2s if and only if

obj1 shi4 obj2 de5 bu4 fen5)
obj2 shi4 obj1 de5 bu4 fen5)
there exists obj3 so_that_not obj3 shi4 obj1 de5 bu4 fen5) and obj3 shi4 obj2 de5 bu4 fen5)

(<=>
      (overlapsPartially ?OBJ1 ?OBJ2)
      (and
            (not
                  (part ?OBJ1 ?OBJ2))
            (not
                  (part ?OBJ2 ?OBJ1))
            (exists
                  (?OBJ3)
                  (and
                        (part ?OBJ3 ?OBJ1)
                        (part ?OBJ3 ?OBJ2)))))

If obj1 shi4 obj2de5 wai4 biao3 bu4 fen5, then obj1 shi4 obj2 de5 yi1 na4 bu4 and there doesn't exist obj3 so_that_not obj3 shi4 obj1 de5 yi1 na4 bu4.

(=>
      (superficialPart ?OBJ1 ?OBJ2)
      (and
            (not
                  (interiorPart ?OBJ1 ?OBJ2))
            (not
                  (exists
                        (?OBJ3)
                        (interiorPart ?OBJ3 ?OBJ1)))))

If object de5 ce4 mian4 shi4 side and part shi4 object de5 bu4 fen5) and part yu3 side xiang1 lian2, then there exists direct so_that_not side dui4 part shi4 direct.

(=>
      (and
            (side ?SIDE ?OBJECT)
            (part ?PART ?OBJECT)
            (not
                  (connected ?PART ?SIDE)))
      (exists
            (?DIRECT)
            (orientation ?SIDE ?PART ?DIRECT)))

object de5 kuan1 du4 shi4 width if and only if there exist side1,side2 so_that_not object de5 ce4 mian4 shi4 side1 and object de5 ce4 mian4 shi4 side2 and side1 he2 side2 zhi1 jian1 ju4 li2 shi4 width.

(<=>
      (width ?OBJECT ?WIDTH)
      (exists
            (?SIDE1 ?SIDE2)
            (and
                  (side ?SIDE1 ?OBJECT)
                  (side ?SIDE2 ?OBJECT)
                  (distance ?SIDE1 ?SIDE2 ?WIDTH))))

hole shi4 dong4 de5 shi2 li4 if and only if there exists obj so_that_not hole zai4 obj shi4 dong4.

(<=>
      (instance ?HOLE Hole)
      (exists
            (?OBJ)
            (hole ?HOLE ?OBJ)))

If hole zai4 obj1 shi4 dong4 and hole zai4 obj2 shi4 dong4, then there exists obj3 so_that_not obj3 shi4 "obj1 he2 obj2 de5 jiao1 ji2" de5 zheng4 bu4 fen5 and hole zai4 obj3 shi4 dong4.

(=>
      (and
            (hole ?HOLE ?OBJ1)
            (hole ?HOLE ?OBJ2))
      (exists
            (?OBJ3)
            (and
                  (properPart
                        ?OBJ3
                        (MereologicalProductFn ?OBJ1 ?OBJ2))
                  (hole ?HOLE ?OBJ3))))

If hole1 shi4 dong4 de5 shi2 li4, then there exists hole2 so_that_not hole2 shi4 hole1 de5 zheng4 bu4 fen5.

(=>
      (instance ?HOLE1 Hole)
      (exists
            (?HOLE2)
            (properPart ?HOLE2 ?HOLE1)))

If obj1 deng3 yu1 "dong4 hole de5 zhu3 ti1", then for all obj2 holds: obj2 (mei2) yu3 obj1 zhong4 die2s if and only if there exists obj3 so_that_not hole zai4 obj3 shi4 dong4 and obj2 (mei2) yu3 obj3 zhong4 die2s.

(=>
      (equal
            ?OBJ1
            (PrincipalHostFn ?HOLE))
      (forall
            (?OBJ2)
            (<=>
                  (overlapsSpatially ?OBJ2 ?OBJ1)
                  (exists
                        (?OBJ3)
                        (and
                              (hole ?HOLE ?OBJ3)
                              (overlapsSpatially ?OBJ2 ?OBJ3))))))

If hole1 shi4 dong4 de5 shi2 li4 and hole2 shi4 hole1 de5 zheng4 bu4 fen5, then there exists obj so_that_not hole1 (mei2) jie1 chu4s obj and hole2 not(mei2) jie1 chu4 obj.

(=>
      (and
            (instance ?HOLE1 Hole)
            (properPart ?HOLE2 ?HOLE1))
      (exists
            (?OBJ)
            (and
                  (meetsSpatially ?HOLE1 ?OBJ)
                  (not
                        (meetsSpatially ?HOLE2 ?OBJ)))))

If there exists time so_that_not obj (mei2) tian2 chong1s hole timea(zhi1 zhong1) time, then ke3 tian2 chong1 de5 shi4 hole de5 shu3 xing4.

(=>
      (exists
            (?TIME)
            (holdsDuring
                  ?TIME
                  (fills ?OBJ ?HOLE)))
      (attribute ?HOLE Fillable))

ke3 tian2 chong1 de5 shi4 hole1 de5 shu3 xing4 if and only if there exists dong4 hole2 so_that_not hole1 shi4 hole2 de5 bu4 fen5).

(<=>
      (attribute ?HOLE1 Fillable)
      (exists
            (?HOLE2)
            (and
                  (instance ?HOLE2 Hole)
                  (part ?HOLE1 ?HOLE2))))

If obj (mei2) bu4 fen5 tian2 chong1s hole1, then there exists hole2 so_that_not hole2 shi4 hole1 de5 bu4 fen5) and obj (mei2) tian2 chong1s hole2.

(=>
      (partiallyFills ?OBJ ?HOLE1)
      (exists
            (?HOLE2)
            (and
                  (part ?HOLE2 ?HOLE1)
                  (completelyFills ?OBJ ?HOLE2))))

If obj (mei2) shi4 dang4 tian2 chong1s hole1, then there exists hole2 so_that_not hole2 shi4 hole1 de5 bu4 fen5) and obj (mei2) tian2 chong1s hole2.

(=>
      (properlyFills ?OBJ ?HOLE1)
      (exists
            (?HOLE2)
            (and
                  (part ?HOLE2 ?HOLE1)
                  (fills ?OBJ ?HOLE2))))

If obj1 (mei2) tian2 chong1s hole, then there exists obj2 so_that_not obj2 shi4 obj1 de5 bu4 fen5) and obj2 (mei2) tian2 chong1s hole.

(=>
      (completelyFills ?OBJ1 ?HOLE)
      (exists
            (?OBJ2)
            (and
                  (part ?OBJ2 ?OBJ1)
                  (fills ?OBJ2 ?HOLE))))

If obj1 deng3 yu1 "dong4 hole de5 biao3 pi2", then for all obj2 holds: obj2 (mei2) yu3 obj1 zhong4 die2s if and only if there exists obj3 so_that_not obj3 shi4 "dong4 hole de5 zhu3 ti1"de5 wai4 biao3 bu4 fen5 and hole (mei2) jie1 chu4s obj3 and obj2 (mei2) yu3 obj3 zhong4 die2s.

(=>
      (equal
            ?OBJ1
            (SkinFn ?HOLE))
      (forall
            (?OBJ2)
            (<=>
                  (overlapsSpatially ?OBJ2 ?OBJ1)
                  (exists
                        (?OBJ3)
                        (and
                              (superficialPart
                                    ?OBJ3
                                    (PrincipalHostFn ?HOLE))
                              (meetsSpatially ?HOLE ?OBJ3)
                              (overlapsSpatially ?OBJ2 ?OBJ3))))))

If proc shi4 li4 cheng2 de5 shi2 li4 and subproc shi4 proc de5 ci4 li4 cheng2, then there exists time so_that_not subproc (bu2) cun2 zai4s time qi1 jian1.

(=>
      (and
            (instance ?PROC Process)
            (subProcess ?SUBPROC ?PROC))
      (exists
            (?TIME)
            (time ?SUBPROC ?TIME)))

If proc shi4 sheng1 wu4 li4 cheng2 de5 shi2 li4, then there exists sheng1 wu4 ti1 obj so_that_not proc wei4 yu1 obj.

(=>
      (instance ?PROC BiologicalProcess)
      (exists
            (?OBJ)
            (and
                  (instance ?OBJ Organism)
                  (located ?PROC ?OBJ))))

If birth shi4 dan4 sheng1 de5 shi2 li4 and agent (mei2) ti3 yan4not(s) birth, then there exists si3 wang2 death so_that_not agent (mei2) ti3 yan4not(s) death.

(=>
      (and
            (instance ?BIRTH Birth)
            (experiencer ?BIRTH ?AGENT))
      (exists
            (?DEATH)
            (and
                  (instance ?DEATH Death)
                  (experiencer ?DEATH ?AGENT))))

If death shi4 si3 wang2 de5 shi2 li4 and birth shi4 dan4 sheng1 de5 shi2 li4 and agent (mei2) ti3 yan4not(s) death and agent (mei2) ti3 yan4not(s) birth, then there exists time so_that_not "birth cun2 zai4 de5 shi2 jian1" (mei2) xiang1 jie1s time and time (mei2) xiang1 jie1s "death cun2 zai4 de5 shi2 jian1" and huo2 de5 shi4 agent de5 shu3 xing4 timea(zhi1 zhong1) time.

(=>
      (and
            (instance ?DEATH Death)
            (instance ?BIRTH Birth)
            (experiencer ?DEATH ?AGENT)
            (experiencer ?BIRTH ?AGENT))
      (exists
            (?TIME)
            (and
                  (meetsTemporally
                        (WhenFn ?BIRTH)
                        ?TIME)
                  (meetsTemporally
                        ?TIME
                        (WhenFn ?DEATH))
                  (holdsDuring
                        ?TIME
                        (attribute ?AGENT Living)))))

If digest shi4 xiao1 hua4 de5 shi2 li4 and digest shi4 organism de5 shi1 shi4 zhe3, then there exists she4 shi2 ingest so_that_not ingest shi4 organism de5 shi1 shi4 zhe3 and "digest cun2 zai4 de5 shi2 jian1" (mei2) yu3 1 ?zhong4 die2s.

(=>
      (and
            (instance ?DIGEST Digesting)
            (agent ?DIGEST ?ORGANISM))
      (exists
            (?INGEST)
            (and
                  (instance ?INGEST Ingesting)
                  (agent ?INGEST ?ORGANISM)
                  (overlapsTemporally
                        (WhenFn ?INGEST)
                        (WhenFn ?DIGEST)))))

If digest shi4 xiao1 hua4 de5 shi2 li4, then there exists hua4 xue2 fen1 jie3 decomp so_that_not decomp shi4 digest de5 ci4 li4 cheng2.

(=>
      (instance ?DIGEST Digesting)
      (exists
            (?DECOMP)
            (and
                  (instance ?DECOMP ChemicalDecomposition)
                  (subProcess ?DECOMP ?DIGEST))))

If rep shi4 fu4 zhi4 de5 shi2 li4, then there exists sheng1 zhi2 gou4 zao4 body so_that_not body shi4 rep de5 jie2 guo3.

(=>
      (instance ?REP Replication)
      (exists
            (?BODY)
            (and
                  (instance ?BODY ReproductiveBody)
                  (result ?REP ?BODY))))

If rep shi4 you3 xing4 sheng1 zhi2 de5 shi2 li4 and organism shi4 rep de5 jie2 guo3, then there don't exist mother,father so_that_not mother shi4 organism de5 mu3 qin1 and father shi4 organism de5 fu4 qin1.

(=>
      (and
            (instance ?REP SexualReproduction)
            (result ?REP ?ORGANISM))
      (not
            (exists
                  (?MOTHER ?FATHER)
                  (and
                        (mother ?ORGANISM ?MOTHER)
                        (father ?ORGANISM ?FATHER)))))

If rep shi4 wu2 xing4 sheng1 zhi2 de5 shi2 li4 and organism shi4 rep de5 jie2 guo3, then there don't exist parent1,parent2 so_that_not parent1 shi4 organism de5 shuang1 qin1 and parent2 shi4 organism de5 shuang1 qin1 and parent1 deng3 yu1 parent2.

(=>
      (and
            (instance ?REP AsexualReproduction)
            (result ?REP ?ORGANISM))
      (not
            (exists
                  (?PARENT1 ?PARENT2)
                  (and
                        (parent ?ORGANISM ?PARENT1)
                        (parent ?ORGANISM ?PARENT2)
                        (not
                              (equal ?PARENT1 ?PARENT2))))))

If process shi4 xin1 li3 li4 cheng2 de5 shi2 li4, then there exists dong4 wu4 animal so_that_not animal (mei2) ti3 yan4not(s) process.

(=>
      (instance ?PROCESS PsychologicalProcess)
      (exists
            (?ANIMAL)
            (and
                  (instance ?ANIMAL Animal)
                  (experiencer ?PROCESS ?ANIMAL))))

If proc shi4 qi4 guan1 huo4 zu3 zhi1 li4 cheng2 de5 shi2 li4, then there exists thing so_that_not proc wei4 yu1 thing and thing shi4 qi4 guan1 de5 shi2 li4 or thing shi4 zu3 zhi1 de5 shi2 li4.

(=>
      (instance ?PROC OrganOrTissueProcess)
      (exists
            (?THING)
            (and
                  (located ?PROC ?THING)
                  (or
                        (instance ?THING Organ)
                        (instance ?THING Tissue)))))

If path shi4 bing4 li3 li4 cheng2 de5 shi2 li4 and org (mei2) ti3 yan4not(s) path, then there exist part,ji2 bing4 huo4 zheng4 hou4 qun2 disease so_that_not part shi4 org de5 bu4 fen5) and disease shi4 part de5 shu3 xing4.

(=>
      (and
            (instance ?PATH PathologicProcess)
            (experiencer ?PATH ?ORG))
      (exists
            (?PART ?DISEASE)
            (and
                  (part ?PART ?ORG)
                  (instance ?DISEASE DiseaseOrSyndrome)
                  (attribute ?PART ?DISEASE))))

If inj shi4 shang1 hai4 de5 shi2 li4, then there exists jie3 pou1 gou4 zao4 struct so_that_not struct shi4 inj de5 shou4 shi4 zhe3.

(=>
      (instance ?INJ Injuring)
      (exists
            (?STRUCT)
            (and
                  (instance ?STRUCT AnatomicalStructure)
                  (patient ?INJ ?STRUCT))))

If poison shi4 zhong4 du2 de5 shi2 li4, then there exists thing so_that_not thing shi4 poison de5 shou4 shi4 zhe3 and thing shi4 sheng1 wu4 ti1 de5 shi2 li4 or thing shi4 jie3 pou1 gou4 zao4 de5 shi2 li4.

(=>
      (instance ?POISON Poisoning)
      (exists
            (?THING)
            (and
                  (patient ?POISON ?THING)
                  (or
                        (instance ?THING Organism)
                        (instance ?THING AnatomicalStructure)))))

If poison shi4 zhong4 du2 de5 shi2 li4, then there exists huo2 xing4 sheng1 wu4 wu4 zhi4 substance so_that_not substance dui4 poison shi4 gong1 ju4.

(=>
      (instance ?POISON Poisoning)
      (exists
            (?SUBSTANCE)
            (and
                  (instance ?SUBSTANCE BiologicallyActiveSubstance)
                  (instrument ?POISON ?SUBSTANCE))))

If proc shi4 yi4 xiang4 xing4 li4 cheng2 de5 shi2 li4 and proc shi4 agent de5 shi1 shi4 zhe3, then there exists purp so_that_not proc dui4agent you3 yi4 tu2 purp.

(=>
      (and
            (instance ?PROC IntentionalProcess)
            (agent ?PROC ?AGENT))
      (exists
            (?PURP)
            (hasPurposeForAgent ?PROC ?PURP ?AGENT)))

If proc shi4 yi4 xiang4 xing4 li4 cheng2 de5 shi2 li4, then there exists ju4 ren4 zhi1 li4 shi1 shi4 zhe3 agent so_that_not proc shi4 agent de5 shi1 shi4 zhe3.

(=>
      (instance ?PROC IntentionalProcess)
      (exists
            (?AGENT)
            (and
                  (instance ?AGENT CognitiveAgent)
                  (agent ?PROC ?AGENT))))

If act shi4 zu3 zhi1 xing4 de5 li4 cheng2 de5 shi2 li4 and act shi4 agent de5 shi1 shi4 zhe3, then

agent shi4 zu3 zhi1 de5 shi2 li4
there exists zu3 zhi1 org so_that_not agent shi4 orgde5 cheng2 yuan2

(=>
      (and
            (instance ?ACT OrganizationalProcess)
            (agent ?ACT ?AGENT))
      (or
            (instance ?AGENT Organization)
            (exists
                  (?ORG)
                  (and
                        (instance ?ORG Organization)
                        (member ?AGENT ?ORG)))))

If act shi4 zong1 jiao4 li4 cheng2 de5 shi2 li4 and act shi4 agent de5 shi1 shi4 zhe3, then

agent shi4 zong1 jiao4 zu3 zhi1 de5 shi2 li4
there exists zong1 jiao4 zu3 zhi1 org so_that_not agent shi4 orgde5 cheng2 yuan2

(=>
      (and
            (instance ?ACT ReligiousProcess)
            (agent ?ACT ?AGENT))
      (or
            (instance ?AGENT ReligiousOrganization)
            (exists
                  (?ORG)
                  (and
                        (member ?AGENT ?ORG)
                        (instance ?ORG ReligiousOrganization)))))

If proc shi4 zheng4 zhi4 li4 cheng2 de5 shi2 li4, then there exists zheng4 fu3 gov so_that_not proc shi4 gov de5 shi1 shi4 zhe3 or gov shi4 proc de5 shou4 shi4 zhe3.

(=>
      (instance ?PROC PoliticalProcess)
      (exists
            (?GOV)
            (and
                  (instance ?GOV Government)
                  (or
                        (agent ?PROC ?GOV)
                        (patient ?PROC ?GOV)))))

If increase shi4 zeng1 jia1 de5 shi2 li4 and obj shi4 increase de5 shou4 shi4 zhe3, then there exist unit,quant1,quant2 so_that_not "obj unit(s)" deng3 yu1 quant1 ""increase cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "increase cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and "obj unit(s)" deng3 yu1 quant2 ""increase cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "increase cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4 and quant2 (bu2) da4 yu1 quant1.

(=>
      (and
            (instance ?INCREASE Increasing)
            (patient ?INCREASE ?OBJ))
      (exists
            (?UNIT ?QUANT1 ?QUANT2)
            (and
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?INCREASE))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT1))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?INCREASE))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT2))
                  (greaterThan ?QUANT2 ?QUANT1))))

If heat shi4 jia1 wen1 de5 shi2 li4 and obj shi4 heat de5 shou4 shi4 zhe3, then there exist wen1 du4 dan1 wei4 unit,quant1,quant2 so_that_not "obj unit(s)" deng3 yu1 quant1 ""heat cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "heat cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and "obj unit(s)" deng3 yu1 quant2 ""heat cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "heat cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4 and quant2 (bu2) da4 yu1 quant1.

(=>
      (and
            (instance ?HEAT Heating)
            (patient ?HEAT ?OBJ))
      (exists
            (?UNIT ?QUANT1 ?QUANT2)
            (and
                  (instance ?UNIT TemperatureMeasure)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?HEAT))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT1))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?HEAT))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT2))
                  (greaterThan ?QUANT2 ?QUANT1))))

If decrease shi4 jian3 shao3 de5 shi2 li4 and obj shi4 decrease de5 shou4 shi4 zhe3, then there exist unit,quant1,quant2 so_that_not "obj unit(s)" deng3 yu1 quant1 ""decrease cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "decrease cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and "obj unit(s)" deng3 yu1 quant2 ""decrease cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "decrease cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4 and quant2 xiao3 yu1 quant1.

(=>
      (and
            (instance ?DECREASE Decreasing)
            (patient ?DECREASE ?OBJ))
      (exists
            (?UNIT ?QUANT1 ?QUANT2)
            (and
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?DECREASE))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT1))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?DECREASE))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT2))
                  (lessThan ?QUANT2 ?QUANT1))))

If cool shi4 jiang4 wen1 de5 shi2 li4 and obj shi4 cool de5 shou4 shi4 zhe3, then there exist wen1 du4 dan1 wei4 unit,quant1,quant2 so_that_not "obj unit(s)" deng3 yu1 quant1 ""cool cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "cool cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and "obj unit(s)" deng3 yu1 quant2 ""cool cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "cool cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4 and quant2 xiao3 yu1 quant1.

(=>
      (and
            (instance ?COOL Cooling)
            (patient ?COOL ?OBJ))
      (exists
            (?UNIT ?QUANT1 ?QUANT2)
            (and
                  (instance ?UNIT TemperatureMeasure)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?COOL))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT1))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?COOL))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT2))
                  (lessThan ?QUANT2 ?QUANT1))))

if
- path1 ban4 sui2 process fa1 sheng1 de5 processlu4 jing4
- process (bu2) qi3 yuan2s yu1 source
- process (bu2) zhong1 jie2not(s) dest
- path1 de5 chang2 du4 shi4 measure1
- there don't exist path2,measure2 so_that_not path2 ban4 sui2 process fa1 sheng1 de5 processlu4 jing4 and process (bu2) qi3 yuan2s yu1 origin and process (bu2) zhong1 jie2not(s) dest and path2 de5 chang2 du4 shi4 measure2 and measure2 xiao3 yu1 measure1
,
then for all obj holds: if obj shi4 path1 de5 bu4 fen5), then obj jie4 yu1 source he2 dest zhong1 jian1

(=>
      (and
            (path ?PROCESS ?PATH1)
            (origin ?PROCESS ?SOURCE)
            (destination ?PROCESS ?DEST)
            (length ?PATH1 ?MEASURE1)
            (not
                  (exists
                        (?PATH2 ?MEASURE2)
                        (and
                              (path ?PROCESS ?PATH2)
                              (origin ?PROCESS ?ORIGIN)
                              (destination ?PROCESS ?DEST)
                              (length ?PATH2 ?MEASURE2)
                              (lessThan ?MEASURE2 ?MEASURE1)))))
      (forall
            (?OBJ)
            (=>
                  (part ?OBJ ?PATH1)
                  (between ?SOURCE ?OBJ ?DEST))))

If motion shi4 shen1 ti1 yi2 dong4 de5 shi2 li4, then there exist qu1 ti3 bu4 jian4 obj,sheng1 wu4 ti1 agent so_that_not obj shi4 motion de5 shou4 shi4 zhe3 and motion shi4 agent de5 shi1 shi4 zhe3.

(=>
      (instance ?MOTION BodyMotion)
      (exists
            (?OBJ ?AGENT)
            (and
                  (instance ?OBJ BodyPart)
                  (patient ?MOTION ?OBJ)
                  (instance ?AGENT Organism)
                  (agent ?MOTION ?AGENT))))

If walk shi4 xing2 zou3 de5 shi2 li4 and walk shi4 agent de5 shi1 shi4 zhe3, then there exists lu4 di4 area so_that_not agent wei4 yu1 area.

(=>
      (and
            (instance ?WALK Walking)
            (agent ?WALK ?AGENT))
      (exists
            (?AREA)
            (and
                  (instance ?AREA LandArea)
                  (located ?AGENT ?AREA))))

If swim shi4 you2 yong3 de5 shi2 li4 and swim shi4 agent de5 shi1 shi4 zhe3, then there exists shui3 yu4 area so_that_not agent wei4 yu1 area.

(=>
      (and
            (instance ?SWIM Swimming)
            (agent ?SWIM ?AGENT))
      (exists
            (?AREA)
            (and
                  (instance ?AREA WaterArea)
                  (located ?AGENT ?AREA))))

If proc shi4 fang1 xiang4 de5 gai3 bian4 de5 shi2 li4, then there exists fang1 xiang4 shu3 xing4 attr so_that_not

proc yi3 fang1 shi4 attr zhi2 hang2 ""proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and proc yi3 fang1 shi4 attr zhi2 hang2 ""proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4
proc yi3 fang1 shi4 attr zhi2 hang2 ""proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4 and proc yi3 fang1 shi4 attr zhi2 hang2 ""proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2

(=>
      (instance ?PROC DirectionChange)
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR DirectionalAttribute)
                  (or
                        (and
                              (holdsDuring
                                    (ImmediatePastFn
                                          (WhenFn ?PROC))
                                    (manner ?PROC ?ATTR))
                              (holdsDuring
                                    (ImmediateFutureFn
                                          (WhenFn ?PROC))
                                    (not
                                          (manner ?PROC ?ATTR))))
                        (and
                              (holdsDuring
                                    (ImmediateFutureFn
                                          (WhenFn ?PROC))
                                    (manner ?PROC ?ATTR))
                              (holdsDuring
                                    (ImmediatePastFn
                                          (WhenFn ?PROC))
                                    (not
                                          (manner ?PROC ?ATTR))))))))

If sub shi4 ti4 huan4 de5 shi2 li4, then there exist fang4 zhi4 put,yi2 chu2 remove,obj1,obj2,place so_that_not put shi4 sub de5 ci4 li4 cheng2 and remove shi4 sub de5 ci4 li4 cheng2 and obj1 shi4 remove de5 shou4 shi4 zhe3 and remove (bu2) qi3 yuan2s yu1 place and obj2 shi4 put de5 shou4 shi4 zhe3 and put (bu2) zhong1 jie2not(s) place and obj1 deng3 yu1 obj2.

(=>
      (instance ?SUB Substituting)
      (exists
            (?PUT ?REMOVE ?OBJ1 ?OBJ2 ?PLACE)
            (and
                  (instance ?PUT Putting)
                  (instance ?REMOVE Removing)
                  (subProcess ?PUT ?SUB)
                  (subProcess ?REMOVE ?SUB)
                  (patient ?REMOVE ?OBJ1)
                  (origin ?REMOVE ?PLACE)
                  (patient ?PUT ?OBJ2)
                  (destination ?PUT ?PLACE)
                  (not
                        (equal ?OBJ1 ?OBJ2)))))

If impact shi4 ying3 xiang3 de5 shi2 li4 and obj shi4 impact de5 shou4 shi4 zhe3, then there exists chuan1 tou4 impel so_that_not obj shi4 impel de5 shou4 shi4 zhe3 and "impel cun2 zai4 de5 shi2 jian1" (mei2) bi3 "impact cun2 zai4 de5 shi2 jian1" jiao4 zao3 fa1 sheng1not(s).

(=>
      (and
            (instance ?IMPACT Impacting)
            (patient ?IMPACT ?OBJ))
      (exists
            (?IMPEL)
            (and
                  (instance ?IMPEL Impelling)
                  (patient ?IMPEL ?OBJ)
                  (earlier
                        (WhenFn ?IMPEL)
                        (WhenFn ?IMPACT)))))

If trans shi4 yun4 shu1 de5 shi2 li4, then there exists yun4 shu1 gong1 ju4 device so_that_not device dui4 trans shi4 gong1 ju4.

(=>
      (instance ?TRANS Transportation)
      (exists
            (?DEVICE)
            (and
                  (instance ?DEVICE TransportationDevice)
                  (instrument ?TRANS ?DEVICE))))

If steer shi4 yin3 dao3 de5 shi2 li4, then there exists yun4 shu1 gong1 ju4 vehicle so_that_not vehicle shi4 steer de5 shou4 shi4 zhe3.

(=>
      (instance ?STEER Steering)
      (exists
            (?VEHICLE)
            (and
                  (instance ?VEHICLE TransportationDevice)
                  (patient ?STEER ?VEHICLE))))

If education shi4 jiao4 yu4 li4 cheng2 de5 shi2 li4 and person shi4 education de5 shou4 shi4 zhe3, then education you3 yi4 tu2 "there exists xue2 xi2 learn so_that_not person shi4 learn de5 shou4 shi4 zhe3".

(=>
      (and
            (instance ?EDUCATION EducationalProcess)
            (patient ?EDUCATION ?PERSON))
      (hasPurpose
            ?EDUCATION
            (exists
                  (?LEARN)
                  (and
                        (instance ?LEARN Learning)
                        (patient ?LEARN ?PERSON)))))

If give shi4 gei3 yu3 de5 shi2 li4 and give shi4 agent1 de5 shi1 shi4 zhe3 and give (bu2) zhong1 jie2not(s) agent2 and agent2 shi4 shi1 shi4 zhe3 de5 shi2 li4 and obj shi4 give de5 shou4 shi4 zhe3, then there exists huo4 qu3 get so_that_not get shi4 agent2 de5 shi1 shi4 zhe3 and get (bu2) qi3 yuan2s yu1 agent1 and obj shi4 get de5 shou4 shi4 zhe3.

(=>
      (and
            (instance ?GIVE Giving)
            (agent ?GIVE ?AGENT1)
            (destination ?GIVE ?AGENT2)
            (instance ?AGENT2 Agent)
            (patient ?GIVE ?OBJ))
      (exists
            (?GET)
            (and
                  (instance ?GET Getting)
                  (agent ?GET ?AGENT2)
                  (origin ?GET ?AGENT1)
                  (patient ?GET ?OBJ))))

If give shi4 dan1 fang1 mian4 de5 gei3 yu3 de5 shi2 li4, then there doesn't exist jiao1 yi4 trans so_that_not give shi4 trans de5 ci4 li4 cheng2.

(=>
      (instance ?GIVE UnilateralGiving)
      (not
            (exists
                  (?TRANS)
                  (and
                        (instance ?TRANS Transaction)
                        (subProcess ?GIVE ?TRANS)))))

There exists jie4 qu3 borrow so_that_not borrow shi4 agent1 de5 shi1 shi4 zhe3 and borrow (bu2) qi3 yuan2s yu1 agent2 and object shi4 borrow de5 shou4 shi4 zhe3 if and only if there exists jie4 yu3 lend so_that_not lend shi4 agent2 de5 shi1 shi4 zhe3 and lend (bu2) zhong1 jie2not(s) agent1 and object shi4 lend de5 shou4 shi4 zhe3.

(<=>
      (exists
            (?BORROW)
            (and
                  (instance ?BORROW Borrowing)
                  (agent ?BORROW ?AGENT1)
                  (origin ?BORROW ?AGENT2)
                  (patient ?BORROW ?OBJECT)))
      (exists
            (?LEND)
            (and
                  (instance ?LEND Lending)
                  (agent ?LEND ?AGENT2)
                  (destination ?LEND ?AGENT1)
                  (patient ?LEND ?OBJECT))))

If get shi4 dan1 fang1 mian4 de5 huo4 qu3 de5 shi2 li4, then there doesn't exist jiao1 yi4 trans so_that_not get shi4 trans de5 ci4 li4 cheng2.

(=>
      (instance ?GET UnilateralGetting)
      (not
            (exists
                  (?TRANS)
                  (and
                        (instance ?TRANS Transaction)
                        (subProcess ?GET ?TRANS)))))

If trans shi4 jiao1 yi4 de5 shi2 li4, then there exist agent1,agent2,gei3 yu3 give1,gei3 yu3 give2,obj1,obj2 so_that_not give1 shi4 trans de5 ci4 li4 cheng2 and give2 shi4 trans de5 ci4 li4 cheng2 and give1 shi4 agent1 de5 shi1 shi4 zhe3 and give2 shi4 agent2 de5 shi1 shi4 zhe3 and obj1 shi4 give1 de5 shou4 shi4 zhe3 and obj2 shi4 give2 de5 shou4 shi4 zhe3 and give1 (bu2) zhong1 jie2not(s) agent2 and give2 (bu2) zhong1 jie2not(s) agent1 and agent1 deng3 yu1 agent2 and obj1 deng3 yu1 obj2.

(=>
      (instance ?TRANS Transaction)
      (exists
            (?AGENT1 ?AGENT2 ?GIVE1 ?GIVE2 ?OBJ1 ?OBJ2)
            (and
                  (instance ?GIVE1 Giving)
                  (instance ?GIVE2 Giving)
                  (subProcess ?GIVE1 ?TRANS)
                  (subProcess ?GIVE2 ?TRANS)
                  (agent ?GIVE1 ?AGENT1)
                  (agent ?GIVE2 ?AGENT2)
                  (patient ?GIVE1 ?OBJ1)
                  (patient ?GIVE2 ?OBJ2)
                  (destination ?GIVE1 ?AGENT2)
                  (destination ?GIVE2 ?AGENT1)
                  (not
                        (equal ?AGENT1 ?AGENT2))
                  (not
                        (equal ?OBJ1 ?OBJ2)))))

If trans shi4 jin1 rong2 jiao1 yi4 de5 shi2 li4, then there exists hui4 lv4 dan1 wei4 obj so_that_not obj shi4 trans de5 shou4 shi4 zhe3.

(=>
      (instance ?TRANS FinancialTransaction)
      (exists
            (?OBJ)
            (and
                  (patient ?TRANS ?OBJ)
                  (instance ?OBJ CurrencyMeasure))))

There exists mai3 buy so_that_not buy shi4 agent1 de5 shi1 shi4 zhe3 and buy (bu2) qi3 yuan2s yu1 agent2 and object shi4 buy de5 shou4 shi4 zhe3 if and only if there exists xiao1 shou4 sell so_that_not sell shi4 agent2 de5 shi1 shi4 zhe3 and sell (bu2) zhong1 jie2not(s) agent1 and object shi4 sell de5 shou4 shi4 zhe3.

(<=>
      (exists
            (?BUY)
            (and
                  (instance ?BUY Buying)
                  (agent ?BUY ?AGENT1)
                  (origin ?BUY ?AGENT2)
                  (patient ?BUY ?OBJECT)))
      (exists
            (?SELL)
            (and
                  (instance ?SELL Selling)
                  (agent ?SELL ?AGENT2)
                  (destination ?SELL ?AGENT1)
                  (patient ?SELL ?OBJECT))))

If there exists xue2 xi2 learn so_that_not learn shi4 agent de5 shi1 shi4 zhe3 and prop shi4 learn de5 shou4 shi4 zhe3 timea(zhi1 zhong1) time, then agent (bu2)xiang1 xin4 prop "time bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) time bu4 jiu3 zhi1 hou4.

(=>
      (holdsDuring
            ?TIME
            (exists
                  (?LEARN)
                  (and
                        (instance ?LEARN Learning)
                        (agent ?LEARN ?AGENT)
                        (patient ?LEARN ?PROP))))
      (holdsDuring
            (ImmediateFutureFn ?TIME)
            (believes ?AGENT ?PROP)))

If meas shi4 ce4 liang4 de5 shi2 li4 and meas shi4 agent de5 shi1 shi4 zhe3 and obj shi4 meas de5 shou4 shi4 zhe3, then there exist quant,unit so_that_not agent (bu2zhi1 dao4s) %2 ""meas cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "meas cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.

(=>
      (and
            (instance ?MEAS Measuring)
            (agent ?MEAS ?AGENT)
            (patient ?MEAS ?OBJ))
      (exists
            (?QUANT ?UNIT)
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?MEAS))
                  (knows
                        ?AGENT
                        (measure
                              ?OBJ
                              (MeasureFn ?QUANT ?UNIT))))))

If count shi4 ji4 shu4 de5 shi2 li4 and count shi4 agent de5 shi1 shi4 zhe3 and entity shi4 count de5 shou4 shi4 zhe3, then there exists number so_that_not agent (bu2zhi1 dao4s) %2.

(=>
      (and
            (instance ?COUNT Counting)
            (agent ?COUNT ?AGENT)
            (patient ?COUNT ?ENTITY))
      (exists
            (?NUMBER)
            (knows
                  ?AGENT
                  (equal
                        (CardinalityFn ?ENTITY)
                        ?NUMBER))))

If predict shi4 yu4 ce4 de5 shi2 li4 and formula shi4 predict de5 shou4 shi4 zhe3, then there exists time so_that_not formula (mei2) wei2 zhen1 timea(zhi1 zhong1) time and time (mei2) fa1 sheng1?{s} zai4 "predict cun2 zai4 de5 shi2 jian1" zhi1 qian2 or time (mei2) bi3 "predict cun2 zai4 de5 shi2 jian1" jiao4 zao3 fa1 sheng1not(s).

(=>
      (and
            (instance ?PREDICT Predicting)
            (patient ?PREDICT ?FORMULA))
      (exists
            (?TIME)
            (and
                  (holdsDuring ?TIME ?FORMULA)
                  (or
                        (before
                              ?TIME
                              (WhenFn ?PREDICT))
                        (earlier
                              ?TIME
                              (WhenFn ?PREDICT))))))

If remember shi4 ji4 yi4 de5 shi2 li4 and formula shi4 remember de5 shou4 shi4 zhe3, then there exists time so_that_not formula (mei2) wei2 zhen1 timea(zhi1 zhong1) time and time (mei2) fa1 sheng1?{s} zai4 "remember cun2 zai4 de5 shi2 jian1" zhi1 qian2 or time (mei2) bi3 "remember cun2 zai4 de5 shi2 jian1" jiao4 zao3 fa1 sheng1not(s).

(=>
      (and
            (instance ?REMEMBER Remembering)
            (patient ?REMEMBER ?FORMULA))
      (exists
            (?TIME)
            (and
                  (holdsDuring ?TIME ?FORMULA)
                  (or
                        (before
                              ?TIME
                              (WhenFn ?REMEMBER))
                        (earlier
                              ?TIME
                              (WhenFn ?REMEMBER))))))

If keep shi4 bao3 you3 de5 shi2 li4 and keep shi4 agent de5 shi1 shi4 zhe3 and obj shi4 keep de5 shou4 shi4 zhe3, then there exists fang4 zhi4 put so_that_not put shi4 agent de5 shi1 shi4 zhe3 and obj shi4 put de5 shou4 shi4 zhe3 and "put cun2 zai4 de5 shi2 jian1" (mei2) bi3 "keep cun2 zai4 de5 shi2 jian1" jiao4 zao3 fa1 sheng1not(s).

(=>
      (and
            (instance ?KEEP Keeping)
            (agent ?KEEP ?AGENT)
            (patient ?KEEP ?OBJ))
      (exists
            (?PUT)
            (and
                  (instance ?PUT Putting)
                  (agent ?PUT ?AGENT)
                  (patient ?PUT ?OBJ)
                  (earlier
                        (WhenFn ?PUT)
                        (WhenFn ?KEEP)))))

if keep shi4 bao3 you3 de5 shi2 li4 and obj shi4 keep de5 shou4 shi4 zhe3,
then there exists place so_that_not for all time holds: if time shi4 "keep cun2 zai4 de5 shi2 jian1" de5 bu4 fen5, then obj wei4 yu1 place timea(zhi1 zhong1) time

(=>
      (and
            (instance ?KEEP Keeping)
            (patient ?KEEP ?OBJ))
      (exists
            (?PLACE)
            (forall
                  (?TIME)
                  (=>
                        (temporalPart
                              ?TIME
                              (WhenFn ?KEEP))
                        (holdsDuring
                              ?TIME
                              (located ?OBJ ?PLACE))))))

If confine shi4 xian4 ding4 de5 shi2 li4, then there exists ren2 lei4 human so_that_not human shi4 confine de5 shou4 shi4 zhe3.

(=>
      (instance ?CONFINE Confining)
      (exists
            (?HUMAN)
            (and
                  (instance ?HUMAN Human)
                  (patient ?CONFINE ?HUMAN))))

If repair shi4 xiu1 hu4 de5 shi2 li4 and obj shi4 repair de5 shou4 shi4 zhe3, then there exists sun3 hai4 damage so_that_not obj shi4 damage de5 shou4 shi4 zhe3 and "damage cun2 zai4 de5 shi2 jian1" (mei2) bi3 "repair cun2 zai4 de5 shi2 jian1" jiao4 zao3 fa1 sheng1not(s).

(=>
      (and
            (instance ?REPAIR Repairing)
            (patient ?REPAIR ?OBJ))
      (exists
            (?DAMAGE)
            (and
                  (instance ?DAMAGE Damaging)
                  (patient ?DAMAGE ?OBJ)
                  (earlier
                        (WhenFn ?DAMAGE)
                        (WhenFn ?REPAIR)))))

If proc shi4 zhi4 liao2 li4 cheng2 de5 shi2 li4 and bio shi4 proc de5 shou4 shi4 zhe3, then

bio shi4 sheng1 wu4 ti1 de5 shi2 li4
there exists sheng1 wu4 ti1 org so_that_not bio shi4 org de5 bu4 fen5)

(=>
      (and
            (instance ?PROC TherapeuticProcess)
            (patient ?PROC ?BIO))
      (or
            (instance ?BIO Organism)
            (exists
                  (?ORG)
                  (and
                        (instance ?ORG Organism)
                        (part ?BIO ?ORG)))))

If act shi4 wai4 ke1 shou3 shu4 de5 shi2 li4 and animal shi4 act de5 shou4 shi4 zhe3, then there exists qie1 ge1 subact so_that_not animal shi4 dong4 wu4 de5 shi2 li4 and cutting shi4 animal de5 shou4 shi4 zhe3 and subact shi4 act de5 ci4 li4 cheng2.

(=>
      (and
            (instance ?ACT Surgery)
            (patient ?ACT ?ANIMAL))
      (exists
            (?SUBACT)
            (and
                  (instance ?SUBACT Cutting)
                  (instance ?ANIMAL Animal)
                  (patient ?ANIMAL ?CUTTING)
                  (subProcess ?SUBACT ?ACT))))

process shi4 hui3 mie4 de5 shi2 li4 if and only if there exists patient so_that_not patient shi4 process de5 shou4 shi4 zhe3 and patient (bu2) cun2 zai4s ""process cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2" qi1 jian1 and patient not(bu2) cun2 zai4 ""process cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4" qi1 jian1.

(<=>
      (instance ?PROCESS Destruction)
      (exists
            (?PATIENT)
            (and
                  (patient ?PROCESS ?PATIENT)
                  (time
                        ?PATIENT
                        (ImmediatePastFn
                              (WhenFn ?PROCESS)))
                  (not
                        (time
                              ?PATIENT
                              (ImmediateFutureFn
                                    (WhenFn ?PROCESS)))))))

compound shi4 hua4 he2 wu4 de5 shi2 li4 if and only if there exist ji1 ben3 wu4 zhi4 element1,ji1 ben3 wu4 zhi4 element2,hua4 xue2 he2 cheng2 process so_that_not element1 deng3 yu1 element2 and element1 dui4 process shi4 zi1 yuan2 and element2 dui4 process shi4 zi1 yuan2 and compound shi4 process de5 jie2 guo3.

(<=>
      (instance ?COMPOUND CompoundSubstance)
      (exists
            (?ELEMENT1 ?ELEMENT2 ?PROCESS)
            (and
                  (instance ?ELEMENT1 ElementalSubstance)
                  (instance ?ELEMENT2 ElementalSubstance)
                  (not
                        (equal ?ELEMENT1 ?ELEMENT2))
                  (instance ?PROCESS ChemicalSynthesis)
                  (resource ?PROCESS ?ELEMENT1)
                  (resource ?PROCESS ?ELEMENT2)
                  (result ?PROCESS ?COMPOUND))))

If combustion shi4 ran2 shao1 de5 shi2 li4, then there exist jia1 wen1 heat,guang1 xian4 light so_that_not heat shi4 combustion de5 ci4 li4 cheng2 and light shi4 combustion de5 ci4 li4 cheng2.

(=>
      (instance ?COMBUSTION Combustion)
      (exists
            (?HEAT ?LIGHT)
            (and
                  (instance ?HEAT Heating)
                  (instance ?LIGHT RadiatingLight)
                  (subProcess ?HEAT ?COMBUSTION)
                  (subProcess ?LIGHT ?COMBUSTION))))

If change shi4 na4 zai4 gai3 bian4 de5 shi2 li4 and obj shi4 change de5 shou4 shi4 zhe3, then there exists property so_that_not

property shi4 obj de5 shu3 xing4 ""change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and property shi4 obj de5 shu3 xing4 ""change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4
property shi4 obj de5 shu3 xing4 ""change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and property shi4 obj de5 shu3 xing4 ""change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4

(=>
      (and
            (instance ?CHANGE InternalChange)
            (patient ?CHANGE ?OBJ))
      (exists
            (?PROPERTY)
            (or
                  (and
                        (holdsDuring
                              (ImmediatePastFn
                                    (WhenFn ?CHANGE))
                              (attribute ?OBJ ?PROPERTY))
                        (holdsDuring
                              (ImmediateFutureFn
                                    (WhenFn ?CHANGE))
                              (not
                                    (attribute ?OBJ ?PROPERTY))))
                  (and
                        (holdsDuring
                              (ImmediatePastFn
                                    (WhenFn ?CHANGE))
                              (not
                                    (attribute ?OBJ ?PROPERTY)))
                        (holdsDuring
                              (ImmediateFutureFn
                                    (WhenFn ?CHANGE))
                              (attribute ?OBJ ?PROPERTY))))))

If alt shi4 biao3 mian4 gai3 bian4 de5 shi2 li4 and obj shi4 alt de5 shou4 shi4 zhe3, then there exist part,property so_that_not part shi4 objde5 wai4 biao3 bu4 fen5 and property shi4 part de5 shu3 xing4 ""alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and property shi4 part de5 shu3 xing4 ""alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.

(=>
      (and
            (instance ?ALT SurfaceChange)
            (patient ?ALT ?OBJ))
      (exists
            (?PART ?PROPERTY)
            (and
                  (superficialPart ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?ALT))
                        (attribute ?PART ?PROPERTY))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?ALT))
                        (not
                              (attribute ?PART ?PROPERTY))))))

If alt shi4 xing2 zhuang4 gai3 bian4 de5 shi2 li4 and obj shi4 alt de5 shou4 shi4 zhe3, then there exists xing2 zhuang4 shu3 xing4 property so_that_not

property shi4 obj de5 shu3 xing4 ""alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and property shi4 obj de5 shu3 xing4 ""alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4
property shi4 obj de5 shu3 xing4 ""alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and property shi4 obj de5 shu3 xing4 ""alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4

(=>
      (and
            (instance ?ALT ShapeChange)
            (patient ?ALT ?OBJ))
      (exists
            (?PROPERTY)
            (and
                  (instance ?PROPERTY ShapeAttribute)
                  (or
                        (and
                              (holdsDuring
                                    (ImmediatePastFn
                                          (WhenFn ?ALT))
                                    (attribute ?OBJ ?PROPERTY))
                              (holdsDuring
                                    (ImmediateFutureFn
                                          (WhenFn ?ALT))
                                    (not
                                          (attribute ?OBJ ?PROPERTY))))
                        (and
                              (holdsDuring
                                    (ImmediatePastFn
                                          (WhenFn ?ALT))
                                    (not
                                          (attribute ?OBJ ?PROPERTY)))
                              (holdsDuring
                                    (ImmediateFutureFn
                                          (WhenFn ?ALT))
                                    (attribute ?OBJ ?PROPERTY)))))))

If coloring shi4 zhu4 se4 de5 shi2 li4 and obj shi4 coloring de5 shou4 shi4 zhe3, then there exists yan2 se4 shu3 xing4 property so_that_not property shi4 obj de5 shu3 xing4 ""coloring cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "coloring cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and property shi4 obj de5 shu3 xing4 ""coloring cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "coloring cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.

(=>
      (and
            (instance ?COLORING Coloring)
            (patient ?COLORING ?OBJ))
      (exists
            (?PROPERTY)
            (and
                  (instance ?PROPERTY ColorAttribute)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?COLORING))
                        (attribute ?OBJ ?PROPERTY))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?COLORING))
                        (not
                              (attribute ?OBJ ?PROPERTY))))))

If develop shi4 na4 rong2 fa1 zhan3 de5 shi2 li4, then there exists na4 rong2 zai4 ti3 obj so_that_not obj shi4 develop de5 shou4 shi4 zhe3.

(=>
      (instance ?DEVELOP ContentDevelopment)
      (exists
            (?OBJ)
            (and
                  (instance ?OBJ ContentBearingObject)
                  (patient ?DEVELOP ?OBJ))))

If read shi4 yue4 du2 de5 shi2 li4, then there exist wen2 ben3 text,prop so_that_not text (bu2) bao1 han2s) xun4 xi1 %2 and read biao3 da2 prop de5 na4 rong2.

(=>
      (instance ?READ Reading)
      (exists
            (?TEXT ?PROP)
            (and
                  (instance ?TEXT Text)
                  (containsInformation ?TEXT ?PROP)
                  (realization ?READ ?PROP))))

If decode shi4 jie3 ma3 de5 shi2 li4 and doc1 shi4 decode de5 shou4 shi4 zhe3, then there exist encode,doc2,time so_that_not doc2 (bu2) bao1 han2s) xun4 xi1 %2 and doc1 (bu2) bao1 han2s) xun4 xi1 %2 and time shi4 ""decode cun2 zai4 de5 shi2 jian1" zhi1 qian2" de5 bu4 fen5 and encode shi4 bian1 ma3 de5 shi2 li4 and doc2 shi4 encode de5 shou4 shi4 zhe3 timea(zhi1 zhong1) time.

(=>
      (and
            (instance ?DECODE Decoding)
            (patient ?DECODE ?DOC1))
      (exists
            (?ENCODE ?DOC2 ?TIME)
            (and
                  (containsInformation ?DOC2 ?PROP)
                  (containsInformation ?DOC1 ?PROP)
                  (temporalPart
                        ?TIME
                        (PastFn
                              (WhenFn ?DECODE)))
                  (holdsDuring
                        ?TIME
                        (and
                              (instance ?ENCODE Encoding)
                              (patient ?ENCODE ?DOC2))))))

If wet shi4 shi1 run4 de5 shi2 li4, then there exists obj so_that_not ye4 ti1 de5 shi4 obj de5 shu3 xing4 and obj shi4 wet de5 shou4 shi4 zhe3.

(=>
      (instance ?WET Wetting)
      (exists
            (?OBJ)
            (and
                  (attribute ?OBJ Liquid)
                  (patient ?WET ?OBJ))))

If action shi4 chan3 sheng1 de5 shi2 li4, then there exists result so_that_not result shi4 action de5 jie2 guo3.

(=>
      (instance ?ACTION Creation)
      (exists
            (?RESULT)
            (result ?ACTION ?RESULT)))

process shi4 chan3 sheng1 de5 shi2 li4 if and only if there exists patient so_that_not patient shi4 process de5 shou4 shi4 zhe3 and patient (bu2) cun2 zai4s ""process cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4" qi1 jian1 and patient not(bu2) cun2 zai4 ""process cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2" qi1 jian1.

(<=>
      (instance ?PROCESS Creation)
      (exists
            (?PATIENT)
            (and
                  (patient ?PROCESS ?PATIENT)
                  (time
                        ?PATIENT
                        (ImmediateFutureFn
                              (WhenFn ?PROCESS)))
                  (not
                        (time
                              ?PATIENT
                              (ImmediatePastFn
                                    (WhenFn ?PROCESS)))))))

There exists jian4 gou4 build so_that_not artifact shi4 build de5 jie2 guo3 if and only if artifact shi4 gu4 ding4 ren2 zao4 wu4 de5 shi2 li4.

(<=>
      (exists
            (?BUILD)
            (and
                  (instance ?BUILD Constructing)
                  (result ?BUILD ?ARTIFACT)))
      (instance ?ARTIFACT StationaryArtifact))

If cook shi4 peng1 ren4 de5 shi2 li4, then there exists shi2 wu4 food so_that_not food shi4 cook de5 jie2 guo3.

(=>
      (instance ?COOK Cooking)
      (exists
            (?FOOD)
            (and
                  (instance ?FOOD Food)
                  (result ?COOK ?FOOD))))

If proc shi4 zhen3 duan4 li4 cheng2 de5 shi2 li4 and proc shi4 agent de5 shi1 shi4 zhe3, then there exists cause so_that_not proc dui4agent you3 yi4 tu2 "agent (bu2zhi1 dao4s) %2".

(=>
      (and
            (instance ?PROC DiagnosticProcess)
            (agent ?PROC ?AGENT))
      (exists
            (?CAUSE)
            (hasPurposeForAgent
                  ?PROC
                  (knows
                        ?AGENT
                        (causes ?CAUSE ?PROC))
                  ?AGENT)))

If interaction shi4 ren2 ji4 hu4 dong4 de5 shi2 li4, then there exist agent1,agent2 so_that_not interaction shi4 agent1 de5 shi1 shi4 zhe3 and interaction shi4 agent2 de5 shi1 shi4 zhe3 and agent1 deng3 yu1 agent2.

(=>
      (instance ?INTERACTION SocialInteraction)
      (exists
            (?AGENT1 ?AGENT2)
            (and
                  (agent ?INTERACTION ?AGENT1)
                  (agent ?INTERACTION ?AGENT2)
                  (not
                        (equal ?AGENT1 ?AGENT2)))))

If pretend shi4 wei3 zhuang1 de5 shi2 li4, then there exist person,prop so_that_not pretend you3 yi4 tu2 "person (bu2)xiang1 xin4 prop" and prop &$shi4 zhen1 de5.

(=>
      (instance ?PRETEND Pretending)
      (exists
            (?PERSON ?PROP)
            (and
                  (hasPurpose
                        ?PRETEND
                        (believes ?PERSON ?PROP))
                  (true ?PROP True))))

If communicate shi4 gou1 tong1 de5 shi2 li4, then there exist na4 rong2 zai4 ti3 obj,ju4 ren4 zhi1 li4 shi1 shi4 zhe3 agent1,ju4 ren4 zhi1 li4 shi1 shi4 zhe3 agent2 so_that_not obj shi4 communicate de5 shou4 shi4 zhe3 and communicate shi4 agent1 de5 shi1 shi4 zhe3 and communicate (bu2) zhong1 jie2not(s) agent2.

(=>
      (instance ?COMMUNICATE Communication)
      (exists
            (?OBJ ?AGENT1 ?AGENT2)
            (and
                  (instance ?OBJ ContentBearingObject)
                  (patient ?COMMUNICATE ?OBJ)
                  (instance ?AGENT1 CognitiveAgent)
                  (agent ?COMMUNICATE ?AGENT1)
                  (instance ?AGENT2 CognitiveAgent)
                  (destination ?COMMUNICATE ?AGENT2))))

If disseminate shi4 san4 bu4 de5 shi2 li4, then there exist ju4 ren4 zhi1 li4 shi1 shi4 zhe3 agent1,ju4 ren4 zhi1 li4 shi1 shi4 zhe3 agent2 so_that_not disseminate (bu2) zhong1 jie2not(s) agent1 and disseminate (bu2) zhong1 jie2not(s) agent2 and agent1 deng3 yu1 agent2.

(=>
      (instance ?DISSEMINATE Disseminating)
      (exists
            (?AGENT1 ?AGENT2)
            (and
                  (destination ?DISSEMINATE ?AGENT1)
                  (instance ?AGENT1 CognitiveAgent)
                  (destination ?DISSEMINATE ?AGENT2)
                  (instance ?AGENT2 CognitiveAgent)
                  (not
                        (equal ?AGENT1 ?AGENT2)))))

If advert shi4 guang3 gao4 de5 shi2 li4, then there exists obj so_that_not advert can1 zhao4 obj and advert you3 yi4 tu2 "there exists xiao1 shou4 sale so_that_not obj shi4 sale de5 shou4 shi4 zhe3".

(=>
      (instance ?ADVERT Advertising)
      (exists
            (?OBJ)
            (and
                  (refers ?ADVERT ?OBJ)
                  (hasPurpose
                        ?ADVERT
                        (exists
                              (?SALE)
                              (and
                                    (instance ?SALE Selling)
                                    (patient ?SALE ?OBJ)))))))

If communicate shi4 yu3 yan2 gou1 tong1 de5 shi2 li4, then there exists yu3 yan2 biao3 shi4 obj so_that_not obj shi4 communicate de5 shou4 shi4 zhe3.

(=>
      (instance ?COMMUNICATE LinguisticCommunication)
      (exists
            (?OBJ)
            (and
                  (instance ?OBJ LinguisticExpression)
                  (patient ?COMMUNICATE ?OBJ))))

If express shi4 biao3 da2 de5 shi2 li4 and express shi4 agent de5 shi1 shi4 zhe3, then there exists xin1 li3 zhuang4 tai4 state so_that_not state shi4 agent de5 shu3 xing4 and express biao3 da2 state.

(=>
      (and
            (instance ?EXPRESS Expressing)
            (agent ?EXPRESS ?AGENT))
      (exists
            (?STATE)
            (and
                  (instance ?STATE StateOfMind)
                  (attribute ?AGENT ?STATE)
                  (represents ?EXPRESS ?STATE))))

If declare shi4 xuan1 gao4 de5 shi2 li4 and declare shi4 agent1 de5 shi1 shi4 zhe3, then there exist proc,agent2 so_that_not declare fu4 yu3 agent2 quan2 li4 zhi2 hang2 lei4 xing2 proc ren4 wu4 or declare fu4 yu3 agent2 yi4 wu4 zhi2 hang2 lei4 xing2 proc ren4 wu4.

(=>
      (and
            (instance ?DECLARE Declaring)
            (agent ?DECLARE ?AGENT1))
      (exists
            (?PROC ?AGENT2)
            (or
                  (confersRight ?PROC ?DECLARE ?AGENT2)
                  (confersObligation ?PROC ?DECLARE ?AGENT2))))

if cooperate shi4 he2 zuo4 de5 shi2 li4,
then there exists purp so_that_not for all agent holds: if cooperate shi4 agent de5 shi1 shi4 zhe3, then cooperate dui4agent you3 yi4 tu2 purp

(=>
      (instance ?COOPERATE Cooperation)
      (exists
            (?PURP)
            (forall
                  (?AGENT)
                  (=>
                        (agent ?COOPERATE ?AGENT)
                        (hasPurposeForAgent ?COOPERATE ?PURP ?AGENT)))))

If meet shi4 hui4 mian4 de5 shi2 li4, then there exist agent1,agent2 so_that_not meet shi4 agent1 de5 shi1 shi4 zhe3 and meet shi4 agent2 de5 shi1 shi4 zhe3 and meet you3 yi4 tu2 "there exists gou1 tong1 comm so_that_not comm shi4 agent1 de5 shi1 shi4 zhe3 and comm shi4 agent2 de5 shi1 shi4 zhe3".

(=>
      (instance ?MEET Meeting)
      (exists
            (?AGENT1 ?AGENT2)
            (and
                  (agent ?MEET ?AGENT1)
                  (agent ?MEET ?AGENT2)
                  (hasPurpose
                        ?MEET
                        (exists
                              (?COMM)
                              (and
                                    (instance ?COMM Communication)
                                    (agent ?COMM ?AGENT1)
                                    (agent ?COMM ?AGENT2)))))))

If contest shi4 jing4 zheng1 de5 shi2 li4, then there exist agent1,agent2,purp1,purp2 so_that_not contest shi4 agent1 de5 shi1 shi4 zhe3 and contest shi4 agent2 de5 shi1 shi4 zhe3 and contest dui4agent1 you3 yi4 tu2 purp1 and contest dui4agent2 you3 yi4 tu2 purp2 and agent1 deng3 yu1 agent2 and purp1 deng3 yu1 purp2.

(=>
      (instance ?CONTEST Contest)
      (exists
            (?AGENT1 ?AGENT2 ?PURP1 ?PURP2)
            (and
                  (agent ?CONTEST ?AGENT1)
                  (agent ?CONTEST ?AGENT2)
                  (hasPurposeForAgent ?CONTEST ?PURP1 ?AGENT1)
                  (hasPurposeForAgent ?CONTEST ?PURP2 ?AGENT2)
                  (not
                        (equal ?AGENT1 ?AGENT2))
                  (not
                        (equal ?PURP1 ?PURP2)))))

If war shi4 zhan4 zheng1 de5 shi2 li4, then there exists zhan4 yi4 battle so_that_not battle shi4 war de5 ci4 li4 cheng2.

(=>
      (instance ?WAR War)
      (exists
            (?BATTLE)
            (and
                  (instance ?BATTLE Battle)
                  (subProcess ?BATTLE ?WAR))))

If battle shi4 zhan4 yi4 de5 shi2 li4, then there exists zhan4 zheng1 war so_that_not battle shi4 war de5 ci4 li4 cheng2.

(=>
      (instance ?BATTLE Battle)
      (exists
            (?WAR)
            (and
                  (instance ?WAR War)
                  (subProcess ?BATTLE ?WAR))))

If battle shi4 zhan4 yi4 de5 shi2 li4, then there exists bao4 li4 xing4 de5 jing4 zheng1 attack so_that_not attack shi4 battle de5 ci4 li4 cheng2.

(=>
      (instance ?BATTLE Battle)
      (exists
            (?ATTACK)
            (and
                  (instance ?ATTACK ViolentContest)
                  (subProcess ?ATTACK ?BATTLE))))

If move shi4 diao4 qian3 de5 shi2 li4, then there exists jing4 zheng1 contest so_that_not move shi4 contest de5 ci4 li4 cheng2.

(=>
      (instance ?MOVE Maneuver)
      (exists
            (?CONTEST)
            (and
                  (instance ?CONTEST Contest)
                  (subProcess ?MOVE ?CONTEST))))

If see shi4 kan4 de5 shi2 li4 and see shi4 agent de5 shi1 shi4 zhe3 and obj shi4 see de5 shou4 shi4 zhe3, then

bei4 guang1 zhao4 de5 shi4 obj de5 shu3 xing4
there exists yan2 se4 shu3 xing4 prop so_that_not agent (bu2zhi1 dao4s) %2

(=>
      (and
            (instance ?SEE Seeing)
            (agent ?SEE ?AGENT)
            (patient ?SEE ?OBJ))
      (and
            (attribute ?OBJ Illuminated)
            (exists
                  (?PROP)
                  (and
                        (instance ?PROP ColorAttribute)
                        (knows
                              ?AGENT
                              (attribute ?OBJ ?PROP))))))

If smell shi4 wen2 de5 shi2 li4 and obj shi4 smell de5 shou4 shi4 zhe3, then there exists xiu4 jiao4 shu3 xing4 attr so_that_not attr shi4 obj de5 shu3 xing4.

(=>
      (and
            (instance ?SMELL Smelling)
            (patient ?SMELL ?OBJ))
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR OlfactoryAttribute)
                  (attribute ?OBJ ?ATTR))))

If taste shi4 wei4 jiao4 de5 shi2 li4 and obj shi4 taste de5 shou4 shi4 zhe3, then there exists wei4 jiao4 shu3 xing4 attr so_that_not attr shi4 obj de5 shu3 xing4.

(=>
      (and
            (instance ?TASTE Tasting)
            (patient ?TASTE ?OBJ))
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR TasteAttribute)
                  (attribute ?OBJ ?ATTR))))

If hear shi4 ting5 de5 shi2 li4 and obj shi4 hear de5 shou4 shi4 zhe3, then there exists sheng1 yin1 shu3 xing4 attr so_that_not attr shi4 obj de5 shu3 xing4.

(=>
      (and
            (instance ?HEAR Hearing)
            (patient ?HEAR ?OBJ))
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR SoundAttribute)
                  (attribute ?OBJ ?ATTR))))

If tactile shi4 chu4 jue2 de5 shi2 li4, then there exists chu4 dong4 touch so_that_not touch shi4 tactile de5 ci4 li4 cheng2.

(=>
      (instance ?TACTILE TactilePerception)
      (exists
            (?TOUCH)
            (and
                  (instance ?TOUCH Touching)
                  (subProcess ?TOUCH ?TACTILE))))

There exists guang1 xian4 emit so_that_not region shi4 emit de5 shou4 shi4 zhe3 and region shi4 qu1 yu4 de5 shi2 li4 if and only if bei4 guang1 zhao4 de5 shi4 region de5 shu3 xing4.

(<=>
      (exists
            (?EMIT)
            (and
                  (instance ?EMIT RadiatingLight)
                  (patient ?EMIT ?REGION)
                  (instance ?REGION Region)))
      (attribute ?REGION Illuminated))

If emit shi4 sheng1 yin1 de5 shi2 li4 and emit shi4 sound de5 shi1 shi4 zhe3, then there exists sheng1 yin1 shu3 xing4 attr so_that_not attr shi4 sound de5 shu3 xing4.

(=>
      (and
            (instance ?EMIT RadiatingSound)
            (agent ?EMIT ?SOUND))
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR SoundAttribute)
                  (attribute ?SOUND ?ATTR))))

If process shi4 zhuang4 tai4 gai3 bian4 de5 shi2 li4 and obj shi4 process de5 shou4 shi4 zhe3, then there exist part,wu4 li3 zhuang4 tai4 state1,wu4 li3 zhuang4 tai4 state2 so_that_not part shi4 obj de5 bu4 fen5) and state1 deng3 yu1 state2 and state1 shi4 part de5 shu3 xing4 ""process cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "process cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and state2 shi4 part de5 shu3 xing4 ""freeze cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "freeze cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.

(=>
      (and
            (instance ?PROCESS StateChange)
            (patient ?PROCESS ?OBJ))
      (exists
            (?PART ?STATE1 ?STATE2)
            (and
                  (part ?PART ?OBJ)
                  (instance ?STATE1 PhysicalState)
                  (instance ?STATE2 PhysicalState)
                  (not
                        (equal ?STATE1 ?STATE2))
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?PROCESS))
                        (attribute ?PART ?STATE1))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?FREEZE))
                        (attribute ?PART ?STATE2)))))

If melt shi4 rong2 hua4 de5 shi2 li4, then there exists jia1 wen1 heat so_that_not heat shi4 melt de5 ci4 li4 cheng2.

(=>
      (instance ?MELT Melting)
      (exists
            (?HEAT)
            (and
                  (instance ?HEAT Heating)
                  (subProcess ?HEAT ?MELT))))

If melt shi4 rong2 hua4 de5 shi2 li4 and obj shi4 melt de5 shou4 shi4 zhe3, then there exists part so_that_not part shi4 obj de5 bu4 fen5) and gu4 ti1 de5 shi4 part de5 shu3 xing4 ""melt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "melt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and ye4 ti1 de5 shi4 part de5 shu3 xing4 ""melt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "melt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.

(=>
      (and
            (instance ?MELT Melting)
            (patient ?MELT ?OBJ))
      (exists
            (?PART)
            (and
                  (part ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?MELT))
                        (attribute ?PART Solid))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?MELT))
                        (attribute ?PART Liquid)))))

If boil shi4 fei4 teng2 de5 shi2 li4, then there exists jia1 wen1 heat so_that_not heat shi4 boil de5 ci4 li4 cheng2.

(=>
      (instance ?BOIL Boiling)
      (exists
            (?HEAT)
            (and
                  (instance ?HEAT Heating)
                  (subProcess ?HEAT ?BOIL))))

If boil shi4 fei4 teng2 de5 shi2 li4 and obj shi4 boil de5 shou4 shi4 zhe3, then there exists part so_that_not part shi4 obj de5 bu4 fen5) and ye4 ti1 de5 shi4 part de5 shu3 xing4 ""boil cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "boil cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and qi4 ti3 shi4 part de5 shu3 xing4 ""boil cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "boil cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.

(=>
      (and
            (instance ?BOIL Boiling)
            (patient ?BOIL ?OBJ))
      (exists
            (?PART)
            (and
                  (part ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?BOIL))
                        (attribute ?PART Liquid))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?BOIL))
                        (attribute ?PART Gas)))))

If cond shi4 ning2 jie2 de5 shi2 li4, then there exists jiang4 wen1 cool so_that_not cool shi4 cond de5 ci4 li4 cheng2.

(=>
      (instance ?COND Condensing)
      (exists
            (?COOL)
            (and
                  (instance ?COOL Cooling)
                  (subProcess ?COOL ?COND))))

If cond shi4 ning2 jie2 de5 shi2 li4 and obj shi4 cond de5 shou4 shi4 zhe3, then there exists part so_that_not part shi4 obj de5 bu4 fen5) and qi4 ti3 shi4 part de5 shu3 xing4 ""cond cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "cond cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and ye4 ti1 de5 shi4 part de5 shu3 xing4 ""cond cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "cond cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.

(=>
      (and
            (instance ?COND Condensing)
            (patient ?COND ?OBJ))
      (exists
            (?PART)
            (and
                  (part ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?COND))
                        (attribute ?PART Gas))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?COND))
                        (attribute ?PART Liquid)))))

If freeze shi4 ning2 gu4 de5 shi2 li4, then there exists jiang4 wen1 cool so_that_not cool shi4 freeze de5 ci4 li4 cheng2.

(=>
      (instance ?FREEZE Freezing)
      (exists
            (?COOL)
            (and
                  (instance ?COOL Cooling)
                  (subProcess ?COOL ?FREEZE))))

If freeze shi4 ning2 gu4 de5 shi2 li4 and obj shi4 freeze de5 shou4 shi4 zhe3, then there exists part so_that_not part shi4 obj de5 bu4 fen5) and ye4 ti1 de5 shi4 part de5 shu3 xing4 ""freeze cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "freeze cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and gu4 ti1 de5 shi4 part de5 shu3 xing4 ""freeze cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "freeze cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.

(=>
      (and
            (instance ?FREEZE Freezing)
            (patient ?FREEZE ?OBJ))
      (exists
            (?PART)
            (and
                  (part ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?FREEZE))
                        (attribute ?PART Liquid))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?FREEZE))
                        (attribute ?PART Solid)))))

If area shi4 shui3 yu4 de5 shi2 li4, then there exist bed,hole,shui3 water so_that_not "dong4 hole de5 zhu3 ti1" deng3 yu1 bed and water (mei2) shi4 dang4 tian2 chong1s hole and "bed he2 water de5 lian2 ji2" deng3 yu1 area.

(=>
      (instance ?AREA WaterArea)
      (exists
            (?BED ?HOLE ?WATER)
            (and
                  (equal
                        (PrincipalHostFn ?HOLE)
                        ?BED)
                  (instance ?WATER Water)
                  (properlyFills ?WATER ?HOLE)
                  (equal
                        (MereologicalSumFn ?BED ?WATER)
                        ?AREA))))

If land1 shi4 lu4 di4 de5 shi2 li4, then there exists land2 so_that_not land1 shi4 land2 de5 bu4 fen5) and land2 shi4 da4 lu4 de5 shi2 li4 or land2 shi4 dao3 yu3 de5 shi2 li4.

(=>
      (instance ?LAND1 LandArea)
      (exists
            (?LAND2)
            (and
                  (part ?LAND1 ?LAND2)
                  (or
                        (instance ?LAND2 Continent)
                        (instance ?LAND2 Island)))))

If island shi4 dao3 yu3 de5 shi2 li4, then there don't exist lu4 di4 area,part1,part2 so_that_not part1 shi4 island de5 bu4 fen5) and part2 shi4 area de5 bu4 fen5) and island shi4 area de5 bu4 fen5) and area shi4 island de5 bu4 fen5) and part1 yu3 part2 xiang1 lian2.

(=>
      (instance ?ISLAND Island)
      (not
            (exists
                  (?AREA ?PART1 ?PART2)
                  (and
                        (instance ?AREA LandArea)
                        (part ?PART1 ?ISLAND)
                        (part ?PART2 ?AREA)
                        (not
                              (part ?ISLAND ?AREA))
                        (not
                              (part ?AREA ?ISLAND))
                        (connected ?PART1 ?PART2)))))

If state shi4 zhou1 huo4 sheng3 de5 shi2 li4, then there exists guo2 jia1 land so_that_not state shi4 land de5 zheng4 bu4 fen5.

(=>
      (instance ?STATE StateOrProvince)
      (exists
            (?LAND)
            (and
                  (instance ?LAND Nation)
                  (properPart ?STATE ?LAND))))

If obj de5 fa1 zhan3 xing2 shi4 shi4 attr1 time1a(zhi1 zhong1) time1 and attr2 shi4 attr1 de5 feng1 bi4 xu4 jie1 shu3 xing4, then there exists time2 so_that_not time2 (mei2) bi3 time1 jiao4 zao3 fa1 sheng1not(s) and obj de5 fa1 zhan3 xing2 shi4 shi4 attr2 time2a(zhi1 zhong1) time2.

(=>
      (and
            (holdsDuring
                  ?TIME1
                  (developmentalForm ?OBJ ?ATTR1))
            (successorAttributeClosure ?ATTR2 ?ATTR1))
      (exists
            (?TIME2)
            (and
                  (earlier ?TIME2 ?TIME1)
                  (holdsDuring
                        ?TIME2
                        (developmentalForm ?OBJ ?ATTR2)))))

If organism shi4 sheng1 wu4 ti1 de5 shi2 li4, then there exists dan4 sheng1 birth so_that_not organism (mei2) ti3 yan4not(s) birth.

(=>
      (instance ?ORGANISM Organism)
      (exists
            (?BIRTH)
            (and
                  (instance ?BIRTH Birth)
                  (experiencer ?BIRTH ?ORGANISM))))

If organism zhu4s zai4 obj, then there exists time so_that_not organism wei4 yu1 obj timea(zhi1 zhong1) time.

(=>
      (inhabits ?ORGANISM ?OBJ)
      (exists
            (?TIME)
            (holdsDuring
                  ?TIME
                  (located ?ORGANISM ?OBJ))))

If organism shi4 sheng1 wu4 ti1 de5 shi2 li4, then there exists parent so_that_not parent shi4 organism de5 shuang1 qin1.

(=>
      (instance ?ORGANISM Organism)
      (exists
            (?PARENT)
            (parent ?ORGANISM ?PARENT)))

animal1 shi4 animal2 de5 xiong1 di4 zi3 mei4 if and only if there exist father,mother so_that_not father shi4 animal1 de5 fu4 qin1 and father shi4 animal2 de5 fu4 qin1 and mother shi4 animal1 de5 mu3 qin1 and mother shi4 animal2 de5 mu3 qin1.

(<=>
      (sibling ?ANIMAL1 ?ANIMAL2)
      (exists
            (?FATHER ?MOTHER)
            (and
                  (father ?ANIMAL1 ?FATHER)
                  (father ?ANIMAL2 ?FATHER)
                  (mother ?ANIMAL1 ?MOTHER)
                  (mother ?ANIMAL2 ?MOTHER))))

If alga shi4 zao3 lei4 de5 shi2 li4, then there exists shui3 water so_that_not alga zhu4s zai4 water.

(=>
      (instance ?ALGA Alga)
      (exists
            (?WATER)
            (and
                  (inhabits ?ALGA ?WATER)
                  (instance ?WATER Water))))

if bacterium shi4 xi4 jun1 de5 shi2 li4,
then there exists xi4 bao1 cell1 so_that_not cell1 shi4 bacterium de5 yuan2 jian4 and for all cell2 holds: if cell2 shi4 bacterium de5 yuan2 jian4 and cell2 shi4 xi4 bao1 de5 shi2 li4, then cell1 deng3 yu1 cell2

(=>
      (instance ?BACTERIUM Bacterium)
      (exists
            (?CELL1)
            (and
                  (component ?CELL1 ?BACTERIUM)
                  (instance ?CELL1 Cell)
                  (forall
                        (?CELL2)
                        (=>
                              (and
                                    (component ?CELL2 ?BACTERIUM)
                                    (instance ?CELL2 Cell))
                              (equal ?CELL1 ?CELL2))))))

if virus shi4 bing4 du2 de5 shi2 li4,
then there exists fen1 zi3 mol1 so_that_not mol1 shi4 virus de5 yuan2 jian4 and for all mol2 holds: if mol2 shi4 virus de5 yuan2 jian4 and mol2 shi4 fen1 zi3 de5 shi2 li4, then mol1 deng3 yu1 mol2

(=>
      (instance ?VIRUS Virus)
      (exists
            (?MOL1)
            (and
                  (component ?MOL1 ?VIRUS)
                  (instance ?MOL1 Molecule)
                  (forall
                        (?MOL2)
                        (=>
                              (and
                                    (component ?MOL2 ?VIRUS)
                                    (instance ?MOL2 Molecule))
                              (equal ?MOL1 ?MOL2))))))

If virus shi4 bing4 du2 de5 shi2 li4 and proc shi4 fu4 zhi4 de5 shi2 li4 and proc shi4 virus de5 shi1 shi4 zhe3, then there exists xi4 bao1 cell so_that_not proc wei4 yu1 cell.

(=>
      (and
            (instance ?VIRUS Virus)
            (instance ?PROC Replication)
            (agent ?PROC ?VIRUS))
      (exists
            (?CELL)
            (and
                  (located ?PROC ?CELL)
                  (instance ?CELL Cell))))

If fish shi4 yu2 lei4 de5 shi2 li4, then there exists shui3 water so_that_not fish zhu4s zai4 water.

(=>
      (instance ?FISH Fish)
      (exists
            (?WATER)
            (and
                  (inhabits ?FISH ?WATER)
                  (instance ?WATER Water))))

If organism shi4 du2 xing4 sheng1 wu4 de5 shi2 li4, then there exists huo2 xing4 sheng1 wu4 wu4 zhi4 substance so_that_not substance shi4 organism de5 bu4 fen5).

(=>
      (instance ?ORGANISM ToxicOrganism)
      (exists
            (?SUBSTANCE)
            (and
                  (instance ?SUBSTANCE BiologicallyActiveSubstance)
                  (part ?SUBSTANCE ?ORGANISM))))

If food shi4 shi2 wu4 de5 shi2 li4, then there exists yang3 fen4 nutrient so_that_not nutrient shi4 food de5 bu4 fen5).

(=>
      (instance ?FOOD Food)
      (exists
            (?NUTRIENT)
            (and
                  (instance ?NUTRIENT Nutrient)
                  (part ?NUTRIENT ?FOOD))))

if food shi4 shi2 wu4 de5 shi2 li4,
then for all part1 holds: if part1 shi4 food de5 bu4 fen5), then there exist part2,dong4 wu4 animal so_that_not part1 shi4 part2 de5 bu4 fen5) and part2 shi4 animal de5 bu4 fen5)

(=>
      (instance ?FOOD Food)
      (forall
            (?PART1)
            (=>
                  (part ?PART1 ?FOOD)
                  (exists
                        (?PART2 ?ANIMAL)
                        (and
                              (part ?PART1 ?PART2)
                              (part ?PART2 ?ANIMAL)
                              (instance ?ANIMAL Animal))))))

if meat shi4 rou4 de5 shi2 li4,
then for all part holds: if part shi4 meat de5 bu4 fen5), then there exist subpart,time,animal so_that_not subpart shi4 part de5 bu4 fen5) and animal shi4 dong4 wu4 de5 shi2 li4 and subpart shi4 animal de5 bu4 fen5) timea(zhi1 zhong1) time

(=>
      (instance ?MEAT Meat)
      (forall
            (?PART)
            (=>
                  (part ?PART ?MEAT)
                  (exists
                        (?SUBPART ?TIME ?ANIMAL)
                        (and
                              (part ?SUBPART ?PART)
                              (holdsDuring
                                    ?TIME
                                    (and
                                          (instance ?ANIMAL Animal)
                                          (part ?SUBPART ?ANIMAL))))))))

if veg shi4 shu1 guo3 de5 shi2 li4,
then for all part holds: if part shi4 veg de5 bu4 fen5), then there exist subpart,time,plant so_that_not subpart shi4 part de5 bu4 fen5) and plant shi4 zhi2 wu4 de5 shi2 li4 and subpart shi4 plant de5 bu4 fen5) timea(zhi1 zhong1) time

(=>
      (instance ?VEG FruitOrVegetable)
      (forall
            (?PART)
            (=>
                  (part ?PART ?VEG)
                  (exists
                        (?SUBPART ?TIME ?PLANT)
                        (and
                              (part ?SUBPART ?PART)
                              (holdsDuring
                                    ?TIME
                                    (and
                                          (instance ?PLANT Plant)
                                          (part ?SUBPART ?PLANT))))))))

If anat shi4 jie3 pou1 gou4 zao4 de5 shi2 li4, then there exists sheng1 wu4 ti1 organism so_that_not anat shi4 organism de5 bu4 fen5).

(=>
      (instance ?ANAT AnatomicalStructure)
      (exists
            (?ORGANISM)
            (and
                  (instance ?ORGANISM Organism)
                  (part ?ANAT ?ORGANISM))))

If part shi4 jie3 pou1 gou4 zao4 de5 shi2 li4, then there exists xi4 bao1 cell so_that_not cell shi4 part de5 bu4 fen5).

(=>
      (instance ?PART AnatomicalStructure)
      (exists
            (?CELL)
            (and
                  (instance ?CELL Cell)
                  (part ?CELL ?PART))))

If part shi4 qu1 ti3 bu4 jian4 de5 shi2 li4, then there doesn't exist bing4 li3 li4 cheng2 proc so_that_not part shi4 proc de5 jie2 guo3.

(=>
      (instance ?PART BodyPart)
      (not
            (exists
                  (?PROC)
                  (and
                        (instance ?PROC PathologicProcess)
                        (result ?PROC ?PART)))))

If cover shi4 qu1 ti3 biao3 mian4 fu4 gai4 wu4 de5 shi2 li4, then there exists body so_that_not cover shi4 bodyde5 wai4 biao3 bu4 fen5 and body shi4 sheng1 wu4 ti1 de5 shi2 li4 or body shi4 qu1 ti3 bu4 jian4 de5 shi2 li4.

(=>
      (instance ?COVER BodyCovering)
      (exists
            (?BODY)
            (and
                  (superficialPart ?COVER ?BODY)
                  (or
                        (instance ?BODY Organism)
                        (instance ?BODY BodyPart)))))

If junct shi4 qu1 ti3 jie1 dian3 de5 shi2 li4, then there exists qu1 ti3 bu4 jian4 struct so_that_not junct shi4 struct de5 yuan2 jian4.

(=>
      (instance ?JUNCT BodyJunction)
      (exists
            (?STRUCT)
            (and
                  (instance ?STRUCT BodyPart)
                  (component ?JUNCT ?STRUCT))))

If junct shi4 qu1 ti3 jie1 dian3 de5 shi2 li4, then there exist qu1 ti3 bu4 jian4 struct1,qu1 ti3 bu4 jian4 struct2 so_that_not junct yu3 struct1 xiang1 lian2 and junct yu3 struct2 xiang1 lian2 and struct1 deng3 yu1 struct2.

(=>
      (instance ?JUNCT BodyJunction)
      (exists
            (?STRUCT1 ?STRUCT2)
            (and
                  (connected ?JUNCT ?STRUCT1)
                  (connected ?JUNCT ?STRUCT2)
                  (instance ?STRUCT1 BodyPart)
                  (instance ?STRUCT2 BodyPart)
                  (not
                        (equal ?STRUCT1 ?STRUCT2)))))

If organ shi4 qi4 guan1 de5 shi2 li4, then there exists purp so_that_not organ you3 yi4 tu2 purp.

(=>
      (instance ?ORGAN Organ)
      (exists
            (?PURP)
            (hasPurpose ?ORGAN ?PURP)))

If stuff shi4 zu3 zhi1 de5 shi2 li4, then there exists xi4 bao1 part so_that_not part shi4 stuff de5 bu4 fen5).

(=>
      (instance ?STUFF Tissue)
      (exists
            (?PART)
            (and
                  (instance ?PART Cell)
                  (part ?PART ?STUFF))))

If stuff shi4 zu3 zhi1 de5 shi2 li4, then there exists sheng1 wu4 ti1 organism so_that_not stuff shi4 organism de5 bu4 fen5).

(=>
      (instance ?STUFF Tissue)
      (exists
            (?ORGANISM)
            (and
                  (instance ?ORGANISM Organism)
                  (part ?STUFF ?ORGANISM))))

If bone shi4 gu3 ge2 de5 shi2 li4, then there exists ji3 zhui1 dong4 wu4 vert so_that_not bone shi4 vert de5 bu4 fen5).

(=>
      (instance ?BONE Bone)
      (exists
            (?VERT)
            (and
                  (instance ?VERT Vertebrate)
                  (part ?BONE ?VERT))))

If morph shi4 ci2 su4 de5 shi2 li4, then there doesn't exist ci2 su4 othermorph so_that_not othermorph shi4 morph de5 bu4 fen5) and othermorph deng3 yu1 morph.

(=>
      (instance ?MORPH Morpheme)
      (not
            (exists
                  (?OTHERMORPH)
                  (and
                        (instance ?OTHERMORPH Morpheme)
                        (part ?OTHERMORPH ?MORPH)
                        (not
                              (equal ?OTHERMORPH ?MORPH))))))

If morph shi4 ci2 su4 de5 shi2 li4, then there exists ci2 word so_that_not morph shi4 word de5 bu4 fen5).

(=>
      (instance ?MORPH Morpheme)
      (exists
            (?WORD)
            (and
                  (instance ?WORD Word)
                  (part ?MORPH ?WORD))))

If word shi4 ci2 de5 shi2 li4, then there exists ci2 su4 part so_that_not part shi4 word de5 bu4 fen5).

(=>
      (instance ?WORD Word)
      (exists
            (?PART)
            (and
                  (part ?PART ?WORD)
                  (instance ?PART Morpheme))))

If phrase shi4 ci2 zu3 de5 shi2 li4, then there exist ci2 part1,ci2 part2 so_that_not part1 shi4 phrase de5 bu4 fen5) and part2 shi4 phrase de5 bu4 fen5) and part1 deng3 yu1 part2.

(=>
      (instance ?PHRASE Phrase)
      (exists
            (?PART1 ?PART2)
            (and
                  (part ?PART1 ?PHRASE)
                  (part ?PART2 ?PHRASE)
                  (instance ?PART1 Word)
                  (instance ?PART2 Word)
                  (not
                        (equal ?PART1 ?PART2)))))

If sentence shi4 ju4 zi5 de5 shi2 li4, then there exist ming2 ci2 ci2 zu3 phrase1,dong4 ci2 ci2 zu3 phrase2 so_that_not phrase1 shi4 sentence de5 bu4 fen5) and phrase2 shi4 sentence de5 bu4 fen5).

(=>
      (instance ?SENTENCE Sentence)
      (exists
            (?PHRASE1 ?PHRASE2)
            (and
                  (instance ?PHRASE1 NounPhrase)
                  (instance ?PHRASE2 VerbPhrase)
                  (part ?PHRASE1 ?SENTENCE)
                  (part ?PHRASE2 ?SENTENCE))))

If text shi4 wen2 ben3 de5 shi2 li4, then there exists ming4 ti2 prop so_that_not text (bu2) bao1 han2s) xun4 xi1 %2.

(=>
      (instance ?TEXT Text)
      (exists
            (?PROP)
            (and
                  (instance ?PROP Proposition)
                  (containsInformation ?TEXT ?PROP))))

If text shi4 wen2 ben3 de5 shi2 li4, then there exists ju4 zi5 part so_that_not part shi4 text de5 bu4 fen5).

(=>
      (instance ?TEXT Text)
      (exists
            (?PART)
            (and
                  (part ?PART ?TEXT)
                  (instance ?PART Sentence))))

If text shi4 wen2 ben3 de5 shi2 li4, then there exists xie3 zuo4 write so_that_not text shi4 write de5 jie2 guo3.

(=>
      (instance ?TEXT Text)
      (exists
            (?WRITE)
            (and
                  (instance ?WRITE Writing)
                  (result ?WRITE ?TEXT))))

If sent shi4 ju4 zi5 de5 shi2 li4, then there exist ming2 ci2 ci2 zu3 noun,dong4 ci2 ci2 zu3 verb so_that_not noun shi4 sent de5 bu4 fen5) and verb shi4 sent de5 bu4 fen5).

(=>
      (instance ?SENT Sentence)
      (exists
            (?NOUN ?VERB)
            (and
                  (instance ?NOUN NounPhrase)
                  (instance ?VERB VerbPhrase)
                  (part ?NOUN ?SENT)
                  (part ?VERB ?SENT))))

If zuo4 zhe3(agent,text) holds, then there exist process,text instance so_that_not process shi4 agent de5 shi1 shi4 zhe3 and text shi4 process de5 jie2 guo3.

(=>
      (authors ?AGENT ?TEXT)
      (exists
            (?PROCESS ?INSTANCE)
            (and
                  (agent ?PROCESS ?AGENT)
                  (instance ?INSTANCE ?TEXT)
                  (result ?PROCESS ?TEXT))))

org chu1 ban3 text if and only if there exists chu1 ban3 pub so_that_not pub shi4 org de5 shi1 shi4 zhe3 and text shi4 pub de5 shou4 shi4 zhe3.

(<=>
      (publishes ?ORG ?TEXT)
      (exists
            (?PUB)
            (and
                  (instance ?PUB Publication)
                  (agent ?PUB ?ORG)
                  (patient ?PUB ?TEXT))))

If text shi4 zhai1 yao4 de5 shi2 li4, then there exists wen2 ben3 text2 so_that_not text2 bao1 rong2 text.

(=>
      (instance ?TEXT Summary)
      (exists
            (?TEXT2)
            (and
                  (instance ?TEXT2 Text)
                  (subsumesContentInstance ?TEXT2 ?TEXT))))

If series shi4 xi4 lie4 kan1 wu4 de5 shi2 li4, then there exist shu1 ji2 book1,shu1 ji2 book2 so_that_not series bao1 rong2 book1 and series bao1 rong2 book2 and book1 deng3 yu1 book2.

(=>
      (instance ?SERIES Series)
      (exists
            (?BOOK1 ?BOOK2)
            (and
                  (instance ?BOOK1 Book)
                  (instance ?BOOK2 Book)
                  (subsumesContentInstance ?SERIES ?BOOK1)
                  (subsumesContentInstance ?SERIES ?BOOK2)
                  (not
                        (equal ?BOOK1 ?BOOK2)))))

If article shi4 wen2 zhang1 de5 shi2 li4, then there exists shu1 ji2 book so_that_not book bao1 rong2 article.

(=>
      (instance ?ARTICLE Article)
      (exists
            (?BOOK)
            (and
                  (instance ?BOOK Book)
                  (subsumesContentInstance ?BOOK ?ARTICLE))))

If doc shi4 zheng4 shu1 de5 shi2 li4 and agent (mei2) yong1 you3not(s) doc, then there exists proc so_that_not doc fu4 yu3 agent quan2 li4 zhi2 hang2 lei4 xing2 proc ren4 wu4 or doc fu4 yu3 agent yi4 wu4 zhi2 hang2 lei4 xing2 proc ren4 wu4.

(=>
      (and
            (instance ?DOC Certificate)
            (possesses ?AGENT ?DOC))
      (exists
            (?PROC)
            (or
                  (confersRight ?PROC ?DOC ?AGENT)
                  (confersObligation ?PROC ?DOC ?AGENT))))

If mole shi4 fen1 zi3 de5 shi2 li4, then there exist yuan2 zi3 atom1,yuan2 zi3 atom2 so_that_not atom1 shi4 mole de5 bu4 fen5) and atom2 shi4 mole de5 bu4 fen5) and atom1 deng3 yu1 atom2.

(=>
      (instance ?MOLE Molecule)
      (exists
            (?ATOM1 ?ATOM2)
            (and
                  (instance ?ATOM1 Atom)
                  (instance ?ATOM2 Atom)
                  (part ?ATOM1 ?MOLE)
                  (part ?ATOM2 ?MOLE)
                  (not
                        (equal ?ATOM1 ?ATOM2)))))

artifact shi4 ren2 zao4 wu4 de5 shi2 li4 if and only if there exists zhi4 zuo4 making so_that_not artifact shi4 making de5 jie2 guo3.

(<=>
      (instance ?ARTIFACT Artifact)
      (exists
            (?MAKING)
            (and
                  (instance ?MAKING Making)
                  (result ?MAKING ?ARTIFACT))))

If product shi4 chan3 pin3 de5 shi2 li4, then there exists sheng1 chan3 manufacture so_that_not product shi4 manufacture de5 jie2 guo3.

(=>
      (instance ?PRODUCT Product)
      (exists
            (?MANUFACTURE)
            (and
                  (instance ?MANUFACTURE Manufacture)
                  (result ?MANUFACTURE ?PRODUCT))))

if artifact shi4 gu4 ding4 ren2 zao4 wu4 de5 shi2 li4,
then there exists place so_that_not for all time holds: if time (mei2) fa1 sheng1?{s} zai4 ""artifact cun2 zai4 de5 shi2 jian1" de5 jie2 shu4" huo4 zhi1 qian2 and ""artifact cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" (mei2) fa1 sheng1?{s} zai4 time huo4 zhi1 qian2, then "artifact zai4 time de5 timewei4 zhi4" deng3 yu1 place

(=>
      (instance ?ARTIFACT StationaryArtifact)
      (exists
            (?PLACE)
            (forall
                  (?TIME)
                  (=>
                        (and
                              (beforeOrEqual
                                    ?TIME
                                    (EndFn
                                          (WhenFn ?ARTIFACT)))
                              (beforeOrEqual
                                    (BeginFn
                                          (WhenFn ?ARTIFACT))
                                    ?TIME))
                        (equal
                              (WhereFn ?ARTIFACT ?TIME)
                              ?PLACE)))))

If building shi4 jian4 zhu4 wu4 de5 shi2 li4, then there exists ren2 lei4 human so_that_not

human zhu4s zai4 building
there exists act so_that_not act shi4 human de5 shi1 shi4 zhe3 and act wei4 yu1 building

(=>
      (instance ?BUILDING Building)
      (exists
            (?HUMAN)
            (and
                  (instance ?HUMAN Human)
                  (or
                        (inhabits ?HUMAN ?BUILDING)
                        (exists
                              (?ACT)
                              (and
                                    (agent ?ACT ?HUMAN)
                                    (located ?ACT ?BUILDING)))))))

If room shi4 fang2 jian1 de5 shi2 li4, then there exists jian4 zhu4 wu4 build so_that_not room shi4 build de5 zheng4 bu4 fen5.

(=>
      (instance ?ROOM Room)
      (exists
            (?BUILD)
            (and
                  (instance ?BUILD Building)
                  (properPart ?ROOM ?BUILD))))

If clothing shi4 yi1 wu4 de5 shi2 li4, then there exists zhi4 wu4 fabric so_that_not fabric shi4 clothing de5 bu4 fen5).

(=>
      (instance ?CLOTHING Clothing)
      (exists
            (?FABRIC)
            (and
                  (instance ?FABRIC Fabric)
                  (part ?FABRIC ?CLOTHING))))

If device shi4 zhuang1 zhi4 de5 shi2 li4, then there exists li4 cheng2 proc so_that_not device ke3 yi3 ren4 jue2 se4 gong1 ju4 zuo4 proc.

(=>
      (instance ?DEVICE Device)
      (exists
            (?PROC)
            (and
                  (subclass ?PROC Process)
                  (capability ?PROC instrument ?DEVICE))))

If device shi4 zhuang1 zhi4 de5 shi2 li4, then there exists li4 cheng2 proc so_that_not device you3 yi4 tu2 "device ke3 yi3 ren4 jue2 se4 gong1 ju4 zuo4 proc".

(=>
      (instance ?DEVICE Device)
      (exists
            (?PROC)
            (and
                  (subclass ?PROC Process)
                  (hasPurpose
                        ?DEVICE
                        (capability ?PROC instrument ?DEVICE)))))

If weapon shi4 wu3 qi4 de5 shi2 li4, then weapon you3 yi4 tu2 "there exist sun3 hai4 dest,patient so_that_not patient shi4 dest de5 shou4 shi4 zhe3 and

patient shi4 gu4 ding4 ren2 zao4 wu4 de5 shi2 li4
patient shi4 dong4 wu4 de5 shi2 li4
there exists dong4 wu4 animal so_that_not animal zhu4s zai4 patient

(=>
      (instance ?WEAPON Weapon)
      (hasPurpose
            ?WEAPON
            (exists
                  (?DEST ?PATIENT)
                  (and
                        (instance ?DEST Damaging)
                        (patient ?DEST ?PATIENT)
                        (or
                              (instance ?PATIENT StationaryArtifact)
                              (instance ?PATIENT Animal)
                              (exists
                                    (?ANIMAL)
                                    (and
                                          (instance ?ANIMAL Animal)
                                          (inhabits ?ANIMAL ?PATIENT))))))))

if machine shi4 ji1 qi4 de5 shi2 li4,
then for all proc holds: if machine dui4 proc shi4 gong1 ju4, then there exist resource,result so_that_not resource dui4 proc shi4 zi1 yuan2 and result shi4 proc de5 jie2 guo3

(=>
      (instance ?MACHINE Machine)
      (forall
            (?PROC)
            (=>
                  (instrument ?PROC ?MACHINE)
                  (exists
                        (?RESOURCE ?RESULT)
                        (and
                              (resource ?PROC ?RESOURCE)
                              (result ?PROC ?RESULT))))))

If comp shi4 gong1 cheng2 yuan2 jian4 de5 shi2 li4, then there exists zhuang1 zhi4 device so_that_not comp shi4 device de5 yuan2 jian4.

(=>
      (instance ?COMP EngineeringComponent)
      (exists
            (?DEVICE)
            (and
                  (instance ?DEVICE Device)
                  (component ?COMP ?DEVICE))))

comp1 yu3 comp2 lian2 jie2 if and only if there exists connection so_that_not connection lian2 jie2 comp1 he2 comp2.

(<=>
      (connectedEngineeringComponents ?COMP1 ?COMP2)
      (exists
            (?CONNECTION)
            (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))

If connection shi4 gong1 cheng2 lian2 jie2 yuan2 jian4 de5 shi2 li4, then there exist comp1,comp2 so_that_not connection lian2 jie2 comp1 he2 comp2.

(=>
      (instance ?CONNECTION EngineeringConnection)
      (exists
            (?COMP1 ?COMP2)
            (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))

If organism1 he2 organism2 xiang1 guan1, then there exists organism3 so_that_not organism3 he2 organism1 xiang1 guan1 and organism3 he2 organism2 xiang1 guan1.

(=>
      (familyRelation ?ORGANISM1 ?ORGANISM2)
      (exists
            (?ORGANISM3)
            (and
                  (familyRelation ?ORGANISM3 ?ORGANISM1)
                  (familyRelation ?ORGANISM3 ?ORGANISM2))))

If pol shi4 zheng4 zhi4 zu3 zhi1 de5 shi2 li4, then there exists zheng4 zhi4 li4 cheng2 proc so_that_not proc shi4 pol de5 shi1 shi4 zhe3.

(=>
      (instance ?POL PoliticalOrganization)
      (exists
            (?PROC)
            (and
                  (instance ?PROC PoliticalProcess)
                  (agent ?PROC ?POL))))

If plan shi4 ji4 hua4 de5 shi2 li4 and obj shi4 na4 rong2 zai4 ti3 de5 shi2 li4 and obj (bu2) bao1 han2s) xun4 xi1 %2, then there exists ji4 hua4 planning so_that_not obj shi4 planning de5 jie2 guo3.

(=>
      (and
            (instance ?PLAN Plan)
            (instance ?OBJ ContentBearingObject)
            (containsInformation ?OBJ ?PLAN))
      (exists
            (?PLANNING)
            (and
                  (instance ?PLANNING Planning)
                  (result ?PLANNING ?OBJ))))

If plan shi4 ji4 hua4 de5 shi2 li4, then there exists purp so_that_not plan you3 yi4 tu2 purp.

(=>
      (instance ?PLAN Plan)
      (exists
            (?PURP)
            (hasPurpose ?PLAN ?PURP)))

If org (mei2) gu4 yong4not(s) person, then there exists position so_that_not person zhan4 position de5 zhi2 wei4 zai4 org.

(=>
      (employs ?ORG ?PERSON)
      (exists
            (?POSITION)
            (occupiesPosition ?PERSON ?POSITION ?ORG)))

If agent you3 yi4 wu4 zhi2 hang2 lei4 xing2 process ren4 wu4, then chen2 shu4 "there exists process instance so_that_not instance shi4 agent de5 shi1 shi4 zhe3" you3 yi4 wu4 de5 xing2 tai4 yi4 yi4.

(=>
      (holdsObligation ?PROCESS ?AGENT)
      (modalAttribute
            (exists
                  (?INSTANCE)
                  (and
                        (instance ?INSTANCE ?PROCESS)
                        (agent ?INSTANCE ?AGENT)))
            Obligation))

If agent you3 quan2 shi3 process wei2 zhen1, then chen2 shu4 "there exists process instance so_that_not instance shi4 agent de5 shi1 shi4 zhe3" you3 hu3 ke3 de5 xing2 tai4 yi4 yi4.

(=>
      (holdsRight ?PROCESS ?AGENT)
      (modalAttribute
            (exists
                  (?INSTANCE)
                  (and
                        (instance ?INSTANCE ?PROCESS)
                        (agent ?INSTANCE ?AGENT)))
            Permission))

If attr shi4 obj de5 shu3 xing4 and attr shi4 jing4 zheng1 shu3 xing4 de5 shi2 li4, then there exists jing4 zheng1 contest so_that_not contest shi4 obj de5 shi1 shi4 zhe3 or obj shi4 contest de5 shou4 shi4 zhe3.

(=>
      (and
            (attribute ?OBJ ?ATTR)
            (instance ?ATTR ContestAttribute))
      (exists
            (?CONTEST)
            (and
                  (instance ?CONTEST Contest)
                  (or
                        (agent ?CONTEST ?OBJ)
                        (patient ?CONTEST ?OBJ)))))

obj shi4 wu4 zhi4 de5 shi2 li4 if and only if there exists wu4 li3 zhuang4 tai4 attr so_that_not attr shi4 obj de5 shu3 xing4.

(<=>
      (instance ?OBJ Substance)
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR PhysicalState)
                  (attribute ?OBJ ?ATTR))))

If perception shi4 zhi1 jiao4 de5 shi2 li4 and obj shi4 perception de5 shou4 shi4 zhe3, then there exists zhi1 jiao4 shu3 xing4 prop so_that_not prop shi4 obj de5 shu3 xing4.

(=>
      (and
            (instance ?PERCEPTION Perception)
            (patient ?PERCEPTION ?OBJ))
      (exists
            (?PROP)
            (and
                  (instance ?PROP PerceptualAttribute)
                  (attribute ?OBJ ?PROP))))

If obj shi4 shi2 wu4 de5 shi2 li4, then there exists wei4 jiao4 shu3 xing4 attr so_that_not attr shi4 obj de5 shu3 xing4.

(=>
      (instance ?OBJ Food)
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR TasteAttribute)
                  (attribute ?OBJ ?ATTR))))

If duo1 cai3 de5 shi4 obj de5 shu3 xing4, then there exist part1,part2,yan2 se4 shu3 xing4 color1,yan2 se4 shu3 xing4 color2 so_that_not part1 shi4 objde5 wai4 biao3 bu4 fen5 and part2 shi4 objde5 wai4 biao3 bu4 fen5 and color1 shi4 part1 de5 shu3 xing4 and color2 shi4 part2 de5 shu3 xing4 and color1 deng3 yu1 color2.

(=>
      (attribute ?OBJ Polychromatic)
      (exists
            (?PART1 ?PART2 ?COLOR1 ?COLOR2)
            (and
                  (superficialPart ?PART1 ?OBJ)
                  (superficialPart ?PART2 ?OBJ)
                  (attribute ?PART1 ?COLOR1)
                  (attribute ?PART2 ?COLOR2)
                  (instance ?COLOR1 ColorAttribute)
                  (instance ?COLOR2 ColorAttribute)
                  (not
                        (equal ?COLOR1 ?COLOR2)))))

If there exists xing2 zhuang4 gai3 bian4 change so_that_not obj shi4 change de5 shou4 shi4 zhe3, then ke3 bian4 xing2 de5 shi4 obj de5 shu3 xing4.

(=>
      (exists
            (?CHANGE)
            (and
                  (instance ?CHANGE ShapeChange)
                  (patient ?CHANGE ?OBJ)))
      (attribute ?OBJ Pliable))

If qian2 de5 shi4 obj de5 shu3 xing4, then there doesn't exist subobj so_that_not subobj shi4 obj de5 bu4 fen5) and ye4 ti1 de5 shi4 subobj de5 shu3 xing4.

(=>
      (attribute ?OBJ Dry)
      (not
            (exists
                  (?SUBOBJ)
                  (and
                        (part ?SUBOBJ ?OBJ)
                        (attribute ?SUBOBJ Liquid)))))

if shi1 de5 shi4 obj de5 shu3 xing4,
then for all part holds: if part shi4 obj de5 bu4 fen5), then there exists subpart so_that_not subpart shi4 part de5 bu4 fen5) and ye4 ti1 de5 shi4 subpart de5 shu3 xing4

(=>
      (attribute ?OBJ Wet)
      (forall
            (?PART)
            (=>
                  (part ?PART ?OBJ)
                  (exists
                        (?SUBPART)
                        (and
                              (part ?SUBPART ?PART)
                              (attribute ?SUBPART Liquid))))))

If bu2 yi4 sui4 de5 shi4 obj de5 shu3 xing4, then there doesn't exist sun3 hai4 damage so_that_not obj shi4 damage de5 shou4 shi4 zhe3.

(=>
      (attribute ?OBJ Unbreakable)
      (not
            (exists
                  (?DAMAGE)
                  (and
                        (instance ?DAMAGE Damaging)
                        (patient ?DAMAGE ?OBJ)))))

If org shi4 sheng1 wu4 ti1 de5 shi2 li4, then there exists you3 sheng1 shu3 xing4 attr so_that_not attr shi4 org de5 shu3 xing4.

(=>
      (instance ?ORG Organism)
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR AnimacyAttribute)
                  (attribute ?ORG ?ATTR))))

If animal shi4 dong4 wu4 de5 shi2 li4, then there exists xing4 bie2 shu3 xing4 attr so_that_not attr shi4 animal de5 shu3 xing4.

(=>
      (instance ?ANIMAL Animal)
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR SexAttribute)
                  (attribute ?ANIMAL ?ATTR))))

If wan2 quan2 xing2 cheng2 de5 shi4 obj de5 shu3 xing4, then there exists sheng1 zhang3 growth so_that_not obj (mei2) ti3 yan4not(s) growth and wei4 wan2 quan2 xing2 cheng2 de5 shi4 obj de5 shu3 xing4 ""obj cun2 zai4 de5 shi2 jian1" de5 kai1 shi3"a(zhi1 zhong1) "obj cun2 zai4 de5 shi2 jian1" de5 kai1 shi3.

(=>
      (attribute ?OBJ FullyFormed)
      (exists
            (?GROWTH)
            (and
                  (instance ?GROWTH Growth)
                  (experiencer ?GROWTH ?OBJ)
                  (holdsDuring
                        (BeginFn
                              (WhenFn ?OBJ))
                        (attribute ?OBJ NonFullyFormed)))))

If org shi4 sheng1 wu4 ti1 de5 shi2 li4, then there exists fa1 zhan3 shu3 xing4 attr so_that_not attr shi4 org de5 shu3 xing4.

(=>
      (instance ?ORG Organism)
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR DevelopmentalAttribute)
                  (attribute ?ORG ?ATTR))))

If you4 ti1 de5 shi4 org de5 shu3 xing4 timea(zhi1 zhong1) time, then there exists dan4 sheng1 birth so_that_not org (mei2) ti3 yan4not(s) birth "time zhi1 qian2"a(zhi1 zhong1) time zhi1 qian2.

(=>
      (holdsDuring
            ?TIME
            (attribute ?ORG Larval))
      (holdsDuring
            (PastFn ?TIME)
            (exists
                  (?BIRTH)
                  (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?ORG)))))

If pei1 tai1 de5 shi4 org de5 shu3 xing4, then there exists sheng1 zhi2 gou4 zao4 body so_that_not org wei4 yu1 body.

(=>
      (attribute ?ORG Embryonic)
      (exists
            (?BODY)
            (and
                  (instance ?BODY ReproductiveBody)
                  (located ?ORG ?BODY))))

If pei1 tai1 de5 shi4 org de5 shu3 xing4 timea(zhi1 zhong1) time, then there doesn't exist dan4 sheng1 birth so_that_not org (mei2) ti3 yan4not(s) birth timea(zhi1 zhong1) time.

(=>
      (holdsDuring
            ?TIME
            (attribute ?ORG Embryonic))
      (holdsDuring
            ?TIME
            (not
                  (exists
                        (?BIRTH)
                        (and
                              (instance ?BIRTH Birth)
                              (experiencer ?BIRTH ?ORG))))))

agent shi4 neng2 zhi1 jiao4 de5 hang2 wei2 zhu3 ti1 de5 shi2 li4 and huo2 de5 shi4 agent de5 shu3 xing4 if and only if there exists yi4 shi2 shu3 xing4 attr so_that_not attr shi4 agent de5 shu3 xing4.

(<=>
      (and
            (instance ?AGENT SentientAgent)
            (attribute ?AGENT Living))
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR ConsciousnessAttribute)
                  (attribute ?AGENT ?ATTR))))

entity shi4 "superclass de5 suo3 you3 yuan2 su4 de5 lian2 ji2" de5 shi2 li4 if and only if there exists superclass class so_that_not entity shi4 class de5 shi2 li4.

(<=>
      (instance
            ?ENTITY
            (GeneralizedUnionFn ?SUPERCLASS))
      (exists
            (?CLASS)
            (and
                  (instance ?CLASS ?SUPERCLASS)
                  (instance ?ENTITY ?CLASS))))