SUMO   View all facts   Glossary   Help
unparented > agent
Next unparentedAttack    Upunparented    Previous unparentedage   

agent comparison table
Subject documentation have domain2 have domain1 have axiom
unparented    
agent(agent ?ACTION ?AGENT) means that the Agent ?AGENT voluntarily initiates ?ACTION. For example, Eve is an agent in the following proposition: Eve bit an appleAgentProcess
(=>
(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)))))

Next unparentedAttack    Upunparented    Previous unparentedage