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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Patio
Patio

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


(documentation Patio EnglishLanguage "Patio refers to an Region adjoining a building, usually Paved, that is used for outdoor activities") Mid-level-ontology.kif 25983-25984
(subclass Patio Region) Mid-level-ontology.kif 25982-25982 Patio地区subclass

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


(subclass Lanai Patio) Mid-level-ontology.kif 25998-25998 LanaiPatiosubclass
(termFormat EnglishLanguage Patio "patio") Mid-level-ontology.kif 25985-25985

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


(=>
    (instance ?X Patio)
    (and
        (modalAttribute
            (attribute ?X Paved) Likely)
        (exists (?BLDG)
            (and
                (instance ?BLDG Building)
                (orientation ?X ?BLDG Adjacent)
                (located ?X Outdoors)))))
Mid-level-ontology.kif 25987-25996


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