TreeView Knowledge Base Browser - TimePeriodFn

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 14058-14060
(domain TimePeriodFn 1 TimePoint)	Mid-level-ontology.kif 14063-14063	TimePeriodFn の数値 1 引数は時点の instance では %n
(domain TimePeriodFn 2 TimeDuration)	Mid-level-ontology.kif 14064-14064	TimePeriodFn の数値 2 引数は時間分の instance では %n
(instance TimePeriodFn BinaryFunction)	Mid-level-ontology.kif 14057-14057	TimePeriodFn は 2変数関数の instance では %n
(range TimePeriodFn TimeInterval)	Mid-level-ontology.kif 14065-14065	TimePeriodFn の range は時間間隔のインスタンスでは %n

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 14061-14061

consequent

(=> (and (agreementPeriod ?AGREEMENT ?DURATION) (agreementEffectiveDate ?AGREEMENT ?STARTDATE)) (holdsDuring (TimePeriodFn ?STARTDATE ?DURATION) (property ?AGREEMENT ActiveAgreement)))	Mid-level-ontology.kif 14043-14048	agreementPeriod Agreement and 時間間隔 agreementEffectiveDate Agreement and 時点 Agreement には attribute ActiveAgreement %n{ない} は TimePeriodFn 時点 and 時間間隔の during holds %n{ない}
(=> (and (instance ?T1 TimePoint) (instance ?T2 TimePoint) (equal ?INTERVAL (TimeIntervalFn ?T1 ?T2)) (duration ?INTERVAL ?PERIOD)) (equal ?INTERVAL (TimePeriodFn ?T1 ?PERIOD)))	Mid-level-ontology.kif 14067-14073	時点は時点の instance では %n 時点は時点の instance では %n 時間間隔は時点と時点の interval と equal では %n 時間間隔の duration は時間分では %n 時間間隔は TimePeriodFn 時点 and 時間分と equal では %n

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

Show without tree

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