Ceiling | ![]() |
appearance as argument number 1 |
![]() |
(documentation Ceiling EnglishLanguage "A StationaryArtifact that is the top surface of a Room.") | Mid-level-ontology.kif 16706-16707 | |
(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 16705-16705 |
appearance as argument number 2 |
![]() |
(subclass Dome Ceiling) | Mid-level-ontology.kif 28470-28470 | |
(termFormat ChineseLanguage Ceiling "天花板") | domainEnglishFormat.kif 13635-13635 | |
(termFormat ChineseTraditionalLanguage Ceiling "天花板") | domainEnglishFormat.kif 13634-13634 | |
(termFormat EnglishLanguage Ceiling "ceiling") | domainEnglishFormat.kif 13633-13633 |
antecedent |
![]() |
(=> (instance ?C Ceiling) (exists (?R) (and (top ?C ?R) (instance ?R Room)))) |
Mid-level-ontology.kif 16709-16714 |
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 | |
(=> (instance ?W Skylight) (exists (?C) (and (instance ?C Ceiling) (part ?W ?C)))) |
Mid-level-ontology.kif 16567-16572 |
![]() |
![]() |