UnitOfVolume(unit of volume) |
appearance as argument number 1 |
(documentation UnitOfVolume ChineseLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来 组成 VolumeMeasure 实例的 UnitOfMeasure。") | chinese_format.kif 2413-2414 | |
(documentation UnitOfVolume EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of VolumeMeasure.") | Merge.kif 6286-6288 | |
(documentation UnitOfVolume JapaneseLanguage "この Class のすべてのインスタンスは、 UnitOfMeasure であり、MeasureFn を使用して VolumeMeasure のインスタンスを形成できる。") | japanese_format.kif 1100-1101 | |
(subclass UnitOfVolume CompositeUnitOfMeasure) | Merge.kif 6284-6284 | Unit of volume is a subclass of composite unit of measure |
appearance as argument number 2 |
antecedent |
consequent |