consequent

(=>     (and         (instance ?B Blockade)         (instance ?C Contest)         (subProcess ?B ?C)         (contestParticipant ?C ?A1)         (agent ?B ?A1))     (exists (?C1 ?A2)         (and             (prevents ?C1 Translocation)             (instance ?B ?C1)             (contestParticipant ?C ?A2)             (not                 (equal ?A1 ?A2))             (desires ?A2                 (exists (?I)                     (and                         (instance ?I ?C1)                         (agent ?I ?A1)                         (subProcess ?I ?C)))))))	Mid-level-ontology.kif 23920-23939	If a process is an instance of blockade and a contest is an instance of contest and the process is a subprocess of the contest and an agent participates in the contest and the agent is an agent of the process, then there exist the contest1 and a cognitive agent such that the contest1 prevents the occurrence of translocation and the process is an instance of the contest1 and the cognitive agent participates in the contest and equal the agent and the cognitive agent and the cognitive agent desires there exists an entity such that the entity is an instance of the contest1 and the agent is an agent of the entity and the entity is a subprocess of the contest
(=>     (and         (instance ?CO CounterproliferationWMD)         (agent ?CO ?AGENT))     (exists (?ENEMY ?OP)         (and             (enemy ?AGENT ?ENEMY)             (agent ?OP ?ENEMY)             (instance ?OP ProliferationWMD)             (hasPurpose ?CO                 (prevents ?CO ProliferationWMD)))))	MilitaryProcesses.kif 1497-1507	If a process is an instance of counterproliferationWM d and an agent is an agent of the process, then there exist another agent and another process such that the agent and the other agent are enemies of each other and the other agent is an agent of the other process and the other process is an instance of proliferationWMD and the process has the purpose the process prevents the occurrence of proliferationWMD
(=>     (and         (instance ?HP HearingProtection)         (instance ?PERSON Human)         (wears ?PERSON ?HP))     (hasPurpose ?HP         (exists (?PROC ?INJ ?I)             (and                 (instance ?PROC Process)                 (subclass ?INJ                     (KappaFn ?I                         (and                             (instance ?I Injuring)                             (exists (?SOUND ?HEAR ?HUMAN ?T)                                 (and                                     (instance ?SOUND RadiatingSound)                                     (instance ?HEAR Hearing)                                     (instance ?HUMAN Human)                                     (patient ?HEAR ?SOUND)                                     (experiencer ?HEAR ?HUMAN)                                     (causes ?HEAR ?I)                                     (experiencer ?I ?HUMAN)                                     (=>                                         (holdsDuring ?T                                             (experiencer ?I ?PERSON))                                         (not                                             (holdsDuring ?T                                                 (patient ?PROC ?PERSON)))))))))                 (prevents ?PROC ?INJ)                 (instrument ?PROC ?HP)))))	Cars.kif 3508-3537	If a wearable item is an instance of hearing protection and an animal is an instance of human and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the other entity is a subclass of the class described by the third entity and the entity prevents the occurrence of the other entity and the wearable item is an instrument for the entity
(=>     (and         (instance ?SH SafetyHarness)         (instance ?PERSON Animal)         (wears ?PERSON ?SH))     (hasPurpose ?SH         (exists (?PROC ?INJ ?I)             (and                 (instance ?PROC Process)                 (instrument ?PROC ?SH)                 (patient ?PROC ?PERSON)                 (subclass ?INJ                     (KappaFn ?I                         (and                             (instance ?I Injuring)                             (exists (?F ?H ?T)                                 (and                                     (instance ?H Human)                                     (experiencer ?I ?H)                                     (instance ?F Falling)                                     (experiencer ?F ?H)                                     (causes ?F ?I)                                     (=>                                         (holdsDuring ?T                                             (experiencer ?I ?PERSON))                                         (not                                             (holdsDuring ?T                                                 (patient ?PROC ?PERSON)))))))))                 (prevents ?PROC ?INJ)))))	Cars.kif 3450-3478	If a wearable item is an instance of safety harness and an animal is an instance of animal and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the wearable item is an instrument for the entity and the animal is a patient of the entity and the other entity is a subclass of the class described by the third entity and the entity prevents the occurrence of the other entity
(=>     (and         (instance ?X Respirator)         (instance ?PERSON Animal)         (wears ?PERSON ?X))     (hasPurpose ?X         (exists (?INHAL ?INJ ?PROTECT ?I)             (and                 (instance ?PROTECT Process)                 (instrument ?PROTECT ?X)                 (prevents ?PROTECT ?INJ)                 (subclass ?INJ                     (KappaFn ?I                         (and                             (instance ?I Injuring)                             (exists (?H)                                 (and                                     (instance ?H Human)                                     (patient ?I ?H)                                     (instance ?INHAL Inhaling)                                     (agent ?INHAL ?H)                                     (causes ?I ?INHAL))))))))))	Cars.kif 3592-3613	If a wearable item is an instance of respirator and an animal is an instance of animal and the animal wears the wearable item, then the wearable item 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 process and the wearable item is an instrument for the third entity and the third entity prevents the occurrence of the other entity and the other entity is a subclass of the class described by the fourth entity
(=>     (holdsDuring ?T         (attribute ?X SafetyPosition))     (holdsDuring ?T         (hasPurpose ?X             (exists (?P ?H ?I ?T2)                 (and                     (instance ?H Human)                     (instance ?P Process)                     (patient ?P ?H)                     (agent ?P ?X)                     (prevents ?P                         (KappaFn ?I                             (and                                 (instance ?I Injuring)                                 (=>                                     (holdsDuring ?T2                                         (experiencer ?I ?H))                                     (not                                         (holdsDuring ?T2                                             (patient ?P ?H))))))))))))	Mid-level-ontology.kif 33170-33190	If safety position is an attribute of an entity holds during a time position, then the entity has the purpose there exist another entity, a third entity,, , a fourth entity and the time position2 such that the third entity is an instance of human and the other entity is an instance of process and the third entity is a patient of the other entity and the entity is an agent of the other entity and the other entity prevents the occurrence of the class described by the fourth entity holds during the time position
(=>     (instance ?CO CounterOperation)     (hasPurpose ?CO         (exists (?AGENT ?ENEMY ?OP ?CLASS)             (and                 (agent ?CO ?AGENT)                 (enemy ?AGENT ?ENEMY)                 (subclass ?CLASS MilitaryOperation)                 (instance ?OP ?CLASS)                 (agent ?OP ?ENEMY)                 (prevents ?CO ?CLASS)))))	MilitaryProcesses.kif 2193-2203	If a physical is an instance of counter operation, 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 agent of the physical and the entity and the other entity are enemies of each other and the fourth entity is a subclass of military operation and the third entity is an instance of the fourth entity and the other entity is an agent of the third entity and the physical prevents the occurrence of the fourth entity
(=>     (instance ?CO CounterReconnaissance)     (hasPurpose ?CO         (exists (?AGENT ?ENEMY ?OP ?CLASS)             (and                 (agent ?CO ?AGENT)                 (enemy ?AGENT ?ENEMY)                 (subclass ?CLASS ReconnaissanceOperation)                 (instance ?OP ?CLASS)                 (agent ?OP ?ENEMY)                 (prevents ?CO ?CLASS)))))	MilitaryProcesses.kif 2212-2222	If a physical is an instance of counter reconnaissance, 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 agent of the physical and the entity and the other entity are enemies of each other and the fourth entity is a subclass of reconnaissance operation and the third entity is an instance of the fourth entity and the other entity is an agent of the third entity and the physical prevents the occurrence of the fourth entity
(=>     (instance ?CO CounterTerrorism)     (hasPurpose ?CO         (exists (?AGENT ?ENEMY ?OP ?CLASS)             (and                 (agent ?CO ?AGENT)                 (enemy ?AGENT ?ENEMY)                 (subclass ?CLASS Terrorism)                 (instance ?OP ?CLASS)                 (agent ?OP ?ENEMY)                 (prevents ?CO ?CLASS)))))	MilitaryProcesses.kif 2051-2061	If a physical is an instance of counter terrorism, 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 agent of the physical and the entity and the other entity are enemies of each other and the fourth entity is a subclass of terrorism and the third entity is an instance of the fourth entity and the other entity is an agent of the third entity and the physical prevents the occurrence of the fourth entity
(=>     (instance ?PE ProtectiveEyewear)     (hasPurpose ?PE         (=>             (exists (?PERSON)                 (and                     (instance ?PERSON Human)                     (wears ?PERSON ?PE)))             (exists (?PROTECT ?EYE ?INJ ?I ?T)                 (and                     (instance ?PROTECT Process)                     (instrument ?PROTECT ?PE)                     (subclass ?INJ                         (KappaFn ?I                             (exists (?HUMAN)                                 (and                                     (instance ?I Injuring)                                     (instance ?EYE Eye)                                     (instance ?HUMAN Human)                                     (properPart ?EYE ?HUMAN)                                     (patient ?I ?EYE)                                     (=>                                         (holdsDuring ?T                                             (patient ?I ?PERSON))                                         (not                                             (holdsDuring ?T                                                 (patient ?PROTECT ?PERSON))))))))                     (prevents ?PROTECT ?INJ))))))	Cars.kif 3543-3570	If a physical is an instance of protective eyewear, then the physical has the purpose if there exists the physicalRSON such that the physicalRSON is an instance of human and the physicalRSON wears the physical, then there exist another entity, a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the other entity is an instance of process and the physical is an instrument for the other entity and the fourth entity is a subclass of the class described by the fifth entity and the other entity prevents the occurrence of the fourth entity
(=>     (instance ?PKU PeacekeepingUnit)     (capability         (KappaFn ?P             (and                 (instance ?P Process)                 (instance ?V ViolentContest)                 (prevents ?P ?V))) agent ?PKU))	Military.kif 89-96	If an object is an instance of peacekeeping unit, then the object is capable of doing the class described by a symbolic string as a agent
(=>     (instance ?S Shield)     (hasPurpose ?S         (exists (?P ?H ?I)             (and                 (instance ?P Protecting)                 (instrument ?P ?S)                 (instance ?H Human)                 (patient ?P ?H)                 (prevents ?P                     (KappaFn ?I                         (and                             (instance ?I Injuring)                             (exists (?W)                                 (and                                     (instance ?W Weapon)                                     (instrument ?I ?W)))                             (=>                                 (patient ?I ?H)                                 (not                                     (patient ?P ?H))))))))))	Mid-level-ontology.kif 1689-1709	If a physical is an instance of shield, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of protecting and the physical is an instrument for the entity and the other entity is an instance of human and the other entity is a patient of the entity and the entity prevents the occurrence of the class described by the third entity
(=>     (instance ?X Protecting)     (hasPurpose ?X         (exists (?OBJ ?T ?H ?HARM)             (and                 (instance ?OBJ Object)                 (patient ?X Object)                 (subclass ?HARM                     (KappaFn ?H                         (and                             (or                                 (instance ?H CriminalAction)                                 (instance ?H Damaging))                             (=>                                 (holdsDuring ?T                                     (patient ?H ?OBJ))                                 (not                                     (holdsDuring ?T                                         (patient ?X ?OBJ)))))))                 (or                     (prevents ?X ?HARM)                     (hinders ?X ?HARM))))))	Mid-level-ontology.kif 20146-20167	If a physical is an instance of protecting, then the physical has the purpose there exist an entity, another entity,, , a third entity and the third entityARM such that the entity is an instance of object and object is a patient of the physical and the third entityARM is a subclass of the class described by the third entity and the physical prevents the occurrence of the third entityARM or the physical hinders the third entityARM
(=>     (instance ?X SafetyDevice)     (hasPurpose ?X         (exists (?P ?H ?I ?T)             (and                 (instance ?H Human)                 (instance ?P Process)                 (patient ?P ?H)                 (instrument ?P ?X)                 (prevents ?P                     (KappaFn ?I                         (and                             (instance ?I Injuring)                             (=>                                 (holdsDuring ?T                                     (experiencer ?I ?H))                                 (not                                     (holdsDuring ?T                                         (patient ?P ?H)))))))))))	Cars.kif 3416-3434	If a physical is an instance of safety device, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the other entity is an instance of human and the entity is an instance of process and the other entity is a patient of the entity and the physical is an instrument for the entity and the entity prevents the occurrence of the class described by the third 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 3736-3765	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

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