| Field(field)
| | Serengeti, Serengeti_Plain, clearing, cow_pasture, field, glade, grazing_land, hayfield, lea, ley, meadow, pasture, pastureland, range |
| appearance as argument number 1 |
|
|
| (documentation Field EnglishLanguage "A LandArea that has been cleared of BotanicalTrees. Note that a Field is not necessarily used for the cultivation of crops and that a Field may be very small, e.g. Lawn is a subclass of Field.") | Mid-level-ontology.kif 9210-9212 | |
| (externalImage Field "http://upload.wikimedia.org/wikipedia/commons/c/c4/ Field_Hamois_Belgium_Luc_Viatour.jpg") | pictureList.kif 4686-4686 | |
| (subclass Field LandArea) | Mid-level-ontology.kif 9209-9209 | Field is a subclass of land area |
| appearance as argument number 2 |
|
|
| (disjoint Forest Field) | Geography.kif 6353-6353 | Forest is disjoint from field |
| (subclass Lawn Field) | Mid-level-ontology.kif 9222-9222 | Lawn is a subclass of field |
| (termFormat ChineseLanguage Field "领域") | domainEnglishFormat.kif 23640-23640 | Lawn is a subclass of field |
| (termFormat ChineseTraditionalLanguage Field "領域") | domainEnglishFormat.kif 23639-23639 | Lawn is a subclass of field |
| (termFormat EnglishLanguage Field "field") | domainEnglishFormat.kif 23638-23638 | Lawn is a subclass of field |
| antecedent |
|
|
| (=> (instance ?FIELD Field) (not (exists (?TREE) (and (instance ?TREE BotanicalTree) (located ?TREE ?FIELD))))) |
Mid-level-ontology.kif 9214-9220 |
|
|
|
|