YardLength - Sigma Knowledge base Browser

appearance as argument number 1

(instance YardLength UnitOfLength)	Mid-level-ontology.kif 21007-21007	Yard length is an instance of unit of length
(documentation YardLength EnglishLanguage "English unit of length, equal to 3 FeetLength.")	Mid-level-ontology.kif 21008-21008	Yard length is an instance of unit of length
(externalImage YardLength "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Britanski_merki_za_dalzhina_Grinuich_2005.jpg")	pictureList.kif 8808-8808	Yard length is an instance of unit of length
(externalImage YardLength "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Vitruvian_Man_Measurements.png")	pictureList.kif 9860-9860	Yard length is an instance of unit of length

appearance as argument number 2

(termFormat EnglishLanguage YardLength "yard length")	domainEnglishFormat.kif 63710-63710
(termFormat ChineseTraditionalLanguage YardLength "院子長度")	domainEnglishFormat.kif 63711-63711
(termFormat ChineseLanguage YardLength "院子长度")	domainEnglishFormat.kif 63712-63712

consequent

(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER YardLength)
        (MeasureFn
            (MultiplicationFn 3.0 ?NUMBER) FootLength)))

If equal X, 1.0, and X, then equal X yard length(s) and 3.0 and X foot length(s)

statement

(equal SquareYard
(SquareUnitFn YardLength))