| 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 9852-9854 | |
| (subclass Injuring Damaging) | Merge.kif 9850-9850 | |
| (subclass Injuring PathologicProcess) | Merge.kif 9849-9849 |
| appearance as argument number 2 |
|
|
| (subclass Poisoning Injuring) | Merge.kif 9872-9872 | |
| (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 9863-9870 | |
| (=> (instance ?INJ Injuring) (exists (?STRUCT) (and (instance ?STRUCT AnatomicalStructure) (patient ?INJ ?STRUCT)))) |
Merge.kif 9856-9861 |
| 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 26923-26943 | |
| (=> (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 17754-17759 | |
| (=> (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 8141-8146 | |
| (=> (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 5508-5514 |
|
|
|