SUMO   View all facts   Glossary   Help
Entity > Physical > Process > IntentionalProcess > Searching > Investigating
Next Searching: Pursuing    Up: Searching

Investigating comparison table
Subject documentation is a kind of have axiom
SearchingAny Process where the aim is to find something, whether it be information (i.e. a Proposition) or an ObjectIntentionalProcess
(=>
    (and
       (instance ?SEARCH Searching)
       (agent ?SEARCH ?AGENT)
       (patient ?SEARCH ?ENTITY))
    (inScopeOfInterest ?AGENT ?ENTITY))
InvestigatingThe subclass of Searching where the thing sought is a piece of information (i.e. a Proposition denoted by a Formula)Searching
(=>
    (and
       (instance ?INVESTIGATE Investigating)
       (agent ?INVESTIGATE ?AGENT)
       (patient ?INVESTIGATE ?PROP))
    (holdsDuring (WhenFn ?INVESTIGATE) (not (knows ?AGENT ?PROP))))

Next Searching: Pursuing    Up: Searching