existant Comparison Table

Next AsymmetricRelation: exploits Up: AsymmetricRelation, BinaryPredicate, TemporalRelation Previous AsymmetricRelation: equivalenceRelationOn

existant 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

AsymmetricRelation trichotomizingOn inverse 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 inverse A Predicate relating two items - its valence is two
(=>
(instance ?REL BinaryPredicate)
(valence ?REL 2))
Predicate

TemporalRelation valence subrelation The Class of temporal Relations. This Class includes notions of (temporal) topology of intervals, (temporal) schemata, and (temporal) extension
(forall (?INT) (domain exhaustiveDecomposition ?INT Class))
Relation

existant TimePosition Physical valence subrelation This relation holds between an instance of Physical and an instance of TimePosition just in case the temporal lifespan of the former includes the latter. The constants located and existant are the basic spatial and temporal predicates, respectively
(=>
(result ?PROC ?OBJ)
(forall (?TIME)
(=>
(before ?TIME (BeginFn (WhenFn ?PROC)))
(not
(existant ?OBJ ?TIME)))))
TemporalRelation

Subject	have domain2	have domain1	be first domain of	be second domain of	documentation	have axiom	is a kind of	is an instance of
AsymmetricRelation			trichotomizingOn	inverse	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	inverse	A Predicate relating two items - its valence is two	(=> (instance ?REL BinaryPredicate) (valence ?REL 2))	Predicate
TemporalRelation			valence	subrelation	The Class of temporal Relations. This Class includes notions of (temporal) topology of intervals, (temporal) schemata, and (temporal) extension	(forall (?INT) (domain exhaustiveDecomposition ?INT Class))	Relation
existant	TimePosition	Physical	valence	subrelation	This relation holds between an instance of Physical and an instance of TimePosition just in case the temporal lifespan of the former includes the latter. The constants located and existant are the basic spatial and temporal predicates, respectively	(=> (result ?PROC ?OBJ) (forall (?TIME) (=> (before ?TIME (BeginFn (WhenFn ?PROC))) (not (existant ?OBJ ?TIME)))))		TemporalRelation

Next AsymmetricRelation: exploits Up: AsymmetricRelation, BinaryPredicate, TemporalRelation Previous AsymmetricRelation: equivalenceRelationOn