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 7800-7801
(subclass CultivatedLandArea LandArea) Mid-level-ontology.kif 7799-7799

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


(rangeSubclass FarmOfProductFn CultivatedLandArea) Food.kif 1081-1081
(subclass Orchard CultivatedLandArea) Food.kif 1064-1064
(subclass Vineyard CultivatedLandArea) Food.kif 1097-1097
(termFormat ChineseLanguage CultivatedLandArea "耕地面积") domainEnglishFormat.kif 17997-17997
(termFormat ChineseTraditionalLanguage CultivatedLandArea "耕地面積") domainEnglishFormat.kif 17996-17996
(termFormat EnglishLanguage CultivatedLandArea "cultivated land area") domainEnglishFormat.kif 17995-17995

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


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


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