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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MountainTimeZone
MountainTimeZone

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


(documentation MountainTimeZone ChineseLanguage "这是覆盖美国大部分洛矶山脉地区的 TimeZone。") chinese_format.kif 3838-3838
(documentation MountainTimeZone EnglishLanguage "A TimeZone that covers much of the Rocky Mountain region of the United States.") Merge.kif 17262-17263
(instance MountainTimeZone TimeZone) Merge.kif 17261-17261 MountainTimeZoneタイムゾーンinstance では %n

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


(termFormat ChineseLanguage MountainTimeZone "山区时区") domainEnglishFormat.kif 39027-39027
(termFormat ChineseTraditionalLanguage MountainTimeZone "山區時區") domainEnglishFormat.kif 39026-39026
(termFormat EnglishLanguage MountainTimeZone "mountain time zone") domainEnglishFormat.kif 39025-39025

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


(=>
    (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 17265-17271


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