| Basement(basement)
| | basement, cellar |
| appearance as argument number 1 |
|
|
| (documentation Basement EnglishLanguage "A BuildingLevel which satisfies two conditions, viz. it is lower than all of the other BuildingLevels in the same Building and it is below ground level.") | Mid-level-ontology.kif 16335-16337 | |
| (externalImage Basement "http://upload.wikimedia.org/wikipedia/commons/5/ 5f/ Stasi_Basement.jpg") | pictureList.kif 4536-4536 | |
| (subclass Basement BuildingLevel) | Mid-level-ontology.kif 16334-16334 | Basement is a subclass of building level |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Basement "地下室") | domainEnglishFormat.kif 10105-10105 | |
| (termFormat ChineseTraditionalLanguage Basement "地下室") | domainEnglishFormat.kif 10104-10104 | |
| (termFormat EnglishLanguage Basement "basement") | domainEnglishFormat.kif 10103-10103 |
| antecedent |
|
|
| (=> (instance ?BASEMENT Basement) (not (exists (?LEVEL ?BUILDING) (and (instance ?LEVEL BuildingLevel) (instance ?BUILDING Building) (part ?LEVEL ?BUILDING) (part ?BASEMENT ?BUILDING) (not (equal ?LEVEL ?BASEMENT)) (orientation ?LEVEL ?BASEMENT Below))))) |
Mid-level-ontology.kif 16339-16348 |
|
|
|
|