Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ResidentialGarden
ResidentialGarden(residential garden)

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


(documentation ResidentialGarden EnglishLanguage "A ResidentialGarden is a Garden adjoining a ResidentialBuilding.") Mid-level-ontology.kif 9498-9498
(subclass ResidentialGarden Garden) Mid-level-ontology.kif 9499-9499 Residential garden is a subclass of garden
(disjoint ResidentialGarden PublicGarden) Mid-level-ontology.kif 9500-9500 Residential garden is disjoint from public garden

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


(partition Garden ResidentialGarden PublicGarden) Mid-level-ontology.kif 9473-9473 Garden is exhaustively partitioned into residential garden and public garden
(termFormat EnglishLanguage ResidentialGarden "residential garden") domainEnglishFormat.kif 64346-64346 Garden is exhaustively partitioned into residential garden and public garden
(termFormat ChineseLanguage ResidentialGarden " 私人庭园") domainEnglishFormat.kif 64347-64347 Garden is exhaustively partitioned into residential garden and public garden
(termFormat ChineseTraditionalLanguage ResidentialGarden "私人庭園") domainEnglishFormat.kif 64348-64348 Garden is exhaustively partitioned into residential garden and public garden

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


(=>
    (instance ?G ResidentialGarden)
    (exists (?B)
        (and
            (instance ?B ResidentialBuilding)
            (orientation ?G ?B Adjacent))))		 Mid-level-ontology.kif 9502-9507 If X is an instance of residential garden, then there exists Y such that Y is an instance of residential building and X is adjacent to Y
(=>
    (instance ?G ResidentialGarden)
    (modalAttribute
        (exists (?F)
            (and
                (instance ?F Fence)
                (orientation ?G ?F Surrounded))) Likely))		 Mid-level-ontology.kif 9509-9515 If X is an instance of residential garden, then the statement there exists Y such that Y is an instance of fence and X is surrounded by to Y has the modal force of likely


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners