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 15465-15466 | |
(externalImage Building "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Two-story_single-family_home.jpg") | pictureList.kif 1679-1679 | |
(externalImage Building "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Manhattan_at_Dusk_by_slonecker.jpg") | pictureList.kif 2128-2128 | |
(subclass Building StationaryArtifact) | Merge.kif 15464-15464 | 建筑物 是 固定人工制品 的 subclass |
appearance as argument number 2 |
![]() |
(disjoint Room Building) | Merge.kif 15481-15481 | 房间 和 % 2 是 disjoint |
(subclass Auditorium Building) | Mid-level-ontology.kif 6980-6980 | 礼堂 是 建筑物 的 subclass |
(subclass Barn Building) | Mid-level-ontology.kif 15181-15181 | 谷仓 是 建筑物 的 subclass |
(subclass BaseballDugout Building) | Sports.kif 579-579 | 棒球独木舟 是 建筑物 的 subclass |
(subclass CommercialBuilding Building) | Mid-level-ontology.kif 6704-6704 | 商业建筑 是 建筑物 的 subclass |
(subclass EntertainmentBuilding Building) | Mid-level-ontology.kif 21866-21866 | 娱乐建筑 是 建筑物 的 subclass |
(subclass FarmBuilding Building) | Mid-level-ontology.kif 6751-6751 | 农场建设 是 建筑物 的 subclass |
(subclass GovernmentBuilding Building) | Mid-level-ontology.kif 21878-21878 | 政府大楼 是 建筑物 的 subclass |
(subclass HighRise Building) | Mid-level-ontology.kif 25886-25886 | HighRise 是 建筑物 的 subclass |
(subclass HomeGarage Building) | Transportation.kif 2941-2941 | 家庭车库 是 建筑物 的 subclass |
(subclass HotelVilla Building) | Hotel.kif 127-127 | HotelVilla 是 建筑物 的 subclass |
(subclass LibraryBuilding Building) | Mid-level-ontology.kif 8079-8079 | LibraryBuilding 是 建筑物 的 subclass |
(subclass MedicalClinicBuilding Building) | Mid-level-ontology.kif 7341-7341 | 医疗诊所大楼 是 建筑物 的 subclass |
(subclass OfficeBuilding Building) | Mid-level-ontology.kif 21953-21953 | 办公楼 是 建筑物 的 subclass |
(subclass ParkingGarage Building) | Transportation.kif 2942-2942 | 停车库 是 建筑物 的 subclass |
(subclass PlaceOfWorship Building) | Mid-level-ontology.kif 21962-21962 | 礼拜的场所 是 建筑物 的 subclass |
(subclass PoliceFacility Building) | Mid-level-ontology.kif 20259-20259 | 警察设施 是 建筑物 的 subclass |
(subclass ReligiousBuilding Building) | Mid-level-ontology.kif 7573-7573 | 宗教建筑 是 建筑物 的 subclass |
(subclass ResidentialBuilding Building) | Merge.kif 15528-15528 | 住宅楼 是 建筑物 的 subclass |
(subclass RestaurantBuilding Building) | Mid-level-ontology.kif 21998-21998 | 餐厅建筑 是 建筑物 的 subclass |
(subclass Store Building) | Mid-level-ontology.kif 6739-6739 | 商店 是 建筑物 的 subclass |
(subclass TerminalBuilding Building) | Transportation.kif 2926-2926 | 航站楼 是 建筑物 的 subclass |
(subclass TollBooth Building) | Transportation.kif 3083-3083 | 收费站 是 建筑物 的 subclass |
(termFormat ChineseLanguage Building "建筑物") | chinese_format.kif 1051-1051 | |
(termFormat EnglishLanguage Building "building") | english_format.kif 1313-1313 | |
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 681-681 | 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 25546-25558 | |
(=> (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 14561-14571 | |
(=> (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 14537-14549 | |
(=> (and (instance ?UNIT SingleFamilyResidence) (home ?PERSON ?UNIT) (possesses ?PERSON ?UNIT) (not (instance ?UNIT Building))) (instance ?UNIT CondominiumUnit)) |
Mid-level-ontology.kif 6581-6587 | |
(=> (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 15468-15478 |
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 4765-4773 | |
(=> (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 6381-6387 | |
(=> (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 20502-20511 | |
(=> (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 14875-14884 | |
(=> (instance ?BU BuildingUnit) (exists (?O ?B) (and (instance ?B Building) (instance ?O Organization) (part ?BU ?B) (workLocation ?O ?BU)))) |
Mid-level-ontology.kif 19890-19897 | |
(=> (instance ?C Carpentry) (exists (?B) (and (instance ?B Building) (instance ?W Wood) (part ?W ?B) (result ?C ?B)))) |
Mid-level-ontology.kif 20129-20136 | |
(=> (instance ?DOOR Door) (exists (?ARTIFACT) (and (part ?DOOR ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 14763-14770 | |
(=> (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 14891-14904 |
|
(=> (instance ?F Fireplace) (exists (?B) (and (instance ?B Building) (part ?F ?B)))) |
Mid-level-ontology.kif 14837-14842 | |
(=> (instance ?GARAGE Garage) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?GARAGE ?BUILDING)))) |
Mid-level-ontology.kif 14950-14955 | |
(=> (instance ?INDOORS Indoors) (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?INDOORS ?BUILDING Inside)))) |
Mid-level-ontology.kif 8748-8753 | |
(=> (instance ?LEVEL BuildingLevel) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?LEVEL ?BUILDING)))) |
Mid-level-ontology.kif 14863-14868 | |
(=> (instance ?M ArtMuseum) (exists (?B ?A) (and (possesses ?M ?B) (instance ?B Building) (instance ?A ArtWork) (located ?A ?B)))) |
Mid-level-ontology.kif 8102-8109 | |
(=> (instance ?OUTDOORS Outdoors) (not (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?OUTDOORS ?BUILDING Inside))))) |
Mid-level-ontology.kif 8736-8742 | |
(=> (instance ?PLANT IndustrialPlant) (or (instance ?PLANT Building) (exists (?BUILDING) (and (instance ?BUILDING Building) (located ?BUILDING ?PLANT))))) |
Mid-level-ontology.kif 15134-15141 | |
(=> (instance ?PORCH Porch) (exists (?BUILDING) (and (instance ?BUILDING Building) (connected ?PORCH ?BUILDING)))) |
Mid-level-ontology.kif 15089-15094 | |
(=> (instance ?ROOF Roof) (exists (?BUILDING) (and (instance ?BUILDING Building) (top ?ROOF ?BUILDING)))) |
Mid-level-ontology.kif 14810-14815 |
|
(=> (instance ?ROOM Room) (exists (?BUILD) (and (instance ?BUILD Building) (properPart ?ROOM ?BUILD)))) |
Merge.kif 15487-15492 | |
(=> (instance ?STEEPLE Steeple) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?STEEPLE ?BUILDING)))) |
Mid-level-ontology.kif 7582-7587 | |
(=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle))))) |
Mid-level-ontology.kif 14640-14648 | |
(=> (instance ?WALL Wall) (exists (?ARTIFACT) (and (part ?WALL ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 14776-14783 | |
(=> (instance ?WAY Doorway) (exists (?ARTIFACT) (and (part ?WAY ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 14754-14761 | |
(=> (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 25408-25419 |
|
(=> (instance ?X Patio) (and (modalAttribute (attribute ?X Paved) Likely) (exists (?BLDG) (and (instance ?BLDG Building) (orientation ?X ?BLDG Adjacent) (located ?X Outdoors))))) |
Mid-level-ontology.kif 26007-26016 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |