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 11635-11637
(domain TimePeriodFn 1 TimePoint) Mid-level-ontology.kif 11640-11640 TimePeriodFn の数値 1 引数は 時点instance では %n
(domain TimePeriodFn 2 TimeDuration) Mid-level-ontology.kif 11641-11641 TimePeriodFn の数値 2 引数は 時間分instance では %n
(instance TimePeriodFn BinaryFunction) Mid-level-ontology.kif 11634-11634 TimePeriodFn2変数関数instance では %n
(range TimePeriodFn TimeInterval) Mid-level-ontology.kif 11642-11642 TimePeriodFnrange時間間隔 のインスタンス では %n

appearance as argument number 2
-------------------------


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

consequent
-------------------------


(=>
    (and
        (agreementPeriod ?AGREEMENT ?DURATION)
        (agreementEffectiveDate ?AGREEMENT ?STARTDATE))
    (holdsDuring
        (TimePeriodFn ?STARTDATE ?DURATION)
        (property ?AGREEMENT ActiveAgreement)))
Mid-level-ontology.kif 11620-11625
(=>
    (and
        (instance ?T1 TimePoint)
        (instance ?T2 TimePoint)
        (equal ?INTERVAL
            (TimeIntervalFn ?T1 ?T2))
        (duration ?INTERVAL ?PERIOD))
    (equal ?INTERVAL
        (TimePeriodFn ?T1 ?PERIOD)))
Mid-level-ontology.kif 11644-11650


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners