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 |
![]() |
![]() |