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

considers (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)

Classe
is instance of
  inheritable relation  
is instance of
  AtteggiamentoProposizionale  
is instance of
  considers  

Superrelation(s)

in scope of interest
is subrelation of
  considers  

Coordinate term(s)

believes  desires  knows 

Type restrictions

considers(AgenteCognitivo, Formula)

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)

Se agent believes formula, allora esiste time tale che "agent consideras formula" vales durante time. 
(=>
      (believes ?AGENT ?FORMULA)
      (exists
            (?TIME)
            (holdsDuring
                  ?TIME
                  (considers ?AGENT ?FORMULA))))