TimePeriodFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - TimePeriodFn

TimePeriodFn

appearance as argument number 1

(documentation TimePeriodFn EnglishLanguage "(TimePeriodFn ?TIMEPOINT ?DURATION) accepts TimePoint ?TIMEPOINT and TimeDuration ?DURATION and returns a TimeInterval that starts from ?TIMEPOINT and ends at the end of ?DURATION")	Mid-level-ontology.kif 14249-14251
(domain TimePeriodFn 1 TimePoint)	Mid-level-ontology.kif 14254-14254	The number 1 argument of time period function is an instance of time point
(domain TimePeriodFn 2 TimeDuration)	Mid-level-ontology.kif 14255-14255	The number 2 argument of time period function is an instance of time duration
(instance TimePeriodFn BinaryFunction)	Mid-level-ontology.kif 14248-14248	Time period function is an instance of binary function
(range TimePeriodFn TimeInterval)	Mid-level-ontology.kif 14256-14256	The range of time period function is an instance of time interval

appearance as argument number 2

(format ChineseLanguage TimePeriodFn "time 开始在 %1 并且持续到 %2 ")	domainEnglishFormat.kif 4778-4778
(format ChineseTraditionalLanguage TimePeriodFn "time 開始在 %1 並且持續到 %2 ")	domainEnglishFormat.kif 4777-4777
(format EnglishLanguage TimePeriodFn "a time that starts at %1 and lasts for %2")	domainEnglishFormat.kif 4776-4776
(termFormat EnglishLanguage TimePeriodFn "time period function")	Mid-level-ontology.kif 14252-14252

consequent

(=> (and (agreementPeriod ?AGREEMENT ?DURATION) (agreementEffectiveDate ?AGREEMENT ?STARTDATE)) (holdsDuring (TimePeriodFn ?STARTDATE ?DURATION) (property ?AGREEMENT ActiveAgreement)))	Mid-level-ontology.kif 14234-14239	If a time interval is an agreement period of an agreement and a time point is an agreement effective date of the agreement, then the agreement the attribute active agreement holds during a time that starts at the time point and lasts for the time interval
(=> (and (instance ?T1 TimePoint) (instance ?T2 TimePoint) (equal ?INTERVAL (TimeIntervalFn ?T1 ?T2)) (duration ?INTERVAL ?PERIOD)) (equal ?INTERVAL (TimePeriodFn ?T1 ?PERIOD)))	Mid-level-ontology.kif 14258-14264	If a time point is an instance of time point and another time point is an instance of time point and a time interval is equal to interval between the time point and the other time point and duration of the time interval is a time duration, then the time interval is equal to a time that starts at the time point and lasts for the time duration

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners