SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > IntentionalRelation > PropositionalAttitude
Next IntentionalRelationinScopeOfInterest    UpIntentionalRelation    Previous IntentionalRelationObjectAttitude   

PropositionalAttitude comparison table
Subject documentation have axiom have relatedInternalConcept
believesThe epistemic predicate of belief. (believes ?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA
(=>
(holdsDuring ?TIME
(exists (?LEARN)
(and
(instance ?LEARN Learning)
(agent ?LEARN ?AGENT)
(patient ?LEARN ?PROP))))
(holdsDuring (ImmediateFutureFn ?TIME)
(believes ?AGENT ?PROP)))
 
considers(considers ?AGENT ?FORMULA) means that ?AGENT considers or wonders about the truth of the proposition expressed by ?FORMULA
(=>
(instance ?REL IrreflexiveRelation)
(forall (?INST)
(not
(holds ?REL ?INST ?INST))))
 
desires(desires ?AGENT ?FORMULA) means that ?AGENT wants to bring about the state of affairs expressed by ?FORMULA. Note that desires is distinguished from wants only in that the former is a PropositionalAttitude, while wants is an ObjectAttitude
(=>
(instance ?REL IrreflexiveRelation)
(forall (?INST)
(not
(holds ?REL ?INST ?INST))))
wants
knowsThe epistemic predicate of knowing. (knows ?AGENT ?FORMULA) means that ?AGENT knows the proposition expressed by ?FORMULA. Note that knows entails conscious awareness, so this Predicate cannot be used to express tacit or subconscious or unconscious knowledge
(=>
(knows ?AGENT ?FORMULA)
(true ?FORMULA True))
 

Next IntentionalRelationinScopeOfInterest    UpIntentionalRelation    Previous IntentionalRelationObjectAttitude