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

needs comparison table
Subject have domain2 have domain1 documentation have axiom is a kind of is an instance of
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 
needsObjectAgent(needs ?AGENT ?OBJECT) means that ?OBJECT is physically required for the continued existence of ?AGENT
(=>
     (needs ?AGENT ?OBJECT)
     (wants ?AGENT ?OBJECT))
 ObjectAttitude

Next ObjectAttitude: wants    Up: ObjectAttitude