| 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 9765-9767 | |
| (externalImage Field "http://upload.wikimedia.org/wikipedia/commons/c/c4/ Field_Hamois_Belgium_Luc_Viatour.jpg") | pictureList.kif 4685-4685 | |
| (subclass Field LandArea) | Mid-level-ontology.kif 9764-9764 | Field is a subclass of land area |
| appearance as argument number 2 |
|
|
| (disjoint Forest Field) | Geography.kif 6421-6421 | Forest is disjoint from field |
| (subclass Lawn Field) | Mid-level-ontology.kif 9777-9777 | Lawn is a subclass of field |
| (termFormat ChineseLanguage Field "领域") | domainEnglishFormat.kif 23634-23634 | Lawn is a subclass of field |
| (termFormat ChineseTraditionalLanguage Field "領域") | domainEnglishFormat.kif 23633-23633 | Lawn is a subclass of field |
| (termFormat EnglishLanguage Field "field") | domainEnglishFormat.kif 23632-23632 | Lawn is a subclass of field |
| antecedent |
|
|
| (=> (instance ?FIELD Field) (not (exists (?TREE) (and (instance ?TREE BotanicalTree) (located ?TREE ?FIELD))))) |
Mid-level-ontology.kif 9769-9775 |
|
|
|
|