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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Garden

Sigma KEE - Garden
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

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


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

consequent
-------------------------


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


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