consequent

(=>     (instance ?E Elevator)     (and         (capability MotionUpward instrument ?E)         (capability MotionDownward instrument ?E)))	Mid-level-ontology.kif 16804-16808	If an object is an instance of Elevator, then the object is capable of doing MotionUpward as a instrument and the object is capable of doing MotionDownward as a instrument
(=>     (instance ?H HoistingDevice)     (capability MotionUpward instrument ?H))	Mid-level-ontology.kif 2948-2950	If an object is an instance of HoistingDevice, then the object is capable of doing MotionUpward as a instrument
(=>     (instance ?LADDER Ladder)     (and         (capability MotionUpward instrument ?LADDER)         (capability MotionDownward instrument ?LADDER)))	Mid-level-ontology.kif 16475-16479	If an object is an instance of Ladder, then the object is capable of doing MotionUpward as a instrument and the object is capable of doing MotionDownward as a instrument
(=>     (instance ?R Ramp)     (capability MotionUpward path ?R))	Mid-level-ontology.kif 2829-2831	If an object is an instance of Ramp, then the object is capable of doing MotionUpward as a path
(=>     (instance ?S Stairway)     (and         (capability MotionUpward instrument ?S)         (capability MotionDownward instrument ?S)))	Mid-level-ontology.kif 16429-16433	If an object is an instance of Stairway, then the object is capable of doing MotionUpward as a instrument and the object is capable of doing MotionDownward as a instrument
(=>     (instance ?STEPS Steps)     (and         (capability MotionUpward instrument ?STEPS)         (capability MotionDownward instrument ?STEPS)))	Mid-level-ontology.kif 16453-16457	If an object is an instance of Steps, then the object is capable of doing MotionUpward as a instrument and the object is capable of doing MotionDownward as a instrument
(=>     (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 4241-4254	If a physical is an instance of Storm, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of LowPressureWeatherSystem and the other entity is an instance of region and event located the entity and the other entity and the third entity is an instance of Air and the fourth entity is an instance of MotionUpward and the third entity is a patient of the fourth entity and event located the fourth entity and the other entity and the fourth entity is a subprocess of the entity holds during the time of existence of the physical
(=>     (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 a process is an instance of ValleyBreeze, then there exist a self connected object, another self connected object,, , another process,, , the other self connected objectIR and a third process such that the process originates at the self connected object and the bottom of the other self connected object is the self connected object and the other self connected object is an instance of SlopedArea and the other process is an instance of heating and the other self connected objectIR is a patient of the other process and the other self connected objectIR is Above to the self connected object and the other process causes the third process and the third process is an instance of MotionUpward and the third process is a subprocess of the process

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