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 6256-6258 | |
(documentation MassMeasure JapaneseLanguage "ConstantQuantity の subclass、その例は、 Object の物質量の尺度である。") | japanese_format.kif 1091-1092 | |
(subclass MassMeasure ConstantQuantity) | Merge.kif 6254-6254 | Mass measure is a subclass of constant quantity |
appearance as argument number 2 |
(termFormat ChineseLanguage MassMeasure "质量测量") | chinese_format.kif 1304-1304 | |
(termFormat EnglishLanguage MassMeasure "mass measure") | english_format.kif 1825-1825 | |
(termFormat FrenchLanguage MassMeasure "mesure de masse") | french_format.kif 982-982 | |
(termFormat Hindi MassMeasure "dravyamaana maapa") | terms-hindi.txt 517-517 | |
(termFormat ItalianLanguage MassMeasure "MisuraDiMassa") | terms-it.txt 521-521 | |
(termFormat JapaneseLanguage MassMeasure "質量測定") | japanese_format.kif 2666-2666 | |
(termFormat PortugueseLanguage MassMeasure "Medida de Massa") | portuguese_format.kif 934-934 | |
(termFormat cb MassMeasure "kadaghanang sukod") | terms-cb.txt 523-523 | |
(termFormat cz MassMeasure "mass measure") | terms-cz.txt 557-557 | |
(termFormat ro MassMeasure "mãsurã de masã") | relations-ro.kif 1003-1003 | |
(termFormat tg MassMeasure "sukat ng laki") | terms-tg.txt 522-522 |
appearance as argument number 3 |
(domain DensityFn 1 MassMeasure) | Merge.kif 6646-6646 | The number 1 argument of density is an instance of mass measure |
(domain amount 3 MassMeasure) | Merge.kif 7595-7595 | The number 3 argument of amount is an instance of mass measure |
(domain fleetDeadWeightTonnage 2 MassMeasure) | Transportation.kif 1004-1004 | The number 2 argument of fleet dead weight tonnage is an instance of mass measure |
(domain maximumPayloadCapacity 2 MassMeasure) | MilitaryDevices.kif 82-82 | The number 2 argument of maximum payload capacity is an instance of mass measure |
(domain vesselDeadWeightTonnage 2 MassMeasure) | Transportation.kif 2557-2557 | The number 2 argument of vessel dead weight tonnage is an instance of mass measure |
(domain weight 2 MassMeasure) | Merge.kif 7286-7286 | The number 2 argument of weight is an instance of mass measure |
consequent |
(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfMass)) (instance ?QUANT MassMeasure)) |
Merge.kif 6365-6369 |
|