TreeView 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 9471-9471
(subclass Garden CultivatedLandArea)	Mid-level-ontology.kif 9472-9472	Garden is a subclass of cultivated land area
(partition Garden ResidentialGarden PublicGarden)	Mid-level-ontology.kif 9473-9473	Garden is exhaustively partitioned into residential garden and public garden

appearance as argument number 2

(subclass ResidentialGarden Garden)	Mid-level-ontology.kif 9499-9499	Residential garden is a subclass of garden
(subclass PublicGarden Garden)	Mid-level-ontology.kif 9518-9518	Public garden is a subclass of garden
(termFormat EnglishLanguage Garden "garden")	domainEnglishFormat.kif 64338-64338	Public garden is a subclass of garden
(termFormat ChineseLanguage Garden " 园林")	domainEnglishFormat.kif 64339-64339	Public garden is a subclass of garden
(termFormat ChineseTraditionalLanguage Garden "園林 ")	domainEnglishFormat.kif 64340-64340	Public garden is a subclass of garden

antecedent

(=>
    (and
        (instance ?G Garden)
        (plantInArea Plant ?G))
    (hasPurpose ?G
        (exists (?R)
            (and
                (instance ?R RecreationOrExercise)
                (eventLocated ?R ?G)))))

If X is an instance of garden and plant Located in X., then X has the purpose there exists Y such that Y is an instance of recreation or exercise and Y is located at X

consequent

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

If X is an instance of park, then the statement there exists Y such that Y is an instance of garden and Y is located at X has the modal force of likely