Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Injuring

Sigma KEE - Injuring
Injuring

appearance as argument number 1
-------------------------


(documentation Injuring ChineseLanguage "导致外伤性的创伤或伤害。因为 Injuring 不可能不对生物 的某些物理功能造成伤害,所以它属于 BiologicalProcess 的子类别。") chinese_format.kif 2925-2926
(documentation Injuring EnglishLanguage "The process of creating a traumatic wound or injury. Since Injuring is not possible without some biologic function of the organism being injured, it is a subclass of BiologicalProcess.") Merge.kif 10334-10336
(subclass Injuring Damaging) Merge.kif 10332-10332
(subclass Injuring PathologicProcess) Merge.kif 10331-10331

appearance as argument number 2
-------------------------


(subclass Poisoning Injuring) Merge.kif 10361-10361
(termFormat ChineseLanguage Injuring "受伤") chinese_format.kif 1089-1089
(termFormat EnglishLanguage Injuring "injuring") english_format.kif 1389-1389

antecedent
-------------------------


(=>
    (instance ?INJ Injuring)
    (and
        (instance ?INJ Damaging)
        (exists (?ORGANISM)
            (and
                (instance ?ORGANISM Organism)
                (patient ?INJ ?ORGANISM)))))
Merge.kif 10345-10352
(=>
    (instance ?INJ Injuring)
    (exists (?STRUCT)
        (and
            (instance ?STRUCT AnatomicalStructure)
            (patient ?INJ ?STRUCT))))
Merge.kif 10338-10343

consequent
-------------------------


(=>
    (and
        (instance ?INJ Damaging)
        (instance ?ORGANISM Organism)
        (patient ?INJ ?ORGANISM))
    (instance ?INJ Injuring))
Merge.kif 10354-10359
(=>
    (holdsDuring ?T
        (attribute ?X SafetyPosition))
    (holdsDuring ?T
        (hasPurpose ?X
            (exists (?P ?H)
                (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 30085-30105
(=>
    (instance ?A Ambulance)
    (hasPurpose ?A
        (exists (?P ?T)
            (and
                (instance ?P Human)
                (or
                    (attribute ?P DiseaseOrSyndrome)
                    (exists (?I)
                        (and
                            (instance ?I Injuring)
                            (experiencer ?I ?H)
                            (before ?I ?T))))
                (instance ?T Transportation)
                (instrument ?T ?A)
                (patient ?T ?H)))))
Transportation.kif 1914-1929
(=>
    (instance ?BLEED Bleeding)
    (exists (?INJURY)
        (and
            (instance ?INJURY Injuring)
            (causes ?INJURY ?BLEED))))
Mid-level-ontology.kif 20679-20684
(=>
    (instance ?C CSGas)
    (hasPurpose ?C
        (exists (?INJ ?ORG)
            (and
                (instance ?INJ Injuring)
                (instrument ?INJ ?C)
                (patient ?INJ ?ORG)
                (instance ?ORG Animal)))))
MilitaryDevices.kif 1345-1353
(=>
    (instance ?HP HearingProtection)
    (hasPurpose ?HP
        (=>
            (and
                (instance ?PERSON Human)
                (wears ?PERSON ?HP))
            (exists (?PROC ?INJ)
                (and
                    (instance ?PROC Process)
                    (subclass ?INJ
                        (KappaFn ?I
                            (and
                                (instance ?I Injuring)
                                (exists (?SOUND ?HEAR ?HUMAN)
                                    (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 3448-3478
(=>
    (instance ?L Lesion)
    (exists (?I)
        (and
            (instance ?I Injuring)
            (result ?I ?L))))
Mid-level-ontology.kif 8985-8990
(=>
    (instance ?PE ProtectiveEyewear)
    (hasPurpose ?PE
        (=>
            (and
                (instance ?PERSON Human)
                (wears ?PERSON ?PE))
            (exists (?PROTECT ?EYE ?INJ)
                (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 3485-3511
(=>
    (instance ?S Shield)
    (hasPurpose ?S
        (exists (?P ?H)
            (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 1427-1447
(=>
    (instance ?SH SafetyHarness)
    (hasPurpose ?SH
        (=>
            (and
                (instance ?PERSON Animal)
                (wears ?PERSON ?SH))
            (exists (?PROC ?INJ)
                (and
                    (instance ?PROC Process)
                    (instrument ?PROC ?SH)
                    (patient ?PROC ?PERSON)
                    (subclass ?INJ
                        (KappaFn ?I
                            (and
                                (instance ?I Injuring)
                                (exists (?F ?H)
                                    (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 3389-3418
(=>
    (instance ?SV SafetyVest)
    (hasPurpose ?SV
        (exists (?PERSON ?SPECTATOR)
            (and
                (instance ?PERSON Animal)
                (instance ?SPECTATOR Human)
                (increasesLikelihood
                    (wears ?PERSON ?SV)
                    (exists (?SEE)
                        (and
                            (instance ?SEE Seeing)
                            (patient ?SEE ?PERSON)
                            (experiencer ?SEE ?SPECTATOR))))
                (decreasesLikelihood
                    (exists (?SEE)
                        (and
                            (instance ?SEE Seeing)
                            (patient ?SEE ?PERSON)
                            (experiencer ?SEE ?SPECTATOR)))
                    (exists (?INJ)
                        (and
                            (instance ?INJ Injuring)
                            (agent ?INJ ?SPECTATOR)
                            (patient ?INJ ?PERSON))))))))
Cars.kif 3562-3586
(=>
    (instance ?X AutoAirbag)
    (hasPurpose ?X
        (exists (?CAR ?PERSON ?IMP ?INF)
            (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 3636-3660
(=>
    (instance ?X Respirator)
    (hasPurpose ?X
        (=>
            (and
                (instance ?PERSON Animal)
                (wears ?PERSON ?X))
            (exists (?INHAL ?INJ ?PROTECT)
                (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 3533-3555
(=>
    (instance ?X SafetyDevice)
    (hasPurpose ?X
        (exists (?P ?H)
            (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 3355-3373
(=>
    (instance ?X SeatBelt)
    (hasPurpose ?X
        (exists (?PERSON ?STOP ?VEHICLE)
            (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 3679-3708
(=>
    (parasite ?O1 ?O2)
    (exists (?I)
        (and
            (instance ?I Injuring)
            (agent ?I ?O1)
            (patient ?I ?O2))))
Mid-level-ontology.kif 5958-5964


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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