| MassMeasure | |
| appearance as argument number 1 |
|
|
| (documentation MassMeasure ChineseLanguage "这是 ConstantQuantity 的 subclass，是量度 Object 所含物质数量的实例。") | chinese_format.kif 2407-2408 | |
| (documentation MassMeasure EnglishLanguage "A subclass of ConstantQuantity, instances of which are measures of the amount of matter in an Object.") | Merge.kif 6165-6167 | |
| (subclass MassMeasure ConstantQuantity) | Merge.kif 6163-6163 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MassMeasure "质量测量") | chinese_format.kif 1304-1304 | |
| (termFormat EnglishLanguage MassMeasure "mass measure") | english_format.kif 1825-1825 |
| appearance as argument number 3 |
|
|
| (domain DensityFn 1 MassMeasure) | Merge.kif 6555-6555 | |
| (domain amount 3 MassMeasure) | Merge.kif 7504-7504 | |
| (domain fleetDeadWeightTonnage 2 MassMeasure) | Transportation.kif 1004-1004 | |
| (domain maximumPayloadCapacity 2 MassMeasure) | MilitaryDevices.kif 82-82 | |
| (domain vesselDeadWeightTonnage 2 MassMeasure) | Transportation.kif 2542-2542 | |
| (domain weight 2 MassMeasure) | Merge.kif 7195-7195 |
| consequent |
|
|
| (=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfMass)) (instance ?QUANT MassMeasure)) |
Merge.kif 6274-6278 |
|
|
|