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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - EasternTimeZone

appearance as argument number 1

(documentation EasternTimeZone ChineseLanguage "这是覆盖美国东部大部分地区的 TimeZone。") chinese_format.kif 3840-3840
(documentation EasternTimeZone EnglishLanguage "A TimeZone that covers much of the eastern United States.") Merge.kif 17237-17238
(instance EasternTimeZone TimeZone) Merge.kif 17236-17236

appearance as argument number 2

(termFormat ChineseLanguage EasternTimeZone "东部时区") domainEnglishFormat.kif 20958-20958
(termFormat ChineseTraditionalLanguage EasternTimeZone "東部時區") domainEnglishFormat.kif 20957-20957
(termFormat EnglishLanguage EasternTimeZone "eastern time zone") domainEnglishFormat.kif 20956-20956


        (instance ?UTC
            (HourFn ?H1
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (instance ?EST
            (HourFn ?H2
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
            (RelativeTimeFn ?UTC EasternTimeZone) ?EST))
    (equal ?H2
        (AdditionFn ?H1 5)))
Merge.kif 17240-17246

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