consequent

! [V__INJ,V__ORGANISM] : (((s__instance(V__INJ,s__Damaging) &        s__instance(V__ORGANISM,s__Organism) &        s__patient(V__INJ,V__ORGANISM))    =>    s__instance(V__INJ,s__Injuring)) )	Merge.kif 10694-10699	If X is an instance of damaging, Y is an instance of organism, and Y is a patient of X, then X is an instance of injuring
! [V__S : $i] : ((s__instance(V__S, s__Shield) => s__hasPurpose(V__S, ( ? [V__P:$i, V__H:$i, V__I:$i] : ((s__instance(V__P, s__Protecting) & s__instrument(V__P, V__S) & s__instance(V__H, s__Human) & s__patient(V__P, V__H) & s__prevents(V__P, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & ( ? [V__W:$i] : ((s__instance(V__W, s__Weapon) & s__instrument(V__I, V__W)))) & (s__patient(V__I, V__H) => ~(s__patient(V__P, V__H))))))))))))	Mid-level-ontology.kif 1758-1778	If X is an instance of shield, then X has the purpose there exist Y, Z, W such that Y is an instance of protecting, X is an instrument for Y, Z is an instance of human, Z is a patient of Y, and Y prevents the occurrence of the class described by W
! [V__O1,V__O2] : (((s__instance(V__O1,s__Organism) &        s__instance(V__O2,s__Organism))      =>      (s__parasite(V__O1,V__O2)      =>      (? [V__I] :        ((s__instance(V__I,s__Injuring) &            s__agent(V__I,V__O1)          &          s__patient(V__I,V__O2)))))) )	Mid-level-ontology.kif 7403-7409	If X is a parasite of Y, then there exists Z such that Z is an instance of injuring, Y is an agent of Z, and X is a patient of Z
! [V__L] : ((s__instance(V__L,s__Lesion) =>      (? [V__I] :        ((s__instance(V__I,s__Injuring) &            s__result(V__I,V__L))))) )	Mid-level-ontology.kif 10881-10886	If X is an instance of lesion, then there exists Y such that Y is an instance of injuring and X is a result of Y
! [V__BLEED] : ((s__instance(V__BLEED,s__Bleeding) =>      (? [V__INJURY] :        ((s__instance(V__INJURY,s__Injuring) &            s__causes(V__INJURY,V__BLEED))))) )	Mid-level-ontology.kif 23587-23592	If X is an instance of bleeding, then there exists Y such that Y is an instance of injuring and Y causes X
! [V__T : $i,V__X : $i] : ((s__holdsDuring(V__T, s__attribute(V__X, s__SafetyPosition)) => s__holdsDuring(V__T, s__hasPurpose(V__X, ( ? [V__P:$i, V__H:$i, V__I:$i, V__T2:$i] : ((s__instance(V__H, s__Human) & s__instance(V__P, s__Process) & s__patient(V__P, V__H) & s__agent(V__P, V__X) & s__prevents(V__P, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & (s__holdsDuring(V__T2, s__experiencer(V__I, V__H)) => ~(s__holdsDuring(V__T2, s__patient(V__P, V__H))))))))))))))	Mid-level-ontology.kif 33327-33347	If safety position is an attribute of X holds during Y, then X has the purpose there exist Z, W,, , V, U such that W is an instance of human, Z is an instance of process, W is a patient of Z, X is an agent of Z, and Z prevents the occurrence of the class described by V holds during Y
! [V__X : $i] : ((s__instance(V__X, s__SafetyDevice) => s__hasPurpose(V__X, ( ? [V__P:$i, V__H:$i, V__I:$i, V__T:$i] : ((s__instance(V__H, s__Human) & s__instance(V__P, s__Process) & s__patient(V__P, V__H) & s__instrument(V__P, V__X) & s__prevents(V__P, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & (s__holdsDuring(V__T, s__experiencer(V__I, V__H)) => ~(s__holdsDuring(V__T, s__patient(V__P, V__H)))))))))))))	Mid-level-ontology.kif 33439-33457	If X is an instance of safety device, then X has the purpose there exist Y, Z,, , W, V such that Z is an instance of human, Y is an instance of process, Z is a patient of Y, X is an instrument for Y, and Y prevents the occurrence of the class described by W
! [V__PERSON : $i,V__SH : $i] : (((s__instance(V__SH, s__SafetyHarness) & s__instance(V__PERSON, s__Animal) & s__wears(V__PERSON, V__SH)) => s__hasPurpose(V__SH, ( ? [V__PROC:$i, V__INJ:$i, V__I:$i] : ((s__instance(V__PROC, s__Process) & s__instrument(V__PROC, V__SH) & s__patient(V__PROC, V__PERSON) & s__subclass(V__INJ, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & ( ? [V__F:$i, V__H:$i, V__T:$i] : ((s__instance(V__H, s__Human) & s__experiencer(V__I, V__H) & s__instance(V__F, s__Falling) & s__experiencer(V__F, V__H) & s__causes(V__F, V__I) & (s__holdsDuring(V__T, s__experiencer(V__I, V__PERSON)) => ~(s__holdsDuring(V__T, s__patient(V__PROC, V__PERSON)))))))))) & s__prevents(V__PROC, V__INJ)))))))	Cars.kif 3254-3282	If X is an instance of safety harness, Y is an instance of animal, and Y wears X, then X has the purpose there exist Z, W, V such that Z is an instance of process, X is an instrument for Z, Y is a patient of Z, W is a subclass of the class described by V, and Z prevents the occurrence of W
! [V__HP : $i,V__PERSON : $i] : (((s__instance(V__HP, s__HearingProtection) & s__instance(V__PERSON, s__Human) & s__wears(V__PERSON, V__HP)) => s__hasPurpose(V__HP, ( ? [V__PROC:$i, V__INJ:$i, V__I:$i] : ((s__instance(V__PROC, s__Process) & s__subclass(V__INJ, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & ( ? [V__SOUND:$i, V__HEAR:$i, V__HUMAN:$i, V__T:$i] : ((s__instance(V__SOUND, s__RadiatingSound) & s__instance(V__HEAR, s__Hearing) & s__instance(V__HUMAN, s__Human) & s__patient(V__HEAR, V__SOUND) & s__experiencer(V__HEAR, V__HUMAN) & s__causes(V__HEAR, V__I) & s__experiencer(V__I, V__HUMAN) & (s__holdsDuring(V__T, s__experiencer(V__I, V__PERSON)) => ~(s__holdsDuring(V__T, s__patient(V__PROC, V__PERSON)))))))))) & s__prevents(V__PROC, V__INJ) & s__instrument(V__PROC, V__HP)))))))	Cars.kif 3312-3341	If X is an instance of hearing protection, Y is an instance of human, and Y wears X, then X has the purpose there exist Z, W, V such that Z is an instance of process, W is a subclass of the class described by V, Z prevents the occurrence of W, and X is an instrument for Z
! [V__PE : $i,V__PERSON : $i] : ((s__instance(V__PE, s__ProtectiveEyewear) => s__hasPurpose(V__PE, ((s__instance(V__PERSON, s__Human) & s__wears(V__PERSON, V__PE)) => ( ? [V__PROTECT:$i, V__EYE:$i, V__INJ:$i, V__I:$i, V__T:$i] : ((s__instance(V__PROTECT, s__Process) & s__instrument(V__PROTECT, V__PE) & s__subclass(V__INJ, s__KappaFn(V__I, ( ? [V__HUMAN:$i] : ((s__instance(V__I, s__Injuring) & s__instance(V__EYE, s__Eye) & s__instance(V__HUMAN, s__Human) & s__properPart(V__EYE, V__HUMAN) & s__patient(V__I, V__EYE) & (s__holdsDuring(V__T, s__patient(V__I, V__PERSON)) => ~(s__holdsDuring(V__T, s__patient(V__PROTECT, V__PERSON))))))))) & s__prevents(V__PROTECT, V__INJ))))))))	Cars.kif 3347-3373	If X is an instance of protective eyewear, then X has the purpose Y is an instance of human, Y wears Xthere exist Z, W,, , V,, , U, T such that Z is an instance of process, X is an instrument for Z, V is a subclass of the class described by U, and Z prevents the occurrence of V
! [V__PERSON : $i,V__X : $i] : (((s__instance(V__X, s__Respirator) & s__instance(V__PERSON, s__Animal) & s__wears(V__PERSON, V__X)) => s__hasPurpose(V__X, ( ? [V__INHAL:$i, V__INJ:$i, V__PROTECT:$i, V__I:$i] : ((s__instance(V__PROTECT, s__Process) & s__instrument(V__PROTECT, V__X) & s__prevents(V__PROTECT, V__INJ) & s__subclass(V__INJ, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & ( ? [V__H:$i] : ((s__instance(V__H, s__Human) & s__patient(V__I, V__H) & s__instance(V__INHAL, s__Inhaling) & s__agent(V__INHAL, V__H) & s__causes(V__I, V__INHAL)))))))))))))	Cars.kif 3395-3416	If X is an instance of respirator, Y is an instance of animal, and Y wears X, then X has the purpose there exist Z, W,, , V, U such that V is an instance of process, X is an instrument for V, V prevents the occurrence of W, and W is a subclass of the class described by U
! [V__SV : $i] : ((s__instance(V__SV, s__SafetyVest) => s__hasPurpose(V__SV, ( ? [V__PERSON:$i, V__SPECTATOR:$i] : ((s__instance(V__PERSON, s__Animal) & s__instance(V__SPECTATOR, s__Human) & s__increasesLikelihood(s__wears(V__PERSON, V__SV), ( ? [V__SEE:$i] : ((s__instance(V__SEE, s__Seeing) & s__patient(V__SEE, V__PERSON) & s__experiencer(V__SEE, V__SPECTATOR))))) & s__decreasesLikelihood(( ? [V__SEE:$i] : ((s__instance(V__SEE, s__Seeing) & s__patient(V__SEE, V__PERSON) & s__experiencer(V__SEE, V__SPECTATOR)))), ( ? [V__INJ:$i] : ((s__instance(V__INJ, s__Injuring) & s__agent(V__INJ, V__SPECTATOR) & s__patient(V__INJ, V__PERSON)))))))))))	Cars.kif 3422-3446	If X is an instance of safety vest, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of animal (3) Z is an instance of human (4) Y wears X increases likelihood of there exists W such that W is an instance of seeing (5) Y is a patient of W (6) Z experiences W (7) there exists W such that W is an instance of seeing (8) Y is a patient of W (9) Z experiences W decreases likelihood of there exists V such that V is an instance of injuring (10) Z is an agent of V (11) Y is a patient of V
! [V__X : $i] : ((s__instance(V__X, s__AutoAirbag) => s__hasPurpose(V__X, ( ? [V__CAR:$i, V__PERSON:$i, V__IMP:$i, V__INF:$i, V__INJ:$i, V__HIT:$i] : ((s__instance(V__CAR, s__Automobile) & s__part(V__X, V__CAR) & s__instance(V__PERSON, s__Human) & s__contains(V__CAR, V__PERSON) & s__instance(V__IMP, s__Impacting) & s__patient(V__IMP, V__CAR) & s__instance(V__INF, s__Inflating) & s__patient(V__INF, V__X) & s__causes(V__IMP, V__INF) & s__hinders(V__INF, s__KappaFn(V__INJ, (s__instance(V__INJ, s__Injuring) & s__experiencer(V__INJ, V__PERSON) & ( ? [V__HIT:$i] : ((s__instance(V__HIT, s__Impacting) & s__destination(V__HIT, V__CAR) & s__experiencer(V__HIT, V__PERSON) & s__causes(V__HIT, V__INJ)))))))))))))	Cars.kif 3500-3524	If X is an instance of airbag, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an instance of automobile (3) X is a part of Y (4) Z is an instance of human (5) Y contains Z (6) W is an instance of impacting (7) Y is a patient of W (8) V is an instance of inflating (9) X is a patient of V (10) W causes V (11) V hinders the class described by U
! [V__X : $i] : ((s__instance(V__X, s__SeatBelt) => s__hasPurpose(V__X, ( ? [V__PERSON:$i, V__STOP:$i, V__VEHICLE:$i, V__M:$i] : ((s__instance(V__VEHICLE, s__Vehicle) & s__part(V__X, V__VEHICLE) & s__instance(V__PERSON, s__Human) & s__contains(V__VEHICLE, V__PERSON) & s__instance(V__STOP, s__Process) & s__prevents(V__STOP, s__KappaFn(V__M, (s__instance(V__M, s__Translocation) & s__patient(V__M, V__PERSON) & ( ? [V__COLLISION:$i] : (((s__instance(V__COLLISION, s__Decelerating) | s__instance(V__COLLISION, s__Impacting)) & s__experiencer(V__COLLISION, V__VEHICLE) & s__causes(V__COLLISION, V__M)))) & s__modalAttribute(( ? [V__INJ:$i, V__IMP:$i] : ((s__instance(V__INJ, s__Injuring) & s__instance(V__IMP, s__Impacting) & s__causes(V__M, V__INJ) & s__patient(V__INJ, V__PERSON) & s__subProcess(V__IMP, V__INJ)))), s__Possibility))))))))))	Cars.kif 3543-3572	If X is an instance of seat belt, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an instance of vehicle (3) X is a part of W (4) Y is an instance of human (5) W contains Y (6) Z is an instance of process (7) Z prevents the occurrence of the class described by V
! [V__H,V__PC] : (((s__instance(V__H,s__Object) &        s__instance(V__PC,s__Class) &        s__subclass(V__PC,s__Process))      =>      (s__attribute(V__H,s__InjuryCausedFn(V__PC))    =>    (? [V__I,V__P] :      ((s__instance(V__P,s__Process) &          (s__instance(V__I,s__Injuring) &            s__patient(V__I,V__H)          &          s__instance(V__P,V__PC)        &        s__causes(V__P,V__I))))))) )	Medicine.kif 393-400	If an injury caused by X is an attribute of Y, then there exist Z, W such that Z is an instance of injuring, Y is a patient of Z, W is an instance of X, and W causes Z
! [V__H] : ((s__instance(V__H,s__Object) =>      (s__attribute(V__H,s__Bruise) =>        (? [V__I,V__P] :          ((s__instance(V__I,s__Injuring) &              s__patient(V__I,V__H)            &            s__instance(V__P,s__Bleeding) &            s__causes(V__P,V__I)))))) )	Medicine.kif 415-422	If a hematoma is an attribute of X, then there exist Y, Z such that Y is an instance of injuring, X is a patient of Y, Z is an instance of bleeding, and Z causes Y
! [V__F : $i,V__H : $i,V__I : $i,V__PC : $i,V__V : $i] : (((s__instance(V__V, s__ViolentContest) & s__patient(V__V, V__H) & s__attribute(V__H, s__InjuryCausedFn(V__PC)) & s__attribute(V__H, s__ImpairedBodyPartFn(s__Airway))) => s__modalAttribute((s__subclass(V__PC, s__Combustion) | ( ? [V__FI] : ((s__instance(V__I, s__Injuring) & s__located(V__I, V__F) & s__instance(V__F, s__Face) & s__patient(V__I, V__H))))), s__Likely)))	Medicine.kif 676-693	If X is an instance of violent contest, Y is a patient of X, an injury caused by Z is an attribute of Y, and impaired body part fn airway is an attribute of Y, then the statement Z is a subclass of burning or there exists W such that V is an instance of injuring, V is located at U, U is an instance of face, and Y is a patient of V has the modal force of likely
! [V__CS : $i] : ((s__instance(V__CS, s__ChestSeal) => s__hasPurpose(V__CS, ( ? [V__C:$i, V__CH:$i, V__I:$i, V__H:$i] : ((s__instance(V__C, s__Closing) & s__instrument(V__C, V__CS) & s__located(V__C, V__CH) & s__instance(V__CH, s__Chest) & s__instance(V__H, s__HoleRegion) & V__CH = s__HoleHostFn(V__H) & s__instance(V__I, s__Injuring) & s__located(V__I, V__CH) & s__earlier(s__WhenFn(V__I), s__WhenFn(V__C))))))))	Medicine.kif 807-823	If X is an instance of chest seal, 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 closing (3) X is an instrument for Y (4) Y is located at Z (5) Z is an instance of chest (6) V is an instance of hole (7) equal Z (8) the host of the hole V (9) W is an instance of injuring (10) W is located at Z (11) the time of existence of W happens earlier than the time of existence of Y
! [V__SE : $i] : ((s__instance(V__SE, s__ShrapnelExplosion) => s__hasPurpose(V__SE, ( ? [V__P:$i] : (((s__instance(V__P, s__Injuring) | s__instance(V__P, s__Killing)) & s__causes(V__SE, V__P)))))))	Medicine.kif 6321-6329	If X is an instance of shrapnel explosion, then X has the purpose there exists Y such that Y is an instance of injuring or Y is an instance of killing and X causes Y
! [V__C : $i] : ((s__instance(V__C, s__CSGas) => s__hasPurpose(V__C, ( ? [V__INJ:$i, V__ORG:$i] : ((s__instance(V__INJ, s__Injuring) & s__instrument(V__INJ, V__C) & s__patient(V__INJ, V__ORG) & s__instance(V__ORG, s__Animal)))))))	MilitaryDevices.kif 1502-1510	If X is an instance of CS gas, then X has the purpose there exist Y, Z such that Y is an instance of injuring, X is an instrument for Y, Z is a patient of Y, and Z is an instance of animal
! [V__A : $i] : ((s__instance(V__A, s__Ambulance) => s__hasPurpose(V__A, ( ? [V__P:$i, V__T:$i, V__H:$i] : ((s__instance(V__P, s__Human) & (s__attribute(V__P, s__DiseaseOrSyndrome) | ( ? [V__I:$i] : ((s__instance(V__I, s__Injuring) & s__experiencer(V__I, V__H) & s__before(V__I, V__T))))) & s__instance(V__T, s__Transportation) & s__instrument(V__T, V__A) & s__patient(V__T, V__H)))))))	Transportation.kif 2061-2076	If X is an instance of ambulance, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of human (3) disease or syndrome is an attribute of Y or there exists V such that V is an instance of injuring (4) W experiences V (5) V happens before Z (6) Z is an instance of transportation (7) X is an instrument for Z (8) W is a patient of Z
! [V__G] : (((s__attribute(V__G,s__ToxicandInfectiousSubstance) &        (s__instance(V__G,s__Substance) |          s__instance(V__G,s__Microorganism)))      =>      (? [V__O,V__P,V__I,V__CLASS] :        ((s__instance(V__I,s__Process) &            s__instance(V__CLASS,s__Class) &            s__subclass(V__CLASS,s__Process) &            ((s__instance(V__O,s__Human) |                s__instance(V__O,s__Animal))              &              s__orientation(V__G,V__O,s__Near) &              (s__instance(V__P,s__Inhaling) |                s__instance(V__P,s__Ingesting) |                s__instance(V__P,s__Touching))              &              s__agent(V__P,V__O)            &            s__patient(V__P,V__G)          &          s__causes(V__P,V__I)        &        s__patient(V__I,V__O)      &      s__instance(V__I,V__CLASS)    &    s__capability(V__CLASS,s__resource,V__G) & (s__subclass(V__CLASS,s__Injuring) |    s__subclass(V__CLASS,s__Death))))))) )	Transportation.kif 4743-4767	If toxic and infectious substance is an attribute of X and X is an instance of substance or X is an instance of microorganism, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of human or Y is an instance of animal (3) X is near to Y (4) Z is an instance of inhaling or Z is an instance of ingesting or Z is an instance of touching (5) Y is an agent of Z (6) X is a patient of Z (7) Z causes W (8) Y is a patient of W (9) W is an instance of V (10) X is capable of doing V as a resource (11) V is a subclass of injuring or V is a subclass of death

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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners