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 13501-13503
(domain TimePeriodFn 1 TimePoint) Mid-level-ontology.kif 13506-13506 TimePeriodFn 的 1 数量 是 时点instance
(domain TimePeriodFn 2 TimeDuration) Mid-level-ontology.kif 13507-13507 TimePeriodFn 的 2 数量 是 持续时间instance
(instance TimePeriodFn BinaryFunction) Mid-level-ontology.kif 13500-13500 TimePeriodFn二元函数instance
(range TimePeriodFn TimeInterval) Mid-level-ontology.kif 13508-13508 TimePeriodFnrange时距 的实例

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


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

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


(=>
    (and
        (agreementPeriod ?AGREEMENT ?DURATION)
        (agreementEffectiveDate ?AGREEMENT ?STARTDATE))
    (holdsDuring
        (TimePeriodFn ?STARTDATE ?DURATION)
        (property ?AGREEMENT ActiveAgreement)))
Mid-level-ontology.kif 13486-13491
(=>
    (and
        (instance ?T1 TimePoint)
        (instance ?T2 TimePoint)
        (equal ?INTERVAL
            (TimeIntervalFn ?T1 ?T2))
        (duration ?INTERVAL ?PERIOD))
    (equal ?INTERVAL
        (TimePeriodFn ?T1 ?PERIOD)))
Mid-level-ontology.kif 13510-13516


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