| 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 13080-13081 | |
| (externalImage BuildingLevel "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6a/ Savassibuilding.jpg") | pictureList.kif 8399-8399 | |
| (externalImage BuildingLevel "http://upload.wikimedia.org/wikipedia/commons/ a/ a4/ Exec_bldg.JPG") | pictureList.kif 9015-9015 | |
| (externalImage BuildingLevel "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Bank_of_china_night.jpg") | pictureList.kif 9016-9016 | |
| (externalImage BuildingLevel "http://upload.wikimedia.org/wikipedia/en/e/ ed/ Ssld.jpg") | pictureList.kif 9017-9017 | |
| (subclass BuildingLevel StationaryArtifact) | Mid-level-ontology.kif 13079-13079 |
| appearance as argument number 2 |
|
|
| (subclass Basement BuildingLevel) | Mid-level-ontology.kif 13090-13090 | |
| (termFormat ChineseLanguage BuildingLevel "建设水平") | domainEnglishFormat.kif 12205-12205 | |
| (termFormat ChineseTraditionalLanguage BuildingLevel "建設水平") | domainEnglishFormat.kif 12204-12204 | |
| (termFormat EnglishLanguage BuildingLevel "building level") | domainEnglishFormat.kif 12203-12203 |
| 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 12788-12798 | |
| (=> (instance ?LEVEL BuildingLevel) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?LEVEL ?BUILDING)))) |
Mid-level-ontology.kif 13083-13088 |
| consequent |
|
|
| (=> (and (attribute ?X ?Y) (instance ?Y HotelLevelAttribute)) (and (instance ?X BuildingLevel) (exists (?BLDG) (and (instance ?BLDG HotelBuilding) (part ?X ?BLDG))))) |
Hotel.kif 1158-1167 | |
| (=> (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 12764-12776 | |
| (=> (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 22427-22438 | |
| (=> (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 13095-13104 | |
| (=> (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 13110-13123 | |
| (=> (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 24615-24627 | |
| (=> (numberOfFloors ?BLDG ?NUM) (exists (?FLOORS) (and (forall (?X) (=> (and (instance ?X BuildingLevel) (part ?X ?BLDG)) (member ?X ?FLOORS))) (memberCount ?FLOORS ?NUM)))) |
Hotel.kif 678-688 | |
| (=> (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 17020-17031 | |
| (=> (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 17003-17014 |
|
|
|