SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > inScopeOfInterest |
inScopeOfInterest | ||||
subject | fact |
inScopeOfInterest | documentation A 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 | |
has axiom (=> | ||
has domain1 Agent | ||
has domain2 Entity | ||
is an instance of AsymmetricRelation | ||
is an instance of BinaryPredicate | ||
is an instance of IntentionalRelation | ||
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 | ||
Predicate | is first domain of singleValued | |
Class | is third domain of domain | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |
Next AsymmetricRelation: IntentionalRelation Up: AsymmetricRelation, BinaryPredicate, IntentionalRelation Previous AsymmetricRelation: inhabits