MassMeasure - Sigma Knowledge base Browser

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 6246-6248
(documentation MassMeasure JapaneseLanguage "ConstantQuantity の subclass、その例は、 Object の物質量の尺度である。")	japanese_format.kif 1091-1092
(subclass MassMeasure ConstantQuantity)	Merge.kif 6244-6244	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 de MassMeasure "Massenmass")	terms-de.txt 816-816
(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 6636-6636	The number 1 argument of density is an instance of mass measure
(domain amount 3 MassMeasure)	Merge.kif 7605-7605	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 2726-2726	The number 2 argument of vessel dead weight tonnage is an instance of mass measure
(domain weight 2 MassMeasure)	Merge.kif 7295-7295	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 6355-6359