Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

considers (considers)

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

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

třída
is instance of
  inheritable relation  
is instance of
  postoj k tvrzení  
is instance of
  considers  

Superrelation(s)

in scope of interest
is subrelation of
  considers  

Související termín(y)

believes  desires  knows 

Typy argumentů

considers(myslící agent, formule)

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.

Axiomy (1)

Jestliže agent believes formula, potom existuje time tak, že agent considers formula během time. 
(=>
      (believes ?AGENT ?FORMULA)
      (exists
            (?TIME)
            (holdsDuring
                  ?TIME
                  (considers ?AGENT ?FORMULA))))