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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PublicGarden
PublicGarden(public garden)

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(disjoint ResidentialGarden PublicGarden) Mid-level-ontology.kif 9365-9365 Residential garden is disjoint from public garden
(termFormat ChineseLanguage PublicGarden " 公共庭园") domainEnglishFormat.kif 64371-64371 Residential garden is disjoint from public garden
(termFormat ChineseTraditionalLanguage PublicGarden " 公共庭園") domainEnglishFormat.kif 64372-64372 Residential garden is disjoint from public garden
(termFormat EnglishLanguage PublicGarden "public garden") domainEnglishFormat.kif 64370-64370 Residential garden is disjoint from public garden

appearance as argument number 3
-------------------------


(partition Garden ResidentialGarden PublicGarden) Mid-level-ontology.kif 9338-9338 Garden is exhaustively partitioned into residential garden and public garden

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


(=>
    (instance ?G PublicGarden)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (possesses ?GOV ?G))))
Mid-level-ontology.kif 9385-9390


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