| 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 17324-17326 | |
| (subclass TimeZone RelationalAttribute) | Merge.kif 17323-17323 | タイムゾーン は 関係属性 の subclass では %n |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain RelativeTimeFn 2 TimeZone) | Merge.kif 17390-17390 | RelativeTimeFn の数値 2 引数は タイムゾーン の instance では %n |
|
|
|