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

kao3 lv4 (considers)

(considers agent formula) means that agent considers or wonders about the truth of the proposition expressed by formula.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  ming4 ti2 tai4 du4  
is instance of
  kao3 lv4  

Superrelation(s)

zai4 zhu4 yi4 fan4 wei2 zhong1
is subrelation of
  kao3 lv4  

Coordinate term(s)

xiang1 xin4  ji4 qiu2  zhi1 dao4 

Type restrictions

considers(ju4 ren4 zhi1 li4 shi1 shi4 zhe3, SUO-KIFbiao3 shu4 shi4)

Related WordNet synsets

consideration
the process of giving careful thought to something
consideration is kind of (all)...   consideration is kind of...   kinds of consideration...   kinds of consideration (all)...  
See more related synsets on a separate page.

Axioms (1)

If agent (bu2)xiang1 xin4 formula, then there exists time so_that_not agent (bu2) kao3 lv4p{s} formula timea(zhi1 zhong1) time. 
(=>
      (believes ?AGENT ?FORMULA)
      (exists
            (?TIME)
            (holdsDuring
                  ?TIME
                  (considers ?AGENT ?FORMULA))))