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

shu3 xing4 (attribute)

(attribute object property) means that property is a Attribute of object. For example, (attribute MyLittleRedWagon Red).

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

bu2 dui4 chen4 guan1 xi4
is instance of
fei1 fan3 shen1 guan1 xi4
is instance of
is instance of
  shu3 xing4  

Superrelation(s)

te4 xing4
is subrelation of
  shu3 xing4  

Subrelation(s)

fa1 zhan3 qi1 xing2 shi4 

Coordinate term(s)

fan3 mian4 han2 shu4  ji4 shu4 han2 shu4  zheng4 mian4 han2 shu4  zhu3 ti1 han2 shu4  huo4 ran2 lv4 han2 shu4  biao3 pi2 han2 shu4  zuo4 zhe3  xian1 yu1  zhao4 yin1  ci4 lei4 zhao4 yin1  gong1 min2  feng1 bi4 yu1  tian2 man3  yi3 lian2 jie2 gong1 cheng2 yuan2 jian4  bao1 han2 xun4 xi1  xiang1 jiao1  ri4 qi1  jiang4 di1 ke3 neng2 xing4  fa1 zhan3 qi1 xing2 shi4  wu2 jiao1 ji2  wen2 zi4 shuo1 ming2  chi2 xu4 shi2 jian1  qi1 jian1  jiao4 zao3  bian1 zhe3  yuan2 su4  deng3 tong2 guan1 xi4 yu1  li4 yong4  yi3...yu3 yan2 biao3 da2  tian2 chong1  wan2 cheng2  ci4 shu4  tu2 bu4 fen5  da4 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  zhi2 jie1 shi2 li4  zhi2 jie1 ci4 zhong3 lei4  chuan4 lie4 zhong1  zai4 zhu4 yi4 fan4 wei2 zhong1  zeng1 jia1 ke3 neng2 xing4  ju1 zhu4  yi4 zhi4  na4 bu4  fei1 fan3 she4 yu1...  da4 yu1  xiao3 yu1  fang1 shi4/qing2 zhuang4  ce4 liang4  kong1 jian1 shang4 jie1 chu4  shi2 duan4 xiang1 jie1  cheng2 yuan2  qing2 tai4 shu3 xing4  bu4 fen5 zhong4 die2  Âù¿Ë  pian1 xu4 yu1...  bu4 fen5 tian2 chong1  lu4 jing4 chang2  chuan1 ru4  yong1 you3  xian1 jue2 tiao2 jian4  bi4 mian3  zheng4 bu4 fen5  shi4 dang4 tian2 chong1  chu1 ban3  fan4 wei2  fan4 wei2 ci4 zhong3 lei4  shi2 xian4  fan3 she4 yu1...  xiong1 di4 zi3 mei4  xiao3 yu1  kai1 shi3  ci4 ju4 ji2  ci4 zu3 zhi1  ci4 ji4 hua4  ci4 ming4 ti2  xu4 jie1 shu3 xing4  feng1 bi4 xu4 jie1 shu3 xing4  wai4 biao3 bu4 fen5  biao3 mian4  shi2 jian1 bu4 fen5  shi2 jian1  quan2 xu4 yu1...  san1 fen1 fa3  shi3 yong4  jie2 he2 jia4  ren2 zao4 wu4 ban3 ben3 

Type restrictions

attribute(wu4 ti1)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (63)

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))
wu2 jiao1 ji2 guan1 xi4(fang1 shi4/qing2 zhuang4,shu3 xing4) holds. 
(disjointRelation manner attribute)
(=>
      (copy ?OBJ1 ?OBJ2)
      (forall
            (?ATTR)
            (=>
                  (attribute ?OBJ1 ?ATTR)
                  (attribute ?OBJ2 ?ATTR))))
If there exists time so_that_not obj (mei2) tian2 chong1s hole timea(zhi1 zhong1) time, then ke3 tian2 chong1 de5 shi4 hole de5 shu3 xing4. 
(=>
      (exists
            (?TIME)
            (holdsDuring
                  ?TIME
                  (fills ?OBJ ?HOLE)))
      (attribute ?HOLE Fillable))
ke3 tian2 chong1 de5 shi4 hole1 de5 shu3 xing4 if and only if there exists dong4 hole2 so_that_not hole1 shi4 hole2 de5 bu4 fen5). 
(<=>
      (attribute ?HOLE1 Fillable)
      (exists
            (?HOLE2)
            (and
                  (instance ?HOLE2 Hole)
                  (part ?HOLE1 ?HOLE2))))
If obj1 (mei2) tian2 chong1s hole and ke3 tian2 chong1 de5 shi4 obj2 de5 shu3 xing4, then obj1 not(mei2) yu3 obj2 zhong4 die2. 
(=>
      (and
            (fills ?OBJ1 ?HOLE)
            (attribute ?OBJ2 Fillable))
      (not
            (overlapsSpatially ?OBJ1 ?OBJ2)))
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 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 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 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 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 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 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 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))))
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 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 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 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 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 mother shi4 child de5 mu3 qin1, then ci2 xing4 shi4 mother de5 shu3 xing4. 
(=>
      (mother ?CHILD ?MOTHER)
      (attribute ?MOTHER Female))
If father shi4 child de5 fu4 qin1, then xiong2 xing4 shi4 father de5 shu3 xing4. 
(=>
      (father ?CHILD ?FATHER)
      (attribute ?FATHER Male))
If bev shi4 yin3 liao4 de5 shi2 li4, then ye4 ti1 de5 shi4 bev de5 shu3 xing4. 
(=>
      (instance ?BEV Beverage)
      (attribute ?BEV Liquid))
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 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 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 qian2 de5 shi4 obj de5 shu3 xing4, then there doesn't exist subobj so_that_not subobj shi4 obj de5 bu4 fen5) and ye4 ti1 de5 shi4 subobj de5 shu3 xing4. 
(=>
      (attribute ?OBJ Dry)
      (not
            (exists
                  (?SUBOBJ)
                  (and
                        (part ?SUBOBJ ?OBJ)
                        (attribute ?SUBOBJ Liquid)))))
(=>
      (attribute ?OBJ Wet)
      (forall
            (?PART)
            (=>
                  (part ?PART ?OBJ)
                  (exists
                        (?SUBPART)
                        (and
                              (part ?SUBPART ?PART)
                              (attribute ?SUBPART Liquid))))))
If bu2 yi4 sui4 de5 shi4 obj de5 shu3 xing4, then there doesn't exist sun3 hai4 damage so_that_not obj shi4 damage de5 shou4 shi4 zhe3. 
(=>
      (attribute ?OBJ Unbreakable)
      (not
            (exists
                  (?DAMAGE)
                  (and
                        (instance ?DAMAGE Damaging)
                        (patient ?DAMAGE ?OBJ)))))
If 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))))