consequent

(=>     (instance ?R Ramp)     (capability MotionUpward path ?R))	Mid-level-ontology.kif 2847-2849	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 2966-2968	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 16592-16596	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 16616-16620	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 16638-16642	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 16967-16971	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 3420-3438	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 3544-3560	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 2606-2618	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 4228-4241	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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners