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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RelativeTimeFn
RelativeTimeFn

appearance as argument number 1
-------------------------


(documentation RelativeTimeFn ChineseLanguage "这是用于不同 TimeZone 之间的一种对换 TimePosition 的方法。 (RelativeTimeFn ?TIME ?ZONE)表示 TimePosition 在 CoordinatedUniversalTime 上,即是和 TimePosition ?TIME 在 TimeZone ?ZONE 是同时期。例如: (RelativeTimeFn (MeasureFn 14 HourDuration) EasternTimeZone)所得出的值会是 (MeasureFn 19 HourDuration)。") Merge.kif 17579-17583
(documentation RelativeTimeFn EnglishLanguage "A means of converting TimePositions between different TimeZones. (RelativeTimeFn ?TIME ?ZONE) denotes the TimePosition in CoordinatedUniversalTime that is contemporaneous with the TimePosition ?TIME in TimeZone ?ZONE. For example, (RelativeTimeFn (MeasureFn 14 HourDuration) EasternTimeZone) would return the value (MeasureFn 19 HourDuration).") Merge.kif 17573-17578
(domain RelativeTimeFn 1 TimePosition) Merge.kif 17570-17570 The number 1 argument of relative time is an instance of time position
(domain RelativeTimeFn 2 TimeZone) Merge.kif 17571-17571 The number 2 argument of relative time is an instance of time zone
(instance RelativeTimeFn BinaryFunction) Merge.kif 17567-17567 Relative time is an instance of binary function
(instance RelativeTimeFn TemporalRelation) Merge.kif 17568-17568 Relative time is an instance of temporal relation
(instance RelativeTimeFn TotalValuedRelation) Merge.kif 17569-17569 Relative time is an instance of total valued relation
(range RelativeTimeFn TimePosition) Merge.kif 17572-17572 The range of relative time is an instance of time position

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


(format ChineseLanguage RelativeTimeFn "时间 %1 在 时区 %2") chinese_format.kif 596-596
(format EnglishLanguage RelativeTimeFn "the time %1 in zone %2") english_format.kif 369-369
(termFormat ChineseLanguage RelativeTimeFn "相对时间函数") chinese_format.kif 597-597 "相对时间函数" is the printable form of relative time in ChineseLanguage
(termFormat EnglishLanguage RelativeTimeFn "relative time") domainEnglishFormat.kif 8648-8648 "relative time" is the printable form of relative time in english language

antecedent
-------------------------


(=>
    (equal
        (RelativeTimeFn ?TIME1 CentralTimeZone) ?TIME2)
    (equal ?TIME2
        (AdditionFn ?TIME1
            (MeasureFn 6 HourDuration))))
Merge.kif 17554-17556
(=>
    (equal
        (RelativeTimeFn ?TIME1 EasternTimeZone) ?TIME2)
    (equal ?TIME2
        (AdditionFn ?TIME1
            (MeasureFn 5 HourDuration))))
Merge.kif 17563-17565
(=>
    (equal
        (RelativeTimeFn ?TIME1 MountainTimeZone) ?TIME2)
    (equal ?TIME2
        (AdditionFn ?TIME1
            (MeasureFn 7 HourDuration))))
Merge.kif 17545-17547
(=>
    (equal
        (RelativeTimeFn ?TIME1 PacificTimeZone) ?TIME2)
    (equal ?TIME2
        (AdditionFn ?TIME1
            (MeasureFn 8 HourDuration))))
Merge.kif 17536-17538


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