The epistemic predicate of belief.
(believes agent formula) means that agent believes the proposition
expressed by formula.
SUMO / BASE-ONTOLOGY
believes(cognitive agent, formula)
Related WordNet synsets
See more related synsets on a separate page.
- the cognitive process that leads to convictions; "seeing is believing"
- 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"
- a supporter who accepts something as true
If agent believes formula, then there exists time so that agent considers formula during time.
(believes ?AGENT ?FORMULA)
(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.
(instance ?LEARN Learning)
(agent ?LEARN ?AGENT)
(patient ?LEARN ?PROP))))
(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)
(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.
(instance ?STATE Stating)
(agent ?STATE ?AGENT)
(patient ?STATE ?FORMULA)
(instance ?FORMULA Formula))
(believes ?AGENT ?FORMULA)))