SquareYard - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SquareYard EnglishLanguage "SquareYard represents a UnitOfMeasure equal to one square YardLength.")	Mid-level-ontology.kif 15078-15079
(equal SquareYard (SquareUnitFn YardLength))	Mid-level-ontology.kif 15081-15081	equal square yard and the square unit of yard length
(instance SquareYard UnitOfArea)	Mid-level-ontology.kif 15077-15077	Square yard is an instance of unit of area

appearance as argument number 2

(termFormat ChineseLanguage SquareYard "方码")	domainEnglishFormat.kif 54904-54904
(termFormat ChineseTraditionalLanguage SquareYard "方碼")	domainEnglishFormat.kif 54903-54903
(termFormat EnglishLanguage SquareYard "square yard")	domainEnglishFormat.kif 54902-54902

consequent

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

Mid-level-ontology.kif 15063-15069