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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Roof

Sigma KEE - Roof
Roof(屋顶)

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


(documentation Roof EnglishLanguage "The top of a Building.") Mid-level-ontology.kif 15344-15344
(externalImage Roof "http://upload.wikimedia.org/wikipedia/commons/2/29/ Roofes.JPG") pictureList.kif 159-159
(subclass Roof StationaryArtifact) Mid-level-ontology.kif 15343-15343 屋顶固定人工制品subclass

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


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

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


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

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 26021-26032
(=>
    (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 26655-26665


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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