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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CultivatedLandArea

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 8136-8137
(subclass CultivatedLandArea LandArea) Mid-level-ontology.kif 8135-8135 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 8151-8151 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 8167-8167 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 8139-8144


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