| 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 17186-17188 | |
| (subclass TimeZone RelationalAttribute) | Merge.kif 17185-17185 | Time zone is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| (instance CentralTimeZone TimeZone) | Merge.kif 17224-17224 | Central time zone is an instance of time zone |
| (instance CoordinatedUniversalTimeZone TimeZone) | Merge.kif 17190-17190 | Coordinated universal time zone is an instance of time zone |
| (instance EasternTimeZone TimeZone) | Merge.kif 17236-17236 | Eastern time zone is an instance of time zone |
| (instance MountainTimeZone TimeZone) | Merge.kif 17212-17212 | Mountain time zone is an instance of time zone |
| (instance PacificTimeZone TimeZone) | Merge.kif 17197-17197 | Pacific time zone is an instance of time zone |
| (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 17252-17252 | The number 2 argument of relative time is an instance of time zone |
|
|
|