inScopeOfInterest Comparison Table

Next AsymmetricRelation: IntentionalRelation Up: AsymmetricRelation, BinaryPredicate, IntentionalRelation Previous AsymmetricRelation: inhabits

inScopeOfInterest comparison table

Subject have domain2 have domain1 be first domain of documentation have axiom is a kind of is an instance of

AsymmetricRelation trichotomizingOn A BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation
(=>
(instance ?REL IrreflexiveRelation)
(forall (?INST)
(not
(holds ?REL ?INST ?INST))))
IrreflexiveRelation

BinaryPredicate singleValued A Predicate relating two items - its valence is two
(=>
(instance ?REL BinaryPredicate)
(valence ?REL 2))
Predicate

IntentionalRelation trichotomizingOn The Class of Relations between an Agent and an Entity, where the Relation requires that the Agent have awareness of the Entity
(=>
(instance ?REL IrreflexiveRelation)
(forall (?INST)
(not
(holds ?REL ?INST ?INST))))
AsymmetricRelation

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

Subject	have domain2	have domain1	be first domain of	documentation	have axiom	is a kind of	is an instance of
AsymmetricRelation			trichotomizingOn	A BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation	(=> (instance ?REL IrreflexiveRelation) (forall (?INST) (not (holds ?REL ?INST ?INST))))	IrreflexiveRelation
BinaryPredicate			singleValued	A Predicate relating two items - its valence is two	(=> (instance ?REL BinaryPredicate) (valence ?REL 2))	Predicate
IntentionalRelation			trichotomizingOn	The Class of Relations between an Agent and an Entity, where the Relation requires that the Agent have awareness of the Entity	(=> (instance ?REL IrreflexiveRelation) (forall (?INST) (not (holds ?REL ?INST ?INST))))	AsymmetricRelation
inScopeOfInterest	Entity	Agent	singleValued	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	(=> (and (instance ?SEARCH Searching) (agent ?SEARCH ?AGENT) (patient ?SEARCH ?ENTITY)) (inScopeOfInterest ?AGENT ?ENTITY))		IntentionalRelation

Next AsymmetricRelation: IntentionalRelation Up: AsymmetricRelation, BinaryPredicate, IntentionalRelation Previous AsymmetricRelation: inhabits