| 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 14926-14928 | |
| (externalImage Basement "http://upload.wikimedia.org/wikipedia/commons/5/ 5f/ Stasi_Basement.jpg") | pictureList.kif 4538-4538 | |
| (subclass Basement BuildingLevel) | Mid-level-ontology.kif 14925-14925 | 地下室 是 建设水平 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Basement "地下室") | domainEnglishFormat.kif 10107-10107 | |
| (termFormat ChineseTraditionalLanguage Basement "地下室") | domainEnglishFormat.kif 10106-10106 | |
| (termFormat EnglishLanguage Basement "basement") | domainEnglishFormat.kif 10105-10105 |
| 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 14930-14939 |
|
|
|