BuildingLevel(building level)![]() ![]() ![]() | ![]() | first_floor, floor, ground_floor, ground_level, level, storey, story |
appearance as argument number 1 |
![]() |
(documentation BuildingLevel EnglishLanguage "The story or level of a building, e.g. the Basement, the Attic, the ground level, the fourteenth floor, etc.") | Mid-level-ontology.kif 15243-15244 | |
(externalImage BuildingLevel "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6a/ Savassibuilding.jpg") | pictureList.kif 8398-8398 | |
(externalImage BuildingLevel "http://upload.wikimedia.org/wikipedia/commons/ a/ a4/ Exec_bldg.JPG") | pictureList.kif 9011-9011 | |
(externalImage BuildingLevel "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Bank_of_china_night.jpg") | pictureList.kif 9012-9012 | |
(externalImage BuildingLevel "http://upload.wikimedia.org/wikipedia/en/e/ ed/ Ssld.jpg") | pictureList.kif 9013-9013 | |
(subclass BuildingLevel StationaryArtifact) | Mid-level-ontology.kif 15242-15242 | Building level is a subclass of stationary artifact |
appearance as argument number 2 |
![]() |
(subclass Basement BuildingLevel) | Mid-level-ontology.kif 15253-15253 | Basement is a subclass of building level |
(termFormat ChineseLanguage BuildingLevel "建设水平") | domainEnglishFormat.kif 12255-12255 | |
(termFormat ChineseTraditionalLanguage BuildingLevel "建設水平") | domainEnglishFormat.kif 12254-12254 | |
(termFormat EnglishLanguage BuildingLevel "building level") | domainEnglishFormat.kif 12253-12253 |
antecedent |
![]() |
(=> (and (instance ?LEVEL1 BuildingLevel) (instance ?LEVEL2 BuildingLevel) (instance ?BUILDING Building) (part ?LEVEL1 ?BUILDING) (part ?LEVEL2 ?BUILDING)) (exists (?STEPS) (and (instance ?STEPS Steps) (connects ?STEPS ?LEVEL1 ?LEVEL2)))) |
Mid-level-ontology.kif 14944-14954 |
|
(=> (instance ?LEVEL BuildingLevel) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?LEVEL ?BUILDING)))) |
Mid-level-ontology.kif 15246-15251 |
|
consequent |
![]() |
![]() |
![]() |