SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > IntentionalRelation > PropositionalAttitude > desires |
desires | ||||
subject | fact |
desires | documentation (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 | |
has domain1 Agent | ||
has domain2 Formula | ||
has relatedInternalConcept wants | ||
is an instance of PropositionalAttitude | ||
AntisymmetricRelation | has axiom (=> | |
has axiom (=> | ||
IrreflexiveRelation | has axiom (=> | |
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 |
Next PropositionalAttitude: knows Up: PropositionalAttitude Previous PropositionalAttitude: considers