cun2 zai4 shi2 jian1 han2 shu4 (WhenFn)
A UnaryFunction that maps an Object or
Process to the exact TimeInterval during which it exists. Note
that, for every TimePoint time outside of the TimeInterval
(WhenFn thing), (time thing time) does not hold.
Ontology
SUMO / TEMPORAL-CONCEPTSClass(es)
Coordinate term(s)
jue2 dui4 zhi2 han2 shu4
miao2 shu4 han2 shu4
hu2 yu2 xian2
hu2 zheng4 xian2
hu2 zheng4 qie1
fan3 mian4 han2 shu4
shi2 jian1 kai1 shi3 han2 shu4
zui4 chu1 jie2 dian3 han2 shu4
ji4 shu4 han2 shu4
shang4 xian4 han2 shu4
hu4 bu3 han2 shu4
yu2 xian2 han2 shu4
xiang1 jiao1 lu4 jing4 han2 shu4
ri4 han2 shu4
dan1 wei4 han2 shu4
shi2 jian1 jie2 shu4 han2 shi4
zui4 hou4 jie2 dian3 han2 shu4
fan4 wei2 han2 shu4
xia4 xian4 han2 shu4
zheng4 mian4 han2 shu4
shi2 jian1 wei4 lai2 han2 shi4
gai4 hua4 han2 shu4
gai4 hua4 lian2 ji2 han2 shu4
shi2 yi4 ji4 han2 shu4
xiao3 shi2 han2 shu4
xu1 shu4 han2 shu4
zui4 jin4 wei4 lai2 shi2 jian1 han2 shu4
zui4 jin4 guo4 qu4 shi2 jian1 han2 shu4
qi3 shi3 jie2 dian3 han2 shu4
zheng3 shu4 ping2 fang1 gen1 han2 shu4
qian1 ji4 han2 shu4
lie4 zhang3 han2 shu4
ji2 shu4 han2 shu4
bai3 wan4 ji4 han2 shu4
bai3 wan4 fen1 zhi1 yi1 ji4 han2 shu4
qian1 fen1 zhi1 yi1 ji4 han2 shu4
zui4 xiao3 xiang1 jiao1 lu4 jing4 han2 shu4
fen1 zhong1 han2 shu4
yue4 fen4 han2 shu4
nai4 mi3 han2 shu4
fen1 zi3 han2 shu4
zu3 zhi1 han2 shu4
guo4 qu4 shi2 jian1 han2 shi4
lu4 jing4 liang4 han2 shu4
zhao4 fen1 zhi1 yi1 ji4 han2 shu4
mi4 ji2 he2 han2 shu4
qian2 shu4 han2 shu4
zhu3 ti1 han2 shu4
huo4 ran2 lv4 han2 shu4
te4 xing4 han2 shu4
you3 li3 shu4 han2 shu4
shi2 shu4 han2 shu4
dao3 shu4 han2 shu4
zhou1 qi1 xing4 shi2 ju4 han2 shu4
xiang4 dui4 shi2 jian1 han2 shu4
zheng3 shu4 han2 shu4
miao3 zhong1 han2 shu4
zheng4 fu4 hao4 han2 shu4
zheng4 xian2 han2 shu4
biao3 pi2 han2 shu4
ping2 fang1 gen1 han2 shu4
hou4 shu4 han2 shu4
zheng4 qie1 han2 shu4
shi2 jian1 dan1 wei4 han2 shu4
zhao4 ji4 han2 shu4
zhong1 jie2 dian3 han2 shu4
shi2 jian1 li4 cheng2 han2 shu4
cai2 chan3 han2 shu4
nian2 fen4 han2 shu4
xian1 yu1
xian1 yu1 huo4 tong5 shi2
gong4 sheng1
jiao4 zao3
wan2 cheng2
shi2 duan4 xiang1 jie1
shi2 duan4 zhong4 die2
shi2 jian1 jie4 yu1
shi2 jian1 jie4 yu1 huo4 tong5 shi2
shi2 jian1
Type restrictions
shi2 duan4 WhenFn(wu4 zhi4 de5)
Related WordNet synsets
See more related synsets on a separate page.
Axioms (69)
wei4 zhi4 han2 shu4 na4 bu4 xiang1 guan1 yu1 cun2 zai4 shi2 jian1 han2 shu4.
(relatedInternalConcept WhereFn WhenFn)
pos shi4 "thing cun2 zai4 de5 shi2 jian1" de5 bu4 fen5 if and only if thing (bu2) cun2 zai4s pos qi1 jian1.
(<=>
(temporalPart
?POS
(WhenFn ?THING))
(time ?THING ?POS))
If process (bu2) qi3 yuan2s yu1 obj, then "process zai4 ""process cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" de5 ""process cun2 zai4 de5 shi2 jian1" de5 kai1 shi3"wei4 zhi4" wei4 yu1 "obj zai4 ""obj cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" de5 ""obj cun2 zai4 de5 shi2 jian1" de5 kai1 shi3"wei4 zhi4".
(=>
(origin ?PROCESS ?OBJ)
(located
(WhereFn
?PROCESS
(BeginFn
(WhenFn ?PROCESS)))
(WhereFn
?OBJ
(BeginFn
(WhenFn ?OBJ)))))
- if obj shi4 proc de5 jie2 guo3,
- then for all time holds: if time (mei2) fa1 sheng1?{s} zai4 ""proc cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" zhi1 qian2, then obj not(bu2) cun2 zai4 time qi1 jian1
.
(=>
(result ?PROC ?OBJ)
(forall
(?TIME)
(=>
(before
?TIME
(BeginFn
(WhenFn ?PROC)))
(not
(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))))
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)))
phys1 (mei2) yu3 phys2 tong5 shi2 fa1 sheng1not(s) if and only if "phys1 cun2 zai4 de5 shi2 jian1" deng3 yu1 "phys2 cun2 zai4 de5 shi2 jian1".
(<=>
(cooccur ?PHYS1 ?PHYS2)
(equal
(WhenFn ?PHYS1)
(WhenFn ?PHYS2)))
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 obj dui4 proc shi4 zi1 yuan2 and obj de5 ce4 liang4 shi4 quant1 ""proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and obj de5 ce4 liang4 shi4 quant2 ""proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4, then quant1 (bu2) da4 yu1 quant2.
(=>
(and
(resource ?PROC ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?PROC))
(measure ?OBJ ?QUANT1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?PROC))
(measure ?OBJ ?QUANT2)))
(greaterThan ?QUANT1 ?QUANT2))
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 subproc shi4 proc de5 ci4 li4 cheng2, then "subproc cun2 zai4 de5 shi2 jian1" deng3 yu1 "proc cun2 zai4 de5 shi2 jian1" or "subproc cun2 zai4 de5 shi2 jian1" (mei2) fa1 sheng1not(s) zai4 "proc cun2 zai4 de5 shi2 jian1" qi1 jian1.
(=>
(subProcess ?SUBPROC ?PROC)
(or
(equal
(WhenFn ?SUBPROC)
(WhenFn ?PROC))
(during
(WhenFn ?SUBPROC)
(WhenFn ?PROC))))
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 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 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 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 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 proc shi4 fang1 xiang4 de5 gai3 bian4 de5 shi2 li4, then there exists fang1 xiang4 shu3 xing4 attr so_that_not - proc yi3 fang1 shi4 attr zhi2 hang2 ""proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and proc yi3 fang1 shi4 attr zhi2 hang2 ""proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4
or - proc yi3 fang1 shi4 attr zhi2 hang2 ""proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4 and proc yi3 fang1 shi4 attr zhi2 hang2 ""proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2
.
(=>
(instance ?PROC DirectionChange)
(exists
(?ATTR)
(and
(instance ?ATTR DirectionalAttribute)
(or
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?PROC))
(manner ?PROC ?ATTR))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?PROC))
(not
(manner ?PROC ?ATTR))))
(and
(holdsDuring
(ImmediateFutureFn
(WhenFn ?PROC))
(manner ?PROC ?ATTR))
(holdsDuring
(ImmediatePastFn
(WhenFn ?PROC))
(not
(manner ?PROC ?ATTR))))))))
If 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 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 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 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 predict shi4 yu4 ce4 de5 shi2 li4 and formula shi4 predict de5 shou4 shi4 zhe3, then there exists time so_that_not formula (mei2) wei2 zhen1 timea(zhi1 zhong1) time and time (mei2) fa1 sheng1?{s} zai4 "predict cun2 zai4 de5 shi2 jian1" zhi1 qian2 or time (mei2) bi3 "predict cun2 zai4 de5 shi2 jian1" jiao4 zao3 fa1 sheng1not(s).
(=>
(and
(instance ?PREDICT Predicting)
(patient ?PREDICT ?FORMULA))
(exists
(?TIME)
(and
(holdsDuring ?TIME ?FORMULA)
(or
(before
?TIME
(WhenFn ?PREDICT))
(earlier
?TIME
(WhenFn ?PREDICT))))))
If remember shi4 ji4 yi4 de5 shi2 li4 and formula shi4 remember de5 shou4 shi4 zhe3, then there exists time so_that_not formula (mei2) wei2 zhen1 timea(zhi1 zhong1) time and time (mei2) fa1 sheng1?{s} zai4 "remember cun2 zai4 de5 shi2 jian1" zhi1 qian2 or time (mei2) bi3 "remember cun2 zai4 de5 shi2 jian1" jiao4 zao3 fa1 sheng1not(s).
(=>
(and
(instance ?REMEMBER Remembering)
(patient ?REMEMBER ?FORMULA))
(exists
(?TIME)
(and
(holdsDuring ?TIME ?FORMULA)
(or
(before
?TIME
(WhenFn ?REMEMBER))
(earlier
?TIME
(WhenFn ?REMEMBER))))))
If keep shi4 bao3 you3 de5 shi2 li4 and keep shi4 agent de5 shi1 shi4 zhe3 and obj shi4 keep de5 shou4 shi4 zhe3, then there exists fang4 zhi4 put so_that_not put shi4 agent de5 shi1 shi4 zhe3 and obj shi4 put de5 shou4 shi4 zhe3 and "put cun2 zai4 de5 shi2 jian1" (mei2) bi3 "keep cun2 zai4 de5 shi2 jian1" jiao4 zao3 fa1 sheng1not(s).
(=>
(and
(instance ?KEEP Keeping)
(agent ?KEEP ?AGENT)
(patient ?KEEP ?OBJ))
(exists
(?PUT)
(and
(instance ?PUT Putting)
(agent ?PUT ?AGENT)
(patient ?PUT ?OBJ)
(earlier
(WhenFn ?PUT)
(WhenFn ?KEEP)))))
- if keep shi4 bao3 you3 de5 shi2 li4 and obj shi4 keep de5 shou4 shi4 zhe3,
- then there exists place so_that_not for all time holds: if time shi4 "keep cun2 zai4 de5 shi2 jian1" de5 bu4 fen5, then obj wei4 yu1 place timea(zhi1 zhong1) time
.
(=>
(and
(instance ?KEEP Keeping)
(patient ?KEEP ?OBJ))
(exists
(?PLACE)
(forall
(?TIME)
(=>
(temporalPart
?TIME
(WhenFn ?KEEP))
(holdsDuring
?TIME
(located ?OBJ ?PLACE))))))
If 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)))))
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 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 change shi4 na4 zai4 gai3 bian4 de5 shi2 li4 and obj shi4 change de5 shou4 shi4 zhe3, then there exists property so_that_not - property shi4 obj de5 shu3 xing4 ""change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and property shi4 obj de5 shu3 xing4 ""change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4
or - property shi4 obj de5 shu3 xing4 ""change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and property shi4 obj de5 shu3 xing4 ""change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4
.
(=>
(and
(instance ?CHANGE InternalChange)
(patient ?CHANGE ?OBJ))
(exists
(?PROPERTY)
(or
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?CHANGE))
(attribute ?OBJ ?PROPERTY))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?CHANGE))
(not
(attribute ?OBJ ?PROPERTY))))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?CHANGE))
(not
(attribute ?OBJ ?PROPERTY)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?CHANGE))
(attribute ?OBJ ?PROPERTY))))))
If alt shi4 biao3 mian4 gai3 bian4 de5 shi2 li4 and obj shi4 alt de5 shou4 shi4 zhe3, then there exist part,property so_that_not part shi4 objde5 wai4 biao3 bu4 fen5 and property shi4 part de5 shu3 xing4 ""alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and property shi4 part de5 shu3 xing4 ""alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.
(=>
(and
(instance ?ALT SurfaceChange)
(patient ?ALT ?OBJ))
(exists
(?PART ?PROPERTY)
(and
(superficialPart ?PART ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?ALT))
(attribute ?PART ?PROPERTY))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?ALT))
(not
(attribute ?PART ?PROPERTY))))))
If alt shi4 xing2 zhuang4 gai3 bian4 de5 shi2 li4 and obj shi4 alt de5 shou4 shi4 zhe3, then there exists xing2 zhuang4 shu3 xing4 property so_that_not - property shi4 obj de5 shu3 xing4 ""alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and property shi4 obj de5 shu3 xing4 ""alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4
or - property shi4 obj de5 shu3 xing4 ""alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and property shi4 obj de5 shu3 xing4 ""alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4
.
(=>
(and
(instance ?ALT ShapeChange)
(patient ?ALT ?OBJ))
(exists
(?PROPERTY)
(and
(instance ?PROPERTY ShapeAttribute)
(or
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?ALT))
(attribute ?OBJ ?PROPERTY))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?ALT))
(not
(attribute ?OBJ ?PROPERTY))))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?ALT))
(not
(attribute ?OBJ ?PROPERTY)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?ALT))
(attribute ?OBJ ?PROPERTY)))))))
If coloring shi4 zhu4 se4 de5 shi2 li4 and obj shi4 coloring de5 shou4 shi4 zhe3, then there exists yan2 se4 shu3 xing4 property so_that_not property shi4 obj de5 shu3 xing4 ""coloring cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "coloring cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and property shi4 obj de5 shu3 xing4 ""coloring cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "coloring cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.
(=>
(and
(instance ?COLORING Coloring)
(patient ?COLORING ?OBJ))
(exists
(?PROPERTY)
(and
(instance ?PROPERTY ColorAttribute)
(holdsDuring
(ImmediatePastFn
(WhenFn ?COLORING))
(attribute ?OBJ ?PROPERTY))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?COLORING))
(not
(attribute ?OBJ ?PROPERTY))))))
If 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 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)))
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)))))))
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 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 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 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 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 parent shi4 child de5 shuang1 qin1, then ""parent cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" (mei2) fa1 sheng1?{s} zai4 ""child cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" zhi1 qian2.
(=>
(parent ?CHILD ?PARENT)
(before
(BeginFn
(WhenFn ?PARENT))
(BeginFn
(WhenFn ?CHILD))))
- if artifact shi4 gu4 ding4 ren2 zao4 wu4 de5 shi2 li4,
- then there exists place so_that_not for all time holds: if time (mei2) fa1 sheng1?{s} zai4 ""artifact cun2 zai4 de5 shi2 jian1" de5 jie2 shu4" huo4 zhi1 qian2 and ""artifact cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" (mei2) fa1 sheng1?{s} zai4 time huo4 zhi1 qian2, then "artifact zai4 time de5 timewei4 zhi4" deng3 yu1 place
.
(=>
(instance ?ARTIFACT StationaryArtifact)
(exists
(?PLACE)
(forall
(?TIME)
(=>
(and
(beforeOrEqual
?TIME
(EndFn
(WhenFn ?ARTIFACT)))
(beforeOrEqual
(BeginFn
(WhenFn ?ARTIFACT))
?TIME))
(equal
(WhereFn ?ARTIFACT ?TIME)
?PLACE)))))
If 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 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)))))
