Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Field

Sigma KEE - Field
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 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners