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 (=> (and (instance ?SEARCH Searching) (agent ?SEARCH ?AGENT) (patient ?SEARCH ?ENTITY)) (inScopeOfInterest ?AGENT ?ENTITY))
	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