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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RelativeTimeFn

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)。") chinese_format.kif 3841-3845
(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 17039-17044
(domain RelativeTimeFn 1 TimePosition) Merge.kif 17036-17036
(domain RelativeTimeFn 2 TimeZone) Merge.kif 17037-17037
(instance RelativeTimeFn BinaryFunction) Merge.kif 17033-17033
(instance RelativeTimeFn TemporalRelation) Merge.kif 17034-17034
(instance RelativeTimeFn TotalValuedRelation) Merge.kif 17035-17035
(range RelativeTimeFn TimePosition) Merge.kif 17038-17038

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 599-599
(termFormat ChineseLanguage RelativeTimeFn "相对时间") domainEnglishFormat.kif 49336-49336
(termFormat ChineseLanguage RelativeTimeFn "相对时间函数") chinese_format.kif 597-597
(termFormat ChineseTraditionalLanguage RelativeTimeFn "相對時間") domainEnglishFormat.kif 49335-49335
(termFormat EnglishLanguage RelativeTimeFn "relative time") domainEnglishFormat.kif 49334-49334

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


(=>
    (and
        (instance ?UTC
            (HourFn ?H1
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (instance ?CST
            (HourFn ?H2
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (equal
            (RelativeTimeFn ?UTC CentralTimeZone) ?CST))
    (equal ?H2
        (AdditionFn ?H1 6)))
Merge.kif 17013-17019
(=>
    (and
        (instance ?UTC
            (HourFn ?H1
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (instance ?EST
            (HourFn ?H2
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (equal
            (RelativeTimeFn ?UTC EasternTimeZone) ?EST))
    (equal ?H2
        (AdditionFn ?H1 5)))
Merge.kif 17025-17031
(=>
    (and
        (instance ?UTC
            (HourFn ?H1
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (instance ?MST
            (HourFn ?H2
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (equal
            (RelativeTimeFn ?UTC MountainTimeZone) ?MST))
    (equal ?H2
        (AdditionFn ?H1 7)))
Merge.kif 17001-17007
(=>
    (and
        (instance ?UTC
            (HourFn ?H1
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (instance ?PST
            (HourFn ?H2
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (equal
            (RelativeTimeFn ?UTC PacificTimeZone) ?PST))
    (equal ?H2
        (AdditionFn ?H1 8)))
Merge.kif 16989-16995


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