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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 9994-9996
(subclass Injuring Damaging) Merge.kif 9992-9992
(subclass Injuring PathologicProcess) Merge.kif 9991-9991

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


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

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


(<=>
    (instance ?INJ Injuring)
    (and
        (instance ?INJ Damaging)
        (exists (?ORGANISM)
            (and
                (instance ?ORGANISM Organism)
                (patient ?INJ ?ORGANISM)))))
Merge.kif 10005-10012
(=>
    (instance ?INJ Injuring)
    (exists (?STRUCT)
        (and
            (instance ?STRUCT AnatomicalStructure)
            (patient ?INJ ?STRUCT))))
Merge.kif 9998-10003

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


(=>
    (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 28676-28696
(=>
    (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 19328-19333
(=>
    (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 3462-3492
(=>
    (instance ?L Lesion)
    (exists (?I)
        (and
            (instance ?I Injuring)
            (result ?I ?L))))
Mid-level-ontology.kif 8502-8507
(=>
    (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 3499-3525
(=>
    (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 1409-1429
(=>
    (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 3403-3432
(=>
    (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 3575-3599
(=>
    (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 3649-3673
(=>
    (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 3546-3568
(=>
    (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 3369-3387
(=>
    (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 3692-3721
(=>
    (parasite ?O1 ?O2)
    (exists (?I)
        (and
            (instance ?I Injuring)
            (agent ?I ?O1)
            (patient ?I ?O2))))
Mid-level-ontology.kif 5702-5708


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