consequent

(=>     (instance ?R Ramp)     (capability MotionUpward path ?R))	Mid-level-ontology.kif 2965-2967	If X is an instance of ramp, then X is capable of doing motion upward as a path
(=>     (instance ?H HoistingDevice)     (capability MotionUpward instrument ?H))	Mid-level-ontology.kif 3084-3086	If X is an instance of hoisting device, then X is capable of doing motion upward as a instrument
(=>     (instance ?S Stairway)     (and         (capability MotionUpward instrument ?S)         (capability MotionDownward instrument ?S)))	Mid-level-ontology.kif 16642-16646	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 16666-16670	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 16688-16692	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 17041-17045	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 ?RW ?P)         (instance ?RW FlightWing)         (side ?RW ?P)         (orientation ?RW ?P Right)         (instance ?RA Aileron)         (located ?RA ?RW)         (instance ?D MotionDownward)         (moves ?D ?RA))     (holdsDuring         (WhenFn ?D)         (exists (?U)             (and                 (instance ?U MotionUpward)                 (moves ?U ?RW)                 (causes ?D ?U)))))	Transportation.kif 3459-3477	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 right of to Y (8) W is an instance of aileron (9) W is located at Z (10) V is an instance of motion downward (11) W moves during V, then there exists U such that U is an instance of motion upward, 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 3583-3599	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 ?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
(=>     (instance ?STORM Storm)     (holdsDuring         (WhenFn ?STORM)         (exists (?LOW ?AREA ?AIR ?RISE)             (and                 (instance ?LOW LowPressureWeatherSystem)                 (instance ?AREA Region)                 (eventLocated ?LOW ?AREA)                 (instance ?AIR Air)                 (instance ?RISE MotionUpward)                 (patient ?RISE ?AIR)                 (eventLocated ?RISE ?AREA)                 (subProcess ?RISE ?LOW)))))	Weather.kif 4184-4197	If X is an instance of storm, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of low pressure weather system (3) Z is an instance of region (4) Y is located at Z (5) W is an instance of air (6) V is an instance of motion upward (7) W is a patient of V (8) V is located at Z (9) V is a subprocess of Y holds during the time of existence of X

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners