Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Field(field)
|  | Serengeti, Serengeti_Plain, clearing, cow_pasture, field, glade, grazing_land, hayfield, lea, ley, meadow, pasture, pastureland, range |
| appearance as argument number 1 |
|
|
| (subclass Field LandArea) | Mid-level-ontology.kif 10358-10358 | Field is a subclass of land area |
| (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 10359-10361 | Field is a subclass of land area |
| (externalImage Field "http://upload.wikimedia.org/wikipedia/commons/c/c4/ Field_Hamois_Belgium_Luc_Viatour.jpg") | pictureList.kif 4685-4685 | Field is a subclass of land area |
| appearance as argument number 2 |
|
|
| (subclass Lawn Field) | Mid-level-ontology.kif 10371-10371 | Lawn is a subclass of field |
| (disjoint Forest Field) | Geography.kif 7978-7978 | Forest is disjoint from field |
| (termFormat EnglishLanguage Field "field") | domainEnglishFormat.kif 23614-23614 | Forest is disjoint from field |
| (termFormat ChineseTraditionalLanguage Field "領域") | domainEnglishFormat.kif 23615-23615 | Forest is disjoint from field |
| (termFormat ChineseLanguage Field "领域") | domainEnglishFormat.kif 23616-23616 | Forest is disjoint from field |
| antecedent |
|
|
| (=> (instance ?FIELD Field) (not (exists (?TREE) (and (instance ?TREE BotanicalTree) (located ?TREE ?FIELD))))) |
Mid-level-ontology.kif 10363-10369 | If X is an instance of field, then there doesn't exist Y such that Y is an instance of botanical tree and Y is located at X |
|