(=>     (instance ?FWD FourWheelDriveVehicle)     (hasPurpose ?FWD         (forall (?W)             (and                 (part ?W ?FWD)                 (exists (?E ?C ?R1 ?R2)                     (and                         (instance ?E Engine)                         (part ?E ?FWD)                         (instance ?C Crankshaft)                         (part ?C ?E)                         (instance ?R1 Rotating)                         (patient ?R1 ?C)                         (instance ?R2 Rotating)                         (patient ?R2 ?W)                         (causes ?R1 ?R2)))))))	Cars.kif 4588-4604	If a physical is an instance of four wheel drive, then the physical has the purpose for all an entity the entity is a part of the physical and there exist another entity, a third entity,, , a fourth entity and a fifth entity such that the other entity is an instance of engine and the other entity is a part of the physical and the third entity is an instance of crankshaft and the third entity is a part of the other entity and the fourth entity is an instance of rotating and the third entity is a patient of the fourth entity and the fifth entity is an instance of rotating and the entity is a patient of the fifth entity and the fourth entity causes the fifth entity
(=>     (instance ?G AutomaticGun)     (hasPurpose ?G         (exists (?S1 ?S2 ?P ?T)             (and                 (instance ?P Pulling)                 (instance ?T GunTrigger)                 (patient ?P ?T)                 (part ?T ?G)                 (instance ?S1 Shooting)                 (instance ?S2 Shooting)                 (instrument ?S1 ?G)                 (instrument ?S2 ?G)                 (not                     (equal ?S1 ?S2))                 (causes ?P ?S1)                 (causes ?P ?S2)))))	Mid-level-ontology.kif 1569-1584	If a physical is an instance of automatic gun, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an instance of pulling and the fourth entity is an instance of gun trigger and the fourth entity is a patient of the third entity and the fourth entity is a part of the physical and the entity is an instance of shooting and the other entity is an instance of shooting and the physical is an instrument for the entity and the physical is an instrument for the other entity and the entity is not equal to the other entity and the third entity causes the entity and the third entity causes the other entity
(=>     (instance ?GP GasPedal)     (hasPurpose ?GP         (exists (?P ?T ?F ?E ?A)             (and                 (instance ?P Pushing)                 (instance ?T Transfer)                 (instance ?F Fuel)                 (instance ?E Engine)                 (instance ?A Automobile)                 (part ?GP ?A)                 (part ?E ?A)                 (destination ?P ?GP)                 (destination ?T ?E)                 (patient ?T ?F)                 (causes ?P ?T)))))	Cars.kif 2540-2555	If a physical is an instance of gas pedal, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of pushing and the other entity is an instance of transfer and the third entity is an instance of fuel and the fourth entity is an instance of engine and the fifth entity is an instance of automobile and the physical is a part of the fifth entity and the fourth entity is a part of the fifth entity and the entity ends up at the physical and the other entity ends up at the fourth entity and the third entity is a patient of the other entity and the entity causes the other entity
(=>     (instance ?H Heart)     (hasPurpose ?H         (exists (?T ?HB ?B)             (and                 (instance ?HB HeartBeat)                 (instance ?T LiquidMotion)                 (instance ?B Blood)                 (moves ?T ?B)                 (causes ?HB ?T)))))	Mid-level-ontology.kif 10742-10751	If a physical is an instance of heart, then the physical has the purpose there exist an entity, the physicalB and a third entity such that the physicalB is an instance of heart beat and the entity is an instance of liquid motion and the third entity is an instance of blood and the third entity moves during the entity and the physicalB causes the entity
(=>     (instance ?HABOOB Haboob)     (exists (?TS ?DM ?A)         (and             (instance ?TS Thunderstorm)             (instance ?DM MotionDownward)             (instance ?A Air)             (patient ?DM ?A)             (subProcess ?DM ?TS)             (causes ?DM ?HABOOB))))	Weather.kif 1318-1327	If a process is an instance of Haboob, then there exist another process, a third process and an entity such that the other process is an instance of thunderstorm and the third process is an instance of motion downward and the entity is an instance of air and the entity is a patient of the third process and the third process is a subprocess of the other process and the third process causes the process
(=>     (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 a physical is an instance of intermittent combustion engine, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of explosion and the other entity is an instance of motion and the entity is located at the physical and the other entity is located at the physical and the entity causes the other entity
(=>     (instance ?IC IgnitionCoil)     (hasPurpose ?IC         (exists (?P ?S)             (and                 (instance ?P ElectricTransmission)                 (instrument ?P ?IC)                 (instance ?S Spark)                 (causes ?P ?S)))))	Cars.kif 3167-3175	If a physical is an instance of ignition coil, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of electric transmission and the physical is an instrument for the entity and the other entity is an instance of spark and the entity causes the other entity
(=>     (instance ?ICM IgnitionControlModule)     (hasPurpose ?ICM         (exists (?S ?A ?CP)             (and                 (instance ?A Automobile)                 (instance ?S Spark)                 (instance ?CP ComputerProcess)                 (part ?ICM ?A)                 (eventLocated ?CP ?A)                 (eventLocated ?S ?A)                 (causes ?CP ?S)))))	Cars.kif 3182-3193	If a physical is an instance of ignition control module, then the physical has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of automobile and the entity is an instance of spark and the third entity is an instance of computer process and the physical is a part of the other entity and the third entity is located at the other entity and the entity is located at the other entity and the third entity causes the entity
(=>     (instance ?MHCV ManifoldHeatControlValve)     (hasPurpose ?MHCV         (exists (?H ?O ?E ?FV ?T)             (and                 (instance ?H Heating)                 (instance ?O Opening)                 (instance ?E Exhaust)                 (instance ?T Transfer)                 (instance ?FV FuelVapor)                 (patient ?O ?MHCV)                 (instrument ?H ?E)                 (patient ?H ?FV)                 (path ?T ?MHCV)                 (causes ?O ?T)                 (causes ?T ?H)))))	Cars.kif 3262-3277	If a physical is an instance of manifold heat control valve, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of heating and the other entity is an instance of opening and the third entity is an instance of exhaust and the fifth entity is an instance of transfer and the fourth entity is an instance of fuel vapor and the physical is a patient of the other entity and the third entity is an instrument for the entity and the fourth entity is a patient of the entity and the physical is path along which the fifth entity occurs and the other entity causes the fifth entity and the fifth entity causes the entity
(=>     (instance ?ORDER OperationOrder)     (exists (?PLAN ?PLANNING)         (and             (instance ?PLAN OPLAN)             (instance ?PLANNING OperationPlanning)             (result ?PLANNING ?PLAN)             (causes ?PLANNING ?ORDER)             (refers ?PLAN ?ORDER))))	MilitaryProcesses.kif 1686-1694	If a process is an instance of operation order, then there exist an entity and the entityNING such that the entity is an instance of OPLAN and the entityNING is an instance of operation planning and the entity is a result of the entityNING and the entityNING causes the process and the entity includes a reference to the process
(=>     (instance ?P Pulley)     (hasPurpose ?P         (exists (?P2 ?D ?R1 ?R2)             (and                 (instance ?P2 Pulley)                 (not                     (equal ?P ?P2))                 (instance ?D Drivebelt)                 (instance ?R1 Rotating)                 (instance ?R2 Rotating)                 (connectedEngineeringComponents ?P ?D)                 (connectedEngineeringComponents ?P2 ?D)                 (patient ?R1 ?P)                 (patient ?R2 ?P2)                 (causes ?R1 ?R2)))))	Cars.kif 2293-2308	If a physical is an instance of pulley, then the physical has the purpose there exist the physical2, another entity,, , a third entity and a fourth entity such that the physical2 is an instance of pulley and the physical is not equal to the physical2 and the other entity is an instance of drivebelt and the third entity is an instance of rotating and the fourth entity is an instance of rotating and the physical is connected to the other entity and the physical2 is connected to the other entity and the physical is a patient of the third entity and the physical2 is a patient of the fourth entity and the third entity causes the fourth entity
(=>     (instance ?PR PhysiologicalResponseToEmotionalState)     (exists (?EP ?A)         (and             (instance ?EP EmotionalState)             (experiencer ?EP ?A)             (experiencer ?PR ?A)             (causes ?EP ?PR))))	emotion.kif 1371-1378	If a process is an instance of physiological response to emotion process, then there exist another process and an agent such that the other process is an instance of emotional state and the agent experiences the other process and the agent experiences the process and the other process causes the process
(=>     (instance ?PROC1 Process)     (exists (?PROC2)         (causes ?PROC2 ?PROC1)))	Merge.kif 3791-3794	If a process is an instance of process, then there exists another process such that the other process causes the process
(=>     (instance ?RA RockerArm)     (hasPurpose ?RA         (exists (?P1 ?C ?P2 ?V ?O ?FSE)             (and                 (instance ?P1 Pushing)                 (instance ?C Cam)                 (instance ?P2 Pushing)                 (instance ?V Valve)                 (instance ?O Opening)                 (instance ?FSE FourStrokeEngine)                 (part ?RA ?FSE)                 (part ?C ?FSE)                 (part ?V ?FSE)                 (instrument ?P1 ?C)                 (destination ?P1 ?RA)                 (instrument ?P2 ?RA)                 (destination ?P2 ?V)                 (causes ?P1 ?P2)                 (causes ?P2 ?O)                 (patient ?O ?V)))))	Cars.kif 3844-3864	If a physical is an instance of rocker arm, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of pushing and the other entity is an instance of cam and the third entity is an instance of pushing and the fourth entity is an instance of valve and the fifth entity is an instance of opening and the sixth entity is an instance of four stroke engine and the physical is a part of the sixth entity and the other entity is a part of the sixth entity and the fourth entity is a part of the sixth entity and the other entity is an instrument for the entity and the entity ends up at the physical and the physical is an instrument for the third entity and the third entity ends up at the fourth entity and the entity causes the third entity and the third entity causes the fifth entity and the fourth entity is a patient of the fifth entity
(=>     (instance ?REMIND Reminding)     (exists (?REMEMBER)         (and             (instance ?REMEMBER Remembering)             (causes ?REMIND ?REMEMBER))))	Mid-level-ontology.kif 848-853	If a process is an instance of reminding, then there exists another process such that the other process is an instance of remembering and the process causes the other process
(=>     (instance ?REQUEST ViewItemRequest)     (exists (?CLICK ?ACCESSING ?PAGE)         (and             (instance ?CLICK RequestingHyperlink)             (instance ?PAGE ViewItemPage)             (instance ?ACCESSING AccessingWebPage)             (causes ?CLICK ?ACCESSING)             (destination ?ACCESSING ?PAGE)             (subProcess ?CLICK ?REQUEST))))	UXExperimentalTerms.kif 1559-1568	If a process is an instance of view item request, then there exist another process, a third process and an entity such that the other process is an instance of requesting hyperlink and the entity is an instance of next generation view item and the third process is an instance of accessing web page and the other process causes the third process and the third process ends up at the entity and the other process is a subprocess of the process
(=>     (instance ?SE ShrapnelExplosion)     (exists (?M ?T)         (and             (instance ?M Metal)             (instance ?T Translocation)             (causes ?SE ?T)             (objectTransferred ?T ?M))))	Medicine.kif 6281-6288	If a process is an instance of shrapnel explosion, then there exist an object and a transfer such that the object is an instance of metal and the transfer is an instance of translocation and the process causes the transfer and the object transferred in the transfer is the object
(=>     (instance ?SE ShrapnelExplosion)     (hasPurpose ?SE         (exists (?P)             (and                 (or                     (instance ?P Injuring)                     (instance ?P Killing))                 (causes ?SE ?P)))))	Medicine.kif 6290-6298	If a physical is an instance of shrapnel explosion, then the physical has the purpose there exists an entity such that the entity is an instance of injuring or the entity is an instance of killing and the physical causes the entity
(=>     (instance ?SM StarterMotor)     (hasPurpose ?SM         (exists (?P1 ?P2 ?ICE)             (and                 (instance ?ICE InternalCombustionEngine)                 (instrument ?P1 ?SM)                 (instrument ?P2 ?ICE)                 (causes ?P1 ?P2)))))	Cars.kif 3953-3961	If a physical is an instance of starter motor, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of internal combustion engine and the physical is an instrument for the entity and the third entity is an instrument for the other entity and the entity causes the other entity
(=>     (instance ?SP SparkPlug)     (hasPurpose ?SP         (exists (?S ?C)             (and                 (instance ?S Spark)                 (instrument ?S ?SP)                 (instance ?C Combustion)                 (causes ?S ?C)))))	Cars.kif 447-455	If a physical is an instance of spark plug, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of spark and the physical is an instrument for the entity and the other entity is an instance of burning and the entity causes the other entity
(=>     (instance ?SPINE PlantSpinoseStructure)     (modalAttribute         (exists (?I ?P ?A)             (and                 (instance ?I Inserting)                 (instrument ?I ?SPINE)                 (instance ?A Animal)                 (patient ?I ?A)                 (causes ?I ?P)                 (instance ?P Pain)                 (experiencer ?P ?A))) Possibility))	Mid-level-ontology.kif 9587-9598	If an entity is an instance of plant spinose structure, then the statement there exist another entity, a third entity and a fourth entity such that the other entity is an instance of inserting and the entity is an instrument for the other entity and the fourth entity is an instance of animal and the fourth entity is a patient of the other entity and the other entity causes the third entity and the third entity is an instance of pain and the fourth entity experiences the third entity has the modal force of possibility
(=>     (instance ?T GunTrigger)     (hasPurpose ?T         (exists (?S ?G ?P)             (and                 (instance ?G AutomaticGun)                 (part ?T ?G)                 (patient ?P ?T)                 (instance ?P Pulling)                 (instance ?S Shooting)                 (instrument ?S ?G)                 (causes ?P ?S)))))	Mid-level-ontology.kif 1586-1597	If a physical is an instance of gun trigger, then the physical has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of automatic gun and the physical is a part of the other entity and the physical is a patient of the third entity and the third entity is an instance of pulling and the entity is an instance of shooting and the other entity is an instrument for the entity and the third entity causes the entity
(=>     (instance ?T Thunder)     (exists (?L)         (and             (instance ?L Lightning)             (causes ?L ?T))))	Mid-level-ontology.kif 3055-3060	If a process is an instance of thunder, then there exists another process such that the other process is an instance of lightning and the other process causes the process
(=>     (instance ?TD TornadoDamage)     (exists (?T ?D)         (and             (instance ?T Tornado)             (instance ?D Damaging)             (causes ?T ?D)             (patient ?D ?TD))))	Weather.kif 2070-2077	If an entity is an instance of tornado damage, then there exist a process and another process such that the process is an instance of tornado and the other process is an instance of damaging and the process causes the other process and the entity is a patient of the other process
(=>     (instance ?TWD TwoWheelDriveVehicle)     (hasPurpose ?TWD         (exists (?W1 ?W2)             (and                 (part ?W1 ?TWD)                 (part ?W2 ?TWD)                 (not                     (equal ?W1 ?W2))                 (exists (?E ?C ?R1 ?R2 ?R3)                     (and                         (instance ?E Engine)                         (part ?E ?TWD)                         (instance ?C Crankshaft)                         (part ?C ?E)                         (instance ?R1 Rotating)                         (patient ?R1 ?C)                         (instance ?R2 Rotating)                         (patient ?R2 ?W1)                         (causes ?R1 ?R2)                         (patient ?R3 ?W2)                         (causes ?R1 ?R3)                         (not                             (exists (?W3 ?R4)                                 (and                                     (not                                         (equal ?W1 ?W3))                                     (not                                         (equal ?W2 ?W3))                                     (part ?W3 ?TWD)                                     (instance ?R4 Rotating)                                     (patient ?R4 ?W3)                                     (causes ?R1 ?R4))))))))))	Cars.kif 4611-4643	If a physical is an instance of four wheel drive, then the physical has the purpose there exist an entity and another entity such that the entity is a part of the physical and the other entity is a part of the physical and the entity is not equal to the other entity and there exist a third entity, a fourth entity,, , a fifth entity,, , a sixth entity and a seventh entity such that the third entity is an instance of engine and the third entity is a part of the physical and the fourth entity is an instance of crankshaft and the fourth entity is a part of the third entity and the fifth entity is an instance of rotating and the fourth entity is a patient of the fifth entity and the sixth entity is an instance of rotating and the entity is a patient of the sixth entity and the fifth entity causes the sixth entity and the other entity is a patient of the seventh entity and the fifth entity causes the seventh entity and there don't exist a eighth entity and a ninth entity such that the entity is not equal to the eighth entity and the other entity is not equal to the eighth entity and the eighth entity is a part of the physical and the ninth entity is an instance of rotating and the eighth entity is a patient of the ninth entity and the fifth entity causes the ninth entity
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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