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


KB Term:  Term intersection
English Word: 

Sigma KEE - TimeZone
TimeZone(time zone)Alaska_Standard_Time, Atlantic_Standard_Time, Atlantic_Time, Bering_Standard_Time, Bering_Time, Hawaii_Standard_Time, Hawaii_Time, SCLK, Yukon_Time, civil_time, daylight-saving_time, daylight-savings_time, daylight_saving, daylight_savings, local_time, spacecraft_clock_time, standard_time, time_zone

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


(subclass TimeZone RelationalAttribute) Merge.kif 17513-17513 Time zone is a subclass of relational attribute
(documentation TimeZone EnglishLanguage "An Attribute which is used to specify coordinates in which time measures are uniform, i.e. all time devices are synchronized to the same TimePositions.") Merge.kif 17514-17516 Time zone is a subclass of relational attribute

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


(instance CoordinatedUniversalTimeZone TimeZone) Merge.kif 17518-17518 Coordinated universal time zone is an instance of time zone
(instance PacificTimeZone TimeZone) Merge.kif 17525-17525 Pacific time zone is an instance of time zone
(instance MountainTimeZone TimeZone) Merge.kif 17540-17540 Mountain time zone is an instance of time zone
(instance CentralTimeZone TimeZone) Merge.kif 17552-17552 Central time zone is an instance of time zone
(instance EasternTimeZone TimeZone) Merge.kif 17564-17564 Eastern time zone is an instance of time zone
(termFormat EnglishLanguage TimeZone "time zone") english_format.kif 1701-1701 Eastern time zone is an instance of time zone

appearance as argument number 3
-------------------------


(domain RelativeTimeFn 2 TimeZone) Merge.kif 17580-17580 The number 2 argument of relative time is an instance of time zone


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