SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > IntentionalRelation > PropositionalAttitude

PropositionalAttitude
subject			fact

PropositionalAttitude	documentation The Class of IntentionalRelations where the Agent has awareness of a Proposition
	is a kind of IntentionalRelation
AntisymmetricRelation	has axiom (=> (partialOrderingOn ?RELATION ?CLASS) (and (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION TransitiveRelation) (instance ?RELATION AntisymmetricRelation)))
	has axiom (=> (instance ?REL AntisymmetricRelation) (forall (?INST1 ?INST2) (=> (and (holds ?REL ?INST1 ?INST2) (holds ?REL ?INST2 ?INST1)) (equal ?INST1 ?INST2))))
IrreflexiveRelation	has axiom (=> (instance ?REL IrreflexiveRelation) (forall (?INST) (not (holds ?REL ?INST ?INST))))
BinaryRelation	is first domain of DomainFn
	is first domain of equivalenceRelationOn
	is first domain of inverse
	is first domain of irreflexiveOn
	is first domain of partialOrderingOn
	is first domain of RangeFn
	is first domain of reflexiveOn
	is first domain of totalOrderingOn
	is first domain of trichotomizingOn
	is second domain of inverse
Class	is third domain of domain
	is third domain of domainSubclass
Abstract	is disjoint from Physical

Kinds of PropositionalAttitude :

• believes (7 facts) - The epistemic predicate of belief. (believes ?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA
• considers (4 facts) - (considers ?AGENT ?FORMULA) means that ?AGENT considers or wonders about the truth of the proposition expressed by ?FORMULA
• desires (5 facts) - (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
• knows (9 facts) - The 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

Next IntentionalRelation: inScopeOfInterest    Up: IntentionalRelation    Previous IntentionalRelation: ObjectAttitude