SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > IntentionalRelation > PropositionalAttitude > desires
Next PropositionalAttitudeknows    UpPropositionalAttitude    Previous PropositionalAttitudeconsiders   

desiresdocumentation (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 ObjectAttitude2001-11-30 13:34:02.0
has domain1 Agent2001-11-30 13:34:02.0
has domain2 Formula2001-11-30 13:34:02.0
has relatedInternalConcept wants2001-11-30 13:34:02.0
is an instance of PropositionalAttitude2001-11-30 13:34:02.0
AntisymmetricRelationhas axiom
(partialOrderingOn ?RELATION ?CLASS)
(reflexiveOn ?RELATION ?CLASS)
(instance ?RELATION TransitiveRelation)
(instance ?RELATION AntisymmetricRelation)))
2001-11-30 13:33:37.0
has axiom
(instance ?REL AntisymmetricRelation)
(forall (?INST1 ?INST2)
(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)
(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

Next PropositionalAttitudeknows    UpPropositionalAttitude    Previous PropositionalAttitudeconsiders