Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Above(above)
|  | above, elevated, higher_up, in_a_higher_place, lifted, main_deck, overhead, raised, royal, royal_mast, second_deck, superstructure, supra, to_a_higher_place, up, upper, upper_berth, upper_deck, upraised |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (orientation ?OBJ1 ?OBJ2 Above) (not (connected ?OBJ1 ?OBJ2))) |
Merge.kif 17433-17436 | If X is above to Y, then X is not connected to Y |
| (=> (and (instance ?FOG Fogging) (eventLocated ?FOG ?AREA) (instance ?AREA GeographicArea) (instance ?AIR AtmosphericRegion) (orientation ?AIR ?AREA Above) (instance ?A Aerosal) (locatedAtTime ?A (WhenFn ?FOG) ?AIR) (visibilityInMeteorology ?AREA (WhenFn ?FOG) (MeasureFn ?VISIBILITY Meter))) (lessThan ?VISIBILITY 1000.0)) |
Weather.kif 3804-3817 | If All of the following hold: (1) X is an instance of fog (2) X is located at Y (3) Y is an instance of geographic area (4) Z is an instance of atmospheric region (5) Z is above to Y (6) W is an instance of aerosal (7) W located at time the time of existence of X for Z (8) the visibility at Y during the time of existence of X is V meter(s), then V is less than 1000.0 |
| (=> (and (instance ?HAZE AtmosphericHazing) (eventLocated ?HAZE ?AREA) (instance ?AREA GeographicArea) (instance ?AIR AtmosphericRegion) (orientation ?AIR ?AREA Above) (locatedAtTime ?PARTICULATE (WhenFn ?HAZE) ?AIR) (visibilityInMeteorology ?AREA (WhenFn ?HAZE) (MeasureFn ?VISIBILITY Kilometer))) (and (greaterThan ?VISIBILITY 2.0) (lessThan ?VISIBILITY 5.0))) |
Weather.kif 3833-3847 | If All of the following hold: (1) X is an instance of atmospheric hazing (2) X is located at Y (3) Y is an instance of geographic area (4) Z is an instance of atmospheric region (5) Z is above to Y (6) W located at time the time of existence of X for Z (7) the visibility at Y during the time of existence of X is V kilometer(s), then V is greater than 2.0 and V is less than 5.0 |
| consequent |
|
|
| (=> (altitude ?OBJ1 ?OBJ2 ?HEIGHT) (orientation ?OBJ1 ?OBJ2 Above)) |
Merge.kif 7891-7893 | If the altitude of X relative to Y is Z, then X is above to Y |
| (=> (and (bottom ?BOTTOM ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?BOTTOM))) (orientation ?PART ?BOTTOM Above)) |
Merge.kif 9942-9947 | If the bottom of X is Y, Z is a part of X, and Z is not connected to Y, then Z is above to Y |
| (<=> (orientation ?OBJ1 ?OBJ2 Below) (or (orientation ?OBJ2 ?OBJ1 On) (orientation ?OBJ2 ?OBJ1 Above))) |
Merge.kif 17445-17449 | X is below to Y if and only if Y is on to X or Y is above to X |
| (=> (instance ?SHOWER Shower) (exists (?X ?FLOOR) (and (or (instance ?X Wall) (instance ?X Ceiling)) (connected ?SHOWER ?X) (instance ?FLOOR Floor) (orientation ?SHOWER ?FLOOR Above)))) |
Mid-level-ontology.kif 2636-2645 | If X is an instance of shower, then there exist Y, Z such that Y is an instance of wall or Y is an instance of ceiling, X is connected to Y, Z is an instance of floor, and X is above to Z |
| (=> (instance ?X BunkBed) (exists (?BED1 ?BED2) (and (instance ?BED1 SingleBed) (instance ?BED2 SingleBed) (part ?BED1 ?X) (part ?BED2 ?X) (orientation ?BED1 ?BED2 Above)))) |
Mid-level-ontology.kif 4524-4532 | If X is an instance of bunk bed, then there exist Y, Z such that Y is an instance of twin-sized bed, Z is an instance of twin-sized bed, Y is a part of X, Z is a part of X, and Y is above to Z |
| (=> (instance ?X Hammock) (and (material Fabric ?X) (exists (?POLE1 ?POLE2 ?GROUND) (and (orientation ?POLE1 ?POLE2 Near) (connected ?POLE1 ?X) (connected ?POLE2 ?X) (instance ?GROUND LandArea) (located ?X ?GROUND) (orientation ?X ?GROUND Above))))) |
Mid-level-ontology.kif 4604-4615 | If X is an instance of hammock, then X is made of fabric and All of the following hold: (1) there exist Y, Z (2) W such that Y is near to Z (3) Y is connected to X (4) Z is connected to X (5) W is an instance of land area (6) X is located at W (7) X is above to W |
| (=> (and (instance ?STEM PlantStem) (instance ?ROOT PlantRoot)) (modalAttribute (orientation ?STEM ?ROOT Above) Likely)) |
Mid-level-ontology.kif 11030-11035 | If X is an instance of plant stem and Y is an instance of plant root, then the statement X is above to Y has the modal force of likely |
| (=> (and (instance ?U UpperEyelid) (instance ?L LowerEyelid) (instance ?E Eye) (part ?U ?E) (part ?L ?E)) (orientation ?U ?L Above)) |
Mid-level-ontology.kif 13682-13689 | If X is an instance of upper eye lid, Y is an instance of lower eye lid, Z is an instance of eye, X is a part of Z, and Y is a part of Z, then X is above to Y |
| (=> (instance ?BALCONY Balcony) (exists (?WALL ?LANDAREA) (and (meetsSpatially ?WALL ?BALCONY) (instance ?LANDAREA LandArea) (located ?WALL ?LANDAREA) (orientation ?BALCONY ?LANDAREA Above)))) |
Mid-level-ontology.kif 16984-16991 | If X is an instance of balcony, then there exist Y, Z such that Y meets X, Z is an instance of land area, Y is located at Z, and X is above to Z |
| (=> (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 |
| (=> (holdsDuring ?T (attribute ?L Cloudy)) (exists (?C) (and (instance ?C Cloud) (holdsDuring ?T (orientation ?C ?L Above))))) |
Mid-level-ontology.kif 32963-32970 | If cloudy is an attribute of X holds during Y, then there exists Z such that Z is an instance of cloud and Z is above to X holds during Y |
| (=> (and (instance ?E Eyebrow) (holdsDuring ?T (and (attribute ?H Healthy) (attribute ?H Standing))) (part ?E ?H)) (exists (?EYE) (and (instance ?EYE Eye) (part ?EYE ?H) (orientation ?E ?EYE Above)))) |
Anatomy.kif 1491-1503 | If X is an instance of eyebrow, healthy is an attribute of Y and standing is an attribute of Y holds during Z, and X is a part of Y, then there exists W such that W is an instance of eye, W is a part of Y, and X is above to W |
| (=> (and (instance ?F Forehead) (holdsDuring ?T (and (attribute ?H Healthy) (attribute ?H Standing))) (part ?E ?H)) (exists (?EYE) (and (instance ?EYE Eye) (part ?EYE ?H) (orientation ?F ?EYE Above)))) |
Anatomy.kif 1510-1522 | If X is an instance of forehead, healthy is an attribute of Y and standing is an attribute of Y holds during Z, and W is a part of Y, then there exists V such that V is an instance of eye, V is a part of Y, and X is above to V |
| (=> (and (instance ?area LandArea) (groundSurfaceType ?area ?type1) (groundSubsurfaceType ?area ?type2)) (exists (?above ?below) (and (instance ?above ?type1) (instance ?below ?type2) (orientation ?above ?below Above)))) |
Geography.kif 5792-5801 | If X is an instance of land area, Y is a ground surface type of X, and Z is a ground subsurface type of X, then there exist W, V such that W is an instance of Y, V is an instance of Z, and W is above to V |
| (=> (and (instance ?FALL Waterfall) (instance ?CURRENT WaterMotion) (flowCurrent ?CURRENT ?FALL) (origin ?CURRENT ?TOP) (destination ?CURRENT ?BOTTOM) (instance ?TOP WaterArea) (instance ?BOTTOM WaterArea)) (orientation ?TOP ?BOTTOM Above)) |
Geography.kif 7161-7170 | If All of the following hold: (1) X is an instance of waterfall (2) Y is an instance of water motion (3) X is a flow current of Y (4) Y originates at Z (5) Y ends up at W (6) Z is an instance of water area (7) W is an instance of water area, then Z is above to W |
| (=> (attribute ?X LoftStyle) (exists (?FLOOR ?LOFT ?CEILING) (and (bottom ?FLOOR ?X) (top ?CEILING ?X) (instance ?LOFT StationaryArtifact) (orientation ?LOFT ?FLOOR Above) (orientation ?LOFT ?CEILING Below)))) |
Hotel.kif 1165-1173 | If loft style is an attribute of X, then there exist Y, Z, W such that the bottom of X is Y, the top of X is W, Z is an instance of stationary artifact, Z is above to Y, and Z is below to W |
| (=> (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 ?B Bridge) (hasPurpose ?B (exists (?T ?X) (and (instance ?T Translocation) (path ?T ?B) (orientation ?B ?X Above) (or (instance ?X LandArea) (instance ?X BodyOfWater)))))) |
Transportation.kif 1767-1777 | If X is an instance of bridge, then X has the purpose there exist Y, Z such that Y is an instance of translocation, X is path along which Y occurs, X is above to Z, and Z is an instance of land area or Z is an instance of body of water |
| (=> (instance ?W KatabaticWind) (exists (?TOP ?A ?M ?AIR) (and (origin ?W ?TOP) (top ?TOP ?A) (instance ?A SlopedArea) (instance ?M MotionDownward) (patient ?M ?AIR) (orientation ?AIR ?TOP Above) (causes ?M ?W)))) |
Weather.kif 2526-2536 | If X is an instance of katabatic wind, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that X originates at Y (3) the top of Z is Y (4) Z is an instance of sloped area (5) W is an instance of motion downward (6) V is a patient of W (7) V is above to Y (8) W causes X |
| (=> (instance ?W MountainBreeze) (exists (?TOP ?A ?C ?AIR ?M) (and (origin ?W ?TOP) (top ?TOP ?A) (instance ?A SlopedArea) (instance ?C Cooling) (patient ?C ?AIR) (orientation ?AIR ?TOP Above) (causes ?C ?M) (instance ?M MotionDownward) (subProcess ?M ?W)))) |
Weather.kif 2568-2580 | If X is an instance of mountain breeze, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that X originates at Y (3) the top of Z is Y (4) Z is an instance of sloped area (5) W is an instance of cooling (6) V is a patient of W (7) V is above to Y (8) W causes U (9) U is an instance of motion downward (10) U is a subprocess of X |
| (=> (instance ?W ValleyBreeze) (exists (?BOTTOM ?A ?H ?AIR ?M) (and (origin ?W ?BOTTOM) (bottom ?BOTTOM ?A) (instance ?A SlopedArea) (instance ?H Heating) (patient ?H ?AIR) (orientation ?AIR ?BOTTOM Above) (causes ?H ?M) (instance ?M MotionUpward) (subProcess ?M ?W)))) |
Weather.kif 2591-2603 | If X is an instance of valley breeze, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that X originates at Y (3) the bottom of Z is Y (4) Z is an instance of sloped area (5) W is an instance of heating (6) V is a patient of W (7) V is above to Y (8) W causes U (9) U is an instance of motion upward (10) U is a subprocess of X |
|