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 11192-11193
(instance MetricTon UnitOfMass)	Mid-level-ontology.kif 11191-11191

appearance as argument number 2

(termFormat EnglishLanguage MetricTon "metric ton")

domainEnglishFormat.kif 6649-6649

antecedent

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

Mid-level-ontology.kif 11199-11205

statement

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

Mid-level-ontology.kif 11195-11197