| appearance as argument number 1 |
|
|
| (subclass Building StationaryArtifact) | Merge.kif 15911-15911 | Building is a subclass of stationary artifact |
| (documentation Building EnglishLanguage "The Class of StationaryArtifacts which are intended to house Humans and their activities.") | Merge.kif 15912-15913 | Building is a subclass of stationary artifact |
| (externalImage Building "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Two_story_single_family_home.jpg") | pictureList.kif 1677-1677 | Building is a subclass of stationary artifact |
| (externalImage Building "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Manhattan_at_Dusk_by_slonecker.jpg") | pictureList.kif 2126-2126 | Building is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain numberOfFloors 1 Building) | Hotel.kif 706-706 | The number 1 argument of number of floors is an instance of building |
| antecedent |
|
|
| (=> (instance ?BUILDING Building) (exists (?HUMAN) (and (instance ?HUMAN Human) (or (inhabits ?HUMAN ?BUILDING) (exists (?ACT) (and (agent ?ACT ?HUMAN) (located ?ACT ?BUILDING))))))) |
Merge.kif 15915-15925 | If X is an instance of building, then there exists Y such that Y is an instance of human, Y lives in X or there exists Z such that Y is an agent of Z, and Z is located at X |
| (=> (and (instance ?UNIT SingleFamilyResidence) (home ?PERSON ?UNIT) (possesses ?PERSON ?UNIT) (not (instance ?UNIT Building))) (instance ?UNIT CondominiumUnit)) |
Mid-level-ontology.kif 8100-8106 | If X is an instance of single family residence, the home of Y is X, Y possesses X, and X is not an instance of building, then X is an instance of condominium unit |
| (=> (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 16575-16587 | If X is an instance of stairway, X is a part of Y, and Y is an instance of building, then All of the following hold: (1) X has the purpose there exist Z (2) W such that Z is an instance of building level (3) W is an instance of building level (4) Z is a part of Y (5) W is a part of Y (6) X connects Z (7) W |
| (=> (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 16599-16609 | If X is an instance of building level, Y is an instance of building level, Z is an instance of building, X is a part of Z, and Y is a part of Z, then there exists W such that W is an instance of steps, W connects X, and Y |
| (=> (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 28807-28819 | If wheelchair accessible is an attribute of X and X is an instance of building or X is an instance of room, then the statement there exist Y, Z such that Y is an instance of motion, Z is an instrument for Y, Z is an instance of wheelchair, and Y is located at X has the modal force of possibility |
| (=> (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 | If All of the following hold: (1) X possesses Y (2) X is an instance of commercial agent (3) Y is an instance of parking lot (4) Z is an instance of building (5) X is located at Z (6) W is a customer of X (7) W is located at Z holds during V (8) U is an instance of driving (9) T is a patient of U (10) W is an agent of U (11) U ends up at Z, then X allows W to perform task of the type S is an instance of keeping, S ends up at Y, and T is a patient of S holds during V |
| consequent |
|
|
| (=> (instance ?A Attic) (exists (?B ?R) (and (instance ?B Building) (instance ?R Roof) (not (exists (?ROOM) (and (instance ?ROOM Room) (orientation ?A ?ROOM Above))))))) |
HouseholdAppliances.kif 1115-1125 | If X is an instance of attic, then there exist Y, Z such that Y is an instance of building, Z is an instance of roof, there doesn't exist W such that W is an instance of room, and X is above to W |
| (=> (instance ?ROOM Room) (exists (?BUILD) (and (instance ?BUILD Building) (properPart ?ROOM ?BUILD)))) |
Merge.kif 15934-15939 | If X is an instance of room, then there exists Y such that Y is an instance of building and X is a proper part of Y |
| (=> (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 5998-6006 | If X is an instance of outdoor clothing and Y wears X holds during Z, then there doesn't exist W such that W is an instance of building and Y is located at W holds during Z |
| (=> (equal (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?PLACE ?BUILDING)))) |
Mid-level-ontology.kif 7676-7682 | If equal the street address of X, Y, Z, W, and V, then there exists U such that U is an instance of building and X is a part of U |
| (=> (instance ?STEEPLE Steeple) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?STEEPLE ?BUILDING)))) |
Mid-level-ontology.kif 9120-9125 | If X is an instance of steeple, then there exists Y such that Y is an instance of building and X is a part of Y |
| (=> (instance ?M ArtMuseum) (exists (?B ?A) (and (possesses ?M ?B) (instance ?B Building) (instance ?A ArtWork) (located ?A ?B)))) |
Mid-level-ontology.kif 9745-9752 | If X is an instance of art museum, then there exist Y, Z such that X possesses Y, Y is an instance of building, Z is an instance of art work, and Z is located at Y |
| (=> (instance ?OUTDOORS Outdoors) (not (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?OUTDOORS ?BUILDING Inside))))) |
Mid-level-ontology.kif 10379-10385 | If X is an instance of outdoors, then there doesn't exist Y such that Y is an instance of building and X is inside the to Y |
| (=> (instance ?INDOORS Indoors) (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?INDOORS ?BUILDING Inside)))) |
Mid-level-ontology.kif 10391-10396 | If X is an instance of indoors, then there exists Y such that Y is an instance of building and X is inside the to Y |
| (=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle))))) |
Mid-level-ontology.kif 16678-16686 | If X is an instance of window, then there exists Y such that X is a part of Y and Y is an instance of building, Y is an instance of room, or Y is an instance of vehicle |
| (=> (instance ?WAY Doorway) (exists (?ARTIFACT) (and (part ?WAY ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 16792-16799 | If X is an instance of doorway, then there exists Y such that X is a part of Y and Y is an instance of building or Y is an instance of room |
| (=> (instance ?DOOR Door) (exists (?ARTIFACT) (and (part ?DOOR ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 16801-16808 | If X is an instance of door, then there exists Y such that X is a part of Y and Y is an instance of building or Y is an instance of room |
| (=> (instance ?WALL Wall) (exists (?ARTIFACT) (and (part ?WALL ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 16814-16821 | If X is an instance of wall, then there exists Y such that X is a part of Y and Y is an instance of building or Y is an instance of room |
| (=> (instance ?ROOF Roof) (exists (?BUILDING) (and (instance ?BUILDING Building) (top ?ROOF ?BUILDING)))) |
Mid-level-ontology.kif 16848-16853 | If X is an instance of roof, then there exists Y such that Y is an instance of building and the top of Y is X |
| (=> (instance ?F Fireplace) (exists (?B) (and (instance ?B Building) (part ?F ?B)))) |
Mid-level-ontology.kif 16875-16880 | If X is an instance of fireplace, then there exists Y such that Y is an instance of building and X is a part of Y |
| (=> (instance ?LEVEL BuildingLevel) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?LEVEL ?BUILDING)))) |
Mid-level-ontology.kif 16901-16906 | If X is an instance of building level, then there exists Y such that Y is an instance of building and X is a part of Y |
| (=> (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 16913-16922 | If X is an instance of basement, then All of the following hold: (1) there don't exist Y (2) Z such that Y is an instance of building level (3) Z is an instance of building (4) Y is a part of Z (5) X is a part of Z (6) equal Y (7) X (8) Y is below to X |
| (=> (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 16929-16942 | If X is an instance of elevator, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of transportation (3) Y originates at Z (4) Z is an instance of building level (5) Y ends up at W (6) W is an instance of building level (7) equal Z (8) W (9) Z is a part of V (10) W is a part of V (11) V is an instance of building |
| (=> (instance ?GARAGE Garage) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?GARAGE ?BUILDING)))) |
Mid-level-ontology.kif 16988-16993 | If X is an instance of garage, then there exists Y such that Y is an instance of building and X is a part of Y |
| (=> (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 17124-17139 | If X is an instance of hall, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of translocation (3) X is path along which Y occurs (4) X is located at Z (5) Z is an instance of building (6) X is between W (7) V (8) W is an instance of room (9) V is an instance of room (10) W is located at Z (11) V is located at Z (12) equal W (13) V |
| (=> (instance ?PORCH Porch) (exists (?BUILDING) (and (instance ?BUILDING Building) (connected ?PORCH ?BUILDING)))) |
Mid-level-ontology.kif 17146-17151 | If X is an instance of veranda, then there exists Y such that Y is an instance of building and X is connected to Y |
| (=> (instance ?PLANT IndustrialPlant) (or (instance ?PLANT Building) (exists (?BUILDING) (and (instance ?BUILDING Building) (located ?BUILDING ?PLANT))))) |
Mid-level-ontology.kif 17191-17198 | If X is an instance of industrial plant, then X is an instance of building or there exists Y such that Y is an instance of building and Y is located at X |
| (=> (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 21131-21142 | If X is upstairs from to Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of building level (3) W is an instance of building level (4) V is an instance of building (5) Z is a part of V (6) W is a part of V (7) X is located at Z (8) Y is located at W (9) Z is above to W |
| (=> (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 21148-21159 | If X is downstairs from to Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of building level (3) W is an instance of building level (4) V is an instance of building (5) Z is a part of V (6) W is a part of V (7) X is located at Z (8) Y is located at W (9) Z is below to W |
| (=> (instance ?BU BuildingUnit) (exists (?O ?B) (and (instance ?B Building) (instance ?O Organization) (part ?BU ?B) (workLocation ?O ?BU)))) |
Mid-level-ontology.kif 22831-22838 | If X is an instance of building unit, then there exist Y, Z such that Z is an instance of building, Y is an instance of organization, X is a part of Z, and members of Y work at X |
| (=> (instance ?C Carpentry) (exists (?B ?W) (and (instance ?B Building) (instance ?W Wood) (part ?W ?B) (result ?C ?B)))) |
Mid-level-ontology.kif 23071-23078 | If X is an instance of carpentry, then there exist Y, Z such that Y is an instance of building, Z is an instance of wood, Z is a part of Y, and Y is a result of X |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|