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

believes (believes)

The epistemic predicate of belief. (believes agent formula) means that agent believes the proposition expressed by formula.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Classe
is instance of
  inheritable relation  
is instance of
  AtteggiamentoProposizionale  
is instance of
  believes  

Superrelation(s)

in scope of interest
is subrelation of
  believes  

Coordinate term(s)

considers  desires  knows 

Type restrictions

believes(AgenteCognitivo, Formula)

Related WordNet synsets

believing
the cognitive process that leads to convictions; "seeing is believing"
believing is kind of (all)...   believing is kind of...   kinds of believing...   kinds of believing (all)...  
credence, acceptance
the mental attitude that something is believable and should be accepted as true; "he gave credence to the gossip"; "acceptance of Newtonian mechanics was unquestioned for 200 years"
credence is kind of (all)...   credence is kind of...  
believer
a supporter who accepts something as true
believer is kind of (all)...   believer is kind of...   kinds of believer...   kinds of believer (all)...  
See more related synsets on a separate page.

Axioms (5)

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))))
Se agent conosces formula, allora agent believes formula. 
(=>
      (knows ?AGENT ?FORMULA)
      (believes ?AGENT ?FORMULA))
Se "esiste Apprendere learn tale che learn é un agente di agent e prop é un paziente di learn" vales durante time, allora "agent believes prop" vales durante "immediatamente dopo time". 
(=>
      (holdsDuring
            ?TIME
            (exists
                  (?LEARN)
                  (and
                        (instance ?LEARN Learning)
                        (agent ?LEARN ?AGENT)
                        (patient ?LEARN ?PROP))))
      (holdsDuring
            (ImmediateFutureFn ?TIME)
            (believes ?AGENT ?PROP)))
Se pretend é un' istanza di Fingere, allora esiste person,prop tale che pretend ha scopo "person believes prop" e prop é true. 
(=>
      (instance ?PRETEND Pretending)
      (exists
            (?PERSON ?PROP)
            (and
                  (hasPurpose
                        ?PRETEND
                        (believes ?PERSON ?PROP))
                  (true ?PROP True))))
Se state é un' istanza di Affermare e state é un agente di agent e formula é un paziente di state e formula é un' istanza di Formula, allora "agent believes formula" vales durante "il tempo di esistenza di state". 
(=>
      (and
            (instance ?STATE Stating)
            (agent ?STATE ?AGENT)
            (patient ?STATE ?FORMULA)
            (instance ?FORMULA Formula))
      (holdsDuring
            (WhenFn ?STATE)
            (believes ?AGENT ?FORMULA)))