(=>
(altitude ?OBJ1 ?OBJ2 ?HEIGHT)
(exists (?TOP)
(and
(top ?TOP ?OBJ1)
(distance ?TOP ?OBJ2 ?HEIGHT)))) |
Merge.kif 7895-7900 |
If the altitude of X relative to Y is Z, then there exists W such that the top of X is W, the distance between W, and Y is Z |
(=>
(attribute ?O LevelShape)
(not
(exists (?P1 ?P2 ?T ?H1 ?H2 ?U)
(and
(top ?T ?O)
(part ?P1 ?T)
(part ?P2 ?T)
(instance ?U UnitOfLength)
(height ?P1
(MeasureFn ?H1 ?U))
(height ?P2
(MeasureFn ?H2 ?U))
(greaterThan ?H1 ?H2))))) |
Mid-level-ontology.kif 3450-3463 |
If level shape is an attribute of X, then there don't exist Y, Z,, , W,, , V,, , U and T such that the top of X is W and Y is a part of W and Z is a part of W and T is an instance of unit of length and the height of Y is V T(s) and the height of Z is U T(s) and V is greater than U |
(=>
(instance ?L Lid)
(exists (?C)
(and
(instance ?C Container)
(part ?L ?C)
(capability Closing instrument ?L)
(capability Opening instrument ?L)
(top ?L ?C)))) |
Mid-level-ontology.kif 4665-4673 |
If X is an instance of lid, then there exists Y such that Y is an instance of container, X is a part of Y, X is capable of doing closing as a instrument, X is capable of doing opening as a instrument, and the top of Y is X |
(=>
(instance ?BOX Box)
(equal
(CardinalityFn
(KappaFn ?SIDE
(or
(top ?SIDE ?BOX)
(bottom ?SIDE ?BOX)
(side ?SIDE ?BOX)))) 6)) |
Mid-level-ontology.kif 5087-5095 |
If X is an instance of box, then equal the number of instances in the class described by Y and 6 |
(=>
(instance ?C Ceiling)
(exists (?R)
(and
(top ?C ?R)
(instance ?R Room)))) |
Mid-level-ontology.kif 16935-16940 |
If X is an instance of ceiling, then there exists Y such that the top of Y is X and 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 |
(=>
(and
(instance ?REVERSE Reversing)
(patient ?REVERSE ?OBJ)
(holdsDuring
(BeginFn
(WhenFn ?REVERSE))
(and
(top ?TOP ?OBJ)
(bottom ?BOTTOM ?OBJ))))
(holdsDuring
(EndFn
(WhenFn ?REVERSE))
(and
(top ?BOTTOM ?OBJ)
(bottom ?TOP ?OBJ)))) |
Mid-level-ontology.kif 19437-19442 |
If X is an instance of reversing, Y is a patient of X, and the top of Y is Z and the bottom of Y is W holds during the beginning of the time of existence of X, then the top of Y is W and the bottom of Y is Z holds during the end of the time of existence of X |
(=>
(waterDepth ?AREA ?DEPTH)
(exists (?BOTTOM ?TOP)
(and
(depth ?TOP ?BOTTOM ?DEPTH)
(top ?TOP ?AREA)
(bottom ?BOTTOM ?AREA)))) |
Mid-level-ontology.kif 19492-19498 |
If X is a water depth of Y, then there exist Z, W such that the depth from W to Z is X, the top of Y is W, and the bottom of Y is Z |
(=>
(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 28591-28602 |
If X is an instance of courtyard, then there doesn't exist Y such that Y is an instance of roof and the top of X is Y and there exists Z such that Z is an instance of building and X is surrounded by to Z |
(=>
(and
(elevation ?OBJECT
(MeasureFn ?NUM ?UNIT))
(instance ?UNIT UnitOfLength)
(instance ?OBJECT LandForm))
(exists (?HIGHPOINT)
(and
(top ?HIGHPOINT ?OBJECT)
(distance ?HIGHPOINT SeaLevel
(MeasureFn ?NUM ?UNIT))))) |
Geography.kif 3373-3381 |
If X Y(s) is an elevation of Z, Y is an instance of unit of length, and Z is an instance of land form, then there exists W such that the top of Z is W and the distance between W and sea level is X Y(s) |
(=>
(instance ?incline SlopedArea)
(exists (?top ?bottom ?height1 ?height2 ?U)
(and
(top ?top ?incline)
(bottom ?bottom ?incline)
(instance ?U UnitOfLength)
(earthAltitude ?top
(MeasureFn ?height1 ?U))
(earthAltitude ?bottom
(MeasureFn ?height2 ?U))
(greaterThan ?height1 ?height2)))) |
Geography.kif 5611-5622 |
If X is an instance of sloped area, then there exist Y, Z,, , W,, , V and U such that the top of X is Y and the bottom of X is Z and U is an instance of unit of length and Y is W U(s) above the ground and Z is V U(s) above the ground and W is greater than V |
(=>
(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 ?HOLE GolfHole)
(exists (?C ?CIR)
(and
(shape ?HOLE Cylinder)
(top ?C ?HOLE)
(instance ?C Region)
(shape ?C ?CIR)
(equal ?CIR Circle)
(diameter ?CIR
(MeasureFn 4.25 Inch))))) |
Sports.kif 990-1000 |
If X is an instance of golf hole, then there exist Y and Z such that X is cylinder and the top of X is Y and Y is an instance of region and Y is Z and equal Z and circle and the diameter of Z is 4.25 inch(s) |
(=>
(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 |
(=>
(and
(instance ?T Tornado)
(instance ?R Rotating)
(instance ?A Air)
(instance ?TRAN Translocation)
(subProcess ?R ?T)
(subProcess ?TRAN ?R)
(patient ?TRAN ?A)
(direction ?TRAN Horizontal))
(exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)
(and
(instance ?G GeographicArea)
(eventLocated ?T ?G)
(part ?FUNNEL ?A)
(attribute ?FUNNEL ConeSegment)
(top ?TOP ?FUNNEL)
(bottom ?BOTTOM ?FUNNEL)
(instance ?C Cloud)
(bottom ?BASE ?C)
(meetsSpatially ?TOP ?BASE)
(meetsSpatially ?BOTTOM ?G)))) |
Weather.kif 2960-2981 |
If All of the following hold: (1) X is an instance of tornado (2) Y is an instance of rotating (3) Z is an instance of air (4) W is an instance of translocation (5) Y is a subprocess of X (6) W is a subprocess of Y (7) Z is a patient of W (8) entities in the process W are moving horizontal to, then All of the following hold: (1) there exist V, U,, , T,, , S,, , R (2) Q such that V is an instance of geographic area (3) X is located at V (4) U is a part of Z (5) cone segment is an attribute of U (6) the top of U is T (7) the bottom of U is S (8) R is an instance of cloud (9) the bottom of R is Q (10) T meets Q (11) S meets V |
(=>
(rainfallIntensity ?AREA ?TIME ?RATE)
(exists (?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL)
(and
(instance ?RAIN Raining)
(eventLocated ?RAIN ?AREA)
(during
(WhenFn ?RAIN) ?TIME)
(instance ?CLTN CollectionOfObjects)
(objectTransferred ?RAIN ?CLTN)
(instance ?R Water)
(member ?R ?CLTN)
(instance ?BUCKET Container)
(bottom ?BOTTOM ?BUCKET)
(attribute ?BOTTOM Flat)
(located ?BUCKET ?AREA)
(holdsDuring
(BeginFn ?TIME)
(attribute ?BUCKET ContainerEmpty))
(holdsDuring
(EndFn ?TIME)
(and
(located ?CLTN ?BUCKET)
(top ?TOP ?CLTN)
(depth ?TOP ?BOTTOM ?RAINFALL)
(equal ?RAINFALL
(MultiplicationFn ?TIME ?RATE))))))) |
Weather.kif 4098-4123 |
If the rate of rain in X during Y is Z, then All of the following hold: (1) there exist W, V,, , U,, , T,, , S,, , R (2) Q such that W is an instance of raining (3) W is located at X (4) the time of existence of W takes place during Y (5) V is an instance of collection (6) the object transferred in W is V (7) U is an instance of water (8) U is a member of V (9) T is an instance of container (10) the bottom of T is R (11) flat is an attribute of R (12) T is located at X (13) container empty is an attribute of T holds during the beginning of Y (14) V is located at T (15) the top of V is S (16) the depth from S to R is Q (17) equal Q (18) Y (19) Z holds during the end of Y |
(=>
(snowfallIntensity ?AREA ?TIME ?RATE)
(exists (?PROCESS ?STUFF ?BOARD ?TOP ?BOTTOM ?SNOWFALL)
(and
(instance ?PROCESS Snowing)
(eventLocated ?PROCESS ?AREA)
(during
(WhenFn ?PROCESS) ?TIME)
(instance ?STUFF Snow)
(objectTransferred ?PROCESS ?STUFF)
(instance ?BOARD BoardOrBlock)
(bottom ?BOTTOM ?BOARD)
(attribute ?BOTTOM Flat)
(located ?BOARD ?AREA)
(holdsDuring
(BeginFn ?TIME)
(not
(exists (?X)
(and
(instance ?X Object)
(located ?X ?BOARD)))))
(holdsDuring
(EndFn ?TIME)
(and
(located ?STUFF ?BOARD)
(top ?TOP ?STUFF)
(depth ?TOP ?BOTTOM ?SNOWFALL)
(equal ?SNOWFALL
(MultiplicationFn ?TIME ?RATE))))))) |
Weather.kif 4304-4331 |
If the rate of snow falling at X during Y is Z, then All of the following hold: (1) there exist W, V,, , U,, , T,, , S (2) R such that W is an instance of snowing (3) W is located at X (4) the time of existence of W takes place during Y (5) V is an instance of snow (6) the object transferred in W is V (7) U is an instance of board or block (8) the bottom of U is S (9) flat is an attribute of S (10) U is located at X (11) there doesn't exist Q such that Q is an instance of object (12) Q is located at U holds during the beginning of Y (13) V is located at U (14) the top of V is T (15) the depth from T to S is R (16) equal R (17) Y (18) Z holds during the end of Y |
top