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 15402-15404
(domain TimePeriodFn 1 TimePoint) Mid-level-ontology.kif 15407-15407 TimePeriodFn の数値 1 引数は 時点instance では
(domain TimePeriodFn 2 TimeDuration) Mid-level-ontology.kif 15408-15408 TimePeriodFn の数値 2 引数は 時間分instance では
(instance TimePeriodFn BinaryFunction) Mid-level-ontology.kif 15401-15401 TimePeriodFn2変数関数instance では
(range TimePeriodFn TimeInterval) Mid-level-ontology.kif 15409-15409 TimePeriodFnrange時間間隔 のインスタンス では

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


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

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


(=>
    (and
        (agreementPeriod ?AGREEMENT ?DURATION)
        (agreementEffectiveDate ?AGREEMENT ?STARTDATE))
    (holdsDuring
        (TimePeriodFn ?STARTDATE ?DURATION)
        (property ?AGREEMENT ActiveAgreement)))
Mid-level-ontology.kif 15387-15392
(=>
    (and
        (instance ?T1 TimePoint)
        (instance ?T2 TimePoint)
        (equal ?INTERVAL
            (TimeIntervalFn ?T1 ?T2))
        (duration ?INTERVAL ?PERIOD))
    (equal ?INTERVAL
        (TimePeriodFn ?T1 ?PERIOD)))
Mid-level-ontology.kif 15411-15417


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