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

ObjectAttitude
subjectfact 
ObjectAttitudedocumentation The Class of IntentionalRelations where the Agent has awareness of an instance of Physical2001-11-30 13:34:51.0
is disjoint from PropositionalAttitude2001-11-30 13:34:51.0
is a kind of IntentionalRelation2001-11-30 13:34:51.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

Kinds of ObjectAttitude :

Next IntentionalRelationPropositionalAttitude    UpIntentionalRelation    Previous IntentionalRelationinScopeOfInterest