(=>     (instance ?X AutoAirbag)     (hasPurpose ?X         (exists (?CAR ?PERSON ?IMP ?INF ?INJ ?HIT)             (and                 (instance ?CAR Automobile)                 (part ?X ?CAR)                 (instance ?PERSON Human)                 (contains ?CAR ?PERSON)                 (instance ?IMP Impacting)                 (patient ?IMP ?CAR)                 (instance ?INF Inflating)                 (patient ?INF ?X)                 (causes ?IMP ?INF)                 (hinders ?INF                     (KappaFn ?INJ                         (and                             (instance ?INJ Injuring)                             (experiencer ?INJ ?PERSON)                             (exists (?HIT)                                 (and                                     (instance ?HIT Impacting)                                     (destination ?HIT ?CAR)                                     (experiencer ?HIT ?PERSON)                                     (causes ?HIT ?INJ))))))))))	Cars.kif 3640-3664	If a physical is an instance of airbag, 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 automobile and the physical is a part of the entity and the other entity is an instance of human and the entity contains the other entity and the third entity is an instance of impacting and the entity is a patient of the third entity and the fourth entity is an instance of inflating and the physical is a patient of the fourth entity and the third entity causes the fourth entity and the fourth entity hinders the class described by the fifth entity
(=>     (instance ?X FireSprinklerSystem)     (exists (?FIRE ?DISCOVER ?WM)         (and             (instance ?DISCOVER Discovering)             (instance ?FIRE Fire)             (instrument ?DISCOVER ?X)             (patient ?DISCOVER ?FIRE)             (instance ?WM WaterMotion)             (origin ?WM ?X)             (causes ?DISCOVER ?WM))))	Mid-level-ontology.kif 25465-25475	If an object is an instance of sprinkler system, then there exist an entity, a process and another process such that the process is an instance of discovering and the entity is an instance of fire and the object is an instrument for the process and the entity is a patient of the process and the other process is an instance of water motion and the other process originates at the object and the process causes the other process
(=>     (instance ?X RemoteIgnitionControl)     (hasPurpose ?X         (exists (?VEHICLE ?ENGINE ?SIGNAL ?PROC)             (and                 (instance ?VEHICLE PoweredVehicle)                 (instance ?SIGNAL ElectronicSignalling)                 (instrument ?SIGNAL ?X)                 (destination ?SIGNAL ?VEHICLE)                 (instance ?ENGINE Engine)                 (component ?ENGINE ?VEHICLE)                 (instance ?PROC                     (OperatingFn Engine))                 (experiencer ?PROC ?ENGINE)                 (causes ?SIGNAL ?PROC)))))	Cars.kif 3763-3777	If a physical is an instance of remote ignition control, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of powered vehicle and the third entity is an instance of electronic signalling and the physical is an instrument for the third entity and the third entity ends up at the entity and the other entity is an instance of engine and the other entity is a component of the entity and the fourth entity is an instance of the operating of engine and the other entity experiences the fourth entity and the third entity causes the fourth entity
(=>     (instance ?X SeatBelt)     (hasPurpose ?X         (exists (?PERSON ?STOP ?VEHICLE ?M)             (and                 (instance ?VEHICLE Vehicle)                 (part ?X ?VEHICLE)                 (instance ?PERSON Human)                 (contains ?VEHICLE ?PERSON)                 (instance ?STOP Process)                 (prevents ?STOP                     (KappaFn ?M                         (and                             (instance ?M Translocation)                             (patient ?M ?PERSON)                             (exists (?COLLISION)                                 (and                                     (or                                         (instance ?COLLISION Decelerating)                                         (instance ?COLLISION Impacting))                                     (experiencer ?COLLISION ?VEHICLE)                                     (causes ?COLLISION ?M)))                             (modalAttribute                                 (exists (?INJ ?IMP)                                     (and                                         (instance ?INJ Injuring)                                         (instance ?IMP Impacting)                                         (causes ?M ?INJ)                                         (patient ?INJ ?PERSON)                                         (subProcess ?IMP ?INJ))) Possibility))))))))	Cars.kif 3683-3712	If a physical is an instance of seat belt, 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 vehicle and the physical is a part of the third entity and the entity is an instance of human and the third entity contains the entity and the other entity is an instance of process and the other entity prevents the occurrence of the class described by the fourth entity
(=>     (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 1247-1264	If a process is an instance of water skiing, then there exist an agent, an object,, , another object,, , a third object,, , a fourth object,, , another process and a third process such that the other object is an instance of water vehicle and the fourth object is an instance of water area and the object is an instance of water ski and the process is located at the fourth object and the agent is an instance of human and the agent is located at the object and the third object connects the agent and the other object and the other process is an instance of transportation and the other object is an instrument for the other process and the third process is an instance of motion and the agent is an agent of the third process and the object is an instrument for the third process and the other process causes the third process and the third process is a subprocess of the process
(=>     (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 1305-1316	If a process is an instance of wind surfing, then there exist an object, another object,, , another process and a third process such that the object is an instance of wind surfing board and the other object is an instance of water area and the third process is an instance of wind and the other process is an instance of motion and the process is located at the other object and the other process is a subprocess of the process and the object is an instrument for the other process and the third process causes the other process
(=>     (patient ?RAIN AcidRainfall)     (modalAttribute         (exists (?D ?O ?X ?L)             (and                 (instance ?D Damaging)                 (causes ?RAIN ?D)                 (instrument ?D ?RAIN)                 (instance ?O Organism)                 (instance ?X StationaryArtifact)                 (instance ?L Outdoors)                 (located ?X ?L)                 (located ?O ?L)                 (or                     (patient ?D ?O)                     (patient ?D ?X)))) Possibility))	Geography.kif 2519-2534	If acid rainfall is a patient of a process, then the statement there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of damaging and the process causes the entity and the process is an instrument for the entity and the other entity is an instance of organism and the third entity is an instance of stationary artifact and the fourth entity is an instance of outdoors and the third entity is located at the fourth entity and the other entity is located at the fourth entity and the other entity is a patient of the entity or the third entity is a patient of the entity has the modal force of possibility
(=>     (serviceFee ?Bank ?Action ?Amount)     (exists (?Fee)         (and             (instance ?Fee ChargingAFee)             (agent ?Fee ?Bank)             (causes ?Action ?Fee)             (amountCharged ?Fee ?Amount))))	FinancialOntology.kif 900-907	If a financial organization is service fee a financial transaction for a currency measure, then there exists a chargingA fee such that the chargingA fee is an instance of chargingA fee and the financial organization is an agent of the chargingA fee and the financial transaction causes the chargingA fee and the currency measure is the amount charged in the chargingA fee
(=>     (windDrivenMotion ?W ?WM)     (causes ?W ?WM))	Weather.kif 331-333	If a wind causes the windM, then the wind causes the windM

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