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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 9325-9326
(subclass CultivatedLandArea LandArea) Mid-level-ontology.kif 9324-9324 CultivatedLandArea est une sous-classe de zone de terre

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


(rangeSubclass FarmOfProductFn CultivatedLandArea) Food.kif 3668-3668 Les valeurs retourn�es par FarmOfProductFn sont des sous-classes de CultivatedLandArea
(subclass Garden CultivatedLandArea) Mid-level-ontology.kif 9340-9340 Garden est une sous-classe de CultivatedLandArea
(subclass Orchard CultivatedLandArea) Food.kif 3651-3651 Orchard est une sous-classe de CultivatedLandArea
(subclass Vineyard CultivatedLandArea) Food.kif 3684-3684 Vineyard est une sous-classe de CultivatedLandArea
(termFormat ChineseLanguage CultivatedLandArea "耕地面积") domainEnglishFormat.kif 18021-18021 Vineyard est une sous-classe de CultivatedLandArea
(termFormat ChineseTraditionalLanguage CultivatedLandArea "耕地面積") domainEnglishFormat.kif 18020-18020 Vineyard est une sous-classe de CultivatedLandArea
(termFormat EnglishLanguage CultivatedLandArea "cultivated land area") domainEnglishFormat.kif 18019-18019 Vineyard est une sous-classe de CultivatedLandArea

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


(domain plantInArea 2 CultivatedLandArea) Mid-level-ontology.kif 9356-9356 Le nombre 2 argument de plantInArea est une instance de CultivatedLandArea

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


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


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