Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  TimePeriodFn

 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 14058-14060
(domain TimePeriodFn 1 TimePoint) Mid-level-ontology.kif 14063-14063 Le nombre 1 argument de TimePeriodFn est une instance de point temporel
(domain TimePeriodFn 2 TimeDuration) Mid-level-ontology.kif 14064-14064 Le nombre 2 argument de TimePeriodFn est une instance de dur�e temporel
(instance TimePeriodFn BinaryFunction) Mid-level-ontology.kif 14057-14057 TimePeriodFn est une instance de fonction binaire
(range TimePeriodFn TimeInterval) Mid-level-ontology.kif 14065-14065 Le domaine de TimePeriodFn est une instance de interval temporel

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


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

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


(=>
    (and
        (agreementPeriod ?AGREEMENT ?DURATION)
        (agreementEffectiveDate ?AGREEMENT ?STARTDATE))
    (holdsDuring
        (TimePeriodFn ?STARTDATE ?DURATION)
        (property ?AGREEMENT ActiveAgreement)))		 Mid-level-ontology.kif 14043-14048
(=>
    (and
        (instance ?T1 TimePoint)
        (instance ?T2 TimePoint)
        (equal ?INTERVAL
            (TimeIntervalFn ?T1 ?T2))
        (duration ?INTERVAL ?PERIOD))
    (equal ?INTERVAL
        (TimePeriodFn ?T1 ?PERIOD)))		 Mid-level-ontology.kif 14067-14073


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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