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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 10198-10200
(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 10197-10197 Field is a subclass of land area

appearance as argument number 2
-------------------------


(disjoint Forest Field) Geography.kif 6486-6486 Forest is disjoint from field
(subclass Lawn Field) Mid-level-ontology.kif 10210-10210 Lawn is a subclass of field
(termFormat ChineseLanguage Field "领域") domainEnglishFormat.kif 23623-23623 Lawn is a subclass of field
(termFormat ChineseTraditionalLanguage Field "領域") domainEnglishFormat.kif 23622-23622 Lawn is a subclass of field
(termFormat EnglishLanguage Field "field") domainEnglishFormat.kif 23621-23621 Lawn is a subclass of field

antecedent
-------------------------


(=>
    (instance ?FIELD Field)
    (not
        (exists (?TREE)
            (and
                (instance ?TREE BotanicalTree)
                (located ?TREE ?FIELD)))))
Mid-level-ontology.kif 10202-10208


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



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