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
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8136-8137
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8135-8135 Cultivated land area is a subclass of land area

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


No TPTP formula. May not be expressible in strict first order. Food.kif 3668-3668 The values returned by farm of product fn are subclasses of cultivated land area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8151-8151 Garden is a subclass of cultivated land area
No TPTP formula. May not be expressible in strict first order. Food.kif 3651-3651 Orchard is a subclass of cultivated land area
No TPTP formula. May not be expressible in strict first order. Food.kif 3684-3684 Vineyard is a subclass of cultivated land area
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18006-18006
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18005-18005
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18004-18004

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8167-8167 The number 2 argument of plant in area is an instance of cultivated land area

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8139-8144


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