Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Ceiling(ceiling)
|  | ceiling |
| appearance as argument number 1 |
|
|
| (subclass Ceiling StationaryArtifact) | Mid-level-ontology.kif 16931-16931 | Ceiling is a subclass of stationary artifact |
| (documentation Ceiling EnglishLanguage "A StationaryArtifact that is the top surface of a Room.") | Mid-level-ontology.kif 16932-16933 | Ceiling is a subclass of stationary artifact |
| (externalImage Ceiling "http://upload.wikimedia.org/wikipedia/commons/c/ c7/ Capitol_Theatre_foyer_ceiling_feature.JPG") | pictureList.kif 4588-4588 | Ceiling is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| (subclass Dome Ceiling) | Mid-level-ontology.kif 29163-29163 | Dome is a subclass of ceiling |
| (termFormat EnglishLanguage Ceiling "ceiling") | domainEnglishFormat.kif 13632-13632 | Dome is a subclass of ceiling |
| (termFormat ChineseTraditionalLanguage Ceiling "天花板") | domainEnglishFormat.kif 13633-13633 | Dome is a subclass of ceiling |
| (termFormat ChineseLanguage Ceiling "天花板") | domainEnglishFormat.kif 13634-13634 | Dome is a subclass of ceiling |
| antecedent |
|
|
| (=> (instance ?C Ceiling) (exists (?R) (and (top ?C ?R) (instance ?R Room)))) |
Mid-level-ontology.kif 16935-16940 | If X is an instance of ceiling, then there exists Y such that the top of Y is X and Y 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 2636-2645 | If X is an instance of shower, then there exist Y, Z such that Y is an instance of wall or Y is an instance of ceiling, X is connected to Y, Z is an instance of floor, and X is above to Z |
| (=> (instance ?W Skylight) (exists (?C) (and (instance ?C Ceiling) (part ?W ?C)))) |
Mid-level-ontology.kif 16769-16774 | If X is an instance of skylight, then there exists Y such that Y is an instance of ceiling and X is a part of Y |
| (=> (instance ?DEVICE CeilingFan) (hasPurpose ?DEVICE (exists (?CEILING) (and (instance ?CEILING Ceiling) (located ?DEVICE ?CEILING))))) |
HouseholdAppliances.kif 1100-1106 | If X is an instance of ceiling fan, then X has the purpose there exists Y such that Y is an instance of ceiling and X is located at Y |
|