|
|
  exactCardinality
|
|
|
| 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 8991-8993 | |
| (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 8990-8990 | Field e' uma sub-classe de Area terrestre |
| appearance as argument number 2 |
|
|
| (disjoint Forest Field) | Geography.kif 6353-6353 | Forest e' disjunto de Field |
| (subclass Lawn Field) | Mid-level-ontology.kif 9003-9003 | Lawn e' uma sub-classe de 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 8995-9001 |
|
|
|
