PublicGarden - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PublicGarden EnglishLanguage "A PublicGarden is a Garden owned by the Government.")	Mid-level-ontology.kif 9517-9517
(subclass PublicGarden Garden)	Mid-level-ontology.kif 9518-9518	Public garden is a subclass of garden

appearance as argument number 2

(disjoint ResidentialGarden PublicGarden)	Mid-level-ontology.kif 9500-9500	Residential garden is disjoint from public garden
(termFormat EnglishLanguage PublicGarden "public garden")	domainEnglishFormat.kif 64350-64350	Residential garden is disjoint from public garden
(termFormat ChineseLanguage PublicGarden " 公共庭园")	domainEnglishFormat.kif 64351-64351	Residential garden is disjoint from public garden
(termFormat ChineseTraditionalLanguage PublicGarden " 公共庭園")	domainEnglishFormat.kif 64352-64352	Residential garden is disjoint from public garden

appearance as argument number 3

(partition Garden ResidentialGarden PublicGarden)

antecedent

(=>
    (instance ?G PublicGarden)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (possesses ?GOV ?G))))

If X is an instance of public garden, then there exists Y such that Y is an instance of government and Y possesses X