| Basement(地下室)
| |
| 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 16780-16782 | |
| (externalImage Basement "http://upload.wikimedia.org/wikipedia/commons/5/ 5f/ Stasi_Basement.jpg") | pictureList.kif 4536-4536 | |
| (subclass Basement BuildingLevel) | Mid-level-ontology.kif 16779-16779 | 地下室 是 建设水平 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Basement "地下室") | domainEnglishFormat.kif 10099-10099 | |
| (termFormat ChineseTraditionalLanguage Basement "地下室") | domainEnglishFormat.kif 10098-10098 | |
| (termFormat EnglishLanguage Basement "basement") | domainEnglishFormat.kif 10097-10097 |
| 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 16784-16793 |
|
|
|