SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > IntentionalRelation > PropositionalAttitude > believes
Next PropositionalAttitude: considers    Up: PropositionalAttitude    Previous PropositionalAttitude: knows   

believes comparison table
Subject have domain2 have domain1 documentation have axiom is a kind of is an instance of
PropositionalAttitude  The Class of IntentionalRelations where the Agent has awareness of a Proposition
(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
       (not 
          (holds ?REL ?INST ?INST))))
IntentionalRelation 
believesFormulaAgentThe 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)))
 PropositionalAttitude

Next PropositionalAttitude: considers    Up: PropositionalAttitude    Previous PropositionalAttitude: knows