CultivatedLandArea(cultivated land area) | Hanging_Gardens_of_Babylon, bed, bed_of_roses, cultivated_land, fallow, farmland, flower_garden, formal_garden, garden, grape_arbor, grape_arbour, hop_field, hop_garden, landscaping, patch, plot, plot_of_ground, plot_of_land, ploughland, plowland, pot_farm, rose_bed, rose_garden, tillage, tilled_land, tilth, truck_farm, truck_garden |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8136-8137 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8135-8135 | Cultivated land area is a subclass of land area |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3668-3668 | The values returned by farm of product fn are subclasses of cultivated land area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8151-8151 | Garden is a subclass of cultivated land area |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3651-3651 | Orchard is a subclass of cultivated land area |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3684-3684 | Vineyard is a subclass of cultivated land area |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18006-18006 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18005-18005 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18004-18004 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8167-8167 | The number 2 argument of plant in area is an instance of cultivated land area |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8139-8144 |
|