Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  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
-------------------------


(documentation TimeZone ChineseLanguage "这是一个用来指定统一时间尺度坐标的 Attribute，也就是说 所有的时间设备都和相同的 TimePosition 同步。") chinese_format.kif 3832-3833
(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 17260-17262
(subclass TimeZone RelationalAttribute) Merge.kif 17259-17259 Time zone is a subclass of relational attribute

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


(instance CentralTimeZone TimeZone) Merge.kif 17298-17298 Central time zone is an instance of time zone
(instance CoordinatedUniversalTimeZone TimeZone) Merge.kif 17264-17264 Coordinated universal time zone is an instance of time zone
(instance EasternTimeZone TimeZone) Merge.kif 17310-17310 Eastern time zone is an instance of time zone
(instance MountainTimeZone TimeZone) Merge.kif 17286-17286 Mountain time zone is an instance of time zone
(instance PacificTimeZone TimeZone) Merge.kif 17271-17271 Pacific time zone is an instance of time zone
(termFormat ChineseLanguage TimeZone "时区") chinese_format.kif 1238-1238 Pacific time zone is an instance of time zone
(termFormat EnglishLanguage TimeZone "time zone") english_format.kif 1697-1697 Pacific time zone is an instance of time zone
(termFormat FrenchLanguage TimeZone "time zone") french_format.kif 916-916 Pacific time zone is an instance of time zone
(termFormat Hindi TimeZone "samaya mandala") terms-hindi.txt 449-449 Pacific time zone is an instance of time zone
(termFormat ItalianLanguage TimeZone "FusoOrario") terms-it.txt 452-452 Pacific time zone is an instance of time zone
(termFormat JapaneseLanguage TimeZone "タイムゾーン") japanese_format.kif 2600-2600 Pacific time zone is an instance of time zone
(termFormat PortugueseLanguage TimeZone "Zona Temporal") portuguese_format.kif 868-868 Pacific time zone is an instance of time zone
(termFormat cb TimeZone "orasang purok") terms-cb.txt 454-454 Pacific time zone is an instance of time zone
(termFormat cz TimeZone "time zone") terms-cz.txt 488-488 Pacific time zone is an instance of time zone
(termFormat de TimeZone "Zeitzone") terms-de.txt 747-747 Pacific time zone is an instance of time zone
(termFormat ro TimeZone "fus orar") relations-ro.kif 937-937 Pacific time zone is an instance of time zone
(termFormat tg TimeZone "takdang oras sa isang lugar") terms-tg.txt 453-453 Pacific time zone is an instance of time zone

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


(domain RelativeTimeFn 2 TimeZone) Merge.kif 17326-17326 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 is open source software produced by Articulate Software and its partners