Acre(acre) | ![]() | acre |
appearance as argument number 1 |
![]() |
(documentation Acre EnglishLanguage "A UnitOfMeasure equal to 4840 square yards.") | Mid-level-ontology.kif 15061-15061 | |
(instance Acre UnitOfArea) | Mid-level-ontology.kif 15060-15060 | Acre is an instance of unit of area |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Acre "英亩") | domainEnglishFormat.kif 5343-5343 | |
(termFormat ChineseTraditionalLanguage Acre "英畝") | domainEnglishFormat.kif 5342-5342 | |
(termFormat EnglishLanguage Acre "acre") | domainEnglishFormat.kif 5341-5341 |
consequent |
![]() |
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER Acre) (MeasureFn (MultiplicationFn 4840.0 ?NUMBER) SquareYard))) |
Mid-level-ontology.kif 15063-15069 |
|
![]() |
![]() |