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

PropositionalAttitude
subjectfact 
PropositionalAttitudedocumentation The Class of IntentionalRelations where the Agent has awareness of a Proposition2001-11-30 13:35:05.0
is a kind of IntentionalRelation2001-11-30 13:35:05.0
AntisymmetricRelationhas axiom
(=> 
(partialOrderingOn ?RELATION ?CLASS)
(and
(reflexiveOn ?RELATION ?CLASS)
(instance ?RELATION TransitiveRelation)
(instance ?RELATION AntisymmetricRelation)))
2001-11-30 13:33:37.0
has axiom
(=>
(instance ?REL AntisymmetricRelation)
(forall (?INST1 ?INST2)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST1))
(equal ?INST1 ?INST2))))
2001-11-30 13:33:37.0
IrreflexiveRelationhas axiom
(=>
(instance ?REL IrreflexiveRelation)
(forall (?INST)
(not
(holds ?REL ?INST ?INST))))
2001-11-30 13:34:32.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

Kinds of PropositionalAttitude :

Next IntentionalRelationinScopeOfInterest    UpIntentionalRelation    Previous IntentionalRelationObjectAttitude