partlyLocated Comparison Table

Next BinaryPredicate: position Up: BinaryPredicate, ReflexiveRelation, SpatialRelation Previous BinaryPredicate: partialOrderingOn

partlyLocated comparison table

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

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

ReflexiveRelation trichotomizingOn inverse Relation ?REL is reflexive if (?REL ?INST ?INST) for all ?INST
(=>
(instance ?REL ReflexiveRelation)
(forall (?INST)
(holds ?REL ?INST ?INST)))
BinaryRelation

SpatialRelation valence subrelation The Class of Relations that are spatial in a wide sense. This Class includes mereological relations, topological relations, and positional relations
(=>
(and
(instance ?REL SpatialRelation)
(holds ?REL ?OBJ1 ?OBJ2))
(overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2)))
Relation

partlyLocated Region Object valence subrelation The predicate of partial localization. For example, Istanbul is partly located in Asia. Note that this is the most basic localization relation: located and exactlyLocated are both subrelations of partlyLocated
(=>
(partlyLocated ?OBJ ?REGION)
(overlapsSpatially ?OBJ ?REGION))
SpatialRelation

Subject	have domain2	have domain1	be first domain of	be second domain of	documentation	have axiom	is a kind of	is an instance of
BinaryPredicate			singleValued	inverse	A Predicate relating two items - its valence is two	(=> (instance ?REL BinaryPredicate) (valence ?REL 2))	Predicate
ReflexiveRelation			trichotomizingOn	inverse	Relation ?REL is reflexive if (?REL ?INST ?INST) for all ?INST	(=> (instance ?REL ReflexiveRelation) (forall (?INST) (holds ?REL ?INST ?INST)))	BinaryRelation
SpatialRelation			valence	subrelation	The Class of Relations that are spatial in a wide sense. This Class includes mereological relations, topological relations, and positional relations	(=> (and (instance ?REL SpatialRelation) (holds ?REL ?OBJ1 ?OBJ2)) (overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2)))	Relation
partlyLocated	Region	Object	valence	subrelation	The predicate of partial localization. For example, Istanbul is partly located in Asia. Note that this is the most basic localization relation: located and exactlyLocated are both subrelations of partlyLocated	(=> (partlyLocated ?OBJ ?REGION) (overlapsSpatially ?OBJ ?REGION))		SpatialRelation

Next BinaryPredicate: position Up: BinaryPredicate, ReflexiveRelation, SpatialRelation Previous BinaryPredicate: partialOrderingOn