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)。") 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 17202-17207
(domain RelativeTimeFn 1 TimePosition) Merge.kif 17199-17199 RelativeTimeFn の数値 1 引数は 時間位置 の instance では %n
(domain RelativeTimeFn 2 TimeZone) Merge.kif 17200-17200 RelativeTimeFn の数値 2 引数は タイムゾーン の instance では %n
(instance RelativeTimeFn BinaryFunction) Merge.kif 17196-17196 RelativeTimeFn は 2変数関数 の instance では %n
(instance RelativeTimeFn TemporalRelation) Merge.kif 17197-17197 RelativeTimeFn は 時間関係 の instance では %n
(instance RelativeTimeFn TotalValuedRelation) Merge.kif 17198-17198 RelativeTimeFn は 合計値関係 の instance では %n
(range RelativeTimeFn TimePosition) Merge.kif 17201-17201 RelativeTimeFn の range は 時間位置 のインスタンス では %n

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
(format FrenchLanguage RelativeTimeFn "le temps %1 dans la zone %2") french_format.kif 358-358
(format ItalianLanguage RelativeTimeFn "") relations-it.txt 251-251
(format JapaneseLanguage RelativeTimeFn "ゾーン %2 の時間 %1") japanese_format.kif 2101-2101
(format PortugueseLanguage RelativeTimeFn "o tempo %1 na zona %2") portuguese_format.kif 310-310
(format de RelativeTimeFn "") relations-de.txt 782-782
(format ro RelativeTimeFn "ora %1 în zona %2") relations-ro.kif 380-380
(format sv RelativeTimeFn "tiden %1 i zon %2") relations-sv.txt 399-399
(termFormat ChineseLanguage RelativeTimeFn "相对时间") domainEnglishFormat.kif 49358-49358
(termFormat ChineseLanguage RelativeTimeFn "相对时间函数") chinese_format.kif 597-597
(termFormat ChineseTraditionalLanguage RelativeTimeFn "相對時間") domainEnglishFormat.kif 49357-49357
(termFormat EnglishLanguage RelativeTimeFn "relative time") domainEnglishFormat.kif 49356-49356

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 17176-17182
(=>
    (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 17188-17194
(=>
    (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 17164-17170
(=>
    (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 17152-17158


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