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 11634-11636
(domain TimePeriodFn 1 TimePoint) Mid-level-ontology.kif 11639-11639 The number 1 argument of time period function is an instance of time point
(domain TimePeriodFn 2 TimeDuration) Mid-level-ontology.kif 11640-11640 The number 2 argument of time period function is an instance of time duration
(instance TimePeriodFn BinaryFunction) Mid-level-ontology.kif 11633-11633 Time period function is an instance of binary function
(range TimePeriodFn TimeInterval) Mid-level-ontology.kif 11641-11641 The range of time period function is an instance of time interval

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


(format EnglishLanguage TimePeriodFn "a time that starts at %1 and lasts for %2") domainEnglishFormat.kif 1205-1205
(termFormat EnglishLanguage TimePeriodFn "time period function") Mid-level-ontology.kif 11637-11637 "time period function" is the printable form of time period function in english language

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


(=>
    (and
        (agreementPeriod ?AGREEMENT ?DURATION)
        (agreementEffectiveDate ?AGREEMENT ?STARTDATE))
    (holdsDuring
        (TimePeriodFn ?STARTDATE ?DURATION)
        (property ?AGREEMENT ActiveAgreement)))
Mid-level-ontology.kif 11619-11624
(=>
    (and
        (instance ?T1 TimePoint)
        (instance ?T2 TimePoint)
        (equal ?INTERVAL
            (TimeIntervalFn ?T1 ?T2))
        (duration ?INTERVAL ?PERIOD))
    (equal ?INTERVAL
        (TimePeriodFn ?T1 ?PERIOD)))
Mid-level-ontology.kif 11643-11649


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