Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

Investigare (Investigating)

The subclass of Searching where the thing sought is a piece of information (i.e. a Proposition denoted by a Formula).

Ontology

SUMO / PROCESSES

Superclass(es)

[tree]
Entitá
is subclass of
  EntitáConcreta  
is subclass of
  Processo  
is subclass of
  ProcessoIntenzionale  
is subclass of
  Ricercare  
is subclass of
  Investigare  

Subclass(es)

ProcessoDiagnostico 

Coordinate term(s)

Cercare 

Related WordNet synsets

search
an investigation seeking answers; "a thorough search of the ledgers revealed nothing" or "the outcome justified the search"
search is kind of (all)...   search is kind of...  
See more related synsets on a separate page.

Axioms (2)

Se investigate é un' istanza di Investigare e prop é un paziente di investigate, allora prop é un' istanza di Formula. 
(=>
      (and
            (instance ?INVESTIGATE Investigating)
            (patient ?INVESTIGATE ?PROP))
      (instance ?PROP Formula))
Se investigate é un' istanza di Investigare e investigate é un agente di agent e prop é un paziente di investigate, allora "agent non conosce prop" vales durante "il tempo di esistenza di investigate". 
(=>
      (and
            (instance ?INVESTIGATE Investigating)
            (agent ?INVESTIGATE ?AGENT)
            (patient ?INVESTIGATE ?PROP))
      (holdsDuring
            (WhenFn ?INVESTIGATE)
            (not
                  (knows ?AGENT ?PROP))))