SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > IntentionalRelation
Next AsymmetricRelation: irreflexiveOn    Up: AsymmetricRelation    Previous AsymmetricRelation: inScopeOfInterest   

IntentionalRelation comparison table
Subject have domain2 have domain1 be first domain of documentation have axiom is a kind of be disjoint from is an instance of
inScopeOfInterestEntityAgentsingleValuedA very general Predicate. (inScopeOfInterest ?AGENT ?ENTITY) means that ?ENTITY is within the scope of interest of ?AGENT. Note that the interest indicated can be either positive or negative, i.e. the ?AGENT can have an interest in avoiding or promoting ?ENTITY
(=>
    (and
       (instance ?SEARCH Searching)
       (agent ?SEARCH ?AGENT)
       (patient ?SEARCH ?ENTITY))
    (inScopeOfInterest ?AGENT ?ENTITY))
 PhysicalIntentionalRelation
ObjectAttitude  trichotomizingOnThe Class of IntentionalRelations where the Agent has awareness of an instance of Physical
(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
       (not 
          (holds ?REL ?INST ?INST))))
IntentionalRelationPropositionalAttitude 
PropositionalAttitude  trichotomizingOnThe Class of IntentionalRelations where the Agent has awareness of a Proposition
(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
       (not 
          (holds ?REL ?INST ?INST))))
IntentionalRelationPhysical 

Next AsymmetricRelation: irreflexiveOn    Up: AsymmetricRelation    Previous AsymmetricRelation: inScopeOfInterest