SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > duration

duration
subject			fact

duration	documentation (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
	has axiom (=> (frequency ?PROC ?TIME1) (forall (?TIME2) (=> (duration ?TIME2 ?TIME1) (exists (?POINT) (and (temporalPart ?POINT ?TIME2) (holdsDuring ?POINT (exists (?INST) (instance ?INST ?PROC))))))))
	has axiom (=> (instance ?DAY Day) (duration ?DAY DayDuration))
	has axiom (=> (instance ?HOUR Hour) (duration ?HOUR HourDuration))
	has axiom (=> (instance ?INTERVAL TimeInterval) (exists (?DURATION) (duration ?INTERVAL ?DURATION)))
	has axiom (=> (instance ?MINUTE Minute) (duration ?MINUTE MinuteDuration))
	has axiom (=> (instance ?MONTH Month) (duration ?MONTH MonthDuration))
	has axiom (=> (instance ?POINT TimePoint) (not (exists (?DURATION) (duration ?POINT ?DURATION))))
	has axiom (=> (instance ?SECOND Second) (duration ?SECOND SecondDuration))
	has axiom (=> (instance ?YEAR Year) (duration ?YEAR YearDuration))
	has domain1 TimePosition
	has domain2 TimeDuration
	is an instance of AsymmetricRelation
	is an instance of BinaryPredicate
BinaryRelation	is first domain of DomainFn
	is first domain of equivalenceRelationOn
	is first domain of inverse
	is first domain of irreflexiveOn
	is first domain of partialOrderingOn
	is first domain of RangeFn
	is first domain of reflexiveOn
	is first domain of totalOrderingOn
	is first domain of trichotomizingOn
	is second domain of inverse
Predicate	is first domain of singleValued
Class	is third domain of domain
	is third domain of domainSubclass
Abstract	is disjoint from Physical

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