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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Garden

appearance as argument number 1

(documentation Garden EnglishLanguage "A Garden is a CultivatedLandArea where Plants are grown for the purpose of RecreationOrExercise.") Mid-level-ontology.kif 8150-8150
(partition Garden ResidentialGarden PublicGarden) Mid-level-ontology.kif 8152-8152
(subclass Garden CultivatedLandArea) Mid-level-ontology.kif 8151-8151

appearance as argument number 2

(subclass PublicGarden Garden) Mid-level-ontology.kif 8197-8197
(subclass ResidentialGarden Garden) Mid-level-ontology.kif 8178-8178
(termFormat ChineseLanguage Garden " 园林") domainEnglishFormat.kif 64336-64336
(termFormat ChineseTraditionalLanguage Garden "園林 ") domainEnglishFormat.kif 64337-64337
(termFormat EnglishLanguage Garden "garden") domainEnglishFormat.kif 64335-64335


        (instance ?G Garden)
        (plantInArea Plant ?G))
    (hasPurpose ?G
        (exists (?R)
                (instance ?R RecreationOrExercise)
                (eventLocated ?R ?G)))))
Mid-level-ontology.kif 8154-8162


    (instance ?PARK Park)
        (exists (?G)
                (instance ?G Garden)
                (located ?G ?PARK))) Likely))
Mid-level-ontology.kif 8116-8122

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