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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CultivatedLandArea
CultivatedLandArea(cultivated land area)Hanging_Gardens_of_Babylon, bed, bed_of_roses, cultivated_land, fallow, farmland, flower_garden, formal_garden, garden, grape_arbor, grape_arbour, hop_field, hop_garden, landscaping, patch, plot, plot_of_ground, plot_of_land, ploughland, plowland, pot_farm, rose_bed, rose_garden, tillage, tilled_land, tilth, truck_farm, truck_garden

appearance as argument number 1
-------------------------


(documentation CultivatedLandArea EnglishLanguage "A LandArea which is dedicated to Agriculture, e.g. Lawns, gardens, and fields for growing crops.") Mid-level-ontology.kif 8135-8136
(subclass CultivatedLandArea LandArea) Mid-level-ontology.kif 8134-8134 Cultivated land area is a subclass of land area

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


(rangeSubclass FarmOfProductFn CultivatedLandArea) Food.kif 3668-3668 The values returned by farm of product fn are subclasses of cultivated land area
(subclass Garden CultivatedLandArea) Mid-level-ontology.kif 8150-8150 Garden is a subclass of cultivated land area
(subclass Orchard CultivatedLandArea) Food.kif 3651-3651 Orchard is a subclass of cultivated land area
(subclass Vineyard CultivatedLandArea) Food.kif 3684-3684 Vineyard is a subclass of cultivated land area
(termFormat ChineseLanguage CultivatedLandArea "耕地面积") domainEnglishFormat.kif 18006-18006
(termFormat ChineseTraditionalLanguage CultivatedLandArea "耕地面積") domainEnglishFormat.kif 18005-18005
(termFormat EnglishLanguage CultivatedLandArea "cultivated land area") domainEnglishFormat.kif 18004-18004

appearance as argument number 3
-------------------------


(domain plantInArea 2 CultivatedLandArea) Mid-level-ontology.kif 8166-8166 The number 2 argument of plant in area is an instance of cultivated land area

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


(=>
    (instance ?A CultivatedLandArea)
    (exists (?C)
        (and
            (instance ?C Agriculture)
            (eventLocated ?C ?A))))
Mid-level-ontology.kif 8138-8143


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