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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CultivatedLandArea

Sigma KEE - CultivatedLandArea
CultivatedLandArea

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

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


(rangeSubclass FarmOfProductFn CultivatedLandArea) Food.kif 3668-3668
(subclass Garden CultivatedLandArea) Mid-level-ontology.kif 8151-8151
(subclass Orchard CultivatedLandArea) Food.kif 3651-3651
(subclass Vineyard CultivatedLandArea) Food.kif 3684-3684
(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

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