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

diao4 cha2 (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]
shi2 ti3
is subclass of
  wu4 zhi4 de5  
is subclass of
  li4 cheng2  
is subclass of
  yi4 xiang4 xing4 li4 cheng2  
is subclass of
  tan4 xun2  
is subclass of
  diao4 cha2  

Subclass(es)

zhen3 duan4 li4 cheng2 

Coordinate term(s)

zhui1 

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 shi4 diao4 cha2 de5 shi2 li4 and prop shi4 investigate de5 shou4 shi4 zhe3, then prop shi4 SUO-KIFbiao3 shu4 shi4 de5 shi2 li4. 
(=>
      (and
            (instance ?INVESTIGATE Investigating)
            (patient ?INVESTIGATE ?PROP))
      (instance ?PROP Formula))
If investigate shi4 diao4 cha2 de5 shi2 li4 and investigate shi4 agent de5 shi1 shi4 zhe3 and prop shi4 investigate de5 shou4 shi4 zhe3, then agent not(bu2zhi1 dao4 "investigate cun2 zai4 de5 shi2 jian1"a(zhi1 zhong1) investigate cun2 zai4 de5 shi2 jian1. 
(=>
      (and
            (instance ?INVESTIGATE Investigating)
            (agent ?INVESTIGATE ?AGENT)
            (patient ?INVESTIGATE ?PROP))
      (holdsDuring
            (WhenFn ?INVESTIGATE)
            (not
                  (knows ?AGENT ?PROP))))