zai4...qi1 jian1 wei2 zhen1 (holdsDuring)
(holdsDuring time formula) means that the
proposition denoted by formula is true in the time frame time. Note
that this implies that formula is true at every TimePoint which is a
temporalPart of time.
Ontology
SUMO / BASE-ONTOLOGYClass(es)
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
hu2 xian4 zhong4 liang4
shu3 xing4
zuo4 zhe3
xian1 yu1 huo4 tong5 shi2
zhao4 yin1
ci4 lei4 zhao4 yin1
gong1 min2
feng1 bi4 yu1
tian2 man3
xiang1 lian2 de5
bao1 han2 xun4 xi1
gong4 sheng1
fu4 zhi4
xiang1 jiao1
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
tian2 chong1
wan2 cheng2
ci4 shu4
tu2 bu4 fen5
da4 yu1
da4 yu1 huo4 deng3 yu1
you3 yi4 tu2
you3 ji4 qiao3
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
du2 li4 huo4 ran2 lv4
ju1 zhu4
yi4 zhi4
chu1 shi3 hua4 xu4 lie4
shi2 li4
dao4 xu4
fei1 fan3 she4 yu1...
da4 yu1
xiao3 yu1
xiao3 yu1 huo4 deng3 yu1
fang1 shi4/qing2 zhuang4
wu4 zhi4
ce4 liang4
shi2 duan4 xiang1 jie1
cheng2 yuan2
qing2 tai4 shu3 xing4
shi2 duan4 zhong4 die2
Âù¿Ë
pian1 xu4 yu1...
bu4 fen5 tian2 chong1
bu4 fen5 wei4 yu1
lu4 jing4 chang2
chuan1 ru4
yong1 you3
xian1 jue2 tiao2 jian4
bi4 mian3
zheng4 bu4 fen5
shi4 dang4 tian2 chong1
te4 xing4
chu1 ban3
fan4 wei2
fan4 wei2 ci4 zhong3 lei4
shi2 xian4
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
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
holdsDuring(shi2 jian1, SUO-KIFbiao3 shu4 shi4)
Axioms (70)
If attr1 shi4 attr2 de5 xu4 jie1 shu3 xing4 and entity you3 shu3 xing4 attr2 time1a(zhi1 zhong1) time1, then there exists time2 so_that_not time2 shi4 "time1 zhi1 qian2" de5 bu4 fen5 and entity you3 shu3 xing4 attr1 time2a(zhi1 zhong1) time2.
(=>
(and
(successorAttribute ?ATTR1 ?ATTR2)
(holdsDuring
?TIME1
(property ?ENTITY ?ATTR2)))
(exists
(?TIME2)
(and
(temporalPart
?TIME2
(PastFn ?TIME1))
(holdsDuring
?TIME2
(property ?ENTITY ?ATTR1)))))
If agent (bu2)xiang1 xin4 formula, then there exists time so_that_not agent (bu2) kao3 lv4p{s} formula timea(zhi1 zhong1) time.
(=>
(believes ?AGENT ?FORMULA)
(exists
(?TIME)
(holdsDuring
?TIME
(considers ?AGENT ?FORMULA))))
If situation1 (mei2) wei2 zhen1 timea(zhi1 zhong1) time and tui1 zhi1(situation1,situation2) holds, then situation2 (mei2) wei2 zhen1 timea(zhi1 zhong1) time.
(=>
(and
(holdsDuring ?TIME ?SITUATION1)
(entails ?SITUATION1 ?SITUATION2))
(holdsDuring ?TIME ?SITUATION2))
If situation timea(zhi1 zhong1) time, then situation (mei2) wei2 zhen1 timea(zhi1 zhong1) time.
(=>
(holdsDuring
?TIME
(not ?SITUATION))
(not
(holdsDuring ?TIME ?SITUATION)))
"thing zai4 time de5 timewei4 zhi4" deng3 yu1 region if and only if thing jing1 que4 wei4 yu1 region timea(zhi1 zhong1) time.
(<=>
(equal
(WhereFn ?THING ?TIME)
?REGION)
(holdsDuring
?TIME
(exactlyLocated ?THING ?REGION)))
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))
If yi4 zhi4(proc1,proc2) holds, then for all time,place holds: "there exists proc1 inst1 so_that_not inst1 wei4 yu1 place timea(zhi1 zhong1) time" (bu2jiang4 di1s) %2 de5 ke3 neng2 xing4.
(=>
(inhibits ?PROC1 ?PROC2)
(forall
(?TIME ?PLACE)
(decreasesLikelihood
(holdsDuring
?TIME
(exists
(?INST1)
(and
(instance ?INST1 ?PROC1)
(located ?INST1 ?PLACE))))
(holdsDuring
?TIME
(exists
(?INST2)
(and
(instance ?INST2 ?PROC2)
(located ?INST2 ?PLACE)))))))
- if proc1 bi4 mian3 proc2 de5 fa1 sheng1,
- then for all time,place holds: if there exists proc1 inst1 so_that_not inst1 wei4 yu1 place timea(zhi1 zhong1) time, then there exists proc2 inst2 so_that_not inst2 wei4 yu1 place timea(zhi1 zhong1) time
.
(=>
(prevents ?PROC1 ?PROC2)
(forall
(?TIME ?PLACE)
(=>
(holdsDuring
?TIME
(exists
(?INST1)
(and
(instance ?INST1 ?PROC1)
(located ?INST1 ?PLACE))))
(not
(holdsDuring
?TIME
(exists
(?INST2)
(and
(instance ?INST2 ?PROC2)
(located ?INST2 ?PLACE))))))))
- if mei3 time1 fa1 sheng1 proc,
- then for all time2 holds: if time2 de5 chi2 xu4 shi4 time1, then there exists position so_that_not position shi4 time2 de5 bu4 fen5 and there exists inst so_that_not inst shi4 proc de5 shi2 li4 positiona(zhi1 zhong1) position
.
(=>
(frequency ?PROC ?TIME1)
(forall
(?TIME2)
(=>
(duration ?TIME2 ?TIME1)
(exists
(?POSITION)
(and
(temporalPart ?POSITION ?TIME2)
(holdsDuring
?POSITION
(exists
(?INST)
(instance ?INST ?PROC))))))))
If situation (mei2) wei2 zhen1 time1a(zhi1 zhong1) time1 and time2 shi4 time1 de5 bu4 fen5, then situation (mei2) wei2 zhen1 time2a(zhi1 zhong1) time2.
(=>
(and
(holdsDuring ?TIME1 ?SITUATION)
(temporalPart ?TIME2 ?TIME1))
(holdsDuring ?TIME2 ?SITUATION))
If rel(inst1,inst2) (bu2) cheng2 li4s intervala(zhi1 zhong1) interval and inst1 shi4 wu4 zhi4 de5 de5 shi2 li4 and inst2 shi4 wu4 zhi4 de5 de5 shi2 li4, then inst1 (bu2) cun2 zai4s interval qi1 jian1 and inst2 (bu2) cun2 zai4s interval qi1 jian1.
(=>
(and
(holdsDuring
?INTERVAL
(holds ?REL ?INST1 ?INST2))
(instance ?INST1 Physical)
(instance ?INST2 Physical))
(and
(time ?INST1 ?INTERVAL)
(time ?INST2 ?INTERVAL)))
If 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 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))
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 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 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 there exists xue2 xi2 learn so_that_not learn shi4 agent de5 shi1 shi4 zhe3 and prop shi4 learn de5 shou4 shi4 zhe3 timea(zhi1 zhong1) time, then agent (bu2)xiang1 xin4 prop "time bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) time bu4 jiu3 zhi1 hou4.
(=>
(holdsDuring
?TIME
(exists
(?LEARN)
(and
(instance ?LEARN Learning)
(agent ?LEARN ?AGENT)
(patient ?LEARN ?PROP))))
(holdsDuring
(ImmediateFutureFn ?TIME)
(believes ?AGENT ?PROP)))
If meas shi4 ce4 liang4 de5 shi2 li4 and meas shi4 agent de5 shi1 shi4 zhe3 and obj shi4 meas de5 shou4 shi4 zhe3, then there exist quant,unit so_that_not agent (bu2zhi1 dao4s) %2 ""meas cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "meas cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.
(=>
(and
(instance ?MEAS Measuring)
(agent ?MEAS ?AGENT)
(patient ?MEAS ?OBJ))
(exists
(?QUANT ?UNIT)
(holdsDuring
(ImmediateFutureFn
(WhenFn ?MEAS))
(knows
?AGENT
(measure
?OBJ
(MeasureFn ?QUANT ?UNIT))))))
If 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 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 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)))
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 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 obj de5 fa1 zhan3 xing2 shi4 shi4 attr1 time1a(zhi1 zhong1) time1 and attr2 shi4 attr1 de5 feng1 bi4 xu4 jie1 shu3 xing4, then there exists time2 so_that_not time2 (mei2) bi3 time1 jiao4 zao3 fa1 sheng1not(s) and obj de5 fa1 zhan3 xing2 shi4 shi4 attr2 time2a(zhi1 zhong1) time2.
(=>
(and
(holdsDuring
?TIME1
(developmentalForm ?OBJ ?ATTR1))
(successorAttributeClosure ?ATTR2 ?ATTR1))
(exists
(?TIME2)
(and
(earlier ?TIME2 ?TIME1)
(holdsDuring
?TIME2
(developmentalForm ?OBJ ?ATTR2)))))
If organism zhu4s zai4 obj, then there exists time so_that_not organism wei4 yu1 obj timea(zhi1 zhong1) time.
(=>
(inhabits ?ORGANISM ?OBJ)
(exists
(?TIME)
(holdsDuring
?TIME
(located ?ORGANISM ?OBJ))))
- if meat shi4 rou4 de5 shi2 li4,
- then for all part holds: if part shi4 meat de5 bu4 fen5), then there exist subpart,time,animal so_that_not subpart shi4 part de5 bu4 fen5) and animal shi4 dong4 wu4 de5 shi2 li4 and subpart shi4 animal de5 bu4 fen5) timea(zhi1 zhong1) time
.
(=>
(instance ?MEAT Meat)
(forall
(?PART)
(=>
(part ?PART ?MEAT)
(exists
(?SUBPART ?TIME ?ANIMAL)
(and
(part ?SUBPART ?PART)
(holdsDuring
?TIME
(and
(instance ?ANIMAL Animal)
(part ?SUBPART ?ANIMAL))))))))
- if veg shi4 shu1 guo3 de5 shi2 li4,
- then for all part holds: if part shi4 veg de5 bu4 fen5), then there exist subpart,time,plant so_that_not subpart shi4 part de5 bu4 fen5) and plant shi4 zhi2 wu4 de5 shi2 li4 and subpart shi4 plant de5 bu4 fen5) timea(zhi1 zhong1) time
.
(=>
(instance ?VEG FruitOrVegetable)
(forall
(?PART)
(=>
(part ?PART ?VEG)
(exists
(?SUBPART ?TIME ?PLANT)
(and
(part ?SUBPART ?PART)
(holdsDuring
?TIME
(and
(instance ?PLANT Plant)
(part ?SUBPART ?PLANT))))))))
- if shi2 ti3 zai4 li4 cheng2 proc zheng4 yi2 dong4 attr1 timea(zhi1 zhong1) time,
- then for all attr2 holds: if shi2 ti3 zai4 li4 cheng2 proc zheng4 yi2 dong4 attr2 timea(zhi1 zhong1) time, then attr2 deng3 yu1 attr1
.
(=>
(holdsDuring
?TIME
(direction ?PROC ?ATTR1))
(forall
(?ATTR2)
(=>
(holdsDuring
?TIME
(direction ?PROC ?ATTR2))
(equal ?ATTR2 ?ATTR1))))
- if proc mian4 dui4 attr1 timea(zhi1 zhong1) time,
- then for all attr2 holds: if proc mian4 dui4 attr2 timea(zhi1 zhong1) time, then attr2 deng3 yu1 attr1
.
(=>
(holdsDuring
?TIME
(faces ?PROC ?ATTR1))
(forall
(?ATTR2)
(=>
(holdsDuring
?TIME
(faces ?PROC ?ATTR2))
(equal ?ATTR2 ?ATTR1))))
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)))))
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 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))))
