Garden - Sigma Knowledge base Browser

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 8149-8149
(partition Garden ResidentialGarden PublicGarden)	Mid-level-ontology.kif 8151-8151	O conceito Garden e' completamente decomposto em ResidentialGarden + PublicGarden
(subclass Garden CultivatedLandArea)	Mid-level-ontology.kif 8150-8150	Garden e' uma sub-classe de CultivatedLandArea

appearance as argument number 2

(subclass PublicGarden Garden)	Mid-level-ontology.kif 8196-8196	PublicGarden e' uma sub-classe de Garden
(subclass ResidentialGarden Garden)	Mid-level-ontology.kif 8177-8177	ResidentialGarden e' uma sub-classe de Garden
(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 8153-8161

consequent

(=>
    (instance ?PARK Park)
    (modalAttribute
        (exists (?G)
            (and
                (instance ?G Garden)
                (located ?G ?PARK))) Likely))

Mid-level-ontology.kif 8115-8121