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


KB Term:  Term intersection
English Word: 

Sigma KEE - PacificTimeZone
PacificTimeZone(pacific time zone)PST, Pacific_Standard_Time, Pacific_Time

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


(instance PacificTimeZone TimeZone) Merge.kif 17525-17525 Pacific time zone is an instance of time zone
(documentation PacificTimeZone EnglishLanguage "A TimeZone that covers much of the western part of the United States.") Merge.kif 17526-17527 Pacific time zone is an instance of time zone

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


(termFormat EnglishLanguage PacificTimeZone "pacific time zone") domainEnglishFormat.kif 43889-43889
(termFormat ChineseTraditionalLanguage PacificTimeZone "太平洋時區") domainEnglishFormat.kif 43890-43890
(termFormat ChineseLanguage PacificTimeZone "太平洋时区") domainEnglishFormat.kif 43891-43891

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


(=>
    (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 17532-17538 If X is an instance of the hour Y, Z is an instance of the hour W, and equal the time X in zone pacific time zone and Z, then equal W and (Y and 8)


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