Ceiling - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

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 16695-16696
(externalImage Ceiling "http://upload.wikimedia.org/wikipedia/commons/c/ c7/ Capitol_Theatre_foyer_ceiling_feature.JPG")	pictureList.kif 4588-4588
(subclass Ceiling StationaryArtifact)	Mid-level-ontology.kif 16694-16694	Ceiling is a subclass of stationary artifact

appearance as argument number 2

(subclass Dome Ceiling)	Mid-level-ontology.kif 28454-28454	Dome is a subclass of Ceiling
(termFormat ChineseLanguage Ceiling "天花板")	domainEnglishFormat.kif 13634-13634	Dome is a subclass of Ceiling
(termFormat ChineseTraditionalLanguage Ceiling "天花板")	domainEnglishFormat.kif 13633-13633	Dome is a subclass of Ceiling
(termFormat EnglishLanguage Ceiling "ceiling")	domainEnglishFormat.kif 13632-13632	Dome is a subclass of Ceiling

antecedent

(=>
    (instance ?C Ceiling)
    (exists (?R)
        (and
            (top ?C ?R)
            (instance ?R Room))))

Mid-level-ontology.kif 16698-16703

If a self connected object is an instance of Ceiling,
then there exists another self connected object such that the top of the other self connected object is the self connected object and the other self connected object is an instance of room

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 2500-2509	If an object is an instance of Shower, then there exist another object and a third object such that the other object is an instance of Wall or the other object is an instance of Ceiling and the object is connected to the other object and the third object is an instance of Floor and the object is Above to the third object
(=> (instance ?W Skylight) (exists (?C) (and (instance ?C Ceiling) (part ?W ?C))))	Mid-level-ontology.kif 16556-16561	If an object is an instance of Skylight, then there exists another object such that the other object is an instance of Ceiling and the object is a part of the other object

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