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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Roof
Roof

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


(documentation Roof EnglishLanguage "The top of a Building.") Mid-level-ontology.kif 15371-15371
(externalImage Roof "http://upload.wikimedia.org/wikipedia/commons/2/29/ Roofes.JPG") pictureList.kif 159-159
(subclass Roof StationaryArtifact) Mid-level-ontology.kif 15370-15370

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


(termFormat ChineseLanguage Roof "屋顶") domainEnglishFormat.kif 50410-50410
(termFormat ChineseTraditionalLanguage Roof "屋頂") domainEnglishFormat.kif 50409-50409
(termFormat EnglishLanguage Roof "roof") domainEnglishFormat.kif 50408-50408

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


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

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 26054-26065
(=>
    (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 26688-26698


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