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 11665-11667
(domain TimePeriodFn 1 TimePoint) Mid-level-ontology.kif 11670-11670 domain TimePeriodFn, 1 and TimePoint
(domain TimePeriodFn 2 TimeDuration) Mid-level-ontology.kif 11671-11671 domain TimePeriodFn, 2 and TimeDuration
(instance TimePeriodFn BinaryFunction) Mid-level-ontology.kif 11664-11664 instance TimePeriodFn and BinaryFunction
(range TimePeriodFn TimeInterval) Mid-level-ontology.kif 11672-11672 range TimePeriodFn and TimeInterval

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

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


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


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