| Ceiling
| |
| appearance as argument number 1 |
|
|
| (documentation Ceiling EnglishLanguage "A StationaryArtifact that is the top surface of a Room.") | Mid-level-ontology.kif 13019-13020 | |
| (externalImage Ceiling "http://upload.wikimedia.org/wikipedia/commons/c/ c7/ Capitol_Theatre_foyer_ceiling_feature.JPG") | pictureList.kif 4590-4590 | externalImage Ceiling and "http://upload.wikimedia.org/wikipedia/commons/c/c7/ Capitol_Theatre_foyer_ceiling_feature.JPG" |
| (subclass Ceiling StationaryArtifact) | Mid-level-ontology.kif 13018-13018 | subclass Ceiling and StationaryArtifact |
| appearance as argument number 2 |
|
|
| (subclass Dome Ceiling) | Mid-level-ontology.kif 24676-24676 | subclass Dome and Ceiling |
| (termFormat ChineseLanguage Ceiling "天花板") | domainEnglishFormat.kif 13567-13567 | termFormat ChineseLanguage, Ceiling and "天花板" |
| (termFormat ChineseTraditionalLanguage Ceiling "天花板") | domainEnglishFormat.kif 13566-13566 | termFormat ChineseTraditionalLanguage, Ceiling and "天花板" |
| (termFormat EnglishLanguage Ceiling "ceiling") | domainEnglishFormat.kif 13565-13565 | termFormat EnglishLanguage, Ceiling and "ceiling" |
| antecedent |
|
|
| (=> (instance ?C Ceiling) (exists (?R) (and (top ?C ?R) (instance ?R Room)))) |
Mid-level-ontology.kif 13021-13026 |
| 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 2492-2501 | |
| (=> (instance ?W Skylight) (exists (?C) (and (instance ?C Ceiling) (part ?W ?C)))) |
Mid-level-ontology.kif 12882-12887 |
|
|
|