SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > IntentionalRelation > ObjectAttitude > wants
Next ObjectAttitude: needs    Up: ObjectAttitude

wants comparison table
Subject have domain2 have domain1 documentation have axiom is a kind of is an instance of have relatedInternalConcept
ObjectAttitude  The Class of IntentionalRelations where the Agent has awareness of an instance of Physical
(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
       (not 
          (holds ?REL ?INST ?INST))))
IntentionalRelation  
wantsObjectAgent(wants ?AGENT ?OBJECT) means that ?OBJECT is desired by ?AGENT, i.e. ?AGENT believes that ?OBJECT will satisfy one of its goals
(=>
    (wants ?AGENT ?OBJ)
    (exists (?PURP)
       (hasPurposeForAgent ?OBJ ?PURP ?AGENT)))
 ObjectAttitudedesires

Next ObjectAttitude: needs    Up: ObjectAttitude