consequent

(=>     (instance ?I InternalCombustionEngine)     (hasPurpose ?I         (exists (?C ?M ?P)             (and                 (instance ?C Combustion)                 (instance ?M Motion)                 (part ?P ?I)                 (patient ?M ?P)))))	Mid-level-ontology.kif 2268-2276	If X is an instance of internal combustion engine, then X has the purpose there exist Y, Z, W such that Y is an instance of burning, Z is an instance of motion, W is a part of X, and W is a patient of Z
(=>     (holdsDuring ?T         (attribute ?X Locked))     (exists (?LOCK ?CLOSE ?MOVE)         (and             (instance ?LOCK Lock)             (connected ?LOCK ?X)             (instance ?CLOSE Closing)             (patient ?CLOSE ?LOCK)             (instance ?MOVE Motion)             (earlier                 (WhenFn ?CLOSE) ?T)             (holdsDuring ?T                 (not                     (modalAttribute                         (patient ?MOVE ?X) Possibility))))))	Mid-level-ontology.kif 3280-3295	If locked is an attribute of X holds during Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of lock (3) Z is connected to X (4) W is an instance of closing (5) Z is a patient of W (6) V is an instance of motion (7) the time of existence of W happens earlier than Y (8) the statement X is not a patient of V doesn't have the modal force of possibility holds during Y
(=>     (and         (instance ?B VehicleBrake)         (instance ?V Vehicle)         (part ?B ?V))     (hasPurpose ?B         (exists (?S)             (and                 (instance ?S                     (StopFn Motion))                 (patient ?S ?V)                 (instrument ?S ?B)))))	Mid-level-ontology.kif 4024-4034	If X is an instance of vehicle brake, Y is an instance of vehicle, and X is a part of Y, then X has the purpose there exists Z such that Z is an instance of the stop of motion, Y is a patient of Z, and X is an instrument for Z
(=>     (instance ?MJ MechanicalJoint)     (hasPurpose ?MJ         (exists (?S ?P1 ?P2 ?M)             (and                 (instance ?M Motion)                 (instance ?S PhysicalSystem)                 (instance ?P1 EngineeringComponent)                 (instance ?P2 EngineeringComponent)                 (part ?P1 PhysicalSystem)                 (part ?MJ PhysicalSystem)                 (part ?P2 PhysicalSystem)                 (not                     (patient ?M ?P1))                 (patient ?M ?P2)                 (connectedEngineeringComponents ?P1 ?MJ)                 (connectedEngineeringComponents ?P2 ?MJ)))))	Mid-level-ontology.kif 16838-16854	If X is an instance of mechanical joint, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that V is an instance of motion (3) Y is an instance of physical system (4) Z is an instance of engineering component (5) W is an instance of engineering component (6) Z is a part of physical system (7) X is a part of physical system (8) W is a part of physical system (9) Z is not a patient of V (10) W is a patient of V (11) Z is connected to X (12) W is connected to X
(=>     (instance ?MINE LandMine)     (hasPurpose ?MINE         (exists (?L ?E ?M ?O)             (and                 (instance ?L LandArea)                 (located ?MINE ?L)                 (instance ?E Explosion)                 (instrument ?E ?MINE)                 (locatedAtTime ?MINE                     (WhenFn ?E) ?L)                 (causes ?M ?E)                 (instance ?M Motion)                 (eventLocated ?M ?L)                 (origin ?M ?O)                 (orientation ?O ?MINE On)                 (or                     (instance ?O Human)                     (instance ?O LandVehicle))))))	Mid-level-ontology.kif 19747-19765	If X is an instance of land mine, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of land area (3) X is located at Y (4) Z is an instance of explosion (5) X is an instrument for Z (6) X located at time the time of existence of Z for Y (7) W causes Z (8) W is an instance of motion (9) W is located at Y (10) W originates at V (11) V is on to X (12) V is an instance of human or V is an instance of land vehicle
(=>     (and         (instance ?SAW Saw)         (instance ?CUT Cutting)         (instrument ?CUT ?SAW)         (instance ?OBJ Object)         (patient ?CUT ?OBJ))     (exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)         (and             (instance ?MOTION Motion)             (subProcess ?MOTION ?CUT)             (instance ?PART CuttingDevice)             (part ?PART ?SAW)             (meetsSpatially ?PART ?OBJ)             (patient ?MOTION ?PART)             (instance ?T2 TimeInterval)             (instance ?T2 TimeInterval)             (equal                 (WhenFn ?MOTION) ?TIME)             (temporalPart ?TIME ?T1)             (temporalPart ?TIME ?T2)             (instance ?DIR1 DirectionalAttribute)             (instance ?DIR2 DirectionalAttribute)             (=>                 (holdsDuring ?T1                     (direction ?MOTION ?DIR1))                 (holdsDuring ?T2                     (and                         (direction ?MOTION ?DIR2)                         (or                             (equal ?DIR1 ?DIR2)                             (oppositeDirection ?DIR1 ?DIR2))                         (not                             (and                                 (equal ?DIR1 ?DIR2)                                 (oppositeDirection ?DIR1 ?DIR2)))))))))	Mid-level-ontology.kif 20055-20089	If X is an instance of saw, Y is an instance of cutting, X is an instrument for Y, Z is an instance of object, and Z is a patient of Y, then there exist W, V,, , U,, , T,, , S,, , R and Q such that W is an instance of motion and W is a subprocess of Y and Q is an instance of cutting device and Q is a part of X and Q meets Z and Q is a patient of W and R is an instance of timeframe and R is an instance of timeframe and equal the time of existence of W and T and T is a part of S and T is a part of R and V is an instance of directional attribute and U is an instance of directional attribute and entities in the process W are moving V holds during Sentities in the process W are moving U and equal V and U or U is an opposite direction of V and ~{ equal V and U } or ~{ U is an opposite direction of V } holds during R
(=>     (and         (attribute ?X WheelchairAccessible)         (or             (instance ?X Building)             (instance ?X Room)))     (modalAttribute         (exists (?MOTION ?WHEELCHAIR)             (and                 (instance ?MOTION Motion)                 (instrument ?MOTION ?WHEELCHAIR)                 (instance ?WHEELCHAIR Wheelchair)                 (eventLocated ?MOTION ?X))) Possibility))	Mid-level-ontology.kif 28700-28712	If wheelchair accessible is an attribute of X and X is an instance of building or X is an instance of room, then the statement there exist Y, Z such that Y is an instance of motion, Z is an instrument for Y, Z is an instance of wheelchair, and Y is located at X has the modal force of possibility
(=>     (and         (not             (instance ?A AutonomousAgent))         (holdsDuring ?T             (attribute ?A Motionless)))     (not         (exists (?P)             (and                 (instance ?P Motion)                 (patient ?P ?A)                 (during                     (WhenFn ?P) ?T)))))	Mid-level-ontology.kif 32860-32871	If X is not an instance of agent and motionless is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of motion, X is a patient of Z, and the time of existence of Z takes place during Y
(=>     (instance ?I IntermittentCombustionEngine)     (hasPurpose ?I         (exists (?E ?M)             (and                 (instance ?E Explosion)                 (instance ?M Motion)                 (eventLocated ?E ?I)                 (eventLocated ?M ?I)                 (causes ?E ?M)))))	Cars.kif 233-242	If X is an instance of intermittent combustion engine, then X has the purpose there exist Y, Z such that Y is an instance of explosion, Z is an instance of motion, Y is located at X, Z is located at X, and Y causes Z
(=>     (and         (instance ?C Clutch)         (instance ?A Automobile)         (instance ?E Engine)         (instance ?G Gearbox)         (instance ?GEAR Gear)         (part ?GEAR ?G)         (part ?G ?A)         (part ?C ?A)         (part ?E ?A)         (instance ?M Motion)         (patient ?M ?E)         (attribute ?C DeviceOn))     (not         (exists (?M2)             (and                 (instance ?M2 Motion)                 (patient ?M2 ?G)                 (causes ?M ?M2)))))	Cars.kif 1681-1700	If All of the following hold: (1) X is an instance of clutch (2) Y is an instance of automobile (3) Z is an instance of engine (4) W is an instance of gearbox (5) V is an instance of gear (6) V is a part of W (7) W is a part of Y (8) X is a part of Y (9) Z is a part of Y (10) U is an instance of motion (11) Z is a patient of U (12) device on is an attribute of X, then there doesn't exist T such that T is an instance of motion, W is a patient of T, and U causes T
(=>     (and         (instance ?C Clutch)         (instance ?A Automobile)         (instance ?E Engine)         (instance ?G Gearbox)         (instance ?GEAR Gear)         (part ?GEAR ?G)         (part ?G ?A)         (part ?C ?A)         (part ?E ?A)         (instance ?M Motion)         (patient ?M ?E)         (attribute ?C DeviceOff))     (exists (?M2)         (and             (instance ?M2 Motion)             (patient ?M2 ?G)             (causes ?M ?M2))))	Cars.kif 1702-1720	If All of the following hold: (1) X is an instance of clutch (2) Y is an instance of automobile (3) Z is an instance of engine (4) W is an instance of gearbox (5) V is an instance of gear (6) V is a part of W (7) W is a part of Y (8) X is a part of Y (9) Z is a part of Y (10) U is an instance of motion (11) Z is a patient of U (12) device off is an attribute of X, then there exists T such that T is an instance of motion, W is a patient of T, and U causes T
(=>     (instance ?GUIDE GuidingMotion)     (exists (?MOTION)         (and             (subProcess ?MOTION ?GUIDE)             (instance ?MOTION Motion))))	ComputerInput.kif 71-76	If X is an instance of guiding motion, then there exists Y such that Y is a subprocess of X and Y is an instance of motion
(=>     (instance ?X         (JuiceOfFn ?Y))     (exists (?Z ?P)         (and             (instance ?Z ?Y)             (instance ?P Motion)             (resource ?P ?Z)             (result ?P ?X))))	Food.kif 2628-2635	If X is an instance of the juice of Y, then there exist Z, W such that Z is an instance of Y, W is an instance of motion, Z is a resource for W, and X is a result of W
(=>     (instance ?C Catheter)     (hasPurpose ?C         (exists (?M ?O ?OBJ ?L)             (and                 (instance ?O Organism)                 (instance ?M Motion)                 (moves ?M ?OBJ)                 (orientation ?L ?O Outside)                 (path ?M ?C)                 (or                     (and                         (origin ?M ?L)                         (destination ?M ?O))                     (and                         (origin ?M ?O)                         (destination ?M ?L)))))))	Medicine.kif 525-541	If X is an instance of cannula, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Z is an instance of organism (3) Y is an instance of motion (4) W moves during Y (5) V is outside of to Z (6) X is path along which Y occurs (7) Y originates at V (8) Y ends up at Z or Y originates at Z (9) Y ends up at V
(=>     (instance ?X WaterSkiing)     (exists (?HUMAN ?SKI ?BOAT ?LINE ?WATER ?TRANS ?MOTION)         (and             (instance ?BOAT WaterVehicle)             (instance ?WATER WaterArea)             (instance ?SKI WaterSki)             (eventLocated ?X ?WATER)             (instance ?HUMAN Human)             (located ?HUMAN ?SKI)             (connects ?LINE ?HUMAN ?BOAT)             (instance ?TRANS Transportation)             (instrument ?TRANS ?BOAT)             (instance ?MOTION Motion)             (agent ?MOTION ?HUMAN)             (instrument ?MOTION ?SKI)             (causes ?TRANS ?MOTION)             (subProcess ?MOTION ?X))))	Sports.kif 1274-1291	If X is an instance of water skiing, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U,, , T (2) S such that W is an instance of water vehicle (3) U is an instance of water area (4) Z is an instance of water ski (5) X is located at U (6) Y is an instance of human (7) Y is located at Z (8) V connects Y (9) W (10) T is an instance of transportation (11) W is an instrument for T (12) S is an instance of motion (13) Y is an agent of S (14) Z is an instrument for S (15) T causes S (16) S is a subprocess of X
(=>     (instance ?X WindSurfing)     (exists (?BOARD ?WATER ?MOTION ?WIND)         (and             (instance ?BOARD WindSurfingBoard)             (instance ?WATER WaterArea)             (instance ?WIND Wind)             (instance ?MOTION Motion)             (eventLocated ?X ?WATER)             (subProcess ?MOTION ?X)             (instrument ?MOTION ?BOARD)             (causes ?WIND ?MOTION))))	Sports.kif 1332-1343	If X is an instance of wind surfing, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of wind surfing board (3) Z is an instance of water area (4) V is an instance of wind (5) W is an instance of motion (6) X is located at Z (7) W is a subprocess of X (8) Y is an instrument for W (9) V causes W
(=>     (and         (roll ?P             (MeasureFn 0 AngularDegree))         (instance ?P Airplane)         (part ?A ?P)         (instance ?A Aileron))     (not         (exists (?M)             (and                 (instance ?M Motion)                 (moves ?M ?A)))))	Transportation.kif 3601-3611	If X is rolling at 0 angular degree(s) of its longitudinalAxis., X is an instance of airplane, Y is a part of X, and Y is an instance of aileron, then there doesn't exist Z such that Z is an instance of motion and Y moves during Z
(=>     (and         (instance ?ATTR SpeedScaleAttribute)         (property ?X ?ATTR))     (instance ?X Motion))	Weather.kif 3323-3327	If X is an instance of speed scale attribute and Y the attribute X, then Y is an instance of motion
(=>     (and         (speedScaleAttributeMinMax ?ATTR             (MeasureFn ?MIN ?U)             (MeasureFn ?MAX ?U))         (instance ?U UnitOfMeasure))     (exists (?X ?SPEED)         (and             (instance ?X Motion)             (property ?X ?ATTR)             (measure ?X                 (MeasureFn ?SPEED ?U))             (greaterThanOrEqualTo ?SPEED ?MIN)             (lessThanOrEqualTo ?SPEED ?MAX))))	Weather.kif 3397-3410	If X Y(s) and Z Y(s) are the min and max speed of W and Y is an instance of unit of measure, then there exist V and U such that V is an instance of motion and V the attribute W and the measure of V is U Y(s) and U is greater than or equal to X and U is less than or equal to Z
(=>     (instance ?X ElectroMechanicalFitting)     (hasPurpose ?X         (exists (?M ?E ?D)             (and                 (instance ?M Motion)                 (instance ?E Electricity)                 (resource ?M ?E)                 (instrument ?M ?X)                 (patient ?M ?D)                 (instance ?D Machine)))))	engineering.kif 1026-1036	If X is an instance of electromechanical fitting, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of motion (3) Z is an instance of electricity (4) Z is a resource for Y (5) X is an instrument for Y (6) W is a patient of Y (7) W is an instance of machine
(=>     (instance ?TUB WhirlpoolTub)     (exists (?VALVE)         (and             (instance ?VALVE PressureControlValve)             (part ?VALVE ?TUB)             (hasPurpose ?VALVE                 (exists (?WATER ?CREATION ?MOTION)                     (and                         (instance ?WATER Water)                         (located ?WATER ?TUB)                         (instance ?CREATION Creation)                         (instrument ?CREATION ?VALVE)                         (result ?CREATION ?MOTION)                         (instance ?MOTION Motion)                         (located ?MOTION ?WATER)))))))	engineering.kif 1375-1390	If X is an instance of whirlpool tub, then All of the following hold: (1) there exists Y such that Y is an instance of pressure control valve (2) Y is a part of X (3) Y has the purpose there exist Z, W (4) V such that Z is an instance of water (5) Z is located at X (6) W is an instance of creation (7) Y is an instrument for W (8) V is a result of W (9) V is an instance of motion (10) V is located at Z

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.0-321a000c (2026-05-05) is open source software produced by Articulate Software and its partners