| 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 17235-17237 | |
| (subclass TimeZone RelationalAttribute) | Merge.kif 17234-17234 |
| appearance as argument number 2 |
|
|
| (instance CentralTimeZone TimeZone) | Merge.kif 17273-17273 | |
| (instance CoordinatedUniversalTimeZone TimeZone) | Merge.kif 17239-17239 | |
| (instance EasternTimeZone TimeZone) | Merge.kif 17285-17285 | |
| (instance MountainTimeZone TimeZone) | Merge.kif 17261-17261 | |
| (instance PacificTimeZone TimeZone) | Merge.kif 17246-17246 | |
| (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 17301-17301 |
|
|
|