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 8096-8097
(subclass CultivatedLandArea LandArea) Mid-level-ontology.kif 8095-8095

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


(rangeSubclass FarmOfProductFn CultivatedLandArea) Food.kif 1082-1082
(subclass Garden CultivatedLandArea) Mid-level-ontology.kif 8111-8111
(subclass Orchard CultivatedLandArea) Food.kif 1065-1065
(subclass Vineyard CultivatedLandArea) Food.kif 1098-1098
(termFormat ChineseLanguage CultivatedLandArea "耕地面积") domainEnglishFormat.kif 17992-17992
(termFormat ChineseTraditionalLanguage CultivatedLandArea "耕地面積") domainEnglishFormat.kif 17991-17991
(termFormat EnglishLanguage CultivatedLandArea "cultivated land area") domainEnglishFormat.kif 17990-17990

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


(domain plantInArea 2 CultivatedLandArea) Mid-level-ontology.kif 8127-8127

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


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


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