(=>
(depth ?OBJ1 ?OBJ2 ?DEPTH)
(exists (?BOTTOM)
(and
(bottom ?BOTTOM ?OBJ1)
(distance ?BOTTOM ?OBJ2 ?DEPTH)))) |
Merge.kif 7919-7924 |
If the depth from X to Y is Z, then there exists W such that the bottom of X is W, the distance between W, and Y is Z |
(=>
(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 ?SS ShoeSole)
(exists (?S)
(and
(instance ?S Shoe)
(bottom ?SS ?S)))) |
Mid-level-ontology.kif 6294-6299 |
If X is an instance of shoe sole, then there exists Y such that Y is an instance of shoe and the bottom 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 ?IRON FabricIron)
(exists (?BASE)
(and
(bottom ?BASE ?IRON)
(material Metal ?BASE)
(attribute ?BASE Flat)))) |
Mid-level-ontology.kif 27509-27515 |
If X is an instance of iron, then there exists Y such that the bottom of X is Y, Y is made of metal, and flat is an attribute of Y |
(=>
(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 ?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 |
(=>
(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 |
MeasuringSurfaceWindSpeedList