appearance as argument number 1 |
(documentation TimeDuration ChineseLanguage "这是任何量度时间的衡量,它可以是是基于通用时间轴的, 也可以是不基于通用时间轴的的。") | chinese_format.kif 1781-1782 | |
(documentation TimeDuration EnglishLanguage "Any measure of length of time, with or without respect to the universal timeline.") | Merge.kif 2075-2076 | |
(documentation TimeDuration JapaneseLanguage "ユニバーサル タイムラインに関する有無にかかわ らない、時間の長さの任意の尺度。") | japanese_format.kif 394-395 | |
(subclass TimeDuration TimeMeasure) | Merge.kif 2073-2073 | Time duration is a subclass of time measure |
appearance as argument number 2 |
appearance as argument number 3 |
consequent |