during Comparison Table

Next IrreflexiveRelation: earlier Up: IrreflexiveRelation, TemporalRelation, TransitiveRelation Previous IrreflexiveRelation: contraryProperty

during 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

IrreflexiveRelation trichotomizingOn inverse Relation ?REL is irreflexive if (?REL ?INST ?INST) holds for no value of ?INST
(=>
(instance ?REL IrreflexiveRelation)
(forall (?INST)
(not
(holds ?REL ?INST ?INST))))
BinaryRelation

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

TransitiveRelation trichotomizingOn inverse A BinaryRelation ?REL is transitive if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3
(=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
BinaryRelation

during TimeInterval TimeInterval valence subrelation (during ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 starts after and ends before ?INTERVAL2
(=>
(subProcess ?SUBPROC ?PROC)
(or
(equal (WhenFn ?SUBPROC) (WhenFn ?PROC))
(during (WhenFn ?SUBPROC) (WhenFn ?PROC))))
TransitiveRelation

Subject	have domain2	have domain1	be first domain of	be second domain of	documentation	have axiom	is a kind of	is an instance of
IrreflexiveRelation			trichotomizingOn	inverse	Relation ?REL is irreflexive if (?REL ?INST ?INST) holds for no value of ?INST	(=> (instance ?REL IrreflexiveRelation) (forall (?INST) (not (holds ?REL ?INST ?INST))))	BinaryRelation
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
TransitiveRelation			trichotomizingOn	inverse	A BinaryRelation ?REL is transitive if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3	(=> (instance ?REL TransitiveRelation) (forall (?INST1 ?INST2 ?INST3) (=> (and (holds ?REL ?INST1 ?INST2) (holds ?REL ?INST2 ?INST3)) (holds ?REL ?INST1 ?INST3))))	BinaryRelation
during	TimeInterval	TimeInterval	valence	subrelation	(during ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 starts after and ends before ?INTERVAL2	(=> (subProcess ?SUBPROC ?PROC) (or (equal (WhenFn ?SUBPROC) (WhenFn ?PROC)) (during (WhenFn ?SUBPROC) (WhenFn ?PROC))))		TransitiveRelation

Next IrreflexiveRelation: earlier Up: IrreflexiveRelation, TemporalRelation, TransitiveRelation Previous IrreflexiveRelation: contraryProperty