| 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 |
|
|
|
|