consequent

(=>     (instance ?I InternalCombustionEngine)     (hasPurpose ?I         (exists (?C ?M ?P)             (and                 (instance ?C Combustion)                 (instance ?M Motion)                 (part ?P ?I)                 (patient ?M ?P)))))	Cars.kif 57-65	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
(=>     (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 280-289	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
(=>     (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)))))	Cars.kif 1381-1397	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
(=>     (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 1801-1820	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 1822-1840	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 2610-2617	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
(=>     (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 3179-3194	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 3876-3886	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 ?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 19729-19747	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 20037-20071	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
(=>     (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)))))))	Mid-level-ontology.kif 27664-27679	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
(=>     (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 28807-28819	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 32919-32930	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 ?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 1260-1277	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 1318-1329	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 3577-3587	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 3367-3371	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 3441-3454	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 939-949	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

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