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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Roof
Roof(roof)
housetop, onion_dome, roof, 屋頂, 屋顶

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


(documentation Roof EnglishLanguage "The top of a Building.") Mid-level-ontology.kif 13029-13029
(externalImage Roof "http://upload.wikimedia.org/wikipedia/commons/2/29/ Roofes.JPG") pictureList.kif 159-159 "http://upload.wikimedia.org/wikipedia/commons/2/29/ Roofes.JPG" is a URL depicting roof
(subclass Roof StationaryArtifact) Mid-level-ontology.kif 13028-13028 Roof is a subclass of stationary artifact

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


(termFormat ChineseLanguage Roof "屋顶") domainEnglishFormat.kif 50347-50347 "屋顶" is the printable form of roof in ChineseLanguage
(termFormat ChineseTraditionalLanguage Roof "屋頂") domainEnglishFormat.kif 50346-50346 "屋頂" is the printable form of roof in ChineseTraditionalLanguage
(termFormat EnglishLanguage Roof "roof") domainEnglishFormat.kif 50345-50345 "roof" is the printable form of roof in english language

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


(=>
    (instance ?ROOF Roof)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (top ?ROOF ?BUILDING))))
Mid-level-ontology.kif 13031-13036

consequent
-------------------------


(=>
    (instance ?X Courtyard)
    (and
        (not
            (exists (?ROOF)
                (and
                    (instance ?ROOF Roof)
                    (top ?ROOF ?X))))
        (exists (?BLDG)
            (and
                (instance ?BLDG Building)
                (orientation ?X ?BLDG Surrounded)))))
Mid-level-ontology.kif 24008-24019
(=>
    (instance ?X Lanai)
    (exists (?ROOF)
        (and
            (instance ?ROOF Roof)
            (part ?ROOF ?X)
            (modalAttribute
                (exists (?AREA)
                    (and
                        (instance ?AREA SittingArea)
                        (located ?AREA ?X))) Likely))))
Mid-level-ontology.kif 24747-24757


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners