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 15096-15097
(equal SquareYard (SquareUnitFn YardLength))	Mid-level-ontology.kif 15099-15099	Square yard is equal to the square unit of yard length
(instance SquareYard UnitOfArea)	Mid-level-ontology.kif 15095-15095	Square yard is an instance of unit of area

appearance as argument number 2

(termFormat ChineseLanguage SquareYard "方码")	domainEnglishFormat.kif 54933-54933
(termFormat ChineseTraditionalLanguage SquareYard "方碼")	domainEnglishFormat.kif 54932-54932
(termFormat EnglishLanguage SquareYard "square yard")	domainEnglishFormat.kif 54931-54931

consequent

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

Mid-level-ontology.kif 15081-15087