SUMO   View all facts   Glossary   Help
unparented > agent
Next unparented: Attack    Up: unparented    Previous unparented: age   

agent
subjectfact 
agentdocumentation (agent ?ACTION ?AGENT) means that the Agent ?AGENT voluntarily initiates ?ACTION. For example, Eve is an agent in the following proposition: Eve bit an apple2001-11-30 13:33:34.0
has axiom 
(<=>
    (and
       (instance ?BUY Buying)
       (agent ?BUY ?AGENT1)
       (origin ?BUY ?AGENT2)
       (patient ?BUY ?OBJECT))
    (and 
       (instance ?SELL Selling)
       (agent ?SELL ?AGENT2)
       (destination ?SELL ?AGENT1)
       (patient ?SELL ?OBJECT)))
2001-11-30 13:33:34.0
has axiom 
(<=>
 	(instance ?AGENT Agent)
 	(exists (?PROC)
 		(agent ?PROC ?AGENT)))
2001-11-30 13:33:34.0
has axiom 
(=>
      (authors ?AGENT ?TEXT)
      (exists (?PROCESS)
           (and
                (agent ?PROCESS ?AGENT)
                (result ?PROCESS ?TEXT))))
2001-11-30 13:33:34.0
has axiom 
(=>
      (exploits ?OBJ ?AGENT)
      (exists (?PROCESS)
           (and
                (agent ?PROCESS ?AGENT)
                (resource ?PROCESS ?OBJ))))
2001-11-30 13:33:34.0
has axiom 
(=>
      (uses ?OBJ ?AGENT)
      (exists (?PROC)
           (and
                (agent ?PROC ?AGENT)
                (instrument ?PROC ?OBJ))))
2001-11-30 13:33:34.0
has axiom 
(=>
    (and
       (instance ?ACT OrganizationalProcess)
       (agent ?ACT ?AGENT))
    (or
       (instance ?AGENT Organization)
       (exists (?ORG)
          (and
             (instance ?ORG Organization)
             (member ?AGENT ?ORG)))))
2001-11-30 13:33:34.0
has axiom 
(=>
    (and
       (instance ?ACT ReligiousProcess)
       (agent ?ACT ?AGENT))
    (or
       (instance ?AGENT ReligiousOrganization)
       (exists (?ORG)
          (and
             (member ?AGENT ?ORG)
             (instance ?ORG ReligiousOrganization)))))
2001-11-30 13:33:34.0
has axiom 
(=>
    (and
       (instance ?COUNT Counting)
       (agent ?COUNT ?AGENT)
       (patient ?COUNT ?ENTITY))
    (exists (?NUMBER)
       (knows ?AGENT (equal (CardinalityFn ?ENTITY)))))
2001-11-30 13:33:34.0
has axiom 
(=>
    (and
       (instance ?GET Getting)
       (agent ?GET ?AGENT1)
       (origin ?GET ?AGENT2)
       (instance ?AGENT2 Agent)
       (patient ?GET ?OBJ))
    (exists (?GIVE)
       (and
          (instance ?GIVE Giving)
          (agent ?GIVE ?AGENT2)
          (destination ?GIVE ?AGENT1)
          (patient ?GIVE ?OBJ))))
2001-11-30 13:33:34.0
has axiom 
(=>
    (and
       (instance ?GIVE Giving)
       (agent ?GIVE ?AGENT1)
       (destination ?GIVE ?AGENT2)
       (instance ?AGENT2 Agent)
       (patient ?GIVE ?OBJ))
    (and
       (holdsDuring (ImmediatePastFn (WhenFn ?GIVE)) (possesses ?AGENT1 ?OBJ))
       (holdsDuring (ImmediateFutureFn (WhenFn ?GIVE)) (possesses ?AGENT2 ?OBJ))))
2001-11-30 13:33:34.0
has axiom 
(=>
    (and
       (instance ?INVESTIGATE Investigating)
       (agent ?INVESTIGATE ?AGENT)
       (patient ?INVESTIGATE ?PROP))
    (holdsDuring (WhenFn ?INVESTIGATE) (not (knows ?AGENT ?PROP))))
2001-11-30 13:33:34.0
has axiom 
(=>
    (and
       (instance ?KILL Killing)
       (agent ?KILL ?AGENT)
       (patient ?KILL ?PATIENT))
    (and
       (instance ?AGENT Organism)
       (instance ?PATIENT Organism)))
2001-11-30 13:33:34.0
has axiom 
(=>
    (and
       (instance ?LEARN Learning)
       (agent ?LEARN ?AGENT))
    (instance ?AGENT CognitiveAgent))
2001-11-30 13:33:34.0
has axiom 
(=>
    (and
       (instance ?MEAS Measuring)
       (agent ?MEAS ?AGENT)
       (patient ?MEAS ?OBJ))
    (exists (?QUANT ?UNIT)
       (holdsDuring (ImmediateFutureFn (WhenFn ?MEAS))
          (knows ?AGENT (measure ?OBJ (MeasureFn ?QUANT ?UNIT))))))
2001-11-30 13:33:34.0
has axiom 
(=>
    (and
       (instance ?ORGANISM Organism)
       (agent ?PROCESS ?ORGANISM))
    (holdsDuring (WhenFn ?PROCESS) (attribute ?ORGANISM Living)))
2001-11-30 13:33:34.0
has axiom 
(=>
    (and
       (instance ?PERCEPT Perception)
       (agent ?PERCEPT ?AGENT))
    (instance ?AGENT Animal))
2001-11-30 13:33:34.0
has axiom 
(=>
    (and
       (instance ?POKE Poking)
       (agent ?POKE ?AGENT)
       (patient ?POKE ?OBJ)
       (instrument ?POKE ?INST))
    (holdsDuring (WhenFn ?POKE) (connects ?INST ?AGENT ?OBJ)))
2001-11-30 13:33:34.0
has axiom 
(=>
    (and
       (instance ?PROC IntentionalProcess)
       (agent ?PROC ?AGENT))
    (and
       (instance ?AGENT CognitiveAgent)
       (exists (?PURP)
          (hasPurposeForAgent ?PROC ?PURP ?AGENT))))
2001-11-30 13:33:34.0
has axiom 
(=>
    (and
       (instance ?PURSUE Pursuing)
       (agent ?PURSUE ?AGENT)
       (patient ?PURSUE ?OBJ))
    (wants ?AGENT ?OBJ))
2001-11-30 13:33:34.0
has axiom 
(=>
    (and
       (instance ?SEARCH Searching)
       (agent ?SEARCH ?AGENT)
       (patient ?SEARCH ?ENTITY))
    (inScopeOfInterest ?AGENT ?ENTITY))
2001-11-30 13:33:34.0
has axiom 
(=>
    (and
       (instance ?TOUCH Touching)
       (agent ?TOUCH ?AGENT)
       (patient ?TOUCH ?OBJ))
    (holdsDuring (WhenFn ?TOUCH) (connected ?AGENT ?OBJ)))
2001-11-30 13:33:34.0
has axiom 
(=>
    (and
       (instance ?TRANSFER Transfer)
       (agent ?TRANSFER ?AGENT)
       (patient ?TRANSFER ?PATIENT))
    (not
       (equal ?AGENT ?PATIENT)))
2001-11-30 13:33:34.0
has axiom 
(=>
    (and
       (instance ?WAR War)
       (agent ?WAR ?AGENT))
    (or
       (instance ?AGENT Nation)
       (and
          (instance ?AGENT Organization)
          (forall (?MEMBER)
             (=>
                (member ?MEMBER ?AGENT)
                (instance ?MEMBER Nation))))))
2001-11-30 13:33:34.0
has axiom 
(=>
    (holdsDuring ?TIME
       (exists (?LEARN)
          (and
             (instance ?LEARN Learning)
             (agent ?LEARN ?AGENT)
             (patient ?LEARN ?PROP))))
    (holdsDuring (ImmediateFutureFn ?TIME)
       (believes ?AGENT ?PROP)))
2001-11-30 13:33:34.0
has axiom 
(=>
    (instance ?ACT OccupationalProcess)
    (exists (?ORG ?EMP)
       (and
          (instance ?ORG Organization)
          (employs ?ORG ?EMP)
          (agent ?ACT ?EMP))))
2001-11-30 13:33:34.0
has axiom 
(=>
    (instance ?BUILDING Building)
    (exists (?HUMAN)
       (and
          (instance ?HUMAN Human)
          (or
             (inhabits ?HUMAN ?BUILDING)
             (exists (?ACT)
                (and
                   (agent ?ACT ?HUMAN)
                   (located ?ACT ?BUILDING)))))))
2001-11-30 13:33:34.0
has axiom 
(=>
    (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)))))
2001-11-30 13:33:34.0
has axiom 
(=>
    (instance ?COOPERATE Cooperation)
    (exists (?PURP)
       (forall (?AGENT)
          (=>
             (agent ?COOPERATE ?AGENT)
             (hasPurposeForAgent ?COOPERATE ?PURP ?AGENT)))))
2001-11-30 13:33:34.0
has axiom 
(=>
    (instance ?INTERACTION SocialInteraction)
    (exists (?AGENT1 ?AGENT2)
       (and
          (agent ?INTERACTION ?AGENT1)
          (agent ?INTERACTION ?AGENT2)
          (not
             (equal ?AGENT1 ?AGENT2)))))
2001-11-30 13:33:34.0
has axiom 
(=>
    (instance ?PERSON PersonByOccupationalRole)
    (exists (?ACT)
       (and
          (instance ?ACT OccupationalProcess)
          (agent ?ACT ?PERSON))))
2001-11-30 13:33:34.0
has axiom 
(=>
    (instance ?PERSON PersonBySocialRole)
    (exists (?ACT)
       (and
          (instance ?ACT OrganizationalProcess)
          (agent ?ACT ?PERSON))))
2001-11-30 13:33:34.0
has axiom 
(=>
    (instance ?PROC IntentionalProcess)
    (exists (?AGENT)
       (and
          (instance ?AGENT CognitiveAgent)
          (agent ?PROC ?AGENT))))
2001-11-30 13:33:34.0
has axiom 
(=>
    (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)))))
2001-11-30 13:33:34.0
has domain1 Process2001-11-30 13:33:34.0
has domain2 Agent2001-11-30 13:33:34.0

Next unparented: Attack    Up: unparented    Previous unparented: age