| BuildingLevel
| |
| 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 16769-16770 | |
| (externalImage BuildingLevel "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6a/ Savassibuilding.jpg") | pictureList.kif 8396-8396 | |
| (externalImage BuildingLevel "http://upload.wikimedia.org/wikipedia/commons/ a/ a4/ Exec_bldg.JPG") | pictureList.kif 9009-9009 | |
| (externalImage BuildingLevel "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Bank_of_china_night.jpg") | pictureList.kif 9010-9010 | |
| (externalImage BuildingLevel "http://upload.wikimedia.org/wikipedia/en/e/ ed/ Ssld.jpg") | pictureList.kif 9011-9011 | |
| (subclass BuildingLevel StationaryArtifact) | Mid-level-ontology.kif 16768-16768 | BuildingLevel は 固定アーチファクト の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass Basement BuildingLevel) | Mid-level-ontology.kif 16779-16779 | Basement は BuildingLevel の subclass では %n |
| (termFormat ChineseLanguage BuildingLevel "建设水平") | domainEnglishFormat.kif 12266-12266 | Basement は BuildingLevel の subclass では %n |
| (termFormat ChineseTraditionalLanguage BuildingLevel "建設水平") | domainEnglishFormat.kif 12265-12265 | Basement は BuildingLevel の subclass では %n |
| (termFormat EnglishLanguage BuildingLevel "building level") | domainEnglishFormat.kif 12264-12264 | Basement は BuildingLevel の subclass では %n |
| 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 16470-16480 | |
| (=> (instance ?LEVEL BuildingLevel) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?LEVEL ?BUILDING)))) |
Mid-level-ontology.kif 16772-16777 |
| consequent |
|
|
| (=> (and (attribute ?X ?Y) (instance ?Y HotelLevelAttribute)) (and (instance ?X BuildingLevel) (exists (?BLDG) (and (instance ?BLDG HotelBuilding) (part ?X ?BLDG))))) |
Hotel.kif 1215-1224 | |
| (=> (and (instance ?S Stairway) (part ?S ?B) (instance ?B Building)) (hasPurpose ?S (exists (?L1 ?L2) (and (instance ?L1 BuildingLevel) (instance ?L2 BuildingLevel) (part ?L1 ?B) (part ?L2 ?B) (connects ?S ?L1 ?L2))))) |
Mid-level-ontology.kif 16446-16458 |
|
| (=> (and (unitNumber ?UNITSTR ?PLACE) (floorCode ?FLRCODE ?PLACE)) (exists (?UNIT ?FLOOR) (and (instance ?FLOOR BuildingLevel) (instance ?UNIT Room) (located ?UNIT ?FLOOR) (part ?FLOOR ?PLACE) (names ?UNITSTR ?UNIT) (names ?FLRCODE ?FLOOR)))) |
Mid-level-ontology.kif 26296-26307 | |
| (=> (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 | |
| (=> (instance ?E Elevator) (hasPurpose ?E (exists (?T ?L1 ?L2 ?B) (and (instance ?T Transportation) (origin ?T ?L1) (instance ?L1 BuildingLevel) (destination ?T ?L2) (instance ?L2 BuildingLevel) (not (equal ?L1 ?L2)) (part ?L1 ?B) (part ?L2 ?B) (instance ?B Building))))) |
Mid-level-ontology.kif 16800-16813 |
|
| (=> (instance ?X HighRise) (exists (?LEVELS ?NUM) (and (instance ?LEVELS Collection) (forall (?FLR) (=> (and (instance ?FLR BuildingLevel) (part ?FLR ?X)) (member ?FLR ?LEVELS))) (memberCount ?LEVELS ?NUM) (greaterThanOrEqualTo ?NUM 10)))) |
Mid-level-ontology.kif 28409-28421 | |
| (=> (numberOfFloors ?BLDG ?NUM) (exists (?FLOORS) (and (forall (?X) (=> (and (instance ?X BuildingLevel) (part ?X ?BLDG)) (member ?X ?FLOORS))) (memberCount ?FLOORS ?NUM)))) |
Hotel.kif 709-719 | |
| (=> (orientation ?OBJ1 ?OBJ2 Downstairs) (exists (?LEVEL1 ?LEVEL2 ?BUILDING) (and (instance ?LEVEL1 BuildingLevel) (instance ?LEVEL2 BuildingLevel) (instance ?BUILDING Building) (part ?LEVEL1 ?BUILDING) (part ?LEVEL2 ?BUILDING) (located ?OBJ1 ?LEVEL1) (located ?OBJ2 ?LEVEL2) (orientation ?LEVEL1 ?LEVEL2 Below)))) |
Mid-level-ontology.kif 20808-20819 |
|
| (=> (orientation ?OBJ1 ?OBJ2 Upstairs) (exists (?LEVEL1 ?LEVEL2 ?BUILDING) (and (instance ?LEVEL1 BuildingLevel) (instance ?LEVEL2 BuildingLevel) (instance ?BUILDING Building) (part ?LEVEL1 ?BUILDING) (part ?LEVEL2 ?BUILDING) (located ?OBJ1 ?LEVEL1) (located ?OBJ2 ?LEVEL2) (orientation ?LEVEL1 ?LEVEL2 Above)))) |
Mid-level-ontology.kif 20791-20802 |
|
|
|
|