Building(建筑物)![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Building ChineseLanguage "这是为了容纳 Human 和他们的活动 StationaryArtifact 的类别。") | chinese_format.kif 3586-3587 | |
(documentation Building EnglishLanguage "The Class of StationaryArtifacts which are intended to house Humans and their activities.") | Merge.kif 15710-15711 | |
(externalImage Building "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Two-story_single-family_home.jpg") | pictureList.kif 1678-1678 | |
(externalImage Building "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Manhattan_at_Dusk_by_slonecker.jpg") | pictureList.kif 2127-2127 | |
(subclass Building StationaryArtifact) | Merge.kif 15709-15709 | 建筑物 是 固定人工制品 的 subclass |
appearance as argument number 2 |
![]() |
(disjoint Room Building) | Merge.kif 15726-15726 | 房间 和 % 2 是 disjoint |
(subclass Auditorium Building) | Mid-level-ontology.kif 7292-7292 | 礼堂 是 建筑物 的 subclass |
(subclass Barn Building) | Mid-level-ontology.kif 15707-15707 | 谷仓 是 建筑物 的 subclass |
(subclass BaseballDugout Building) | Sports.kif 648-648 | 棒球独木舟 是 建筑物 的 subclass |
(subclass CommercialBuilding Building) | Mid-level-ontology.kif 7016-7016 | 商业建筑 是 建筑物 的 subclass |
(subclass EntertainmentBuilding Building) | Mid-level-ontology.kif 22340-22340 | 娱乐建筑 是 建筑物 的 subclass |
(subclass FarmBuilding Building) | Mid-level-ontology.kif 7063-7063 | 农场建设 是 建筑物 的 subclass |
(subclass GovernmentBuilding Building) | Mid-level-ontology.kif 22352-22352 | 政府大楼 是 建筑物 的 subclass |
(subclass HighRise Building) | Mid-level-ontology.kif 26419-26419 | HighRise 是 建筑物 的 subclass |
(subclass HomeGarage Building) | Transportation.kif 2934-2934 | 家庭车库 是 建筑物 的 subclass |
(subclass HotelVilla Building) | Hotel.kif 132-132 | HotelVilla 是 建筑物 的 subclass |
(subclass LibraryBuilding Building) | Mid-level-ontology.kif 8448-8448 | LibraryBuilding 是 建筑物 的 subclass |
(subclass MedicalClinicBuilding Building) | Mid-level-ontology.kif 7639-7639 | 医疗诊所大楼 是 建筑物 的 subclass |
(subclass OfficeBuilding Building) | Mid-level-ontology.kif 22427-22427 | 办公楼 是 建筑物 的 subclass |
(subclass ParkingGarage Building) | Transportation.kif 2935-2935 | 停车库 是 建筑物 的 subclass |
(subclass PlaceOfWorship Building) | Mid-level-ontology.kif 22470-22470 | 礼拜的场所 是 建筑物 的 subclass |
(subclass PoliceFacility Building) | Mid-level-ontology.kif 20868-20868 | 警察设施 是 建筑物 的 subclass |
(subclass ReligiousBuilding Building) | Mid-level-ontology.kif 7876-7876 | 宗教建筑 是 建筑物 的 subclass |
(subclass ResidentialBuilding Building) | Merge.kif 15773-15773 | 住宅楼 是 建筑物 的 subclass |
(subclass RestaurantBuilding Building) | Mid-level-ontology.kif 22506-22506 | 餐厅建筑 是 建筑物 的 subclass |
(subclass SchoolBuilding Building) | Mid-level-ontology.kif 22432-22432 | 学校楼 是 建筑物 的 subclass |
(subclass Store Building) | Mid-level-ontology.kif 7051-7051 | 商店 是 建筑物 的 subclass |
(subclass TerminalBuilding Building) | Transportation.kif 2919-2919 | 航站楼 是 建筑物 的 subclass |
(subclass TollBooth Building) | Transportation.kif 3076-3076 | 收费站 是 建筑物 的 subclass |
(termFormat ChineseLanguage Building "建筑物") | chinese_format.kif 1051-1051 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
![]() |
(domain numberOfFloors 1 Building) | Hotel.kif 702-702 | numberOfFloors 的 1 数量 是 建筑物 的 instance |
antecedent |
![]() |
(=> (and (attribute ?X WheelchairAccessible) (or (instance ?X Building) (instance ?X Room))) (modalAttribute (exists (?MOTION ?WHEELCHAIR) (and (instance ?MOTION Motion) (instrument ?MOTION ?WHEELCHAIR) (instance ?WHEELCHAIR Wheelchair) (eventLocated ?MOTION ?X))) Possibility)) |
Mid-level-ontology.kif 26075-26087 | |
(=> (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 15068-15078 | |
(=> (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 15044-15056 | |
(=> (and (instance ?UNIT SingleFamilyResidence) (home ?PERSON ?UNIT) (possesses ?PERSON ?UNIT) (not (instance ?UNIT Building))) (instance ?UNIT CondominiumUnit)) |
Mid-level-ontology.kif 6893-6899 | |
(=> (and (possesses ?BUS ?PARK) (instance ?BUS CommercialAgent) (instance ?PARK ParkingLot) (instance ?BLDG Building) (located ?BUS ?BLDG) (customer ?BUS ?CUST) (holdsDuring ?T (located ?CUST ?BLDG)) (instance ?DRIVE Driving) (patient ?DRIVE ?VEHICLE) (agent ?DRIVE ?CUST) (destination ?DRIVE ?BLDG)) (holdsDuring ?T (confersRight (and (instance ?PUT Keeping) (destination ?PUT ?PARK) (patient ?PUT ?VEHICLE)) ?BUS ?CUST))) |
TransportDetail.kif 102-121 |
|
(=> (instance ?BUILDING Building) (exists (?HUMAN) (and (instance ?HUMAN Human) (or (inhabits ?HUMAN ?BUILDING) (exists (?ACT) (and (agent ?ACT ?HUMAN) (located ?ACT ?BUILDING))))))) |
Merge.kif 15713-15723 |
consequent |
![]() |
(=> (and (instance ?CLOTHING OutdoorClothing) (holdsDuring ?TIME (wears ?PERSON ?CLOTHING))) (not (exists (?BUILDING) (and (instance ?BUILDING Building) (holdsDuring ?TIME (located ?PERSON ?BUILDING)))))) |
Mid-level-ontology.kif 5015-5023 | |
(=> (and (instance ?ORG Organization) (attribute ?ORG WarehousingAndStorage)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P ?OBJ) (and (instance ?EV Selling) (instance ?OBJ Object) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?B ?T) (and (instance ?T TimeInterval) (instance ?B Building) (possesses ?P ?OBJ) (holdsDuring ?T (located ?B ?OBJ)))) ?MEM ?P)))))) |
naics.kif 8776-8797 |
|
(=> (equal (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?PLACE ?BUILDING)))) |
Mid-level-ontology.kif 6693-6699 | |
(=> (hasExpertise ?H Architecture) (exists (?D ?P ?B) (and (instance ?D ContentDevelopment) (agent ?D ?H) (result ?D ?P) (instance ?P Blueprint) (represents ?P ?B) (instance ?B Building)))) |
Mid-level-ontology.kif 21129-21138 | |
(=> (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 15382-15391 | |
(=> (instance ?BU BuildingUnit) (exists (?O ?B) (and (instance ?B Building) (instance ?O Organization) (part ?BU ?B) (workLocation ?O ?BU)))) |
Mid-level-ontology.kif 20498-20505 | |
(=> (instance ?C Carpentry) (exists (?B ?W) (and (instance ?B Building) (instance ?W Wood) (part ?W ?B) (result ?C ?B)))) |
Mid-level-ontology.kif 20738-20745 | |
(=> (instance ?DOOR Door) (exists (?ARTIFACT) (and (part ?DOOR ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 15270-15277 | |
(=> (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 15398-15411 |
|
(=> (instance ?F Fireplace) (exists (?B) (and (instance ?B Building) (part ?F ?B)))) |
Mid-level-ontology.kif 15344-15349 | |
(=> (instance ?GARAGE Garage) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?GARAGE ?BUILDING)))) |
Mid-level-ontology.kif 15457-15462 | |
(=> (instance ?HALL Hallway) (hasPurpose ?HALL (exists (?TRAN ?BUILD ?R1 ?R2) (and (instance ?TRAN Translocation) (path ?TRAN ?HALL) (located ?HALL ?BUILD) (instance ?BUILD Building) (between ?R1 ?HALL ?R2) (instance ?R1 Room) (instance ?R2 Room) (located ?R1 ?BUILD) (located ?R2 ?BUILD) (not (equal ?R1 ?R2)))))) |
Mid-level-ontology.kif 15593-15608 |
|
(=> (instance ?INDOORS Indoors) (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?INDOORS ?BUILDING Inside)))) |
Mid-level-ontology.kif 9117-9122 | |
(=> (instance ?LEVEL BuildingLevel) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?LEVEL ?BUILDING)))) |
Mid-level-ontology.kif 15370-15375 | |
(=> (instance ?M ArtMuseum) (exists (?B ?A) (and (possesses ?M ?B) (instance ?B Building) (instance ?A ArtWork) (located ?A ?B)))) |
Mid-level-ontology.kif 8471-8478 | |
(=> (instance ?OUTDOORS Outdoors) (not (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?OUTDOORS ?BUILDING Inside))))) |
Mid-level-ontology.kif 9105-9111 | |
(=> (instance ?PLANT IndustrialPlant) (or (instance ?PLANT Building) (exists (?BUILDING) (and (instance ?BUILDING Building) (located ?BUILDING ?PLANT))))) |
Mid-level-ontology.kif 15660-15667 | |
(=> (instance ?PORCH Porch) (exists (?BUILDING) (and (instance ?BUILDING Building) (connected ?PORCH ?BUILDING)))) |
Mid-level-ontology.kif 15615-15620 | |
(=> (instance ?ROOF Roof) (exists (?BUILDING) (and (instance ?BUILDING Building) (top ?ROOF ?BUILDING)))) |
Mid-level-ontology.kif 15317-15322 |
|
(=> (instance ?ROOM Room) (exists (?BUILD) (and (instance ?BUILD Building) (properPart ?ROOM ?BUILD)))) |
Merge.kif 15732-15737 | |
(=> (instance ?STEEPLE Steeple) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?STEEPLE ?BUILDING)))) |
Mid-level-ontology.kif 7885-7890 | |
(=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle))))) |
Mid-level-ontology.kif 15147-15155 | |
(=> (instance ?WALL Wall) (exists (?ARTIFACT) (and (part ?WALL ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 15283-15290 | |
(=> (instance ?WAY Doorway) (exists (?ARTIFACT) (and (part ?WAY ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 15261-15268 | |
(=> (instance ?X Courtyard) (and (not (exists (?ROOF) (and (instance ?ROOF Roof) (top ?ROOF ?X)))) (exists (?BLDG) (and (instance ?BLDG Building) (orientation ?X ?BLDG Surrounded))))) |
Mid-level-ontology.kif 25937-25948 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |