| 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 14621-14622 | |
| (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 14620-14620 |
| appearance as argument number 2 |
|
|
| (disjoint Room Building) | Merge.kif 14637-14637 | |
| (subclass Auditorium Building) | Mid-level-ontology.kif 6967-6967 | |
| (subclass Barn Building) | Mid-level-ontology.kif 13414-13414 | |
| (subclass BaseballDugout Building) | Sports.kif 534-534 | |
| (subclass CommercialBuilding Building) | Mid-level-ontology.kif 6682-6682 | |
| (subclass EntertainmentBuilding Building) | Mid-level-ontology.kif 20302-20302 | |
| (subclass FarmBuilding Building) | Mid-level-ontology.kif 6740-6740 | |
| (subclass GovernmentBuilding Building) | Mid-level-ontology.kif 20314-20314 | |
| (subclass HighRise Building) | Mid-level-ontology.kif 24653-24653 | |
| (subclass HomeGarage Building) | Transportation.kif 2912-2912 | |
| (subclass HotelVilla Building) | Hotel.kif 127-127 | |
| (subclass LibraryBuilding Building) | Mid-level-ontology.kif 8182-8182 | |
| (subclass MedicalClinicBuilding Building) | Mid-level-ontology.kif 7343-7343 | |
| (subclass OfficeBuilding Building) | Mid-level-ontology.kif 20416-20416 | |
| (subclass ParkingGarage Building) | Transportation.kif 2913-2913 | |
| (subclass PlaceOfWorship Building) | Mid-level-ontology.kif 20425-20425 | |
| (subclass PoliceFacility Building) | Mid-level-ontology.kif 18624-18624 | |
| (subclass ReligiousBuilding Building) | Mid-level-ontology.kif 7587-7587 | |
| (subclass ResidentialBuilding Building) | Merge.kif 14684-14684 | |
| (subclass RestaurantBuilding Building) | Mid-level-ontology.kif 20468-20468 | |
| (subclass Store Building) | Mid-level-ontology.kif 6717-6717 | |
| (subclass TerminalBuilding Building) | Transportation.kif 2897-2897 | |
| (subclass TollBooth Building) | Transportation.kif 3054-3054 | |
| (termFormat ChineseLanguage Building "建筑物") | chinese_format.kif 1051-1051 | |
| (termFormat EnglishLanguage Building "building") | english_format.kif 1318-1318 | |
| 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 |
| 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 24191-24203 | |
| (=> (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 12816-12826 | |
| (=> (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 12792-12804 | |
| (=> (and (instance ?UNIT SingleFamilyResidence) (home ?PERSON ?UNIT) (possesses ?PERSON ?UNIT) (not (instance ?UNIT Building))) (instance ?UNIT CondominiumUnit)) |
Mid-level-ontology.kif 6573-6579 | |
| (=> (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 14624-14634 |
| 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 5345-5352 | |
| (=> (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 8699-8720 | |
| (=> (equal (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?PLACE ?BUILDING)))) |
Mid-level-ontology.kif 6360-6366 | |
| (=> (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 18905-18914 | |
| (=> (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 13123-13132 | |
| (=> (instance ?C Carpentry) (exists (?B) (and (instance ?B Building) (instance ?W Wood) (part ?W ?B) (result ?C ?B)))) |
Mid-level-ontology.kif 18478-18485 | |
| (=> (instance ?DOOR Door) (exists (?ARTIFACT) (and (part ?DOOR ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 13013-13020 | |
| (=> (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 13138-13151 | |
| (=> (instance ?F Fireplace) (exists (?B) (and (instance ?B Building) (part ?F ?B)))) |
Mid-level-ontology.kif 13085-13090 | |
| (=> (instance ?GARAGE Garage) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?GARAGE ?BUILDING)))) |
Mid-level-ontology.kif 13197-13202 | |
| (=> (instance ?INDOORS Indoors) (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?INDOORS ?BUILDING Inside)))) |
Mid-level-ontology.kif 8854-8859 | |
| (=> (instance ?LEVEL BuildingLevel) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?LEVEL ?BUILDING)))) |
Mid-level-ontology.kif 13111-13116 | |
| (=> (instance ?M ArtMuseum) (exists (?B ?A) (and (possesses ?M ?B) (instance ?B Building) (instance ?A ArtWork) (located ?A ?B)))) |
Mid-level-ontology.kif 8206-8213 | |
| (=> (instance ?OUTDOORS Outdoors) (not (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?OUTDOORS ?BUILDING Inside))))) |
Mid-level-ontology.kif 8842-8848 | |
| (=> (instance ?PLANT IndustrialPlant) (or (instance ?PLANT Building) (exists (?BUILDING) (and (instance ?BUILDING Building) (located ?BUILDING ?PLANT))))) |
Mid-level-ontology.kif 13368-13375 | |
| (=> (instance ?PORCH Porch) (exists (?BUILDING) (and (instance ?BUILDING Building) (connected ?PORCH ?BUILDING)))) |
Mid-level-ontology.kif 13325-13330 | |
| (=> (instance ?ROOF Roof) (exists (?BUILDING) (and (instance ?BUILDING Building) (top ?ROOF ?BUILDING)))) |
Mid-level-ontology.kif 13059-13064 | |
| (=> (instance ?ROOM Room) (exists (?BUILD) (and (instance ?BUILD Building) (properPart ?ROOM ?BUILD)))) |
Merge.kif 14643-14648 | |
| (=> (instance ?STEEPLE Steeple) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?STEEPLE ?BUILDING)))) |
Mid-level-ontology.kif 7605-7610 | |
| (=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle))))) |
Mid-level-ontology.kif 12892-12900 | |
| (=> (instance ?WALL Wall) (exists (?ARTIFACT) (and (part ?WALL ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 13026-13033 | |
| (=> (instance ?WAY Doorway) (exists (?ARTIFACT) (and (part ?WAY ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 13004-13011 | |
| (=> (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 24051-24062 | |
| (=> (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 24774-24783 | |
| (=> (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 17051-17062 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|