Field
|
|
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 9019-9021 | |
(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 9018-9018 | 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 9031-9031 | Lawn is a subclass of field |
(termFormat ChineseLanguage Field "领域") | domainEnglishFormat.kif 23618-23618 | |
(termFormat ChineseTraditionalLanguage Field "領域") | domainEnglishFormat.kif 23617-23617 | |
(termFormat EnglishLanguage Field "field") | domainEnglishFormat.kif 23616-23616 |
antecedent |
(=> (instance ?FIELD Field) (not (exists (?TREE) (and (instance ?TREE BotanicalTree) (located ?TREE ?FIELD))))) |
Mid-level-ontology.kif 9023-9029 |
|