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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ceiling

Sigma KEE - Ceiling
Ceiling
天棚, 天花板,

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


(documentation Ceiling EnglishLanguage "A StationaryArtifact that is the top surface of a Room.") Mid-level-ontology.kif 13020-13021
(externalImage Ceiling "http://upload.wikimedia.org/wikipedia/commons/c/ c7/ Capitol_Theatre_foyer_ceiling_feature.JPG") pictureList.kif 4590-4590
(subclass Ceiling StationaryArtifact) Mid-level-ontology.kif 13019-13019

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


(subclass Dome Ceiling) Mid-level-ontology.kif 24595-24595
(termFormat EnglishLanguage Ceiling "ceiling") domainEnglishFormat.kif 2694-2694

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


(=>
    (instance ?C Ceiling)
    (exists (?R)
        (and
            (top ?C ?R)
            (instance ?R Room))))
Mid-level-ontology.kif 13022-13027

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


(=>
    (instance ?SHOWER Shower)
    (exists (?X ?FLOOR)
        (and
            (or
                (instance ?X Wall)
                (instance ?X Ceiling))
            (connected ?SHOWER ?X)
            (instance ?FLOOR Floor)
            (orientation ?SHOWER ?FLOOR Above))))
Mid-level-ontology.kif 2497-2506
(=>
    (instance ?W Skylight)
    (exists (?C)
        (and
            (instance ?C Ceiling)
            (part ?W ?C))))
Mid-level-ontology.kif 12883-12888


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