Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

shi2 li4 (instance)

An object is an instance of a SetOrClass if it is included in that SetOrClass. An individual may be an instance of many classes, some of which may be subclasses of others. Thus, there is no assumption in the meaning of instance about specificity or uniqueness.

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  er4 yuan2 shu4 ci2  
is instance of
  shi2 li4  

Subrelation(s)

zhi2 jie1 shi2 li4  yuan2 su4 

Coordinate term(s)

hu2 xian4 zhong4 liang4  zuo4 zhe3  xian1 yu1 huo4 tong5 shi2  zhao4 yin1  ci4 lei4 zhao4 yin1  gong1 min2  feng1 bi4 yu1  xiang1 lian2 de5  bao1 han2 xun4 xi1  gong4 sheng1  fu4 zhi4  ri4 qi1  jiang4 di1 ke3 neng2 xing4  fa1 zhan3 qi1 xing2 shi4  wu2 jiao1 ji2  fen1 pei4  wen2 zi4 shuo1 ming2  chi2 xu4 shi2 jian1  jiao4 zao3  bian1 zhe3  yuan2 su4  gu4 yong4  xiang1 deng3  deng3 tong2 guan1 xi4 yu1  li4 yong4  yi3...yu3 yan2 biao3 da2  mian4 dui4  jia1 zu2 guan1 xi4  wan2 cheng2  ci4 shu4  tu2 bu4 fen5  da4 yu1  da4 yu1 huo4 deng3 yu1  you3 yi4 tu2  you3 ji4 qiao3  zai4...qi1 jian1 wei2 zhen1  xu1 shi3...wei2 zhen1  you3 quan2 shi3...wei2 zhen1  dong4  tong2 yi1 yuan2 su4  chuan4 lie4 zhong1  zai4 zhu4 yi4 fan4 wei2 zhong1  zeng1 jia1 ke3 neng2 xing4  du2 li4 huo4 ran2 lv4  ju1 zhu4  yi4 zhi4  chu1 shi3 hua4 xu4 lie4  dao4 xu4  fei1 fan3 she4 yu1...  da4 yu1  xiao3 yu1  xiao3 yu1 huo4 deng3 yu1  wu4 zhi4  ce4 liang4  shi2 duan4 xiang1 jie1  qing2 tai4 shu3 xing4  shi2 duan4 zhong4 die2  Âù¿Ë  pian1 xu4 yu1...  bu4 fen5 wei4 yu1  lu4 jing4 chang2  yong1 you3  xian1 jue2 tiao2 jian4  bi4 mian3  te4 xing4  chu1 ban3  fan4 wei2  fan4 wei2 ci4 zhong3 lei4  ti2 ji2  fan3 she4 yu1...  SUMOna4 bu4 xiang1 guan1 gai4 nian4  xiong1 di4 zi3 mei4  xiao3 yu1  kai1 shi3  ci4 shu3 xing4  ci4 ju4 ji2  ci4 tu2  ci4 xu4 lie4  ci4 li4 cheng2  ci4 ming4 ti2  ci4 zhong3 lei4  ci4 guan1 xi4  bao1 han2 xun4 xi1 zhong3 lei4  bao1 han2 xun4 xi1 shi2 li4  xu4 jie1 shu3 xing4  feng1 bi4 xu4 jie1 shu3 xing4  shi2 jian1 bu4 fen5  shi2 jian1  quan2 xu4 yu1...  san1 fen1 fa3  shi3 yong4  jie2 he2 jia4  ren2 zao4 wu4 ban3 ben3 

Type restrictions

instance(shi2 ti3, ji2 he2 huo4 zhong3 lei4)

Related WordNet synsets

member
anything that belongs to a set or class: "snakes are members of the class Reptilia"; "members of the opposite sex"
member is kind of (all)...   member is kind of...  
be
have the quality of being; (copula, used with an adjective or a predicate noun); "John is rich"; "This is not a good answer"
kinds of be...   kinds of be (all)...  
See more related synsets on a separate page.

Axioms (537)

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)))))
subclass shi4 class de5 ci4 zhong3 lei4 if and only if 
(<=>
      (subclass ?SUBCLASS ?CLASS)
      (and
            (instance ?SUBCLASS SetOrClass)
            (instance ?CLASS SetOrClass)
            (forall
                  (?INST)
                  (=>
                        (instance ?INST ?SUBCLASS)
                        (instance ?INST ?CLASS)))))
If pred1 shi4 pred2 de5 ci4 guan1 xi4 and pred2 shi4 class de5 shi2 li4 and class shi4 ke3 ji4 cheng2 guan1 xi4 de5 shi2 li4, then pred1 shi4 class de5 shi2 li4. 
(=>
      (and
            (subrelation ?PRED1 ?PRED2)
            (instance ?PRED2 ?CLASS)
            (instance ?CLASS InheritableRelation))
      (instance ?PRED1 ?CLASS))
If thing1 deng3 yu1 thing2, then for all class holds: thing1 shi4 class de5 shi2 li4 if and only if thing2 shi4 class de5 shi2 li4. 
(=>
      (equal ?THING1 ?THING2)
      (forall
            (?CLASS)
            (<=>
                  (instance ?THING1 ?CLASS)
                  (instance ?THING2 ?CLASS))))
If class1 deng3 yu1 class2, then for all thing holds: thing shi4 class1 de5 shi2 li4 if and only if thing shi4 class2 de5 shi2 li4. 
(=>
      (equal ?CLASS1 ?CLASS2)
      (forall
            (?THING)
            (<=>
                  (instance ?THING ?CLASS1)
                  (instance ?THING ?CLASS2))))
If function de5 fan4 wei2 shi4 class de5 shi2 li4 and "function()" deng3 yu1 value, then value shi4 class de5 shi2 li4. 
(=>
      (and
            (range ?FUNCTION ?CLASS)
            (equal
                  (AssignmentFn ?FUNCTION @ROW)
                  ?VALUE))
      (instance ?VALUE ?CLASS))
class1 wu2 jiao1 ji2 yu1 class2 if and only if 
(<=>
      (disjoint ?CLASS1 ?CLASS2)
      (and
            (instance ?CLASS1 SetOrClass)
            (instance ?CLASS2 SetOrClass)
            (forall
                  (?INST)
                  (not
                        (and
                              (instance ?INST ?CLASS1)
                              (instance ?INST ?CLASS2))))))
If wu2 jiao1 ji2 guan1 xi4() holds and rel shi4 "()" de5 yi1 cheng2 yuan2, then rel shi4 guan1 xi4 de5 shi2 li4. 
(=>
      (and
            (disjointRelation @ROW)
            (inList
                  ?REL
                  (ListFn @ROW)))
      (instance ?REL Relation))
(=>
      (contraryAttribute @ROW)
      (=>
            (inList
                  ?ELEMENT
                  (ListFn @ROW))
            (instance ?ELEMENT Attribute)))
(=>
      (exhaustiveAttribute ?CLASS @ROW)
      (=>
            (inList
                  ?ATTR
                  (ListFn @ROW))
            (instance ?ATTR Attribute)))
(=>
      (exhaustiveAttribute ?CLASS @ROW)
      (forall
            (?OBJ)
            (=>
                  (instance ?ATTR1 ?CLASS)
                  (exists
                        (?ATTR2)
                        (and
                              (inList
                                    ?ATTR2
                                    (ListFn @ROW))
                              (equal ?ATTR1 ?ATTR2))))))
(=>
      (exhaustiveDecomposition @ROW)
      (=>
            (inList
                  ?ELEMENT
                  (ListFn @ROW))
            (instance ?ELEMENT Class)))
(=>
      (disjointDecomposition @ROW)
      (=>
            (inList
                  ?ELEMENT
                  (ListFn @ROW))
            (instance ?ELEMENT Class)))
If attr1 shi4 attr2 de5 ci4 shu3 xing4 and attr2 shi4 class de5 shi2 li4, then attr1 shi4 class de5 shi2 li4. 
(=>
      (and
            (subAttribute ?ATTR1 ?ATTR2)
            (instance ?ATTR2 ?CLASS))
      (instance ?ATTR1 ?CLASS))
If rel(,inst) (bu2) cheng2 li4s and rel shi4 han2 shu4 de5 shi2 li4, then "rel()" deng3 yu1 inst. 
(=>
      (and
            (holds ?REL @ROW ?INST)
            (instance ?REL Function))
      (equal
            (AssignmentFn ?REL @ROW)
            ?INST))
There exists thing so_that_not thing shi4 shi2 ti3 de5 shi2 li4. 
(exists
      (?THING)
      (instance ?THING Entity))
If class shi4 zhong3 lei4 de5 shi2 li4, then class shi4 shi2 ti3 de5 ci4 zhong3 lei4. 
(=>
      (instance ?CLASS Class)
      (subclass ?CLASS 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 obj shi4 zi4 shen1 lian2 xu4 wu4 ti1 de5 shi2 li4, then "obj de5 zheng4 mian4" shi4 obj de5 bu4 fen5). 
(=>
      (instance ?OBJ SelfConnectedObject)
      (part
            (FrontFn ?OBJ)
            ?OBJ))
If obj shi4 zi4 shen1 lian2 xu4 wu4 ti1 de5 shi2 li4, then "obj de5 fan3 mian4" shi4 obj de5 bu4 fen5). 
(=>
      (instance ?OBJ SelfConnectedObject)
      (part
            (BackFn ?OBJ)
            ?OBJ))
(=>
      (piece ?SUBSTANCE1 ?SUBSTANCE2)
      (forall
            (?CLASS)
            (=>
                  (instance ?SUBSTANCE1 ?CLASS)
                  (instance ?SUBSTANCE2 ?CLASS))))
If objecttype shi4 wu4 zhi4 de5 ci4 zhong3 lei4 and object shi4 objecttype de5 shi2 li4 and part shi4 object de5 bu4 fen5), then part shi4 objecttype de5 shi2 li4. 
(=>
      (and
            (subclass ?OBJECTTYPE Substance)
            (instance ?OBJECT ?OBJECTTYPE)
            (part ?PART ?OBJECT))
      (instance ?PART ?OBJECTTYPE))
If obj shi4 wu4 zhi4 de5 shi2 li4 and attr shi4 obj de5 shu3 xing4 and part shi4 obj de5 bu4 fen5), then attr shi4 part de5 shu3 xing4. 
(=>
      (and
            (instance ?OBJ Substance)
            (attribute ?OBJ ?ATTR)
            (part ?PART ?OBJ))
      (attribute ?PART ?ATTR))
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))))
(=>
      (instance ?ATOM Atom)
      (forall
            (?NUCLEUS1 ?NUCLEUS2)
            (=>
                  (and
                        (component ?NUCLEUS1 ?ATOM)
                        (component ?NUCLEUS2 ?ATOM)
                        (instance ?NUCLEUS1 AtomicNucleus)
                        (instance ?NUCLEUS2 AtomicNucleus))
                  (equal ?NUCLEUS1 ?NUCLEUS2))))
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)))
cheng2 yuan2 na4 bu4 xiang1 guan1 yu1 shi2 li4. 
(relatedInternalConcept member instance)
coll1 shi4 coll2 de5 zheng4 ci4 ju4 ji2 if and only if 
(<=>
      (subCollection ?COLL1 ?COLL2)
      (and
            (instance ?COLL1 Collection)
            (instance ?COLL2 Collection)
            (forall
                  (?MEMBER)
                  (=>
                        (member ?MEMBER ?COLL1)
                        (member ?MEMBER ?COLL2)))))
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 dong4 wu4 yu3 yan2 de5 shi2 li4 and proc shi4 agent de5 shi1 shi4 zhe3 and lang dui4 proc shi4 gong1 ju4, then agent shi4 dong4 wu4 de5 shi2 li4 and agent shi4 ren2 lei4 de5 shi2 li4. 
(=>
      (and
            (instance ?LANG AnimalLanguage)
            (agent ?PROC ?AGENT)
            (instrument ?PROC ?LANG))
      (and
            (instance ?AGENT Animal)
            (not
                  (instance ?AGENT Human))))
If lang shi4 dian4 nao3 yu3 yan2 de5 shi2 li4 and proc shi4 agent de5 shi1 shi4 zhe3 and lang dui4 proc shi4 gong1 ju4, then agent shi4 ji1 qi4 de5 shi2 li4. 
(=>
      (and
            (instance ?LANG ComputerLanguage)
            (agent ?PROC ?AGENT)
            (instrument ?PROC ?LANG))
      (instance ?AGENT Machine))
If lang shi4 ren2 lei4 yu3 yan2 de5 shi2 li4 and proc shi4 agent de5 shi1 shi4 zhe3 and lang dui4 proc shi4 gong1 ju4, then agent shi4 ren2 lei4 de5 shi2 li4. 
(=>
      (and
            (instance ?LANG HumanLanguage)
            (agent ?PROC ?AGENT)
            (instrument ?PROC ?LANG))
      (instance ?AGENT Human))
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)))))
"class de5 miao2 shu4" deng3 yu1 attr if and only if for all inst holds: inst shi4 class de5 shi2 li4 if and only if inst you3 shu3 xing4 attr. 
(<=>
      (equal
            (AbstractionFn ?CLASS)
            ?ATTR)
      (forall
            (?INST)
            (<=>
                  (instance ?INST ?CLASS)
                  (property ?INST ?ATTR))))
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))))))
number shi4 fei1 fu4 shi2 shu4 de5 shi2 li4 if and only if number da4 yu1 huo4 deng3 yu1 and number shi4 shi2 shu4 de5 shi2 li4. 
(<=>
      (instance ?NUMBER NonnegativeRealNumber)
      (and
            (greaterThanOrEqualTo ?NUMBER 0)
            (instance ?NUMBER RealNumber)))
number shi4 zheng4 shi2 shu4 de5 shi2 li4 if and only if number (bu2) da4 yu1 and number shi4 shi2 shu4 de5 shi2 li4. 
(<=>
      (instance ?NUMBER PositiveRealNumber)
      (and
            (greaterThan ?NUMBER 0)
            (instance ?NUMBER RealNumber)))
number shi4 fu4 shi2 shu4 de5 shi2 li4 if and only if number xiao3 yu1 and number shi4 shi2 shu4 de5 shi2 li4. 
(<=>
      (instance ?NUMBER NegativeRealNumber)
      (and
            (lessThan ?NUMBER 0)
            (instance ?NUMBER RealNumber)))
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)))))))
If function shi4 yi1 yuan2 heng2 ding4 han2 shu4 liang4 de5 shi2 li4, then function de5 lun4 yuan2 shi4 chang2 liang4 de5 shi2 li4 and function de5 fan4 wei2 shi4 chang2 liang4 de5 shi2 li4. 
(=>
      (instance ?FUNCTION UnaryConstantFunctionQuantity)
      (and
            (domain ?FUNCTION 1 ConstantQuantity)
            (range ?FUNCTION ConstantQuantity)))
If function shi4 shi2 jian1 yi1 bian4 liang4 de5 shi2 li4, then function de5 lun4 yuan2 shi4 shi2 jian1 dan1 wei4 de5 shi2 li4. 
(=>
      (instance ?FUNCTION TimeDependentQuantity)
      (domain ?FUNCTION 1 TimeMeasure))
If rel shi4 guan1 xi4 de5 shi2 li4, then rel() (bu2) cheng2 li4s if and only if rel() holds. 
(=>
      (instance ?REL Relation)
      (<=>
            (holds ?REL @ROW)
            (?REL @ROW)))
rel shi4 dan1 zhi2 guan1 xi4 de5 shi2 li4 if and only if for all ,item1,item2 holds: if rel(,item1) (bu2) cheng2 li4s and rel(,item2) (bu2) cheng2 li4s, then item1 deng3 yu1 item2. 
(<=>
      (instance ?REL SingleValuedRelation)
      (forall
            (@ROW ?ITEM1 ?ITEM2)
            (=>
                  (and
                        (holds ?REL @ROW ?ITEM1)
                        (holds ?REL @ROW ?ITEM2))
                  (equal ?ITEM1 ?ITEM2))))
rel shi4 quan2 zhi2 guan1 xi4 de5 shi2 li4 if and only if there exists valence so_that_not rel shi4 guan1 xi4 de5 shi2 li4 and rel %&¦³ ½×¤¸(s) valence and 
(<=>
      (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))))
(=>
      (instance ?REL ReflexiveRelation)
      (=>
            (or
                  (holds ?REL ?INST1 ?INST2)
                  (holds ?REL ?INST2 ?INST1))
            (holds ?REL ?INST1 ?INST1)))
If rel shi4 fei1 fan3 shen1 guan1 xi4 de5 shi2 li4, then for all inst holds: rel(inst,inst) not(bu2) cheng2 li4. 
(=>
      (instance ?REL IrreflexiveRelation)
      (forall
            (?INST)
            (not
                  (holds ?REL ?INST ?INST))))
(=>
      (instance ?REL SymmetricRelation)
      (forall
            (?INST1 ?INST2)
            (=>
                  (holds ?REL ?INST1 ?INST2)
                  (holds ?REL ?INST2 ?INST1))))
If , then rel shi4 bu2 dui4 chen4 guan1 xi4 de5 shi2 li4. 
(=>
      (and
            (instance ?REL BinaryRelation)
            (or
                  (domain ?REL 1 ?CLASS1)
                  (domainSubclass ?REL 1 ?CLASS1))
            (or
                  (domain ?REL 2 ?CLASS2)
                  (domainSubclass ?REL 2 ?CLASS2)
                  (range ?REL ?CLASS2)
                  (rangeSubclass ?REL ?CLASS2))
            (disjoint ?CLASS1 ?CLASS2))
      (instance ?REL AsymmetricRelation))
(=>
      (instance ?REL AntisymmetricRelation)
      (forall
            (?INST1 ?INST2)
            (=>
                  (and
                        (holds ?REL ?INST1 ?INST2)
                        (holds ?REL ?INST2 ?INST1))
                  (equal ?INST1 ?INST2))))
If rel shi4 san1 jiao3 guan1 xi4 de5 shi2 li4, then for all inst1,inst2 holds: rel(inst1,inst2) (bu2) cheng2 li4s or inst1 deng3 yu1 inst2 or rel(inst2,inst1) (bu2) cheng2 li4s. 
(=>
      (instance ?REL TrichotomizingRelation)
      (forall
            (?INST1 ?INST2)
            (or
                  (holds ?REL ?INST1 ?INST2)
                  (equal ?INST1 ?INST2)
                  (holds ?REL ?INST2 ?INST1))))
(=>
      (instance ?REL TransitiveRelation)
      (forall
            (?INST1 ?INST2 ?INST3)
            (=>
                  (and
                        (holds ?REL ?INST1 ?INST2)
                        (holds ?REL ?INST2 ?INST3))
                  (holds ?REL ?INST1 ?INST3))))
(=>
      (instance ?REL IntransitiveRelation)
      (forall
            (?INST1 ?INST2 ?INST3)
            (=>
                  (and
                        (holds ?REL ?INST1 ?INST2)
                        (holds ?REL ?INST2 ?INST3))
                  (not
                        (holds ?REL ?INST1 ?INST3)))))
If rel shi4 quan2 xu4 guan1 xi4 de5 shi2 li4, then for all inst1,inst2 holds: rel(inst1,inst2) (bu2) cheng2 li4s or rel(inst2,inst1) (bu2) cheng2 li4s. 
(=>
      (instance ?REL TotalOrderingRelation)
      (forall
            (?INST1 ?INST2)
            (or
                  (holds ?REL ?INST1 ?INST2)
                  (holds ?REL ?INST2 ?INST1))))
If 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 formula1 shi4 SUO-KIFbiao3 shu4 shi4 de5 shi2 li4 and formula2 shi4 SUO-KIFbiao3 shu4 shi4 de5 shi2 li4, then formula1 (¤£¡^¼W¥[s) %2 ªº ¥i¯à©Ê or formula1 (bu2jiang4 di1s) %2 de5 ke3 neng2 xing4 or formula1 he2 formula2 de5 huo4 ran2 lv4 shi4 du2 li4 de5. 
(=>
      (and
            (instance ?FORMULA1 Formula)
            (instance ?FORMULA2 Formula))
      (or
            (increasesLikelihood ?FORMULA1 ?FORMULA2)
            (decreasesLikelihood ?FORMULA1 ?FORMULA2)
            (independentProbability ?FORMULA1 ?FORMULA2)))
If rel shi4 yi4 tu2 guan1 xi4 de5 shi2 li4 and rel(agent,) (bu2) cheng2 li4s and obj shi4 "()" de5 yi1 cheng2 yuan2, then agent zai4 obj fan4 wei2 zhong1. 
(=>
      (and
            (instance ?REL IntentionalRelation)
            (holds ?REL ?AGENT @ROW)
            (inList
                  ?OBJ
                  (ListFn @ROW)))
      (inScopeOfInterest ?AGENT ?OBJ))
If rel shi4 san1 yuan2 guan1 xi4 de5 shi2 li4, then there don't exist item1,item2,item3,item4, so_that_not rel(item1,item2,item3,item4,) (bu2) cheng2 li4s. 
(=>
      (instance ?REL TernaryRelation)
      (not
            (exists
                  (?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 @ROW)
                  (holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 @ROW))))
If rel shi4 si4 yuan2 guan1 xi4 de5 shi2 li4, then there don't exist item1,item2,item3,item4,item5, so_that_not rel(item1,item2,item3,item4,item5,) (bu2) cheng2 li4s. 
(=>
      (instance ?REL QuaternaryRelation)
      (not
            (exists
                  (?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 @ROW)
                  (holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 @ROW))))
If rel shi4 wu3 yuan2 guan1 xi4 de5 shi2 li4, then there don't exist item1,item2,item3,item4,item5,item6, so_that_not rel(item1,item2,item3,item4,item5,item6,) (bu2) cheng2 li4s. 
(=>
      (instance ?REL QuintaryRelation)
      (not
            (exists
                  (?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 ?ITEM6 @ROW)
                  (holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 ?ITEM6 @ROW))))
(=>
      (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 shi4 wei2 yi1 xu4 lie4 de5 shi2 li4 if and only if for all number1,number2 holds: if "list de5 di4 er4 yuan2 su4" deng3 yu1 "list de5 di4 er4 yuan2 su4", then number1 deng3 yu1 number2. 
(<=>
      (instance ?LIST UniqueList)
      (forall
            (?NUMBER1 ?NUMBER2)
            (=>
                  (equal
                        (ListOrderFn ?LIST ?NUMBER1)
                        (ListOrderFn ?LIST ?NUMBER2))
                  (equal ?NUMBER1 ?NUMBER2))))
(=>
      (exhaustiveDecomposition ?CLASS @ROW)
      (forall
            (?OBJ)
            (=>
                  (instance ?OBJ ?CLASS)
                  (exists
                        (?ITEM)
                        (and
                              (inList
                                    ?ITEM
                                    (ListFn @ROW))
                              (instance ?OBJ ?ITEM))))))
If list1 shi4 xu4 lie4 de5 shi2 li4 and list2 shi4 xu4 lie4 de5 shi2 li4 and for all number holds: "list1 de5 di4 er4 yuan2 su4" deng3 yu1 "list2 de5 di4 er4 yuan2 su4", then list1 deng3 yu1 list2. 
(=>
      (and
            (instance ?LIST1 List)
            (instance ?LIST2 List)
            (forall
                  (?NUMBER)
                  (equal
                        (ListOrderFn ?LIST1 ?NUMBER)
                        (ListOrderFn ?LIST2 ?NUMBER))))
      (equal ?LIST1 ?LIST2))
If rel de5 lun4 yuan2 number shi4 class de5 shi2 li4 and rel() (bu2) cheng2 li4s, then ""()" de5 di4 er4 yuan2 su4" shi4 class de5 shi2 li4. 
(=>
      (and
            (domain ?REL ?NUMBER ?CLASS)
            (holds ?REL @ROW))
      (instance
            (ListOrderFn
                  (ListFn @ROW)
                  ?NUMBER)
            ?CLASS))
list3 deng3 yu1 "list1 he2 list2 zu3 cheng2 de5 xu4 lie4" if and only if for all number1,number2 holds: if number1 ¤p©ó©Îµ¥©ó "list1 de5 chang2 du4" and number2 ¤p©ó©Îµ¥©ó "list2 de5 chang2 du4" and number1 shi4 zheng4 zheng3 shu4 de5 shi2 li4 and number2 shi4 zheng4 zheng3 shu4 de5 shi2 li4, then "list3 de5 di4 er4 yuan2 su4" deng3 yu1 "list1 de5 di4 er4 yuan2 su4" and "list3 de5 di4 er4 yuan2 su4" deng3 yu1 "list2 de5 di4 er4 yuan2 su4". 
(<=>
      (equal
            ?LIST3
            (ListConcatenateFn ?LIST1 ?LIST2))
      (forall
            (?NUMBER1 ?NUMBER2)
            (=>
                  (and
                        (lessThanOrEqualTo
                              ?NUMBER1
                              (ListLengthFn ?LIST1))
                        (lessThanOrEqualTo
                              ?NUMBER2
                              (ListLengthFn ?LIST2))
                        (instance ?NUMBER1 PositiveInteger)
                        (instance ?NUMBER2 PositiveInteger))
                  (and
                        (equal
                              (ListOrderFn ?LIST3 ?NUMBER1)
                              (ListOrderFn ?LIST1 ?NUMBER1))
                        (equal
                              (ListOrderFn
                                    ?LIST3
                                    (AdditionFn
                                          (ListLengthFn ?LIST1)
                                          ?NUMBER2))
                              (ListOrderFn ?LIST2 ?NUMBER2))))))
If function shi4 yi1 yuan2 han2 shu4 de5 shi2 li4, then function %&¦³ ½×¤¸(s) . 
(=>
      (instance ?FUNCTION UnaryFunction)
      (valence ?FUNCTION 1))
(=>
      (instance ?FUN OneToOneFunction)
      (forall
            (?ARG1 ?ARG2)
            (=>
                  (and
                        (domain ?FUN 1 ?CLASS)
                        (instance ?ARG1 ?CLASS)
                        (instance ?ARG2 ?CLASS)
                        (not
                              (equal ?ARG1 ?ARG2)))
                  (not
                        (equal
                              (AssignmentFn ?FUN ?ARG1)
                              (AssignmentFn ?FUN ?ARG2))))))
If seq shi4 shun4 xu4 han2 shu4 de5 shi2 li4 and seq de5 fan4 wei2 shi4 class de5 shi2 li4, then class shi4 zheng3 shu4 de5 ci4 zhong3 lei4. 
(=>
      (and
            (instance ?SEQ SequenceFunction)
            (range ?SEQ ?CLASS))
      (subclass ?CLASS Integer))
If function shi4 er4 yuan2 han2 shu4 de5 shi2 li4, then function %&¦³ ½×¤¸(s) . 
(=>
      (instance ?FUNCTION BinaryFunction)
      (valence ?FUNCTION 2))
(=>
      (instance ?FUNCTION AssociativeFunction)
      (forall
            (?INST1 ?INST2 ?INST3)
            (=>
                  (and
                        (domain ?FUNCTION 1 ?CLASS)
                        (instance ?INST1 ?CLASS)
                        (instance ?INST2 ?CLASS)
                        (instance ?INST3 ?CLASS))
                  (equal
                        (AssignmentFn
                              ?FUNCTION
                              ?INST1
                              (AssignmentFn ?FUNCTION ?INST2 ?INST3))
                        (AssignmentFn
                              ?FUNCTION
                              (AssignmentFn ?FUNCTION ?INST1 ?INST2)
                              ?INST3)))))
(=>
      (instance ?FUNCTION CommutativeFunction)
      (forall
            (?INST1 ?INST2)
            (=>
                  (and
                        (domain ?FUNCTION 1 ?CLASS)
                        (instance ?INST1 ?CLASS)
                        (instance ?INST2 ?CLASS))
                  (equal
                        (AssignmentFn ?FUNCTION ?INST1 ?INST2)
                        (AssignmentFn ?FUNCTION ?INST2 ?INST1)))))
If function shi4 san1 yuan2 han2 shu4 de5 shi2 li4, then function %&¦³ ½×¤¸(s) . 
(=>
      (instance ?FUNCTION TernaryFunction)
      (valence ?FUNCTION 3))
If function shi4 si4 yuan2 han2 shu4 de5 shi2 li4, then function %&¦³ ½×¤¸(s) . 
(=>
      (instance ?FUNCTION QuaternaryFunction)
      (valence ?FUNCTION 4))
If rel shi4 er4 yuan2 shu4 ci2 de5 shi2 li4, then rel %&¦³ ½×¤¸(s) . 
(=>
      (instance ?REL BinaryPredicate)
      (valence ?REL 2))
If rel shi4 san1 yuan2 shu4 ci2 de5 shi2 li4, then rel %&¦³ ½×¤¸(s) . 
(=>
      (instance ?REL TernaryPredicate)
      (valence ?REL 3))
If rel shi4 si4 yuan2 shu4 ci2 de5 shi2 li4, then rel %&¦³ ½×¤¸(s) . 
(=>
      (instance ?REL QuaternaryPredicate)
      (valence ?REL 4))
If rel shi4 wu3 yuan2 shu4 ci2 de5 shi2 li4, then rel %&¦³ ½×¤¸(s) . 
(=>
      (instance ?REL QuintaryPredicate)
      (valence ?REL 5))
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))))
(=>
      (and
            (closedOn ?FUNCTION ?CLASS)
            (instance ?FUNCTION UnaryFunction))
      (forall
            (?INST)
            (=>
                  (instance ?INST ?CLASS)
                  (instance
                        (AssignmentFn ?FUNCTION ?INST)
                        ?CLASS))))
(=>
      (and
            (closedOn ?FUNCTION ?CLASS)
            (instance ?FUNCTION BinaryFunction))
      (forall
            (?INST1 ?INST2)
            (=>
                  (and
                        (instance ?INST1 ?CLASS)
                        (instance ?INST2 ?CLASS))
                  (instance
                        (AssignmentFn ?FUNCTION ?INST1 ?INST2)
                        ?CLASS))))
(=>
      (reflexiveOn ?RELATION ?CLASS)
      (forall
            (?INST)
            (=>
                  (instance ?INST ?CLASS)
                  (holds ?RELATION ?INST ?INST))))
(=>
      (irreflexiveOn ?RELATION ?CLASS)
      (forall
            (?INST)
            (=>
                  (instance ?INST ?CLASS)
                  (not
                        (holds ?RELATION ?INST ?INST)))))
If relation pian1 xu4 yu1 class, then relation fan3 ying4 yu1 class and relation shi4 ke3 di4 guan1 xi4 de5 shi2 li4 and relation shi4 fan3 dui4 chen4 guan1 xi4 de5 shi2 li4. 
(=>
      (partialOrderingOn ?RELATION ?CLASS)
      (and
            (reflexiveOn ?RELATION ?CLASS)
            (instance ?RELATION TransitiveRelation)
            (instance ?RELATION AntisymmetricRelation)))
(=>
      (trichotomizingOn ?RELATION ?CLASS)
      (forall
            (?INST1 ?INST2)
            (=>
                  (and
                        (instance ?INST1 ?CLASS)
                        (instance ?INST2 ?CLASS))
                  (or
                        (holds ?RELATION ?INST1 ?INST2)
                        (holds ?RELATION ?INST2 ?INST1)
                        (equal ?INST1 ?INST2)))))
If relation deng3 tong2 guan1 xi4 yu1 class , then relation shi4 ke3 di4 guan1 xi4 de5 shi2 li4 and relation shi4 dui4 chen4 guan1 xi4 de5 shi2 li4 and relation fan3 ying4 yu1 class . 
(=>
      (equivalenceRelationOn ?RELATION ?CLASS)
      (and
            (instance ?RELATION TransitiveRelation)
            (instance ?RELATION SymmetricRelation)
            (reflexiveOn ?RELATION ?CLASS)))
(=>
      (distributes ?FUNCTION1 ?FUNCTION2)
      (forall
            (?INST1 ?INST2 ?INST3)
            (=>
                  (and
                        (domain ?FUNCTION1 1 ?CLASS1)
                        (instance ?INST1 ?CLASS1)
                        (instance ?INST2 ?CLASS1)
                        (instance ?INST3 ?CLASS1)
                        (domain ?FUNCTION2 1 ?CLASS2)
                        (instance ?INST1 ?CLASS2)
                        (instance ?INST2 ?CLASS2)
                        (instance ?INST3 ?CLASS2))
                  (equal
                        (AssignmentFn
                              ?FUNCTION1
                              ?INST1
                              (AssignmentFn ?FUNCTION2 ?INST2 ?INST3))
                        (AssignmentFn
                              ?FUNCTION2
                              (AssignmentFn ?FUNCTION1 ?INST1 ?INST2)
                              (AssignmentFn ?FUNCTION1 ?INST1 ?INST3))))))
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)))
(=>
      (causesSubclass ?PROC1 ?PROC2)
      (forall
            (?INST2)
            (=>
                  (instance ?INST2 ?PROC2)
                  (exists
                        (?INST1)
                        (and
                              (instance ?INST1 ?PROC1)
                              (causes ?INST1 ?INST2))))))
If role shi4 ge2 wei4 jue2 se4 de5 shi2 li4 and role(arg1,arg2) (bu2) cheng2 li4s and arg1 shi4 proc de5 shi2 li4, then arg2 ke3 yi3 ren4 jue2 se4 role zuo4 proc. 
(=>
      (and
            (instance ?ROLE CaseRole)
            (holds ?ROLE ?ARG1 ?ARG2)
            (instance ?ARG1 ?PROC))
      (capability ?PROC ?ROLE ?ARG2))
(=>
      (possesses ?PERSON ?OBJ)
      (exists
            (?TYPE)
            (and
                  (holdsRight ?PERSON ?TYPE)
                  (forall
                        (?PROCESS)
                        (=>
                              (instance ?PROCESS ?TYPE)
                              (patient ?PROCESS ?OBJ))))))
If time shi4 shi2 jian1 de5 shi2 li4 and agent1 (mei2) yong1 you3not(s) obj timea(zhi1 zhong1) time and agent2 (mei2) yong1 you3not(s) obj timea(zhi1 zhong1) time, then agent1 deng3 yu1 agent2. 
(=>
      (and
            (instance ?TIME TimePosition)
            (holdsDuring
                  ?TIME
                  (possesses ?AGENT1 ?OBJ))
            (holdsDuring
                  ?TIME
                  (possesses ?AGENT2 ?OBJ)))
      (equal ?AGENT1 ?AGENT2))
obj shi4 "person de5 fu4 shu3 wu4" de5 shi2 li4 if and only if person (mei2) yong1 you3not(s) obj. 
(<=>
      (instance
            ?OBJ
            (PropertyFn ?PERSON))
      (possesses ?PERSON ?OBJ))
(=>
      (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)))))))
(=>
      (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))))))))
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))))
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)))))
"number1 de5 jue2 dui4 zhi2" deng3 yu1 number2 and number1 shi4 shi2 shu4 de5 shi2 li4 and number2 shi4 shi2 shu4 de5 shi2 li4 if and only if 
(<=>
      (and
            (equal
                  (AbsoluteValueFn ?NUMBER1)
                  ?NUMBER2)
            (instance ?NUMBER1 RealNumber)
            (instance ?NUMBER2 RealNumber))
      (or
            (and
                  (instance ?NUMBER1 NonnegativeRealNumber)
                  (equal ?NUMBER1 ?NUMBER2))
            (and
                  (instance ?NUMBER1 NegativeRealNumber)
                  (equal
                        ?NUMBER2
                        (SubtractionFn 0 ?NUMBER1)))))
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 ¤p©ó©Îµ¥©ó 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 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 number shi4 shu4 liang4 de5 shi2 li4, then "number de5 dao3 shu4" deng3 yu1 "number cheng2 yi3 ci4 fang1". 
(=>
      (instance ?NUMBER Quantity)
      (equal
            (ReciprocalFn ?NUMBER)
            (ExponentiationFn ?NUMBER -1)))
If number shi4 shu4 liang4 de5 shi2 li4, then deng3 yu1 "number*"number de5 dao3 shu4"". 
(=>
      (instance ?NUMBER Quantity)
      (equal
            1
            (MultiplicationFn
                  ?NUMBER
                  (ReciprocalFn ?NUMBER))))
If number shi4 ou3 zheng3 shu4 de5 shi2 li4, then "number qu3 yu2 shu4 " deng3 yu1 . 
(=>
      (instance ?NUMBER EvenInteger)
      (equal
            (RemainderFn ?NUMBER 2)
            0))
If number shi4 qi2 zheng3 shu4 de5 shi2 li4, then "number qu3 yu2 shu4 " deng3 yu1 . 
(=>
      (instance ?NUMBER OddInteger)
      (equal
            (RemainderFn ?NUMBER 2)
            1))
(=>
      (instance ?PRIME PrimeNumber)
      (forall
            (?NUMBER)
            (=>
                  (equal
                        (RemainderFn ?PRIME ?NUMBER)
                        0)
                  (or
                        (equal ?NUMBER 1)
                        (equal ?NUMBER ?PRIME)))))
If number shi4 fei1 fu4 shi2 shu4 de5 shi2 li4, then "number de5 zheng4 fu4 hao4" deng3 yu1 or "number de5 zheng4 fu4 hao4" deng3 yu1 . 
(=>
      (instance ?NUMBER NonnegativeRealNumber)
      (or
            (equal
                  (SignumFn ?NUMBER)
                  1)
            (equal
                  (SignumFn ?NUMBER)
                  0)))
If number shi4 zheng4 shi2 shu4 de5 shi2 li4, then "number de5 zheng4 fu4 hao4" deng3 yu1 . 
(=>
      (instance ?NUMBER PositiveRealNumber)
      (equal
            (SignumFn ?NUMBER)
            1))
If number shi4 fu4 shi2 shu4 de5 shi2 li4, then "number de5 zheng4 fu4 hao4" deng3 yu1 . 
(=>
      (instance ?NUMBER NegativeRealNumber)
      (equal
            (SignumFn ?NUMBER)
            -1))
If degree shi4 ping2 mian4 jiao3 dan1 wei4 de5 shi2 li4, then "degree de5 zheng4 qie1" deng3 yu1 ""degree de5 zheng4 xian2"/"degree de5 yu2 xian2"". 
(=>
      (instance ?DEGREE PlaneAngleMeasure)
      (equal
            (TangentFn ?DEGREE)
            (DivisionFn
                  (SineFn ?DEGREE)
                  (CosineFn ?DEGREE))))
(=>
      (identityElement ?FUNCTION ?ID)
      (forall
            (?INST)
            (=>
                  (and
                        (domain ?FUNCTION 1 ?CLASS)
                        (instance ?INST ?CLASS))
                  (equal
                        (AssignmentFn ?FUNCTION ?ID ?INST)
                        ?INST))))
If int shi4 zheng3 shu4 de5 shi2 li4, then int xiao3 yu1 "(int+1)". 
(=>
      (instance ?INT Integer)
      (lessThan
            ?INT
            (SuccessorFn ?INT)))
If int1 shi4 zheng3 shu4 de5 shi2 li4 and int2 shi4 zheng3 shu4 de5 shi2 li4, then int1 xiao3 yu1 int2 or int2 xiao3 yu1 "(int1+1)". 
(=>
      (and
            (instance ?INT1 Integer)
            (instance ?INT2 Integer))
      (not
            (and
                  (lessThan ?INT1 ?INT2)
                  (lessThan
                        ?INT2
                        (SuccessorFn ?INT1)))))
If int shi4 zheng3 shu4 de5 shi2 li4, then int deng3 yu1 "("(int+2)"+1)". 
(=>
      (instance ?INT Integer)
      (equal
            ?INT
            (SuccessorFn
                  (PredecessorFn ?INT))))
If int shi4 zheng3 shu4 de5 shi2 li4, then int deng3 yu1 "("(int+1)"+2)". 
(=>
      (instance ?INT Integer)
      (equal
            ?INT
            (PredecessorFn
                  (SuccessorFn ?INT))))
If int shi4 zheng3 shu4 de5 shi2 li4, then int (bu2) da4 yu1 "(int+2)". 
(=>
      (instance ?INT Integer)
      (greaterThan
            ?INT
            (PredecessorFn ?INT)))
If int1 shi4 zheng3 shu4 de5 shi2 li4 and int2 shi4 zheng3 shu4 de5 shi2 li4, then int2 xiao3 yu1 int1 or "(int1+2)" xiao3 yu1 int2. 
(=>
      (and
            (instance ?INT1 Integer)
            (instance ?INT2 Integer))
      (not
            (and
                  (lessThan ?INT2 ?INT1)
                  (lessThan
                        (PredecessorFn ?INT1)
                        ?INT2))))
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)))))
(=>
      (instance ?SUPERCLASS PairwiseDisjointClass)
      (forall
            (?CLASS1 ?CLASS2)
            (=>
                  (and
                        (instance ?CLASS1 ?SUPERCLASS)
                        (instance ?CLASS2 ?SUPERCLASS))
                  (or
                        (equal ?CLASS1 ?CLASS2)
                        (disjoint ?CLASS1 ?CLASS2)))))
(=>
      (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 
(=>
      (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)))))
(=>
      (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)))))))
(=>
      (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 "arc de5 qi3 shi3 jie2 dian3" deng3 yu1 node and "arc de5 zui4 zhong1 jie2 dian3" deng3 yu1 node, then arc shi4 tu2 hui2 quan1 de5 shi2 li4. 
(=>
      (and
            (equal
                  (InitialNodeFn ?ARC)
                  ?NODE)
            (equal
                  (TerminalNodeFn ?ARC)
                  ?NODE))
      (instance ?ARC GraphLoop))
If "zui4 xiao3 liang4 lu4 jing4 han2 shu4(node1,node2)" deng3 yu1 path, then path shi4 "node1 he2 node2 jian4 ji2 he2 lu4 jing4" de5 shi2 li4. 
(=>
      (equal
            (MinimalWeightedPathFn ?NODE1 ?NODE2)
            ?PATH)
      (instance
            ?PATH
            (GraphPathFn ?NODE1 ?NODE2)))
(=>
      (and
            (equal
                  (MinimalWeightedPathFn ?NODE1 ?NODE2)
                  ?PATH)
            (equal
                  (PathWeightFn ?PATH)
                  ?NUMBER))
      (forall
            (?PATH2)
            (=>
                  (and
                        (instance
                              ?PATH2
                              (GraphPathFn ?NODE1 ?NODE2))
                        (equal
                              (PathWeightFn ?PATH2)
                              ?NUMBER2))
                  (greaterThanOrEqualTo ?NUMBER2 ?NUMBER1))))
If "node1 he2 node2 jian4 zui4 da4 lu4 jing4" deng3 yu1 path, then path shi4 "node1 he2 node2 jian4 ji2 he2 lu4 jing4" de5 shi2 li4. 
(=>
      (equal
            (MaximalWeightedPathFn ?NODE1 ?NODE2)
            ?PATH)
      (instance
            ?PATH
            (GraphPathFn ?NODE1 ?NODE2)))
(=>
      (and
            (equal
                  (MaximalWeightedPathFn ?NODE1 ?NODE2)
                  ?PATH)
            (equal
                  (PathWeightFn ?PATH)
                  ?NUMBER))
      (forall
            (?PATH2)
            (=>
                  (and
                        (instance
                              ?PATH2
                              (GraphPathFn ?NODE1 ?NODE2))
                        (equal
                              (PathWeightFn ?PATH2)
                              ?NUMBER2))
                  (lessThanOrEqualTo ?NUMBER2 ?NUMBER1))))
If path shi4 graph de5 bu4 fen5 and graph shi4 you3 xiang4 tu2 de5 shi2 li4, then "node1 he2 node2 jian4 ji2 he2 lu4 jing4" deng3 yu1 path if and only if "node2 he2 node1 jian4 ji2 he2 lu4 jing4" deng3 yu1 path. 
(=>
      (and
            (graphPart ?PATH ?GRAPH)
            (not
                  (instance ?GRAPH DirectedGraph)))
      (<=>
            (equal
                  (GraphPathFn ?NODE1 ?NODE2)
                  ?PATH)
            (equal
                  (GraphPathFn ?NODE2 ?NODE1)
                  ?PATH)))
If graph shi4 tu2 de5 shi2 li4, then "hua2 fen1 graph wei2 liang3 du2 li4 tu2 biao3 de5 zui4 xiao3 xiang1 jiao1 lu4 jing4" shi4 "hua2 fen1 graph wei2 liang3 du2 li4 tu2 biao3 de5 xiang1 jiao1 lu4 jing4" de5 ci4 zhong3 lei4. 
(=>
      (instance ?GRAPH Graph)
      (subclass
            (MinimalCutSetFn ?GRAPH)
            (CutSetFn ?GRAPH)))
(=>
      (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 "number unit(s)" deng3 yu1 quant and unit shi4 quanttype de5 ci4 zhong3 lei4, then quant shi4 quanttype de5 shi2 li4. 
(=>
      (and
            (equal
                  (MeasureFn ?NUMBER ?UNIT)
                  ?QUANT)
            (subclass ?UNIT ?QUANTTYPE))
      (instance ?QUANT ?QUANTTYPE))
(=>
      (and
            (instance ?REL RelationExtendedToQuantities)
            (instance ?REL TernaryRelation)
            (instance ?NUMBER1 RealNumber)
            (instance ?NUMBER2 RealNumber)
            (holds ?REL ?NUMBER1 ?NUMBER2 ?VALUE))
      (forall
            (?UNIT)
            (=>
                  (instance ?UNIT UnitOfMeasure)
                  (holds
                        ?REL
                        (MeasureFn ?NUMBER1 ?UNIT)
                        (MeasureFn ?NUMBER2 ?UNIT)
                        (MeasureFn ?VALUE ?UNIT)))))
(=>
      (and
            (instance ?REL RelationExtendedToQuantities)
            (instance ?REL BinaryRelation)
            (instance ?NUMBER1 RealNumber)
            (instance ?NUMBER2 RealNumber)
            (holds ?REL ?NUMBER1 ?NUMBER2))
      (forall
            (?UNIT)
            (=>
                  (instance ?UNIT UnitOfMeasure)
                  (holds
                        ?REL
                        (MeasureFn ?NUMBER1 ?UNIT)
                        (MeasureFn ?NUMBER2 ?UNIT)))))
If unit shi4 liang2 du4 dan1 wei4 de5 shi2 li4, then "1 qian1 units" deng3 yu1 " unit(s)". 
(=>
      (instance ?UNIT UnitOfMeasure)
      (equal
            (KiloFn ?UNIT)
            (MeasureFn 1000 ?UNIT)))
If unit shi4 liang2 du4 dan1 wei4 de5 shi2 li4, then "1 bai3 wan4 units" deng3 yu1 " unit(s)". 
(=>
      (instance ?UNIT UnitOfMeasure)
      (equal
            (MegaFn ?UNIT)
            (MeasureFn 1000000 ?UNIT)))
If unit shi4 liang2 du4 dan1 wei4 de5 shi2 li4, then "1 shi2 yi4 units" deng3 yu1 " unit(s)". 
(=>
      (instance ?UNIT UnitOfMeasure)
      (equal
            (GigaFn ?UNIT)
            (MeasureFn 1000000000 ?UNIT)))
If unit shi4 liang2 du4 dan1 wei4 de5 shi2 li4, then "1 zhao4 units" deng3 yu1 " unit(s)". 
(=>
      (instance ?UNIT UnitOfMeasure)
      (equal
            (TeraFn ?UNIT)
            (MeasureFn 1000000000000 ?UNIT)))
If unit shi4 liang2 du4 dan1 wei4 de5 shi2 li4, then "unit de5 qian1 fen1 zhi1 yi1" deng3 yu1 " unit(s)". 
(=>
      (instance ?UNIT UnitOfMeasure)
      (equal
            (MilliFn ?UNIT)
            (MeasureFn 0.001 ?UNIT)))
If unit shi4 liang2 du4 dan1 wei4 de5 shi2 li4, then "unit de5 bai3 wan4 fen1 zhi1 yi1" deng3 yu1 " unit(s)". 
(=>
      (instance ?UNIT UnitOfMeasure)
      (equal
            (MicroFn ?UNIT)
            (MeasureFn 0.000001 ?UNIT)))
If unit shi4 liang2 du4 dan1 wei4 de5 shi2 li4, then "unit de5 shi2 yi4 fen1 zhi1 yi1" deng3 yu1 " unit(s)". 
(=>
      (instance ?UNIT UnitOfMeasure)
      (equal
            (NanoFn ?UNIT)
            (MeasureFn 0.000000001 ?UNIT)))
If unit shi4 liang2 du4 dan1 wei4 de5 shi2 li4, then "1 de5 zhao4 fen1 zhi1 yi1 " deng3 yu1 " unit(s)". 
(=>
      (instance ?UNIT UnitOfMeasure)
      (equal
            (PicoFn ?UNIT)
            (MeasureFn 0.000000000001 ?UNIT)))
quantity shi4 "cong2 from dao4 to de5 jian1 ge2" de5 shi2 li4 if and only if quantity da4 yu1 huo4 deng3 yu1 from and quantity ¤p©ó©Îµ¥©ó to. 
(<=>
      (instance
            ?QUANTITY
            (IntervalFn ?FROM ?TO))
      (and
            (greaterThanOrEqualTo ?QUANTITY ?FROM)
            (lessThanOrEqualTo ?QUANTITY ?TO)))
If number shi4 shi2 shu4 de5 shi2 li4 and unit shi4 liang2 du4 dan1 wei4 de5 shi2 li4, then "1 de5 ji2 shu4" deng3 yu1 number. 
(=>
      (and
            (instance ?NUMBER RealNumber)
            (instance ?UNIT UnitOfMeasure))
      (equal
            (MagnitudeFn
                  (MeasureFn ?NUMBER ?UNIT))
            ?NUMBER))
If number shi4 shi2 shu4 de5 shi2 li4, then "number gong1 fen1(s)" deng3 yu1 ""number*" gong1 chi3(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Centimeter)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.01)
                  Meter)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number she4 shi4(s)" deng3 yu1 ""(number-)" jue2 dui4 wen1 biao1(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER CelsiusDegree)
            (MeasureFn
                  (SubtractionFn ?NUMBER 273.15)
                  KelvinDegree)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number she4 shi4(s)" deng3 yu1 """(number-)"/" hua2 shi4-du4(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER CelsiusDegree)
            (MeasureFn
                  (DivisionFn
                        (SubtractionFn ?NUMBER 32)
                        1.8)
                  FahrenheitDegree)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ri4 ji4(s)" deng3 yu1 ""number*" shi2 ji4(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER DayDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 24)
                  HourDuration)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number shi2 ji4(s)" deng3 yu1 ""number*" fen1 ji4(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER HourDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 60)
                  MinuteDuration)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number fen1 ji4(s)" deng3 yu1 ""number*" miao3 ji4(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER MinuteDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 60)
                  SecondDuration)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number zhou1 ji4(s)" deng3 yu1 ""number*" ri4 ji4(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER WeekDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 7)
                  DayDuration)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number nian2 ji4(s)" deng3 yu1 ""number*" ri4 ji4(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER YearDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 365)
                  DayDuration)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number yuan2 zi3 zhi4 liang4 dan1 wei4(s)" deng3 yu1 ""number**" ke4(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Amu)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1.6605402 E-24)
                  Gram)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number dian4 ya1 dan1 wei4-dian4 fu2 te4(s)" deng3 yu1 ""number**" gong1 huo4 neng2 de5 dan1 wei4-jiao1 er3(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER ElectronVolt)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1.60217733 E-19)
                  Joule)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number guang1 pu3 xian4 bo1 zhang3 dan1 wei4(s)" deng3 yu1 ""number**" gong1 chi3(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Angstrom)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1.0 E-10)
                  Meter)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ying1 chi3(s)" deng3 yu1 ""number*" gong1 chi3(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Foot)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.3048)
                  Meter)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ying1 cun4(s)" deng3 yu1 ""number*" gong1 chi3(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Inch)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.0254)
                  Meter)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ying1 li3(s)" deng3 yu1 ""number*" gong1 chi3(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Mile)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1609.344)
                  Meter)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number mei3 zhi4 ye4 liang4 dan1 wei4-jia1 lun2(s)" deng3 yu1 ""number*" gong1 sheng1(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER UnitedStatesGallon)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 3.785411784)
                  Liter)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number rong2 liang4 huo4 ye4 liang4 dan1 wei4(s)" deng3 yu1 ""number/" mei3 zhi4 ye4 liang4 dan1 wei4-jia1 lun2(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Quart)
            (MeasureFn
                  (DivisionFn ?NUMBER 4)
                  UnitedStatesGallon)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number pin3 tuo1(s)" deng3 yu1 ""number/" rong2 liang4 huo4 ye4 liang4 dan1 wei4(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Pint)
            (MeasureFn
                  (DivisionFn ?NUMBER 2)
                  Quart)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ban4 pin3 tuo1 zhi1 liang4(s)" deng3 yu1 ""number/" pin3 tuo1(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Cup)
            (MeasureFn
                  (DivisionFn ?NUMBER 2)
                  Pint)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ang4 si1(s)" deng3 yu1 ""number/" ban4 pin3 tuo1 zhi1 liang4(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Ounce)
            (MeasureFn
                  (DivisionFn ?NUMBER 8)
                  Cup)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ying1 zhi4 ye4 liang4 dan1 wei4-jia1 lun2(s)" deng3 yu1 ""number*" gong1 sheng1(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER UnitedKingdomGallon)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 4.54609)
                  Liter)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number bang4(s)" deng3 yu1 ""number*" ke4(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER PoundMass)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 453.59237)
                  Gram)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number zhi4 liang4 dan1 wei4(s)" deng3 yu1 ""number*" ke4(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Slug)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 14593.90)
                  Gram)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number mo2 ca1 jiao3 du4(s)" deng3 yu1 ""number*" jue2 dui4 wen1 biao1(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER RankineDegree)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1.8)
                  KelvinDegree)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number li4 liang5 dan1 wei4(s)" deng3 yu1 ""number*" li4 de5 dan1 wei4-niu2 dun4(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER PoundForce)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 4.448222)
                  Newton)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number re4 liang4 de5 dan1 wei4-ka3 lu4 li3(s)" deng3 yu1 ""number*" gong1 huo4 neng2 de5 dan1 wei4-jiao1 er3(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Calorie)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 4.1868)
                  Joule)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ying1 guo2 re4 liang4 dan1 wei4-BTU(s)" deng3 yu1 ""number*" gong1 huo4 neng2 de5 dan1 wei4-jiao1 er3(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER BritishThermalUnit)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1055.05585262)
                  Joule)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number jiao3 du4(s)" deng3 yu1 ""number*"yuan2 zhou1 lv4/"" hu2 du4(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER AngularDegree)
            (MeasureFn
                  (MultiplicationFn
                        ?NUMBER
                        (DivisionFn Pi 180))
                  Radian)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number mei3 yuan2 yi1 fen1(s)" deng3 yu1 ""number*" mei3 yuan2 yi1 yuan2(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER UnitedStatesCent)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.01)
                  UnitedStatesDollar)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ou1 yuan2 yi1 fen1(s)" deng3 yu1 ""number*" ou1 yuan2 yi1 yuan2(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER EuroCent)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.01)
                  EuroDollar)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number wei4 yuan2 zu3(s)" deng3 yu1 ""number*" wei4 yuan2(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Byte)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 8)
                  Bit)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number qian1 wei4 yuan2 zu3(s)" deng3 yu1 ""number*" wei4 yuan2 zu3(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER KiloByte)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1024)
                  Byte)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number bai3 wan4 wei4 yuan2 zu3(s)" deng3 yu1 ""number*" qian1 wei4 yuan2 zu3(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER MegaByte)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1024)
                  KiloByte)))
If point shi4 shi2 dian3 de5 shi2 li4 and point deng3 yu1 shi2 jian1 zhong1 dian3/yong3 yuan3, then point (mei2) fa1 sheng1?{s} zai4 shi2 jian1 zhong1 dian3/yong3 yuan3 zhi1 qian2. 
(=>
      (and
            (instance ?POINT TimePoint)
            (not
                  (equal ?POINT PositiveInfinity)))
      (before ?POINT PositiveInfinity))
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 shi2 jian1 qi3 dian3/gen4 gu3 (mei2) fa1 sheng1?{s} zai4 point zhi1 qian2. 
(=>
      (and
            (instance ?POINT TimePoint)
            (not
                  (equal ?POINT NegativeInfinity)))
      (before NegativeInfinity ?POINT))
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)))
(=>
      (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 rel(inst1,inst2) (bu2) cheng2 li4s intervala(zhi1 zhong1) interval and inst1 shi4 wu4 zhi4 de5 de5 shi2 li4 and inst2 shi4 wu4 zhi4 de5 de5 shi2 li4, then inst1 (bu2) cun2 zai4s interval qi1 jian1 and inst2 (bu2) cun2 zai4s interval qi1 jian1. 
(=>
      (and
            (holdsDuring
                  ?INTERVAL
                  (holds ?REL ?INST1 ?INST2))
            (instance ?INST1 Physical)
            (instance ?INST2 Physical))
      (and
            (time ?INST1 ?INTERVAL)
            (time ?INST2 ?INTERVAL)))
(=>
      (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))))))
phys (bu2) cun2 zai4s time qi1 jian1 and time shi4 shi2 dian3 de5 shi2 li4 if and only if time zai4 ""phys cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" he2 ""phys cun2 zai4 de5 shi2 jian1" de5 jie2 shu4" huo4 zhi1 jian1 . 
(<=>
      (and
            (time ?PHYS ?TIME)
            (instance ?TIME TimePoint))
      (temporallyBetweenOrEqual
            (BeginFn
                  (WhenFn ?PHYS))
            ?TIME
            (EndFn
                  (WhenFn ?PHYS))))
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 rel shi4 kong1 jian1 guan1 xi4 de5 shi2 li4 and rel(obj1,obj2) (bu2) cheng2 li4s, then "obj2 cun2 zai4 de5 shi2 jian1" (mei2) yu3 1 ?zhong4 die2s. 
(=>
      (and
            (instance ?REL SpatialRelation)
            (holds ?REL ?OBJ1 ?OBJ2))
      (overlapsTemporally
            (WhenFn ?OBJ1)
            (WhenFn ?OBJ2)))
If 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 thing shi4 wu4 zhi4 de5 de5 shi2 li4, then ""thing cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" (mei2) fa1 sheng1?{s} zai4 ""thing cun2 zai4 de5 shi2 jian1" de5 jie2 shu4" zhi1 qian2. 
(=>
      (instance ?THING Physical)
      (before
            (BeginFn
                  (WhenFn ?THING))
            (EndFn
                  (WhenFn ?THING))))
If thing shi4 wu4 zhi4 de5 de5 shi2 li4, then ""thing cun2 zai4 de5 shi2 jian1" zhi1 qian2" (mei2) xiang1 jie1s "thing cun2 zai4 de5 shi2 jian1". 
(=>
      (instance ?THING Physical)
      (meetsTemporally
            (PastFn
                  (WhenFn ?THING))
            (WhenFn ?THING)))
If process shi4 wu4 zhi4 de5 de5 shi2 li4, then ""process cun2 zai4 de5 shi2 jian1" zhi1 qian2" deng3 yu1 "shi2 jian1 qi3 dian3/gen4 gu3 he2 ""process cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" de5 jian1 ju4". 
(=>
      (instance ?PROCESS Physical)
      (equal
            (PastFn
                  (WhenFn ?PROCESS))
            (TimeIntervalFn
                  NegativeInfinity
                  (BeginFn
                        (WhenFn ?PROCESS)))))
If thing shi4 wu4 zhi4 de5 de5 shi2 li4, then ""thing cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2" (mei2) wan2 cheng2s ""thing cun2 zai4 de5 shi2 jian1" zhi1 qian2". 
(=>
      (instance ?THING Physical)
      (finishes
            (ImmediatePastFn
                  (WhenFn ?THING))
            (PastFn
                  (WhenFn ?THING))))
If thing shi4 wu4 zhi4 de5 de5 shi2 li4, then "thing cun2 zai4 de5 shi2 jian1" (mei2) xiang1 jie1s ""thing cun2 zai4 de5 shi2 jian1" zhi1 hou4". 
(=>
      (instance ?THING Physical)
      (meetsTemporally
            (WhenFn ?THING)
            (FutureFn
                  (WhenFn ?THING))))
If process shi4 wu4 zhi4 de5 de5 shi2 li4, then ""process cun2 zai4 de5 shi2 jian1" zhi1 hou4" deng3 yu1 """process cun2 zai4 de5 shi2 jian1" de5 jie2 shu4" he2 shi2 jian1 zhong1 dian3/yong3 yuan3 de5 jian1 ju4". 
(=>
      (instance ?PROCESS Physical)
      (equal
            (FutureFn
                  (WhenFn ?PROCESS))
            (TimeIntervalFn
                  (EndFn
                        (WhenFn ?PROCESS))
                  PositiveInfinity)))
If thing shi4 wu4 zhi4 de5 de5 shi2 li4, then ""thing cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4" (mei2) kai1 shi3s ""thing cun2 zai4 de5 shi2 jian1" zhi1 hou4". 
(=>
      (instance ?THING Physical)
      (starts
            (ImmediateFutureFn
                  (WhenFn ?THING))
            (FutureFn
                  (WhenFn ?THING))))
If day shi4 "ri4 number" de5 shi2 li4, then number ¤p©ó©Îµ¥©ó . 
(=>
      (instance
            ?DAY
            (DayFn ?NUMBER ?MONTH))
      (lessThanOrEqualTo ?NUMBER 31))
If day1 shi4 "ri4 number1" de5 shi2 li4 and day2 shi4 "ri4 number2" de5 shi2 li4 and "(number2-number1)" deng3 yu1 , then day1 (mei2) xiang1 jie1s day2. 
(=>
      (and
            (instance
                  ?DAY1
                  (DayFn ?NUMBER1 ?MONTH))
            (instance
                  ?DAY2
                  (DayFn ?NUMBER2 ?MONTH))
            (equal
                  (SubtractionFn ?NUMBER2 ?NUMBER1)
                  1))
      (meetsTemporally ?DAY1 ?DAY2))
If hour shi4 "xiao3 shi2 number" de5 shi2 li4, then number xiao3 yu1 . 
(=>
      (instance
            ?HOUR
            (HourFn ?NUMBER ?DAY))
      (lessThan ?NUMBER 24))
If hour1 shi4 "xiao3 shi2 number1" de5 shi2 li4 and hour2 shi4 "xiao3 shi2 number2" de5 shi2 li4 and "(number2-number1)" deng3 yu1 , then hour1 (mei2) xiang1 jie1s hour2. 
(=>
      (and
            (instance
                  ?HOUR1
                  (HourFn ?NUMBER1 ?DAY))
            (instance
                  ?HOUR2
                  (HourFn ?NUMBER2 ?DAY))
            (equal
                  (SubtractionFn ?NUMBER2 ?NUMBER1)
                  1))
      (meetsTemporally ?HOUR1 ?HOUR2))
If minute shi4 "fen1 zhong1 number" de5 shi2 li4, then number xiao3 yu1 . 
(=>
      (instance
            ?MINUTE
            (MinuteFn ?NUMBER ?HOUR))
      (lessThan ?NUMBER 60))
If minute1 shi4 "fen1 zhong1 number1" de5 shi2 li4 and minute2 shi4 "fen1 zhong1 number2" de5 shi2 li4 and "(number2-number1)" deng3 yu1 , then minute1 (mei2) xiang1 jie1s minute2. 
(=>
      (and
            (instance
                  ?MINUTE1
                  (MinuteFn ?NUMBER1 ?HOUR))
            (instance
                  ?MINUTE2
                  (MinuteFn ?NUMBER2 ?HOUR))
            (equal
                  (SubtractionFn ?NUMBER2 ?NUMBER1)
                  1))
      (meetsTemporally ?MINUTE1 ?MINUTE2))
If second shi4 "miao3 zhong1 han2 shu4(number,minute)" de5 shi2 li4, then number xiao3 yu1 . 
(=>
      (instance
            ?SECOND
            (SecondFn ?NUMBER ?MINUTE))
      (lessThan ?NUMBER 60))
If second1 shi4 "miao3 zhong1 han2 shu4(number1,minute)" de5 shi2 li4 and second2 shi4 "miao3 zhong1 han2 shu4(number2,minute)" de5 shi2 li4 and "(number2-number1)" deng3 yu1 , then second1 (mei2) xiang1 jie1s second2. 
(=>
      (and
            (instance
                  ?SECOND1
                  (SecondFn ?NUMBER1 ?MINUTE))
            (instance
                  ?SECOND2
                  (SecondFn ?NUMBER2 ?MINUTE))
            (equal
                  (SubtractionFn ?NUMBER2 ?NUMBER1)
                  1))
      (meetsTemporally ?SECOND1 ?SECOND2))
If year shi4 nian2 de5 shi2 li4, then year de5 chi2 xu4 shi4 " nian2 ji4(s)". 
(=>
      (instance ?YEAR Year)
      (duration
            ?YEAR
            (MeasureFn 1 YearDuration)))
If year1 shi4 nian2 de5 shi2 li4 and year2 shi4 nian2 de5 shi2 li4 and "(year2-year1)" deng3 yu1 , then year1 (mei2) xiang1 jie1s year2. 
(=>
      (and
            (instance ?YEAR1 Year)
            (instance ?YEAR2 Year)
            (equal
                  (SubtractionFn ?YEAR2 ?YEAR1)
                  1))
      (meetsTemporally ?YEAR1 ?YEAR2))
If leap shi4 run4 nian2 de5 shi2 li4 and leap deng3 yu1 "number nian2(s)", then 
(=>
      (and
            (instance ?LEAP LeapYear)
            (equal
                  ?LEAP
                  (MeasureFn ?NUMBER Year)))
      (or
            (and
                  (equal
                        (RemainderFn ?NUMBER 4)
                        0)
                  (not
                        (equal
                              (RemainderFn ?NUMBER 100)
                              0)))
            (equal
                  (RemainderFn ?NUMBER 400)
                  0)))
If month shi4 yi1 yue4 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)". 
(=>
      (instance ?MONTH January)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))
If "yue4 fen4 er4 yue4" deng3 yu1 month and year shi4 run4 nian2 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)". 
(=>
      (and
            (equal
                  (MonthFn February ?YEAR)
                  ?MONTH)
            (not
                  (instance ?YEAR LeapYear)))
      (duration
            ?MONTH
            (MeasureFn 28 DayDuration)))
If "yue4 fen4 er4 yue4" deng3 yu1 month and year shi4 run4 nian2 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)". 
(=>
      (and
            (equal
                  (MonthFn February ?YEAR)
                  ?MONTH)
            (instance ?YEAR LeapYear))
      (duration
            ?MONTH
            (MeasureFn 29 DayDuration)))
If month shi4 san1 yue4 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)". 
(=>
      (instance ?MONTH March)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))
If month shi4 si4 yue4 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)". 
(=>
      (instance ?MONTH April)
      (duration
            ?MONTH
            (MeasureFn 30 DayDuration)))
If month shi4 wu3 yue4 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)". 
(=>
      (instance ?MONTH May)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))
If month shi4 liu4 yue4 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)". 
(=>
      (instance ?MONTH June)
      (duration
            ?MONTH
            (MeasureFn 30 DayDuration)))
If month shi4 qi1 yue4 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)". 
(=>
      (instance ?MONTH July)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))
If month shi4 ba1 yue4 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)". 
(=>
      (instance ?MONTH August)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))
If month shi4 jiu3 yue4 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)". 
(=>
      (instance ?MONTH September)
      (duration
            ?MONTH
            (MeasureFn 30 DayDuration)))
If month shi4 shi2 yue4 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)". 
(=>
      (instance ?MONTH October)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))
If month shi4 shi2 yi1 yue4 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)". 
(=>
      (instance ?MONTH November)
      (duration
            ?MONTH
            (MeasureFn 30 DayDuration)))
If month shi4 shi2 er4 yue4 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)". 
(=>
      (instance ?MONTH December)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))
If day shi4 ri4 de5 shi2 li4, then day de5 chi2 xu4 shi4 " ri4 ji4(s)". 
(=>
      (instance ?DAY Day)
      (duration
            ?DAY
            (MeasureFn 1 DayDuration)))
If day1 shi4 xing1 qi1 yi1 de5 shi2 li4 and day2 shi4 xing1 qi1 er4 de5 shi2 li4 and week shi4 zhou1 de5 shi2 li4 and day1 shi4 week de5 bu4 fen5 and day2 shi4 week de5 bu4 fen5, then day1 (mei2) xiang1 jie1s day2. 
(=>
      (and
            (instance ?DAY1 Monday)
            (instance ?DAY2 Tuesday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))
If day1 shi4 xing1 qi1 er4 de5 shi2 li4 and day2 shi4 xing1 qi1 san1 de5 shi2 li4 and week shi4 zhou1 de5 shi2 li4 and day1 shi4 week de5 bu4 fen5 and day2 shi4 week de5 bu4 fen5, then day1 (mei2) xiang1 jie1s day2. 
(=>
      (and
            (instance ?DAY1 Tuesday)
            (instance ?DAY2 Wednesday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))
If day1 shi4 xing1 qi1 san1 de5 shi2 li4 and day2 shi4 xing1 qi1 si4 de5 shi2 li4 and week shi4 zhou1 de5 shi2 li4 and day1 shi4 week de5 bu4 fen5 and day2 shi4 week de5 bu4 fen5, then day1 (mei2) xiang1 jie1s day2. 
(=>
      (and
            (instance ?DAY1 Wednesday)
            (instance ?DAY2 Thursday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))
If day1 shi4 xing1 qi1 si4 de5 shi2 li4 and day2 shi4 xing1 qi1 wu3 de5 shi2 li4 and week shi4 zhou1 de5 shi2 li4 and day1 shi4 week de5 bu4 fen5 and day2 shi4 week de5 bu4 fen5, then day1 (mei2) xiang1 jie1s day2. 
(=>
      (and
            (instance ?DAY1 Thursday)
            (instance ?DAY2 Friday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))
If day1 shi4 xing1 qi1 wu3 de5 shi2 li4 and day2 shi4 xing1 qi1 liu4 de5 shi2 li4 and week shi4 zhou1 de5 shi2 li4 and day1 shi4 week de5 bu4 fen5 and day2 shi4 week de5 bu4 fen5, then day1 (mei2) xiang1 jie1s day2. 
(=>
      (and
            (instance ?DAY1 Friday)
            (instance ?DAY2 Saturday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))
If day1 shi4 xing1 qi1 liu4 de5 shi2 li4 and day2 shi4 xing1 qi1 ri4 de5 shi2 li4 and week shi4 zhou1 de5 shi2 li4 and day1 shi4 week de5 bu4 fen5 and day2 shi4 week de5 bu4 fen5, then day1 (mei2) xiang1 jie1s day2. 
(=>
      (and
            (instance ?DAY1 Saturday)
            (instance ?DAY2 Sunday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))
If day1 shi4 xing1 qi1 ri4 de5 shi2 li4 and day2 shi4 xing1 qi1 yi1 de5 shi2 li4 and week1 shi4 zhou1 de5 shi2 li4 and week2 shi4 zhou1 de5 shi2 li4 and day1 shi4 week1 de5 bu4 fen5 and day2 shi4 week2 de5 bu4 fen5 and week1 (mei2) xiang1 jie1s week2, then day1 (mei2) xiang1 jie1s day2. 
(=>
      (and
            (instance ?DAY1 Sunday)
            (instance ?DAY2 Monday)
            (instance ?WEEK1 Week)
            (instance ?WEEK2 Week)
            (temporalPart ?DAY1 ?WEEK1)
            (temporalPart ?DAY2 ?WEEK2)
            (meetsTemporally ?WEEK1 ?WEEK2))
      (meetsTemporally ?DAY1 ?DAY2))
If week shi4 zhou1 de5 shi2 li4, then week de5 chi2 xu4 shi4 " zhou1 ji4(s)". 
(=>
      (instance ?WEEK Week)
      (duration
            ?WEEK
            (MeasureFn 1 WeekDuration)))
If hour shi4 xiao3 shi2 de5 shi2 li4, then hour de5 chi2 xu4 shi4 " shi2 ji4(s)". 
(=>
      (instance ?HOUR Hour)
      (duration
            ?HOUR
            (MeasureFn 1 HourDuration)))
If minute shi4 fen1 de5 shi2 li4, then minute de5 chi2 xu4 shi4 " fen1 ji4(s)". 
(=>
      (instance ?MINUTE Minute)
      (duration
            ?MINUTE
            (MeasureFn 1 MinuteDuration)))
If second shi4 miao3 de5 shi2 li4, then second de5 chi2 xu4 shi4 " miao3 ji4(s)". 
(=>
      (instance ?SECOND Second)
      (duration
            ?SECOND
            (MeasureFn 1 SecondDuration)))
(=>
      (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))))))
(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (forall
            (?TIME1 ?TIME2)
            (=>
                  (and
                        (instance ?TIME1 ?CLASS)
                        (instance ?TIME2 ?CLASS)
                        (not
                              (equal ?TIME1 ?TIME2)))
                  (or
                        (meetsTemporally ?TIME1 ?TIME2)
                        (meetsTemporally ?TIME2 ?TIME1)
                        (earlier ?TIME1 ?TIME2)
                        (earlier ?TIME2 ?TIME1)))))
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))))
(=>
      (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))))))
(=>
      (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))))))
(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (forall
            (?TIME)
            (=>
                  (and
                        (instance ?TIME TimePoint)
                        (temporalPart ?TIME ?INTERVAL))
                  (exists
                        (?INSTANCE)
                        (and
                              (instance ?INSTANCE ?CLASS)
                              (temporalPart ?TIME ?INSTANCE))))))
If year shi4 nian2 de5 shi2 li4, then ""year fen1 jie3 cheng2 ? yue4s" zhong1 shi2 li4 de5 shu4 mu4" deng3 yu1 . 
(=>
      (instance ?YEAR Year)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?YEAR Month))
            12))
If month shi4 yue4 de5 shi2 li4 and month de5 chi2 xu4 shi4 "number ri4 ji4(s)", then ""month fen1 jie3 cheng2 ? ri4s" zhong1 shi2 li4 de5 shu4 mu4" deng3 yu1 number. 
(=>
      (and
            (instance ?MONTH Month)
            (duration
                  ?MONTH
                  (MeasureFn ?NUMBER DayDuration)))
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?MONTH Day))
            ?NUMBER))
If week shi4 zhou1 de5 shi2 li4, then ""week fen1 jie3 cheng2 ? ri4s" zhong1 shi2 li4 de5 shu4 mu4" deng3 yu1 . 
(=>
      (instance ?WEEK Week)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?WEEK Day))
            7))
If day shi4 ri4 de5 shi2 li4, then ""day fen1 jie3 cheng2 ? xiao3 shi2s" zhong1 shi2 li4 de5 shu4 mu4" deng3 yu1 . 
(=>
      (instance ?DAY Day)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?DAY Hour))
            24))
If hour shi4 xiao3 shi2 de5 shi2 li4, then ""hour fen1 jie3 cheng2 ? fen1s" zhong1 shi2 li4 de5 shu4 mu4" deng3 yu1 . 
(=>
      (instance ?HOUR Hour)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?HOUR Minute))
            60))
If minute shi4 fen1 de5 shi2 li4, then ""minute fen1 jie3 cheng2 ? miao3s" zhong1 shi2 li4 de5 shu4 mu4" deng3 yu1 . 
(=>
      (instance ?MINUTE Minute)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?MINUTE Second))
            60))
obj shi4 zi4 shen1 lian2 xu4 wu4 ti1 de5 shi2 li4 if and only if for all part1,part2 holds: if obj deng3 yu1 "part1 he2 part2 de5 lian2 ji2", then part1 yu3 part2 xiang1 lian2. 
(<=>
      (instance ?OBJ SelfConnectedObject)
      (forall
            (?PART1 ?PART2)
            (=>
                  (equal
                        ?OBJ
                        (MereologicalSumFn ?PART1 ?PART2))
                  (connected ?PART1 ?PART2))))
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)))
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 obj shi4 dong4, then obj shi4 dong4 de5 shi2 li4. 
(=>
      (hole ?HOLE ?OBJ)
      (not
            (instance ?OBJ Hole)))
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 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)))))
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 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 proc shi4 sheng1 wu4 li4 cheng2 de5 shi2 li4 and org (mei2) ti3 yan4not(s) proc, then org shi4 sheng1 wu4 ti1 de5 shi2 li4. 
(=>
      (and
            (instance ?PROC BiologicalProcess)
            (experiencer ?PROC ?ORG))
      (instance ?ORG Organism))
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 agent (mei2) ti3 yan4not(s) death, then si3 shi4 agent de5 shu3 xing4 ""death cun2 zai4 de5 shi2 jian1" zhi1 hou4"a(zhi1 zhong1) "death cun2 zai4 de5 shi2 jian1" zhi1 hou4. 
(=>
      (and
            (instance ?DEATH Death)
            (experiencer ?DEATH ?AGENT))
      (holdsDuring
            (FutureFn
                  (WhenFn ?DEATH))
            (attribute ?AGENT Dead)))
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 act shi4 she4 shi2 de5 shi2 li4 and food shi4 act de5 shou4 shi4 zhe3, then food shi4 shi2 wu4 de5 shi2 li4. 
(=>
      (and
            (instance ?ACT Ingesting)
            (patient ?ACT ?FOOD))
      (instance ?FOOD Food))
If act shi4 chi1 de5 shi2 li4 and food shi4 act de5 shou4 shi4 zhe3, then gu4 ti1 de5 shi4 food de5 shu3 xing4. 
(=>
      (and
            (instance ?ACT Eating)
            (patient ?ACT ?FOOD))
      (attribute ?FOOD Solid))
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 and rep shi4 parent de5 shi1 shi4 zhe3 and child shi4 rep de5 jie2 guo3, then parent shi4 child de5 shuang1 qin1. 
(=>
      (and
            (instance ?REP Replication)
            (agent ?REP ?PARENT)
            (result ?REP ?CHILD))
      (parent ?CHILD ?PARENT))
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))))
inj shi4 shang1 hai4 de5 shi2 li4 if and only if inj shi4 sun3 hai4 de5 shi2 li4 and sheng1 wu4 ti1 shi4 inj de5 shou4 shi4 zhe3. 
(<=>
      (instance ?INJ Injuring)
      (and
            (instance ?INJ Damaging)
            (patient ?INJ Organism)))
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 
(=>
      (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 
(=>
      (and
            (instance ?ACT ReligiousProcess)
            (agent ?ACT ?AGENT))
      (or
            (instance ?AGENT ReligiousOrganization)
            (exists
                  (?ORG)
                  (and
                        (member ?AGENT ?ORG)
                        (instance ?ORG ReligiousOrganization)))))
If join shi4 jia1 ru4 zu3 zhi1 de5 shi2 li4 and org shi4 zu3 zhi1 de5 shi2 li4 and join shi4 org de5 shi1 shi4 zhe3 and person shi4 join de5 shou4 shi4 zhe3, then person shi4 orgde5 cheng2 yuan2 ""join cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "join cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4. 
(=>
      (and
            (instance ?JOIN JoiningAnOrganization)
            (instance ?ORG Organization)
            (agent ?JOIN ?ORG)
            (patient ?JOIN ?PERSON))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?JOIN))
            (member ?PERSON ?ORG)))
If leave shi4 tuo1 li2 zu3 zhi1 de5 shi2 li4 and org shi4 zu3 zhi1 de5 shi2 li4 and leave shi4 org de5 shi1 shi4 zhe3 and person shi4 leave de5 shou4 shi4 zhe3, then person shi4 orgde5 cheng2 yuan2 ""leave cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "leave cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4. 
(=>
      (and
            (instance ?LEAVE LeavingAnOrganization)
            (instance ?ORG Organization)
            (agent ?LEAVE ?ORG)
            (patient ?LEAVE ?PERSON))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?LEAVE))
            (not
                  (member ?PERSON ?ORG))))
If grad shi4 bi4 ye4 de5 shi2 li4 and grad shi4 org de5 shi1 shi4 zhe3 and person shi4 grad de5 shou4 shi4 zhe3, then org shi4 jiao4 yu4 zu3 zhi1 de5 shi2 li4. 
(=>
      (and
            (instance ?GRAD Graduation)
            (agent ?GRAD ?ORG)
            (patient ?GRAD ?PERSON))
      (instance ?ORG EducationalOrganization))
If mat shi4 zheng4 shi4 ru4 xue2 de5 shi2 li4 and mat shi4 org de5 shi1 shi4 zhe3 and person shi4 mat de5 shou4 shi4 zhe3, then org shi4 jiao4 yu4 zu3 zhi1 de5 shi2 li4. 
(=>
      (and
            (instance ?MAT Matriculation)
            (agent ?MAT ?ORG)
            (patient ?MAT ?PERSON))
      (instance ?ORG EducationalOrganization))
If hire shi4 gu4 yong4 de5 shi2 li4 and org shi4 zu3 zhi1 de5 shi2 li4 and hire shi4 org de5 shi1 shi4 zhe3 and person shi4 hire de5 shou4 shi4 zhe3, then org (mei2) gu4 yong4not(s) person ""hire cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "hire cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4. 
(=>
      (and
            (instance ?HIRE Hiring)
            (instance ?ORG Organization)
            (agent ?HIRE ?ORG)
            (patient ?HIRE ?PERSON))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?HIRE))
            (employs ?ORG ?PERSON)))
If fire shi4 jie3 gu4 de5 shi2 li4 and org shi4 zu3 zhi1 de5 shi2 li4 and fire shi4 org de5 shi1 shi4 zhe3 and person shi4 fire de5 shou4 shi4 zhe3, then org not(mei2) gu4 yong4(s) person ""fire cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "fire cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4. 
(=>
      (and
            (instance ?FIRE TerminatingEmployment)
            (instance ?ORG Organization)
            (agent ?FIRE ?ORG)
            (patient ?FIRE ?PERSON))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?FIRE))
            (not
                  (employs ?ORG ?PERSON))))
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 motion shi4 yi2 dong4 de5 shi2 li4 and obj shi4 motion de5 shou4 shi4 zhe3 and motion (bu2) qi3 yuan2s yu1 place, then obj wei4 yu1 place ""motion cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "motion cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2. 
(=>
      (and
            (instance ?MOTION Motion)
            (patient ?MOTION ?OBJ)
            (origin ?MOTION ?PLACE))
      (holdsDuring
            (ImmediatePastFn
                  (WhenFn ?MOTION))
            (located ?OBJ ?PLACE)))
If motion shi4 yi2 dong4 de5 shi2 li4 and obj shi4 motion de5 shou4 shi4 zhe3 and motion (bu2) zhong1 jie2not(s) place, then obj wei4 yu1 place ""motion cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "motion cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4. 
(=>
      (and
            (instance ?MOTION Motion)
            (patient ?MOTION ?OBJ)
            (destination ?MOTION ?PLACE))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?MOTION))
            (located ?OBJ ?PLACE)))
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 
(=>
      (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 transfer shi4 zhuan3 yi2 huo4 zhuan3 huan4 de5 shi2 li4 and transfer shi4 agent de5 shi1 shi4 zhe3 and patient shi4 transfer de5 shou4 shi4 zhe3, then agent deng3 yu1 patient. 
(=>
      (and
            (instance ?TRANSFER Transfer)
            (agent ?TRANSFER ?AGENT)
            (patient ?TRANSFER ?PATIENT))
      (not
            (equal ?AGENT ?PATIENT)))
If remove shi4 yi2 chu2 de5 shi2 li4 and remove (bu2) qi3 yuan2s yu1 place and obj shi4 remove de5 shou4 shi4 zhe3, then obj wei4 yu1 place ""remove cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "remove cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and obj wei4 yu1 place ""remove cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "remove cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4. 
(=>
      (and
            (instance ?REMOVE Removing)
            (origin ?REMOVE ?PLACE)
            (patient ?REMOVE ?OBJ))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?REMOVE))
                  (located ?OBJ ?PLACE))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?REMOVE))
                  (not
                        (located ?OBJ ?PLACE)))))
If put shi4 fang4 zhi4 de5 shi2 li4 and put (bu2) zhong1 jie2not(s) place and obj shi4 put de5 shou4 shi4 zhe3, then obj wei4 yu1 place ""put cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "put cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and obj wei4 yu1 place ""put cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "put cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4. 
(=>
      (and
            (instance ?PUT Putting)
            (destination ?PUT ?PLACE)
            (patient ?PUT ?OBJ))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?PUT))
                  (not
                        (located ?OBJ ?PLACE)))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?PUT))
                  (located ?OBJ ?PLACE))))
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 touch shi4 chu4 dong4 de5 shi2 li4 and touch shi4 obj1 de5 shi1 shi4 zhe3 and obj2 shi4 touch de5 shou4 shi4 zhe3, then obj1 yu3 obj2 xiang1 lian2 ""touch cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "touch cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4. 
(=>
      (and
            (instance ?TOUCH Touching)
            (agent ?TOUCH ?OBJ1)
            (patient ?TOUCH ?OBJ2))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?TOUCH))
            (connected ?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 change shi4 yong1 you3 quan2 de5 zhuan3 yi2 de5 shi2 li4 and obj shi4 change de5 shou4 shi4 zhe3 and agent1 (mei2) yong1 you3not(s) obj ""change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and agent2 (mei2) yong1 you3not(s) obj ""change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4, then agent1 deng3 yu1 agent2. 
(=>
      (and
            (instance ?CHANGE ChangeOfPossession)
            (patient ?CHANGE ?OBJ)
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?CHANGE))
                  (possesses ?AGENT1 ?OBJ))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?CHANGE))
                  (possesses ?AGENT2 ?OBJ)))
      (not
            (equal ?AGENT1 ?AGENT2)))
If change shi4 yong1 you3 quan2 de5 zhuan3 yi2 de5 shi2 li4 and change (bu2) qi3 yuan2s yu1 agent1 and change (bu2) zhong1 jie2not(s) agent2 and agent2 shi4 shi1 shi4 zhe3 de5 shi2 li4 and obj shi4 change de5 shou4 shi4 zhe3, then agent1 (mei2) yong1 you3not(s) obj ""change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and agent2 (mei2) yong1 you3not(s) obj ""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 ChangeOfPossession)
            (origin ?CHANGE ?AGENT1)
            (destination ?CHANGE ?AGENT2)
            (instance ?AGENT2 Agent)
            (patient ?CHANGE ?OBJ))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?CHANGE))
                  (possesses ?AGENT1 ?OBJ))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?CHANGE))
                  (possesses ?AGENT2 ?OBJ))))
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 gei3 yu3 de5 shi2 li4 and give shi4 agent de5 shi1 shi4 zhe3, then give (bu2) qi3 yuan2s yu1 agent. 
(=>
      (and
            (instance ?GIVE Giving)
            (agent ?GIVE ?AGENT))
      (origin ?GIVE ?AGENT))
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 huo4 qu3 de5 shi2 li4 and get shi4 agent de5 shi1 shi4 zhe3, then get (bu2) zhong1 jie2not(s) agent. 
(=>
      (and
            (instance ?GET Getting)
            (agent ?GET ?AGENT))
      (destination ?GET ?AGENT))
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))))
If buy shi4 mai3 de5 shi2 li4 and buy shi4 agent de5 shi1 shi4 zhe3, then buy (bu2) zhong1 jie2not(s) agent. 
(=>
      (and
            (instance ?BUY Buying)
            (agent ?BUY ?AGENT))
      (destination ?BUY ?AGENT))
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 sell shi4 xiao1 shou4 de5 shi2 li4 and sell shi4 agent de5 shi1 shi4 zhe3, then sell (bu2) qi3 yuan2s yu1 agent. 
(=>
      (and
            (instance ?SELL Selling)
            (agent ?SELL ?AGENT))
      (origin ?SELL ?AGENT))
If learn shi4 xue2 xi2 de5 shi2 li4 and learn shi4 agent de5 shi1 shi4 zhe3, then agent shi4 ju4 ren4 zhi1 li4 shi1 shi4 zhe3 de5 shi2 li4. 
(=>
      (and
            (instance ?LEARN Learning)
            (agent ?LEARN ?AGENT))
      (instance ?AGENT CognitiveAgent))
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 agent shi4 ju4 ren4 zhi1 li4 shi1 shi4 zhe3 de5 shi2 li4, then agent ke3 yi3 ren4 jue2 se4 shi1 shi4 zhe3 zuo4 tui1 li3. 
(=>
      (instance ?AGENT CognitiveAgent)
      (capability Reasoning agent ?AGENT))
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)))))
(=>
      (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 confine shi4 xian4 ding4 de5 shi2 li4 and person shi4 confine de5 shou4 shi4 zhe3, then person not(¤£) ¾¬¨D(s) "person shi4 confine de5 shou4 shi4 zhe3". 
(=>
      (and
            (instance ?CONFINE Confining)
            (patient ?CONFINE ?PERSON))
      (not
            (desires
                  ?PERSON
                  (patient ?CONFINE ?PERSON))))
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 
(=>
      (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)))))))
If kill shi4 sha1 hai4 de5 shi2 li4 and kill shi4 agent de5 shi1 shi4 zhe3 and patient shi4 kill de5 shou4 shi4 zhe3, then agent shi4 sheng1 wu4 ti1 de5 shi2 li4 and patient shi4 sheng1 wu4 ti1 de5 shi2 li4. 
(=>
      (and
            (instance ?KILL Killing)
            (agent ?KILL ?AGENT)
            (patient ?KILL ?PATIENT))
      (and
            (instance ?AGENT Organism)
            (instance ?PATIENT Organism)))
If kill shi4 sha1 hai4 de5 shi2 li4 and patient shi4 kill de5 shou4 shi4 zhe3, then huo2 de5 shi4 patient de5 shu3 xing4 ""kill cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "kill cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and si3 shi4 patient de5 shu3 xing4 ""kill cun2 zai4 de5 shi2 jian1" zhi1 hou4"a(zhi1 zhong1) "kill cun2 zai4 de5 shi2 jian1" zhi1 hou4. 
(=>
      (and
            (instance ?KILL Killing)
            (patient ?KILL ?PATIENT))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?KILL))
                  (attribute ?PATIENT Living))
            (holdsDuring
                  (FutureFn
                        (WhenFn ?KILL))
                  (attribute ?PATIENT Dead))))
If poke shi4 chuo1 de5 shi2 li4 and poke shi4 agent de5 shi1 shi4 zhe3 and obj shi4 poke de5 shou4 shi4 zhe3 and inst dui4 poke shi4 gong1 ju4, then inst lian2 jie2 agent he2 obj "poke cun2 zai4 de5 shi2 jian1"a(zhi1 zhong1) poke cun2 zai4 de5 shi2 jian1. 
(=>
      (and
            (instance ?POKE Poking)
            (agent ?POKE ?AGENT)
            (patient ?POKE ?OBJ)
            (instrument ?POKE ?INST))
      (holdsDuring
            (WhenFn ?POKE)
            (connects ?INST ?AGENT ?OBJ)))
If attach shi4 tie1 fu4 de5 shi2 li4 and obj1 shi4 attach de5 shou4 shi4 zhe3 and obj2 shi4 attach de5 shou4 shi4 zhe3, then obj1 yu3 obj2 xiang1 lian2 ""attach cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "attach cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and obj1 yu3 obj2 xiang1 lian2 ""attach cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "attach cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4. 
(=>
      (and
            (instance ?ATTACH Attaching)
            (patient ?ATTACH ?OBJ1)
            (patient ?ATTACH ?OBJ2))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?ATTACH))
                  (not
                        (connected ?OBJ1 ?OBJ2)))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?ATTACH))
                  (connected ?OBJ1 ?OBJ2))))
If detach shi4 tuo1 li2 de5 shi2 li4 and obj1 shi4 detach de5 shou4 shi4 zhe3 and obj2 shi4 detach de5 shou4 shi4 zhe3, then obj1 yu3 obj2 xiang1 lian2 ""detach cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "detach cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and obj1 yu3 obj2 xiang1 lian2 ""detach cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "detach cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4. 
(=>
      (and
            (instance ?DETACH Detaching)
            (patient ?DETACH ?OBJ1)
            (patient ?DETACH ?OBJ2))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?DETACH))
                  (connected ?OBJ1 ?OBJ2))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?DETACH))
                  (not
                        (connected ?OBJ1 ?OBJ2)))))
combine shi4 jie2 he2 de5 shi2 li4 and obj1 dui4 combine shi4 zi1 yuan2 and obj2 shi4 combine de5 jie2 guo3 if and only if obj1 shi4 obj2 de5 bu4 fen5) ""combine cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "combine cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and obj1 shi4 obj2 de5 bu4 fen5) ""combine cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "combine cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4. 
(<=>
      (and
            (instance ?COMBINE Combining)
            (resource ?COMBINE ?OBJ1)
            (result ?COMBINE ?OBJ2))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?COMBINE))
                  (not
                        (part ?OBJ1 ?OBJ2)))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?COMBINE))
                  (part ?OBJ1 ?OBJ2))))
If , then stuff shi4 chun2 wu4 zhi4 de5 shi2 li4. 
(=>
      (and
            (instance ?PROC ChemicalProcess)
            (or
                  (resource ?PROC ?STUFF)
                  (result ?PROC ?STUFF)))
      (instance ?STUFF PureSubstance))
If substance1 dui4 proc shi4 zi1 yuan2 and substance2 shi4 proc de5 jie2 guo3 and substance1 shi4 ji1 ben3 wu4 zhi4 de5 shi2 li4 and substance2 shi4 hua4 he2 wu4 de5 shi2 li4, then proc shi4 hua4 xue2 he2 cheng2 de5 shi2 li4. 
(=>
      (and
            (resource ?PROC ?SUBSTANCE1)
            (result ?PROC ?SUBSTANCE2)
            (instance ?SUBSTANCE1 ElementalSubstance)
            (instance ?SUBSTANCE2 CompoundSubstance))
      (instance ?PROC ChemicalSynthesis))
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 substance1 dui4 proc shi4 zi1 yuan2 and substance2 shi4 proc de5 jie2 guo3 and substance1 shi4 hua4 he2 wu4 de5 shi2 li4 and substance2 shi4 ji1 ben3 wu4 zhi4 de5 shi2 li4, then proc shi4 hua4 xue2 fen1 jie3 de5 shi2 li4. 
(=>
      (and
            (resource ?PROC ?SUBSTANCE1)
            (result ?PROC ?SUBSTANCE2)
            (instance ?SUBSTANCE1 CompoundSubstance)
            (instance ?SUBSTANCE2 ElementalSubstance))
      (instance ?PROC ChemicalDecomposition))
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 
(=>
      (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 
(=>
      (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 and obj shi4 wet de5 shou4 shi4 zhe3, then shi1 de5 shi4 obj de5 shu3 xing4 or chao2 shi1 shi4 obj de5 shu3 xing4 ""wet cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "wet cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4. 
(=>
      (and
            (instance ?WET Wetting)
            (patient ?WET ?OBJ))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?WET))
            (or
                  (attribute ?OBJ Wet)
                  (attribute ?OBJ Damp))))
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 dry shi4 qian2 zao4 de5 shi2 li4 and obj shi4 dry de5 shou4 shi4 zhe3, then qian2 de5 shi4 obj de5 shu3 xing4 ""dry cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "dry cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4. 
(=>
      (and
            (instance ?DRY Drying)
            (patient ?DRY ?OBJ))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?DRY))
            (attribute ?OBJ Dry)))
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 pub shi4 chu1 ban3 de5 shi2 li4 and text shi4 pub de5 shou4 shi4 zhe3, then text shi4 wen2 ben3 de5 ci4 zhong3 lei4. 
(=>
      (and
            (instance ?PUB Publication)
            (patient ?PUB ?TEXT))
      (subclass ?TEXT Text))
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 search shi4 tan4 xun2 de5 shi2 li4 and search shi4 agent de5 shi1 shi4 zhe3 and entity shi4 search de5 shou4 shi4 zhe3, then agent zai4 entity fan4 wei2 zhong1. 
(=>
      (and
            (instance ?SEARCH Searching)
            (agent ?SEARCH ?AGENT)
            (patient ?SEARCH ?ENTITY))
      (inScopeOfInterest ?AGENT ?ENTITY))
If pursue shi4 zhui1 de5 shi2 li4 and pursue shi4 agent de5 shi1 shi4 zhe3 and obj shi4 pursue de5 shou4 shi4 zhe3, then agent (bu2) xiang3 yao4not(s) obj pursuea(zhi1 zhong1) pursue. 
(=>
      (and
            (instance ?PURSUE Pursuing)
            (agent ?PURSUE ?AGENT)
            (patient ?PURSUE ?OBJ))
      (holdsDuring
            ?PURSUE
            (wants ?AGENT ?OBJ)))
If pursue shi4 zhui1 de5 shi2 li4 and pursue shi4 agent de5 shi1 shi4 zhe3 and obj shi4 pursue de5 shou4 shi4 zhe3, then agent not(mei2) yong1 you3(s) obj pursuea(zhi1 zhong1) pursue. 
(=>
      (and
            (instance ?PURSUE Pursuing)
            (agent ?PURSUE ?AGENT)
            (patient ?PURSUE ?OBJ))
      (holdsDuring
            ?PURSUE
            (not
                  (possesses ?AGENT ?OBJ))))
If investigate shi4 diao4 cha2 de5 shi2 li4 and prop shi4 investigate de5 shou4 shi4 zhe3, then prop shi4 SUO-KIFbiao3 shu4 shi4 de5 shi2 li4. 
(=>
      (and
            (instance ?INVESTIGATE Investigating)
            (patient ?INVESTIGATE ?PROP))
      (instance ?PROP Formula))
If investigate shi4 diao4 cha2 de5 shi2 li4 and investigate shi4 agent de5 shi1 shi4 zhe3 and prop shi4 investigate de5 shou4 shi4 zhe3, then agent not(bu2zhi1 dao4 "investigate cun2 zai4 de5 shi2 jian1"a(zhi1 zhong1) investigate cun2 zai4 de5 shi2 jian1. 
(=>
      (and
            (instance ?INVESTIGATE Investigating)
            (agent ?INVESTIGATE ?AGENT)
            (patient ?INVESTIGATE ?PROP))
      (holdsDuring
            (WhenFn ?INVESTIGATE)
            (not
                  (knows ?AGENT ?PROP))))
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 state shi4 xu4 shu4 de5 shi2 li4 and state shi4 agent de5 shi1 shi4 zhe3 and formula shi4 state de5 shou4 shi4 zhe3 and formula shi4 SUO-KIFbiao3 shu4 shi4 de5 shi2 li4, then agent (bu2)xiang1 xin4 formula "state cun2 zai4 de5 shi2 jian1"a(zhi1 zhong1) state cun2 zai4 de5 shi2 jian1. 
(=>
      (and
            (instance ?STATE Stating)
            (agent ?STATE ?AGENT)
            (patient ?STATE ?FORMULA)
            (instance ?FORMULA Formula))
      (holdsDuring
            (WhenFn ?STATE)
            (believes ?AGENT ?FORMULA)))
If order shi4 ming4 ling4 de5 shi2 li4 and formula shi4 order de5 shou4 shi4 zhe3, then chen2 shu4 formula you3 yi4 wu4 de5 xing2 tai4 yi4 yi4. 
(=>
      (and
            (instance ?ORDER Ordering)
            (patient ?ORDER ?FORMULA))
      (modalAttribute ?FORMULA Obligation))
If request shi4 qing3 qiu2 de5 shi2 li4 and request shi4 agent de5 shi1 shi4 zhe3 and formula shi4 request de5 shou4 shi4 zhe3 and formula shi4 SUO-KIFbiao3 shu4 shi4 de5 shi2 li4, then agent (¤£) ¾¬¨Dnot(s) formula. 
(=>
      (and
            (instance ?REQUEST Requesting)
            (agent ?REQUEST ?AGENT)
            (patient ?REQUEST ?FORMULA)
            (instance ?FORMULA Formula))
      (desires ?AGENT ?FORMULA))
If question shi4 xun2 wen4 de5 shi2 li4 and question shi4 agent de5 shi1 shi4 zhe3 and formula shi4 question de5 shou4 shi4 zhe3 and formula shi4 SUO-KIFbiao3 shu4 shi4 de5 shi2 li4, then agent not(bu2zhi1 dao4 "question cun2 zai4 de5 shi2 jian1"a(zhi1 zhong1) question cun2 zai4 de5 shi2 jian1. 
(=>
      (and
            (instance ?QUESTION Questioning)
            (agent ?QUESTION ?AGENT)
            (patient ?QUESTION ?FORMULA)
            (instance ?FORMULA Formula))
      (holdsDuring
            (WhenFn ?QUESTION)
            (not
                  (knows ?AGENT ?FORMULA))))
If commit shi4 cheng2 nuo4 de5 shi2 li4 and formula shi4 commit de5 shou4 shi4 zhe3 and formula shi4 SUO-KIFbiao3 shu4 shi4 de5 shi2 li4, then chen2 shu4 formula you3 cheng2 nuo4 de5 xing2 tai4 yi4 yi4. 
(=>
      (and
            (instance ?COMMIT Committing)
            (patient ?COMMIT ?FORMULA)
            (instance ?FORMULA Formula))
      (modalAttribute ?FORMULA Promise))
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))))
(=>
      (instance ?COOPERATE Cooperation)
      (exists
            (?PURP)
            (forall
                  (?AGENT)
                  (=>
                        (agent ?COOPERATE ?AGENT)
                        (hasPurposeForAgent ?COOPERATE ?PURP ?AGENT)))))
If meet shi4 hui4 mian4 de5 shi2 li4 and meet shi4 agent1 de5 shi1 shi4 zhe3 and meet shi4 agent2 de5 shi1 shi4 zhe3, then agent1 dui4 agent2 shi4 jie1 jin4 "meet cun2 zai4 de5 shi2 jian1"a(zhi1 zhong1) meet cun2 zai4 de5 shi2 jian1. 
(=>
      (and
            (instance ?MEET Meeting)
            (agent ?MEET ?AGENT1)
            (agent ?MEET ?AGENT2))
      (holdsDuring
            (WhenFn ?MEET)
            (orientation ?AGENT1 ?AGENT2 Near)))
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))))
(=>
      (and
            (instance ?WAR War)
            (agent ?WAR ?AGENT))
      (or
            (instance ?AGENT Nation)
            (and
                  (instance ?AGENT Organization)
                  (forall
                        (?MEMBER)
                        (=>
                              (member ?MEMBER ?AGENT)
                              (instance ?MEMBER Nation))))))
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 percept shi4 zhi1 jiao4 de5 shi2 li4 and percept shi4 agent de5 shi1 shi4 zhe3, then agent shi4 dong4 wu4 de5 shi2 li4. 
(=>
      (and
            (instance ?PERCEPT Perception)
            (agent ?PERCEPT ?AGENT))
      (instance ?AGENT Animal))
If percept shi4 zhi1 jiao4 de5 shi2 li4 and percept shi4 agent de5 shi1 shi4 zhe3 and object shi4 percept de5 shou4 shi4 zhe3, then agent (mei2) zhu4 yi4 dao4not(s) object. 
(=>
      (and
            (instance ?PERCEPT Perception)
            (agent ?PERCEPT ?AGENT)
            (patient ?PERCEPT ?OBJECT))
      (notices ?AGENT ?OBJECT))
If agent shi4 neng2 zhi1 jiao4 de5 hang2 wei2 zhu3 ti1 de5 shi2 li4, then agent ke3 yi3 ren4 jue2 se4 jing1 yan4 zhe3 zuo4 zhi1 jiao4. 
(=>
      (instance ?AGENT SentientAgent)
      (capability Perception experiencer ?AGENT))
If see shi4 kan4 de5 shi2 li4 and see shi4 agent de5 shi1 shi4 zhe3 and obj shi4 see de5 shou4 shi4 zhe3, then 
(=>
      (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 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 parent shi4 child de5 shuang1 qin1 and class shi4 sheng1 wu4 ti1 de5 ci4 zhong3 lei4 and parent shi4 class de5 shi2 li4, then child shi4 class de5 shi2 li4. 
(=>
      (and
            (parent ?CHILD ?PARENT)
            (subclass ?CLASS Organism)
            (instance ?PARENT ?CLASS))
      (instance ?CHILD ?CLASS))
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)))
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 fungus shi4 zhen1 jun1 de5 shi2 li4 and fungus zhu4s zai4 obj, then obj shi4 sheng1 wu4 ti1 de5 shi2 li4. 
(=>
      (and
            (instance ?FUNGUS Fungus)
            (inhabits ?FUNGUS ?OBJ))
      (instance ?OBJ Organism))
(=>
      (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 bacterium shi4 xi4 jun1 de5 shi2 li4 and bacterium zhu4s zai4 obj, then obj shi4 sheng1 wu4 ti1 de5 shi2 li4. 
(=>
      (and
            (instance ?BACTERIUM Bacterium)
            (inhabits ?BACTERIUM ?OBJ))
      (instance ?OBJ Organism))
(=>
      (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 virus zhu4s zai4 obj, then obj shi4 sheng1 wu4 ti1 de5 shi2 li4. 
(=>
      (and
            (instance ?VIRUS Virus)
            (inhabits ?VIRUS ?OBJ))
      (instance ?OBJ Organism))
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))))
(=>
      (instance ?FOOD Food)
      (forall
            (?PART1)
            (=>
                  (part ?PART1 ?FOOD)
                  (exists
                        (?PART2 ?ANIMAL)
                        (and
                              (part ?PART1 ?PART2)
                              (part ?PART2 ?ANIMAL)
                              (instance ?ANIMAL Animal))))))
(=>
      (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))))))))
(=>
      (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 bev shi4 yin3 liao4 de5 shi2 li4, then ye4 ti1 de5 shi4 bev de5 shu3 xing4. 
(=>
      (instance ?BEV Beverage)
      (attribute ?BEV Liquid))
If drink shi4 he1 de5 shi2 li4 and bev shi4 drink de5 shou4 shi4 zhe3, then bev shi4 yin3 liao4 de5 shi2 li4. 
(=>
      (and
            (instance ?DRINK Drinking)
            (patient ?DRINK ?BEV))
      (instance ?BEV Beverage))
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 de5 ban3 ben3 int1 " deng3 yu1 edition1 and "text de5 ban3 ben3 int2 " deng3 yu1 edition2 and int2 (bu2) da4 yu1 int1 and pub1 shi4 chu1 ban3 de5 shi2 li4 and pub2 shi4 chu1 ban3 de5 shi2 li4 and edition1 shi4 pub1 de5 shou4 shi4 zhe3 and edition2 shi4 pub2 de5 shou4 shi4 zhe3 and pub1 de5 ri4 qi1 shi4 date1 and pub2 de5 ri4 qi1 shi4 date2, then "date1 de5 jie2 shu4" (mei2) fa1 sheng1?{s} zai4 "date2 de5 jie2 shu4" zhi1 qian2. 
(=>
      (and
            (equal
                  (EditionFn ?TEXT ?INT1)
                  ?EDITION1)
            (equal
                  (EditionFn ?TEXT ?INT2)
                  ?EDITION2)
            (greaterThan ?INT2 ?INT1)
            (instance ?PUB1 Publication)
            (instance ?PUB2 Publication)
            (patient ?PUB1 ?EDITION1)
            (patient ?PUB2 ?EDITION2)
            (date ?PUB1 ?DATE1)
            (date ?PUB2 ?DATE2))
      (before
            (EndFn ?DATE1)
            (EndFn ?DATE2)))
If text shi4 qi1 kan1 de5 ci4 zhong3 lei4 and "ce4 int1 zai4 xi4 lie4 shu4 text" deng3 yu1 volume1 and "ce4 int2 zai4 xi4 lie4 shu4 text" deng3 yu1 volume2 and int2 (bu2) da4 yu1 int1 and pub1 shi4 chu1 ban3 de5 shi2 li4 and pub2 shi4 chu1 ban3 de5 shi2 li4 and volume1 shi4 pub1 de5 shou4 shi4 zhe3 and volume2 shi4 pub2 de5 shou4 shi4 zhe3 and pub1 de5 ri4 qi1 shi4 date1 and pub2 de5 ri4 qi1 shi4 date2, then "date1 de5 jie2 shu4" (mei2) fa1 sheng1?{s} zai4 "date2 de5 jie2 shu4" zhi1 qian2. 
(=>
      (and
            (subclass ?TEXT Periodical)
            (equal
                  (SeriesVolumeFn ?TEXT ?INT1)
                  ?VOLUME1)
            (equal
                  (SeriesVolumeFn ?TEXT ?INT2)
                  ?VOLUME2)
            (greaterThan ?INT2 ?INT1)
            (instance ?PUB1 Publication)
            (instance ?PUB2 Publication)
            (patient ?PUB1 ?VOLUME1)
            (patient ?PUB2 ?VOLUME2)
            (date ?PUB1 ?DATE1)
            (date ?PUB2 ?DATE2))
      (before
            (EndFn ?DATE1)
            (EndFn ?DATE2)))
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))))
(=>
      (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 
(=>
      (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 instrument shi4 le4 qi4 de5 shi2 li4, then instrument ke3 yi3 ren4 jue2 se4 gong1 ju4 zuo4 yin1 le4. 
(=>
      (instance ?INSTRUMENT MusicalInstrument)
      (capability Music instrument ?INSTRUMENT))
If device shi4 yun4 shu1 gong1 ju4 de5 shi2 li4, then device ke3 yi3 ren4 jue2 se4 gong1 ju4 zuo4 yun4 shu1. 
(=>
      (instance ?DEVICE TransportationDevice)
      (capability Transportation instrument ?DEVICE))
If weapon shi4 wu3 qi4 de5 shi2 li4, then weapon ke3 yi3 ren4 jue2 se4 gong1 ju4 zuo4 sun3 hai4. 
(=>
      (instance ?WEAPON Weapon)
      (capability Damaging instrument ?WEAPON))
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 ". 
(=>
      (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))))))))
(=>
      (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))))
If comp1 yu3 comp2 lian2 jie2, then comp1 shi4 gong1 cheng2 lian2 jie2 yuan2 jian4 de5 shi2 li4 and comp2 shi4 gong1 cheng2 lian2 jie2 yuan2 jian4 de5 shi2 li4. 
(=>
      (connectedEngineeringComponents ?COMP1 ?COMP2)
      (not
            (or
                  (instance ?COMP1 EngineeringConnection)
                  (instance ?COMP2 EngineeringConnection))))
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 group shi4 qun2 ti1 de5 shi2 li4 and memb shi4 groupde5 cheng2 yuan2, then memb shi4 shi1 shi4 zhe3 de5 shi2 li4. 
(=>
      (and
            (instance ?GROUP Group)
            (member ?MEMB ?GROUP))
      (instance ?MEMB Agent))
(=>
      (instance ?GROUP AgeGroup)
      (forall
            (?MEMB1 ?MEMB2 ?AGE1 ?AGE2)
            (=>
                  (and
                        (member ?MEMB1 ?GROUP)
                        (member ?MEMB2 ?GROUP)
                        (age ?MEMB1 ?AGE1)
                        (age ?MEMB2 ?AGE2))
                  (equal ?AGE1 ?AGE2))))
(=>
      (instance ?GROUP FamilyGroup)
      (forall
            (?MEMB1 ?MEMB2)
            (=>
                  (and
                        (member ?MEMB1 ?GROUP)
                        (member ?MEMB2 ?GROUP))
                  (familyRelation ?MEMB1 ?MEMB2))))
If "unit de5 he2 fa3 zu3 zhi1 shi2 ti3 " deng3 yu1 org and attr shi4 gui1 fan4 shu3 xing4 de5 shi2 li4, then attr shi4 unit de5 shu3 xing4 if and only if attr shi4 org de5 shu3 xing4. 
(=>
      (and
            (equal
                  (OrganizationFn ?UNIT)
                  ?ORG)
            (instance ?ATTR NormativeAttribute))
      (<=>
            (attribute ?UNIT ?ATTR)
            (attribute ?ORG ?ATTR)))
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 item you3 shu3 xing4 value and value shi4 zhen1 zhi2 de5 shi2 li4, then item shi4 ju4 zi5 de5 shi2 li4 or item shi4 ming4 ti2 de5 shi2 li4. 
(=>
      (and
            (property ?ITEM ?VALUE)
            (instance ?VALUE TruthValue))
      (or
            (instance ?ITEM Sentence)
            (instance ?ITEM Proposition)))
If obj1 dui4 obj2 shi4 attr1 and attr1 shi4 fang1 xiang4 shu3 xing4 de5 shi2 li4 and attr2 shi4 fang1 xiang4 shu3 xing4 de5 shi2 li4 and attr1 deng3 yu1 attr2, then obj1 dui4 obj2 shi4 not attr2. 
(=>
      (and
            (orientation ?OBJ1 ?OBJ2 ?ATTR1)
            (instance ?ATTR1 DirectionalAttribute)
            (instance ?ATTR2 DirectionalAttribute)
            (not
                  (equal ?ATTR1 ?ATTR2)))
      (not
            (orientation ?OBJ1 ?OBJ2 ?ATTR2)))
If direct shi4 fang1 xiang4 shu3 xing4 de5 shi2 li4 and obj1 dui4 obj2 shi4 direct and obj2 dui4 obj3 shi4 direct, then obj2 jie4 yu1 obj1 he2 obj33 zhong1 jian1. 
(=>
      (and
            (instance ?DIRECT DirectionalAttribute)
            (orientation ?OBJ1 ?OBJ2 ?DIRECT)
            (orientation ?OBJ2 ?OBJ3 ?DIRECT))
      (between ?OBJ1 ?OBJ2 ?OBJ33))
If attribute shi4 person de5 shu3 xing4 and attribute shi4 she4 hui4 jue2 se4 de5 shi2 li4, then person shi4 ren2 lei4 de5 shi2 li4. 
(=>
      (and
            (attribute ?PERSON ?ATTRIBUTE)
            (instance ?ATTRIBUTE SocialRole))
      (instance ?PERSON Human))
For all org holds: org not(mei2) gu4 yong4(s) person and person shi4 ren2 lei4 de5 shi2 li4 if and only if shi1 ye4 de5 shi4 person de5 shu3 xing4. 
(<=>
      (forall
            (?ORG)
            (and
                  (not
                        (employs ?ORG ?PERSON))
                  (instance ?PERSON Human)))
      (attribute ?PERSON Unemployed))
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)))))
If obj shi4 rong2 ye4 de5 shi2 li4, then ye4 ti1 de5 shi4 obj de5 shu3 xing4. 
(=>
      (instance ?OBJ Solution)
      (attribute ?OBJ Liquid))
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))))
(=>
      (and
            (attribute ?OBJ Monochromatic)
            (superficialPart ?PART ?OBJ)
            (attribute ?PART ?COLOR)
            (instance ?COLOR PrimaryColor))
      (forall
            (?ELEMENT)
            (=>
                  (superficialPart ?ELEMENT ?OBJ)
                  (attribute ?ELEMENT ?COLOR))))
If obj shi4 wu4 ti1 de5 shi2 li4, then dan1 se4 de5 shi4 obj de5 shu3 xing4 or duo1 cai3 de5 shi4 obj de5 shu3 xing4. 
(=>
      (instance ?OBJ Object)
      (or
            (attribute ?OBJ Monochromatic)
            (attribute ?OBJ Polychromatic)))
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 obj shi4 zi4 shen1 lian2 xu4 wu4 ti1 de5 shi2 li4, then ke3 bian4 xing2 de5 shi4 obj de5 shu3 xing4 or bu2 yi4 wan1 qu3 de5 shi4 obj de5 shu3 xing4. 
(=>
      (instance ?OBJ SelfConnectedObject)
      (or
            (attribute ?OBJ Pliable)
            (attribute ?OBJ Rigid)))
If attribute shi4 biao3 mian4 zhi4 di4 shu3 xing4 de5 shi2 li4 and attribute shi4 obj de5 shu3 xing4 and surface shi4 obj de5 biao3 mian4, then attribute shi4 surface de5 shu3 xing4. 
(=>
      (and
            (instance ?ATTRIBUTE TextureAttribute)
            (attribute ?OBJ ?ATTRIBUTE)
            (surface ?SURFACE ?OBJ))
      (attribute ?SURFACE ?ATTRIBUTE))
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 att shi4 org de5 shu3 xing4 and att shi4 sheng1 wu4 shu3 xing4 de5 shi2 li4, then org shi4 sheng1 wu4 ti1 de5 shi2 li4. 
(=>
      (and
            (attribute ?ORG ?ATT)
            (instance ?ATT BiologicalAttribute))
      (instance ?ORG Organism))
If organism shi4 sheng1 wu4 ti1 de5 shi2 li4 and process shi4 organism de5 shi1 shi4 zhe3, then huo2 de5 shi4 organism de5 shu3 xing4 "process cun2 zai4 de5 shi2 jian1"a(zhi1 zhong1) process cun2 zai4 de5 shi2 jian1. 
(=>
      (and
            (instance ?ORGANISM Organism)
            (agent ?PROCESS ?ORGANISM))
      (holdsDuring
            (WhenFn ?PROCESS)
            (attribute ?ORGANISM Living)))
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 body shi4 sheng1 zhi2 gou4 zao4 de5 shi2 li4 and body shi4 org de5 bu4 fen5) and org shi4 sheng1 wu4 ti1 de5 shi2 li4, then ci2 xing4 shi4 org de5 shu3 xing4. 
(=>
      (and
            (instance ?BODY ReproductiveBody)
            (part ?BODY ?ORG)
            (instance ?ORG Organism))
      (attribute ?ORG Female))
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))))))
(=>
      (instance ?ATTR PsychologicalAttribute)
      (=>
            (holdsDuring
                  ?TIME
                  (attribute ?ORGANISM ?ATTR))
            (holdsDuring
                  ?TIME
                  (attribute ?ORGANISM Living))))
If attr shi4 xin1 li3 shu3 xing4 de5 shi2 li4 and attr shi4 agent de5 shu3 xing4, then agent shi4 neng2 zhi1 jiao4 de5 hang2 wei2 zhu3 ti1 de5 shi2 li4. 
(=>
      (and
            (instance ?ATTR PsychologicalAttribute)
            (attribute ?AGENT ?ATTR))
      (instance ?AGENT SentientAgent))
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 "class1 he2 class2 de5 lian2 ji2" de5 shi2 li4 if and only if entity shi4 class1 de5 shi2 li4 or entity shi4 class2 de5 shi2 li4. 
(<=>
      (instance
            ?ENTITY
            (UnionFn ?CLASS1 ?CLASS2))
      (or
            (instance ?ENTITY ?CLASS1)
            (instance ?ENTITY ?CLASS2)))
entity shi4 "class1 he2 class2 de5 lian2 ji2" de5 shi2 li4 if and only if entity shi4 class1 de5 shi2 li4 and entity shi4 class2 de5 shi2 li4. 
(<=>
      (instance
            ?ENTITY
            (IntersectionFn ?CLASS1 ?CLASS2))
      (and
            (instance ?ENTITY ?CLASS1)
            (instance ?ENTITY ?CLASS2)))
entity shi4 "class de5 hu4 bu3" de5 shi2 li4 if and only if entity shi4 class de5 shi2 li4. 
(<=>
      (instance
            ?ENTITY
            (ComplementFn ?CLASS))
      (not
            (instance ?ENTITY ?CLASS)))
If class1 shi4 ji2 he2 huo4 zhong3 lei4 de5 shi2 li4 and class2 shi4 ji2 he2 huo4 zhong3 lei4 de5 shi2 li4, then "class1 he2 class2 de5 cha4 yi4" deng3 yu1 "class1 he2 "class2 de5 hu4 bu3" de5 lian2 ji2". 
(=>
      (and
            (instance ?CLASS1 SetOrClass)
            (instance ?CLASS2 SetOrClass))
      (equal
            (RelativeComplementFn ?CLASS1 ?CLASS2)
            (IntersectionFn
                  ?CLASS1
                  (ComplementFn ?CLASS2))))
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))))
entity shi4 "superclass de5 suo3 you3 yuan2 su4 de5 jiao1 ji2" de5 shi2 li4 if and only if for all class holds: if class shi4 superclass de5 shi2 li4, then entity shi4 class de5 shi2 li4. 
(<=>
      (instance
            ?ENTITY
            (GeneralizedIntersectionFn ?SUPERCLASS))
      (forall
            (?CLASS)
            (=>
                  (instance ?CLASS ?SUPERCLASS)
                  (instance ?ENTITY ?CLASS))))
subclass shi4 "class de5 suo3 you3 ci4 zhong3 lei4" de5 shi2 li4 if and only if subclass shi4 class de5 ci4 zhong3 lei4. 
(<=>
      (instance
            ?SUBCLASS
            (PowerSetFn ?CLASS))
      (subclass ?SUBCLASS ?CLASS))