| Acre(acre) | | acre |
| appearance as argument number 1 |
|
|
| (documentation Acre EnglishLanguage "A UnitOfMeasure equal to 4840 square yards.") | Mid-level-ontology.kif 14618-14618 | |
| (instance Acre UnitOfArea) | Mid-level-ontology.kif 14617-14617 | 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 14620-14626 |
|
|
|
|