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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - TimeZone

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 17164-17166
(subclass TimeZone RelationalAttribute) Merge.kif 17163-17163 タイムゾーン関係属性subclass では %n

appearance as argument number 2

(instance CentralTimeZone TimeZone) Merge.kif 17202-17202 CentralTimeZoneタイムゾーンinstance では %n
(instance CoordinatedUniversalTimeZone TimeZone) Merge.kif 17168-17168 CoordinatedUniversalTimeZoneタイムゾーンinstance では %n
(instance EasternTimeZone TimeZone) Merge.kif 17214-17214 EasternTimeZoneタイムゾーンinstance では %n
(instance MountainTimeZone TimeZone) Merge.kif 17190-17190 MountainTimeZoneタイムゾーンinstance では %n
(instance PacificTimeZone TimeZone) Merge.kif 17175-17175 PacificTimeZoneタイムゾーンinstance では %n
(termFormat ChineseLanguage TimeZone "时区") chinese_format.kif 1238-1238
(termFormat EnglishLanguage TimeZone "time zone") english_format.kif 1697-1697
(termFormat FrenchLanguage TimeZone "time zone") french_format.kif 916-916
(termFormat Hindi TimeZone "samaya mandala") terms-hindi.txt 449-449
(termFormat ItalianLanguage TimeZone "FusoOrario") terms-it.txt 452-452
(termFormat JapaneseLanguage TimeZone "タイムゾーン") japanese_format.kif 2600-2600
(termFormat PortugueseLanguage TimeZone "Zona Temporal") portuguese_format.kif 868-868
(termFormat cb TimeZone "orasang purok") terms-cb.txt 454-454
(termFormat cz TimeZone "time zone") terms-cz.txt 488-488
(termFormat ro TimeZone "fus orar") relations-ro.kif 937-937
(termFormat tg TimeZone "takdang oras sa isang lugar") terms-tg.txt 453-453

appearance as argument number 3

(domain RelativeTimeFn 2 TimeZone) Merge.kif 17230-17230 RelativeTimeFn の数値 2 引数は タイムゾーンinstance では %n

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