SUMO   View all facts   Glossary   Help
Entity > Physical > Process > IntentionalProcess > Searching
Next IntentionalProcess: SocialInteraction    Up: IntentionalProcess    Previous IntentionalProcess: Revealing   

Searching comparison table
Subject documentation have axiom
InvestigatingThe subclass of Searching where the thing sought is a piece of information (i.e. a Proposition denoted by a Formula)
(=>
    (and
       (instance ?INVESTIGATE Investigating)
       (agent ?INVESTIGATE ?AGENT)
       (patient ?INVESTIGATE ?PROP))
    (holdsDuring (WhenFn ?INVESTIGATE) (not (knows ?AGENT ?PROP))))
PursuingThe subclass of Searching where the thing sought is an Object. Some examples would be hunting, shopping, trawling, and stalking
(=>
    (and
       (instance ?PURSUE Pursuing)
       (agent ?PURSUE ?AGENT)
       (patient ?PURSUE ?OBJ))
    (wants ?AGENT ?OBJ))

Next IntentionalProcess: SocialInteraction    Up: IntentionalProcess    Previous IntentionalProcess: Revealing