time Comparison Table

Next AsymmetricRelation: totalOrderingOn Up: AsymmetricRelation, BinaryPredicate, TemporalRelation Previous AsymmetricRelation: temporalPart

time 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

time TimePosition Physical valence subrelation A very general TemporalRelation that specifies, at any level of resolution, the TimePosition at which a particular Object or Process exists or occurs
(=>
(and
(time ?PHYS ?TIME1)
(time ?PHYS ?TIME2))
(or
(overlapsTemporally ?TIME1 ?TIME2)
(temporalPart ?TIME1 ?TIME2)
(temporalPart ?TIME2 ?TIME1)))
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
time	TimePosition	Physical	valence	subrelation	A very general TemporalRelation that specifies, at any level of resolution, the TimePosition at which a particular Object or Process exists or occurs	(=> (and (time ?PHYS ?TIME1) (time ?PHYS ?TIME2)) (or (overlapsTemporally ?TIME1 ?TIME2) (temporalPart ?TIME1 ?TIME2) (temporalPart ?TIME2 ?TIME1)))		TemporalRelation

Next AsymmetricRelation: totalOrderingOn Up: AsymmetricRelation, BinaryPredicate, TemporalRelation Previous AsymmetricRelation: temporalPart