(=>
(instance ?R Ramp)
(capability MotionDownward path ?R)) |
Mid-level-ontology.kif 2851-2853 |
If X is an instance of ramp, then X is capable of doing motion downward as a path |
(=>
(instance ?H HoistingDevice)
(capability MotionDownward instrument ?H)) |
Mid-level-ontology.kif 2970-2972 |
If X is an instance of hoisting device, then X is capable of doing motion downward as a instrument |
(=>
(instance ?S Stairway)
(and
(capability MotionUpward instrument ?S)
(capability MotionDownward instrument ?S))) |
Mid-level-ontology.kif 16569-16573 |
If X is an instance of stairway, then X is capable of doing motion upward as a instrument and X is capable of doing motion downward as a instrument |
(=>
(instance ?STEPS Steps)
(and
(capability MotionUpward instrument ?STEPS)
(capability MotionDownward instrument ?STEPS))) |
Mid-level-ontology.kif 16593-16597 |
If X is an instance of steps, then X is capable of doing motion upward as a instrument and X is capable of doing motion downward as a instrument |
(=>
(instance ?LADDER Ladder)
(and
(capability MotionUpward instrument ?LADDER)
(capability MotionDownward instrument ?LADDER))) |
Mid-level-ontology.kif 16615-16619 |
If X is an instance of ladder, then X is capable of doing motion upward as a instrument and X is capable of doing motion downward as a instrument |
(=>
(instance ?E Elevator)
(and
(capability MotionUpward instrument ?E)
(capability MotionDownward instrument ?E))) |
Mid-level-ontology.kif 16944-16948 |
If X is an instance of elevator, then X is capable of doing motion upward as a instrument and X is capable of doing motion downward as a instrument |
(=>
(and
(instance ?F Flying)
(patient ?F ?P)
(instance ?P Airplane)
(part ?LW ?P)
(instance ?LW FlightWing)
(side ?LW ?P)
(orientation ?LW ?P Left)
(instance ?LA Aileron)
(located ?LA ?LW)
(instance ?U MotionUpward)
(moves ?U ?LA))
(holdsDuring
(WhenFn ?U)
(exists (?D)
(and
(instance ?D MotionDownward)
(moves ?D ?LW)
(causes ?U ?D))))) |
Transportation.kif 3415-3433 |
If All of the following hold: (1) X is an instance of flying (2) Y is a patient of X (3) Y is an instance of airplane (4) Z is a part of Y (5) Z is an instance of flight wing (6) a side of Y is Z (7) Z is left of to Y (8) W is an instance of aileron (9) W is located at Z (10) V is an instance of motion upward (11) W moves during V, then there exists U such that U is an instance of motion downward, Z moves during U, and V causes U holds during the time of existence of V |
(=>
(and
(instance ?P Pair)
(part ?P ?F)
(instance ?F Airplane)
(memberType ?P FlightElevator)
(member ?E ?P)
(holdsDuring ?T
(pitch ?F
(MeasureFn 0 AngularDegree))))
(holdsDuring ?T
(not
(exists (?M)
(and
(moves ?M ?E)
(or
(instance ?M MotionUpward)
(instance ?M MotionDownward))))))) |
Transportation.kif 3559-3575 |
If All of the following hold: (1) X is an instance of pair (2) X is a part of Y (3) Y is an instance of airplane (4) flight elevator is a member type of X (5) Z is a member of X (6) Y is heading at 0 angular degree(s) degree from its level of plane axis. holds during W, then there doesn't exist V such that Z moves during V and V is an instance of motion upward or V is an instance of motion downward holds during W |
(=>
(instance ?HABOOB Haboob)
(exists (?TS ?DM ?A)
(and
(instance ?TS Thunderstorm)
(instance ?DM MotionDownward)
(instance ?A Air)
(patient ?DM ?A)
(subProcess ?DM ?TS)
(causes ?DM ?HABOOB)))) |
Weather.kif 2494-2503 |
If X is an instance of Haboob, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of thunderstorm (3) Z is an instance of motion downward (4) W is an instance of air (5) W is a patient of Z (6) Z is a subprocess of Y (7) Z causes X |
(=>
(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 2541-2551 |
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 2583-2595 |
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 |
