| Building(imaarata)
| |
| 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 15875-15876 | |
| (externalImage Building "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Two_story_single_family_home.jpg") | pictureList.kif 1677-1677 | |
| (externalImage Building "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Manhattan_at_Dusk_by_slonecker.jpg") | pictureList.kif 2126-2126 | |
| (subclass Building StationaryArtifact) | Merge.kif 15874-15874 |
| appearance as argument number 2 |
|
|
| (disjoint Room Building) | Merge.kif 15891-15891 | |
| (subclass Auditorium Building) | Mid-level-ontology.kif 8500-8500 | |
| (subclass Barn Building) | Mid-level-ontology.kif 17127-17127 | |
| (subclass BaseballDugout Building) | Sports.kif 660-660 | |
| (subclass CommercialBuilding Building) | Mid-level-ontology.kif 8224-8224 | |
| (subclass EntertainmentBuilding Building) | Mid-level-ontology.kif 24050-24050 | |
| (subclass FarmBuilding Building) | Mid-level-ontology.kif 8271-8271 | |
| (subclass GovernmentBuilding Building) | Mid-level-ontology.kif 24062-24062 | |
| (subclass HighRise Building) | Mid-level-ontology.kif 28161-28161 | |
| (subclass HomeGarage Building) | Transportation.kif 3769-3769 | |
| (subclass HotelVilla Building) | Hotel.kif 132-132 | |
| (subclass LibraryBuilding Building) | Mid-level-ontology.kif 9700-9700 | |
| (subclass MedicalClinicBuilding Building) | Mid-level-ontology.kif 8853-8853 | |
| (subclass OfficeBuilding Building) | Mid-level-ontology.kif 24137-24137 | |
| (subclass ParkingGarage Building) | Transportation.kif 3770-3770 | |
| (subclass PlaceOfWorship Building) | Mid-level-ontology.kif 24180-24180 | |
| (subclass PoliceFacility Building) | Mid-level-ontology.kif 22556-22556 | |
| (subclass ReligiousBuilding Building) | Mid-level-ontology.kif 9090-9090 | |
| (subclass ResidentialBuilding Building) | Merge.kif 15938-15938 | |
| (subclass RestaurantBuilding Building) | Mid-level-ontology.kif 24216-24216 | |
| (subclass SchoolBuilding Building) | Mid-level-ontology.kif 24142-24142 | |
| (subclass Store Building) | Mid-level-ontology.kif 8259-8259 | |
| (subclass TerminalBuilding Building) | Transportation.kif 3764-3764 | |
| (subclass TollBooth Building) | Transportation.kif 3980-3980 | |
| (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 706-706 |
| 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 27816-27828 | |
| (=> (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 16488-16498 | |
| (=> (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 16464-16476 | |
| (=> (and (instance ?UNIT SingleFamilyResidence) (home ?PERSON ?UNIT) (possesses ?PERSON ?UNIT) (not (instance ?UNIT Building))) (instance ?UNIT CondominiumUnit)) |
Mid-level-ontology.kif 8101-8107 | |
| (=> (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 106-125 | |
| (=> (instance ?BUILDING Building) (exists (?HUMAN) (and (instance ?HUMAN Human) (or (inhabits ?HUMAN ?BUILDING) (exists (?ACT) (and (agent ?ACT ?HUMAN) (located ?ACT ?BUILDING))))))) |
Merge.kif 15878-15888 |
| 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 5999-6007 | |
| (=> (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 7677-7683 | |
| (=> (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 22817-22826 | |
| (=> (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 16802-16811 | |
| (=> (instance ?BU BuildingUnit) (exists (?O ?B) (and (instance ?B Building) (instance ?O Organization) (part ?BU ?B) (workLocation ?O ?BU)))) |
Mid-level-ontology.kif 22186-22193 | |
| (=> (instance ?C Carpentry) (exists (?B ?W) (and (instance ?B Building) (instance ?W Wood) (part ?W ?B) (result ?C ?B)))) |
Mid-level-ontology.kif 22426-22433 | |
| (=> (instance ?DOOR Door) (exists (?ARTIFACT) (and (part ?DOOR ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 16690-16697 | |
| (=> (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 16818-16831 | |
| (=> (instance ?F Fireplace) (exists (?B) (and (instance ?B Building) (part ?F ?B)))) |
Mid-level-ontology.kif 16764-16769 | |
| (=> (instance ?GARAGE Garage) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?GARAGE ?BUILDING)))) |
Mid-level-ontology.kif 16877-16882 | |
| (=> (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 17013-17028 | |
| (=> (instance ?INDOORS Indoors) (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?INDOORS ?BUILDING Inside)))) |
Mid-level-ontology.kif 10369-10374 | |
| (=> (instance ?LEVEL BuildingLevel) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?LEVEL ?BUILDING)))) |
Mid-level-ontology.kif 16790-16795 | |
| (=> (instance ?M ArtMuseum) (exists (?B ?A) (and (possesses ?M ?B) (instance ?B Building) (instance ?A ArtWork) (located ?A ?B)))) |
Mid-level-ontology.kif 9723-9730 | |
| (=> (instance ?OUTDOORS Outdoors) (not (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?OUTDOORS ?BUILDING Inside))))) |
Mid-level-ontology.kif 10357-10363 | |
| (=> (instance ?PLANT IndustrialPlant) (or (instance ?PLANT Building) (exists (?BUILDING) (and (instance ?BUILDING Building) (located ?BUILDING ?PLANT))))) |
Mid-level-ontology.kif 17080-17087 | |
| (=> (instance ?PORCH Porch) (exists (?BUILDING) (and (instance ?BUILDING Building) (connected ?PORCH ?BUILDING)))) |
Mid-level-ontology.kif 17035-17040 | |
| (=> (instance ?ROOF Roof) (exists (?BUILDING) (and (instance ?BUILDING Building) (top ?ROOF ?BUILDING)))) |
Mid-level-ontology.kif 16737-16742 | |
| (=> (instance ?ROOM Room) (exists (?BUILD) (and (instance ?BUILD Building) (properPart ?ROOM ?BUILD)))) |
Merge.kif 15897-15902 | |
| (=> (instance ?STEEPLE Steeple) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?STEEPLE ?BUILDING)))) |
Mid-level-ontology.kif 9099-9104 | |
| (=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle))))) |
Mid-level-ontology.kif 16567-16575 | |
| (=> (instance ?WALL Wall) (exists (?ARTIFACT) (and (part ?WALL ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 16703-16710 | |
| (=> (instance ?WAY Doorway) (exists (?ARTIFACT) (and (part ?WAY ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 16681-16688 | |
| (=> (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 27678-27689 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|