Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass Building StationaryArtifact) | Merge.kif 16024-16024 | 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 16025-16026 | 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 16028-16038 | 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 8237-8243 | 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 16648-16660 | 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 16672-16682 | 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 28729-28741 | 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 ?BUS ?CUST (and (instance ?PUT Keeping) (destination ?PUT ?PARK) (patient ?PUT ?VEHICLE))))) |
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 W allows S is an instance of keeping, S ends up at Y, and T is a patient of S to perform task of the type X holds during V |
| consequent |
|
|
| (=> (instance ?ROOM Room) (exists (?BUILD) (and (instance ?BUILD Building) (properPart ?ROOM ?BUILD)))) |
Merge.kif 16047-16052 | 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 6138-6146 | 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 7809-7815 | 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 9234-9239 | 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 9859-9866 | 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 10511-10517 | 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 10523-10528 | 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 16751-16759 | 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 16889-16896 | 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 16898-16905 | 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 16911-16918 | 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 16945-16950 | 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 16972-16977 | 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 16998-17003 | 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 17010-17019 | 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 17026-17039 | 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 17085-17090 | 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 17221-17236 | 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 17243-17248 | 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 17288-17295 | 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 21157-21168 | 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 21174-21185 | 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 22794-22801 | 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 23034-23041 | 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 |
| (=> (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 23388-23397 | If architecture has an expertise in X, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of content development (3) X is an agent of Y (4) Z is a result of Y (5) Z is an instance of blueprint (6) Z expresses W (7) W is an instance of building |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
