duration Comparison Table

Next AsymmetricRelation: element Up: AsymmetricRelation, BinaryPredicate Previous AsymmetricRelation: documentation

duration 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

duration TimeDuration TimePosition singleValued (duration ?POS ?TIME) means that the duration of the TimePosition ?POS is ?TIME. Note that this Predicate can be used in conjunction with the Function WhenFn to specify the duration of any instance of Physical
(=>
(instance ?YEAR Year)
(duration ?YEAR YearDuration))
BinaryPredicate

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
duration	TimeDuration	TimePosition	singleValued	(duration ?POS ?TIME) means that the duration of the TimePosition ?POS is ?TIME. Note that this Predicate can be used in conjunction with the Function WhenFn to specify the duration of any instance of Physical	(=> (instance ?YEAR Year) (duration ?YEAR YearDuration))		BinaryPredicate

Next AsymmetricRelation: element Up: AsymmetricRelation, BinaryPredicate Previous AsymmetricRelation: documentation