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 11639-11641
(domain TimePeriodFn 1 TimePoint) Mid-level-ontology.kif 11644-11644 domain TimePeriodFn, 1 and TimePoint
(domain TimePeriodFn 2 TimeDuration) Mid-level-ontology.kif 11645-11645 domain TimePeriodFn, 2 and TimeDuration
(instance TimePeriodFn BinaryFunction) Mid-level-ontology.kif 11638-11638 instance TimePeriodFn and BinaryFunction
(range TimePeriodFn TimeInterval) Mid-level-ontology.kif 11646-11646 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 11642-11642 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 11624-11629
(=>
    (and
        (instance ?T1 TimePoint)
        (instance ?T2 TimePoint)
        (equal ?INTERVAL
            (TimeIntervalFn ?T1 ?T2))
        (duration ?INTERVAL ?PERIOD))
    (equal ?INTERVAL
        (TimePeriodFn ?T1 ?PERIOD)))
Mid-level-ontology.kif 11648-11654


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