SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > IntentionalRelation > PropositionalAttitude > believes |
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 | (=> | IntentionalRelation | |||
believes | Formula | Agent | The epistemic predicate of belief. (believes ?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA | (=> | PropositionalAttitude |
Next PropositionalAttitude: considers Up: PropositionalAttitude Previous PropositionalAttitude: knows