Acre - Sigma Knowledge base Browser

appearance as argument number 1

(instance Acre UnitOfArea)	Mid-level-ontology.kif 15284-15284	Acre is an instance of unit of area
(documentation Acre EnglishLanguage "A UnitOfMeasure equal to 4840 square yards.")	Mid-level-ontology.kif 15285-15285	Acre is an instance of unit of area

appearance as argument number 2

(termFormat EnglishLanguage Acre "acre")	domainEnglishFormat.kif 5341-5341
(termFormat ChineseTraditionalLanguage Acre "英畝")	domainEnglishFormat.kif 5342-5342
(termFormat ChineseLanguage Acre "英亩")	domainEnglishFormat.kif 5343-5343

consequent

(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Acre)
        (MeasureFn
            (MultiplicationFn 4840.0 ?NUMBER) SquareYard)))

If equal X, 1.0, and X, then equal X acre(s) and 4840.0 and X square yard(s)