TimeZone(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 17164-17166 | |
(subclass TimeZone RelationalAttribute) | Merge.kif 17163-17163 | Time zone est une sous-classe de attribut relationnel |
appearance as argument number 2 |
(instance CentralTimeZone TimeZone) | Merge.kif 17202-17202 | CentralTimeZone est une instance de time zone |
(instance CoordinatedUniversalTimeZone TimeZone) | Merge.kif 17168-17168 | CoordinatedUniversalTimeZone est une instance de time zone |
(instance EasternTimeZone TimeZone) | Merge.kif 17214-17214 | EasternTimeZone est une instance de time zone |
(instance MountainTimeZone TimeZone) | Merge.kif 17190-17190 | MountainTimeZone est une instance de time zone |
(instance PacificTimeZone TimeZone) | Merge.kif 17175-17175 | PacificTimeZone est une instance de 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 17230-17230 | Le nombre 2 argument de RelativeTimeFn est une instance de time zone |