MetricTon - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MetricTon EnglishLanguage "MetricTon is a UnitOfMeasure that represents a weight of 2,205 PoundMass.")	Mid-level-ontology.kif 11193-11194
(instance MetricTon UnitOfMass)	Mid-level-ontology.kif 11192-11192

appearance as argument number 2

(termFormat ChineseLanguage MetricTon "公吨")	domainEnglishFormat.kif 37297-37297
(termFormat ChineseTraditionalLanguage MetricTon "公噸")	domainEnglishFormat.kif 37296-37296
(termFormat EnglishLanguage MetricTon "metric ton")	domainEnglishFormat.kif 37295-37295

antecedent

(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205) PoundMass)))

Mid-level-ontology.kif 11200-11206

statement

(equal
(MeasureFn 1 MetricTon)
(MeasureFn 2205 PoundMass))

Mid-level-ontology.kif 11196-11198