Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - MountainTimeZone
MountainTimeZone(mountain time zone)MST, Mountain_Standard_Time, Mountain_Time

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


(instance MountainTimeZone TimeZone) Merge.kif 17540-17540 Mountain time zone is an instance of time zone
(documentation MountainTimeZone EnglishLanguage "A TimeZone that covers much of the Rocky Mountain region of the United States.") Merge.kif 17541-17542 Mountain time zone is an instance of time zone

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


(termFormat EnglishLanguage MountainTimeZone "mountain time zone") domainEnglishFormat.kif 38993-38993
(termFormat ChineseTraditionalLanguage MountainTimeZone "山區時區") domainEnglishFormat.kif 38994-38994
(termFormat ChineseLanguage MountainTimeZone "山区时区") domainEnglishFormat.kif 38995-38995

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 17544-17550 If X is an instance of the hour Y, Z is an instance of the hour W, and equal the time X in zone mountain time zone and Z, then equal W and (Y and 7)


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners