shi1 shi4 zhe3 (agent)

(agent process agent) means that agent is an active determinant, either animate or inanimate, of the Process process, with or without voluntary intention. For example, water is the agent of erosion in the following proposition: the water eroded the coastline. For another example, Eve is an agent in the following proposition: Eve bit an apple.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

ge2 wei4 jue2 se4

shi1 shi4 zhe3

Coordinate term(s)

zhong1 dian3 fang1 xiang4 jing1 yan4 zhe3 qi3 yuan2 lu4 jing4 shou4 shi4 zhe3

Type restrictions

agent(li4 cheng2, shi1 shi4 zhe3)

Related WordNet synsets

agency: the state of being in action or exerting power; "the agency of providence"; "she has free agency"
act, move: perform an action; "think before you act"; "We must move quickly"
agential: of or relating to an agent or agency

See more related synsets on a separate page.

Axioms (74)

If lang shi4 dong4 wu4 yu3 yan2 de5 shi2 li4 and proc shi4 agent de5 shi1 shi4 zhe3 and lang dui4 proc shi4 gong1 ju4, then agent shi4 dong4 wu4 de5 shi2 li4 and agent shi4 ren2 lei4 de5 shi2 li4.

(=>
      (and
            (instance ?LANG AnimalLanguage)
            (agent ?PROC ?AGENT)
            (instrument ?PROC ?LANG))
      (and
            (instance ?AGENT Animal)
            (not
                  (instance ?AGENT Human))))

If lang shi4 dian4 nao3 yu3 yan2 de5 shi2 li4 and proc shi4 agent de5 shi1 shi4 zhe3 and lang dui4 proc shi4 gong1 ju4, then agent shi4 ji1 qi4 de5 shi2 li4.

(=>
      (and
            (instance ?LANG ComputerLanguage)
            (agent ?PROC ?AGENT)
            (instrument ?PROC ?LANG))
      (instance ?AGENT Machine))

If lang shi4 ren2 lei4 yu3 yan2 de5 shi2 li4 and proc shi4 agent de5 shi1 shi4 zhe3 and lang dui4 proc shi4 gong1 ju4, then agent shi4 ren2 lei4 de5 shi2 li4.

(=>
      (and
            (instance ?LANG HumanLanguage)
            (agent ?PROC ?AGENT)
            (instrument ?PROC ?LANG))
      (instance ?AGENT Human))

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

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

If process shi4 li4 cheng2 de5 shi2 li4, then there exists cause so_that_not process shi4 cause de5 shi1 shi4 zhe3.

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

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

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

If you3 ji4 qiao3(proc,agent) holds, then agent ke3 yi3 ren4 jue2 se4 shi1 shi4 zhe3 zuo4 proc.

(=>
      (hasSkill ?PROC ?AGENT)
      (capability ?PROC agent ?AGENT))

If agent you3 quan2 shi3 process wei2 zhen1, then agent ke3 yi3 ren4 jue2 se4 shi1 shi4 zhe3 zuo4 process.

(=>
      (holdsRight ?PROCESS ?AGENT)
      (capability ?PROCESS agent ?AGENT))

If agent you3 yi4 wu4 zhi2 hang2 lei4 xing2 process ren4 wu4, then agent ke3 yi3 ren4 jue2 se4 shi1 shi4 zhe3 zuo4 process.

(=>
      (holdsObligation ?PROCESS ?AGENT)
      (capability ?PROCESS agent ?AGENT))

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

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

If 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 rep shi4 fu4 zhi4 de5 shi2 li4 and rep shi4 parent de5 shi1 shi4 zhe3 and child shi4 rep de5 jie2 guo3, then parent shi4 child de5 shuang1 qin1.

(=>
      (and
            (instance ?REP Replication)
            (agent ?REP ?PARENT)
            (result ?REP ?CHILD))
      (parent ?CHILD ?PARENT))

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

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

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

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

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

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

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

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

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

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

If join shi4 jia1 ru4 zu3 zhi1 de5 shi2 li4 and org shi4 zu3 zhi1 de5 shi2 li4 and join shi4 org de5 shi1 shi4 zhe3 and person shi4 join de5 shou4 shi4 zhe3, then person shi4 orgde5 cheng2 yuan2 ""join cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "join cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.

(=>
      (and
            (instance ?JOIN JoiningAnOrganization)
            (instance ?ORG Organization)
            (agent ?JOIN ?ORG)
            (patient ?JOIN ?PERSON))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?JOIN))
            (member ?PERSON ?ORG)))

If leave shi4 tuo1 li2 zu3 zhi1 de5 shi2 li4 and org shi4 zu3 zhi1 de5 shi2 li4 and leave shi4 org de5 shi1 shi4 zhe3 and person shi4 leave de5 shou4 shi4 zhe3, then person shi4 orgde5 cheng2 yuan2 ""leave cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "leave cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.

(=>
      (and
            (instance ?LEAVE LeavingAnOrganization)
            (instance ?ORG Organization)
            (agent ?LEAVE ?ORG)
            (patient ?LEAVE ?PERSON))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?LEAVE))
            (not
                  (member ?PERSON ?ORG))))

If grad shi4 bi4 ye4 de5 shi2 li4 and grad shi4 org de5 shi1 shi4 zhe3 and person shi4 grad de5 shou4 shi4 zhe3, then org shi4 jiao4 yu4 zu3 zhi1 de5 shi2 li4.

(=>
      (and
            (instance ?GRAD Graduation)
            (agent ?GRAD ?ORG)
            (patient ?GRAD ?PERSON))
      (instance ?ORG EducationalOrganization))

If mat shi4 zheng4 shi4 ru4 xue2 de5 shi2 li4 and mat shi4 org de5 shi1 shi4 zhe3 and person shi4 mat de5 shou4 shi4 zhe3, then org shi4 jiao4 yu4 zu3 zhi1 de5 shi2 li4.

(=>
      (and
            (instance ?MAT Matriculation)
            (agent ?MAT ?ORG)
            (patient ?MAT ?PERSON))
      (instance ?ORG EducationalOrganization))

If hire shi4 gu4 yong4 de5 shi2 li4 and org shi4 zu3 zhi1 de5 shi2 li4 and hire shi4 org de5 shi1 shi4 zhe3 and person shi4 hire de5 shou4 shi4 zhe3, then org (mei2) gu4 yong4not(s) person ""hire cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "hire cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.

(=>
      (and
            (instance ?HIRE Hiring)
            (instance ?ORG Organization)
            (agent ?HIRE ?ORG)
            (patient ?HIRE ?PERSON))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?HIRE))
            (employs ?ORG ?PERSON)))

If fire shi4 jie3 gu4 de5 shi2 li4 and org shi4 zu3 zhi1 de5 shi2 li4 and fire shi4 org de5 shi1 shi4 zhe3 and person shi4 fire de5 shou4 shi4 zhe3, then org not(mei2) gu4 yong4(s) person ""fire cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "fire cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.

(=>
      (and
            (instance ?FIRE TerminatingEmployment)
            (instance ?ORG Organization)
            (agent ?FIRE ?ORG)
            (patient ?FIRE ?PERSON))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?FIRE))
            (not
                  (employs ?ORG ?PERSON))))

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

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

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

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

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

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

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

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

If transfer shi4 zhuan3 yi2 huo4 zhuan3 huan4 de5 shi2 li4 and transfer shi4 agent de5 shi1 shi4 zhe3 and patient shi4 transfer de5 shou4 shi4 zhe3, then agent deng3 yu1 patient.

(=>
      (and
            (instance ?TRANSFER Transfer)
            (agent ?TRANSFER ?AGENT)
            (patient ?TRANSFER ?PATIENT))
      (not
            (equal ?AGENT ?PATIENT)))

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

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

If give shi4 gei3 yu3 de5 shi2 li4 and give shi4 agent de5 shi1 shi4 zhe3, then give (bu2) qi3 yuan2s yu1 agent.

(=>
      (and
            (instance ?GIVE Giving)
            (agent ?GIVE ?AGENT))
      (origin ?GIVE ?AGENT))

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

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

If get shi4 huo4 qu3 de5 shi2 li4 and get shi4 agent de5 shi1 shi4 zhe3, then get (bu2) zhong1 jie2not(s) agent.

(=>
      (and
            (instance ?GET Getting)
            (agent ?GET ?AGENT))
      (destination ?GET ?AGENT))

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

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

If buy shi4 mai3 de5 shi2 li4 and buy shi4 agent de5 shi1 shi4 zhe3, then buy (bu2) zhong1 jie2not(s) agent.

(=>
      (and
            (instance ?BUY Buying)
            (agent ?BUY ?AGENT))
      (destination ?BUY ?AGENT))

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

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

If sell shi4 xiao1 shou4 de5 shi2 li4 and sell shi4 agent de5 shi1 shi4 zhe3, then sell (bu2) qi3 yuan2s yu1 agent.

(=>
      (and
            (instance ?SELL Selling)
            (agent ?SELL ?AGENT))
      (origin ?SELL ?AGENT))

If learn shi4 xue2 xi2 de5 shi2 li4 and learn shi4 agent de5 shi1 shi4 zhe3, then agent shi4 ju4 ren4 zhi1 li4 shi1 shi4 zhe3 de5 shi2 li4.

(=>
      (and
            (instance ?LEARN Learning)
            (agent ?LEARN ?AGENT))
      (instance ?AGENT CognitiveAgent))

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

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

If agent shi4 ju4 ren4 zhi1 li4 shi1 shi4 zhe3 de5 shi2 li4, then agent ke3 yi3 ren4 jue2 se4 shi1 shi4 zhe3 zuo4 tui1 li3.

(=>
      (instance ?AGENT CognitiveAgent)
      (capability Reasoning agent ?AGENT))

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

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

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

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

If 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 kill shi4 sha1 hai4 de5 shi2 li4 and kill shi4 agent de5 shi1 shi4 zhe3 and patient shi4 kill de5 shou4 shi4 zhe3, then agent shi4 sheng1 wu4 ti1 de5 shi2 li4 and patient shi4 sheng1 wu4 ti1 de5 shi2 li4.

(=>
      (and
            (instance ?KILL Killing)
            (agent ?KILL ?AGENT)
            (patient ?KILL ?PATIENT))
      (and
            (instance ?AGENT Organism)
            (instance ?PATIENT Organism)))

If 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 search shi4 tan4 xun2 de5 shi2 li4 and search shi4 agent de5 shi1 shi4 zhe3 and entity shi4 search de5 shou4 shi4 zhe3, then agent zai4 entity fan4 wei2 zhong1.

(=>
      (and
            (instance ?SEARCH Searching)
            (agent ?SEARCH ?AGENT)
            (patient ?SEARCH ?ENTITY))
      (inScopeOfInterest ?AGENT ?ENTITY))

If pursue shi4 zhui1 de5 shi2 li4 and pursue shi4 agent de5 shi1 shi4 zhe3 and obj shi4 pursue de5 shou4 shi4 zhe3, then agent (bu2) xiang3 yao4not(s) obj pursuea(zhi1 zhong1) pursue.

(=>
      (and
            (instance ?PURSUE Pursuing)
            (agent ?PURSUE ?AGENT)
            (patient ?PURSUE ?OBJ))
      (holdsDuring
            ?PURSUE
            (wants ?AGENT ?OBJ)))

If pursue shi4 zhui1 de5 shi2 li4 and pursue shi4 agent de5 shi1 shi4 zhe3 and obj shi4 pursue de5 shou4 shi4 zhe3, then agent not(mei2) yong1 you3(s) obj pursuea(zhi1 zhong1) pursue.

(=>
      (and
            (instance ?PURSUE Pursuing)
            (agent ?PURSUE ?AGENT)
            (patient ?PURSUE ?OBJ))
      (holdsDuring
            ?PURSUE
            (not
                  (possesses ?AGENT ?OBJ))))

If investigate shi4 diao4 cha2 de5 shi2 li4 and investigate shi4 agent de5 shi1 shi4 zhe3 and prop shi4 investigate de5 shou4 shi4 zhe3, then agent not(bu2zhi1 dao4 "investigate cun2 zai4 de5 shi2 jian1"a(zhi1 zhong1) investigate cun2 zai4 de5 shi2 jian1.

(=>
      (and
            (instance ?INVESTIGATE Investigating)
            (agent ?INVESTIGATE ?AGENT)
            (patient ?INVESTIGATE ?PROP))
      (holdsDuring
            (WhenFn ?INVESTIGATE)
            (not
                  (knows ?AGENT ?PROP))))

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

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

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

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

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

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

If 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 request shi4 qing3 qiu2 de5 shi2 li4 and request shi4 agent de5 shi1 shi4 zhe3 and formula shi4 request de5 shou4 shi4 zhe3 and formula shi4 SUO-KIFbiao3 shu4 shi4 de5 shi2 li4, then agent (不) 冀求not(s) formula.

(=>
      (and
            (instance ?REQUEST Requesting)
            (agent ?REQUEST ?AGENT)
            (patient ?REQUEST ?FORMULA)
            (instance ?FORMULA Formula))
      (desires ?AGENT ?FORMULA))

If question shi4 xun2 wen4 de5 shi2 li4 and question shi4 agent de5 shi1 shi4 zhe3 and formula shi4 question de5 shou4 shi4 zhe3 and formula shi4 SUO-KIFbiao3 shu4 shi4 de5 shi2 li4, then agent not(bu2zhi1 dao4 "question cun2 zai4 de5 shi2 jian1"a(zhi1 zhong1) question cun2 zai4 de5 shi2 jian1.

(=>
      (and
            (instance ?QUESTION Questioning)
            (agent ?QUESTION ?AGENT)
            (patient ?QUESTION ?FORMULA)
            (instance ?FORMULA Formula))
      (holdsDuring
            (WhenFn ?QUESTION)
            (not
                  (knows ?AGENT ?FORMULA))))

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

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

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

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

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

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

If meet shi4 hui4 mian4 de5 shi2 li4 and meet shi4 agent1 de5 shi1 shi4 zhe3 and meet shi4 agent2 de5 shi1 shi4 zhe3, then agent1 dui4 agent2 shi4 jie1 jin4 "meet cun2 zai4 de5 shi2 jian1"a(zhi1 zhong1) meet cun2 zai4 de5 shi2 jian1.

(=>
      (and
            (instance ?MEET Meeting)
            (agent ?MEET ?AGENT1)
            (agent ?MEET ?AGENT2))
      (holdsDuring
            (WhenFn ?MEET)
            (orientation ?AGENT1 ?AGENT2 Near)))

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

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

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

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

if war shi4 zhan4 zheng1 de5 shi2 li4 and war shi4 agent de5 shi1 shi4 zhe3,
then
- agent shi4 guo2 jia1 de5 shi2 li4
- - agent shi4 zu3 zhi1 de5 shi2 li4
  - for all member holds: if member shi4 agentde5 cheng2 yuan2, then member shi4 guo2 jia1 de5 shi2 li4

(=>
      (and
            (instance ?WAR War)
            (agent ?WAR ?AGENT))
      (or
            (instance ?AGENT Nation)
            (and
                  (instance ?AGENT Organization)
                  (forall
                        (?MEMBER)
                        (=>
                              (member ?MEMBER ?AGENT)
                              (instance ?MEMBER Nation))))))

If percept shi4 zhi1 jiao4 de5 shi2 li4 and percept shi4 agent de5 shi1 shi4 zhe3, then agent shi4 dong4 wu4 de5 shi2 li4.

(=>
      (and
            (instance ?PERCEPT Perception)
            (agent ?PERCEPT ?AGENT))
      (instance ?AGENT Animal))

If percept shi4 zhi1 jiao4 de5 shi2 li4 and percept shi4 agent de5 shi1 shi4 zhe3 and object shi4 percept de5 shou4 shi4 zhe3, then agent (mei2) zhu4 yi4 dao4not(s) object.

(=>
      (and
            (instance ?PERCEPT Perception)
            (agent ?PERCEPT ?AGENT)
            (patient ?PERCEPT ?OBJECT))
      (notices ?AGENT ?OBJECT))

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

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

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

If 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 virus shi4 bing4 du2 de5 shi2 li4 and proc shi4 fu4 zhi4 de5 shi2 li4 and proc shi4 virus de5 shi1 shi4 zhe3, then there exists xi4 bao1 cell so_that_not proc wei4 yu1 cell.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

If 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)))