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

調查 (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]
實體
is subclass of
  物質的  
is subclass of
  歷程  
is subclass of
  意向性歷程  
is subclass of
  探尋  
is subclass of
  調查  

Subclass(es)

診斷歷程 

Coordinate term(s)

追 

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)

If investigate 是 調查 的 實例 and prop 是 investigate 的 受事者, then prop 是 SUO-KIF表述式 的 實例. 
(=>
      (and
            (instance ?INVESTIGATE Investigating)
            (patient ?INVESTIGATE ?PROP))
      (instance ?PROP Formula))
If investigate 是 調查 的 實例 and investigate 是 agent 的 施事者 and prop 是 investigate 的 受事者, then agent not(不）知道 "investigate 存在 的 時間"a(之中) investigate 存在 的 時間. 
(=>
      (and
            (instance ?INVESTIGATE Investigating)
            (agent ?INVESTIGATE ?AGENT)
            (patient ?INVESTIGATE ?PROP))
      (holdsDuring
            (WhenFn ?INVESTIGATE)
            (not
                  (knows ?AGENT ?PROP))))