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)

class
is instance of
  inheritable relation  
is instance of
  propositional attitude  
is instance of
  believes  

Superrelation(s)

in scope of interest
is subrelation of
  believes  

Coordinate term(s)

considers  desires  knows 

Type restrictions

believes(cognitive agent, 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)

If agent believes formula, then there exists time so that agent considers formula during time. 
(=>
      (believes ?AGENT ?FORMULA)
      (exists
            (?TIME)
            (holdsDuring
                  ?TIME
                  (considers ?AGENT ?FORMULA))))
If agent knows formula, then agent believes formula. 
(=>
      (knows ?AGENT ?FORMULA)
      (believes ?AGENT ?FORMULA))
If there exists learning learn so that learn is an agent of agent and prop is a patient of learn during time, then agent believes prop immediately after time. 
(=>
      (holdsDuring
            ?TIME
            (exists
                  (?LEARN)
                  (and
                        (instance ?LEARN Learning)
                        (agent ?LEARN ?AGENT)
                        (patient ?LEARN ?PROP))))
      (holdsDuring
            (ImmediateFutureFn ?TIME)
            (believes ?AGENT ?PROP)))
If pretend is an instance of pretending, then there exist person,prop so that pretend has purpose "person believes prop" and prop is true. 
(=>
      (instance ?PRETEND Pretending)
      (exists
            (?PERSON ?PROP)
            (and
                  (hasPurpose
                        ?PRETEND
                        (believes ?PERSON ?PROP))
                  (true ?PROP True))))
If state is an instance of stating and state is an agent of agent and formula is a patient of state and formula is an instance of formula, then agent believes formula the time of existence of state. 
(=>
      (and
            (instance ?STATE Stating)
            (agent ?STATE ?AGENT)
            (patient ?STATE ?FORMULA)
            (instance ?FORMULA Formula))
      (holdsDuring
            (WhenFn ?STATE)
            (believes ?AGENT ?FORMULA)))