SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > IntentionalRelation > PropositionalAttitude > believes
Next PropositionalAttitudeconsiders    UpPropositionalAttitude    Previous PropositionalAttitudeknows   

believesdocumentation The epistemic predicate of belief. (believes ?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA2001-11-30 13:33:43.0
has axiom
(instance ?ORG ReligiousOrganization)
(exists (?PROP)
(forall (?PERSON)
(member ?PERSON ?ORG)
(believes ?PERSON ?PROP)))))
2001-11-30 13:33:43.0
has axiom
(believes ?AGENT ?FORMULA))
2001-11-30 13:33:43.0
has axiom
(holdsDuring ?TIME
(exists (?LEARN)
(instance ?LEARN Learning)
(agent ?LEARN ?AGENT)
(patient ?LEARN ?PROP))))
(holdsDuring (ImmediateFutureFn ?TIME)
(believes ?AGENT ?PROP)))
2001-11-30 13:33:43.0
has domain1 Agent2001-11-30 13:33:43.0
has domain2 Formula2001-11-30 13:33:43.0
is an instance of PropositionalAttitude2001-11-30 13:33:43.0
BinaryRelationis first domain of DomainFn2001-11-30 13:33:44.0
is first domain of equivalenceRelationOn2001-11-30 13:33:44.0
is first domain of inverse2001-11-30 13:33:44.0
is first domain of irreflexiveOn2001-11-30 13:33:44.0
is first domain of partialOrderingOn2001-11-30 13:33:44.0
is first domain of RangeFn2001-11-30 13:33:44.0
is first domain of reflexiveOn2001-11-30 13:33:44.0
is first domain of totalOrderingOn2001-11-30 13:33:44.0
is first domain of trichotomizingOn2001-11-30 13:33:44.0
is second domain of inverse2001-11-30 13:33:44.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Next PropositionalAttitudeconsiders    UpPropositionalAttitude    Previous PropositionalAttitudeknows