Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

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

Kategorie
is instance of
  inheritable relation  
is instance of
  propositionale Einstellung  
is instance of
  betrachtet  

Superrelation(s)

imBereichInteresses
is subrelation of
  betrachtet  

Coordinate term(s)

glaubt  wünscht  kennt 

Type restrictions

considers(kognitiver Agent, Formel)

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)

Wenn agent glaubt , dass formula, dann es gibt ein time der "agent betrachtet formula " hält während time . 
(=>
      (believes ?AGENT ?FORMULA)
      (exists
            (?TIME)
            (holdsDuring
                  ?TIME
                  (considers ?AGENT ?FORMULA))))