|
|
   CultivatedLandArea
|
|
|
| appearance as argument number 1 |
|
|
| (documentation CultivatedLandArea EnglishLanguage "A LandArea which is dedicated to Agriculture, e.g. Lawns, gardens, and fields for growing crops.") | Mid-level-ontology.kif 8136-8137 | |
| (subclass CultivatedLandArea LandArea) | Mid-level-ontology.kif 8135-8135 | CultivatedLandArea は 土地面積 の subclass では %n |
| appearance as argument number 2 |
|
|
| (rangeSubclass FarmOfProductFn CultivatedLandArea) | Food.kif 3668-3668 | FarmOfProductFn が返す値は CultivatedLandArea の subclasses では %n |
| (subclass Garden CultivatedLandArea) | Mid-level-ontology.kif 8151-8151 | Garden は CultivatedLandArea の subclass では %n |
| (subclass Orchard CultivatedLandArea) | Food.kif 3651-3651 | Orchard は CultivatedLandArea の subclass では %n |
| (subclass Vineyard CultivatedLandArea) | Food.kif 3684-3684 | Vineyard は CultivatedLandArea の subclass では %n |
| (termFormat ChineseLanguage CultivatedLandArea "耕地面积") | domainEnglishFormat.kif 18006-18006 | |
| (termFormat ChineseTraditionalLanguage CultivatedLandArea "耕地面積") | domainEnglishFormat.kif 18005-18005 | |
| (termFormat EnglishLanguage CultivatedLandArea "cultivated land area") | domainEnglishFormat.kif 18004-18004 |
| appearance as argument number 3 |
|
|
| (domain plantInArea 2 CultivatedLandArea) | Mid-level-ontology.kif 8167-8167 | plantInArea の数値 2 引数は CultivatedLandArea の instance では %n |
| antecedent |
|
|
| (=> (instance ?A CultivatedLandArea) (exists (?C) (and (instance ?C Agriculture) (eventLocated ?C ?A)))) |
Mid-level-ontology.kif 8139-8144 |
|
|
|
|