Injuring - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Injuring

Injuring(injuring)

Meckel's_diverticulum, abacinate, abarticulation, abrasion, accidental_injury, animalise, animalize, antibiosis, atrocity, barbarism, barbarity, battle-scarred, bee_sting, birth_trauma, bite, black-and-blue, black_eye, blast_trauma, blighty_wound, blister, blunt_trauma, break, broken-backed, bruise, bruising, brutalise, brutality, brutalize, bump, burn, capillary_fracture, chafe, chafing, child_abuse, child_neglect, closed_fracture, colpocele, colpocystocele, combat_injury, comminuted_fracture, complete_fracture, compound_fracture, compression_fracture, concussion, contuse, contusion, cripple, crucifixion, cruelty, crush...

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 9849-9851
(subclass Injuring Damaging)	Merge.kif 9847-9847	Injuring is a subclass of damaging
(subclass Injuring PathologicProcess)	Merge.kif 9846-9846	Injuring is a subclass of pathologic process

appearance as argument number 2

(subclass Poisoning Injuring)	Merge.kif 9869-9869	Poisoning is a subclass of injuring
(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 9860-9867	A process is an instance of injuring if and only if the process is an instance of damaging and there exists an entity such that the entity is an instance of organism and the entity is a patient of the process
(=> (instance ?INJ Injuring) (exists (?STRUCT) (and (instance ?STRUCT AnatomicalStructure) (patient ?INJ ?STRUCT))))	Merge.kif 9853-9858	If a process is an instance of injuring, then there exists an entity such that the entity is an instance of anatomical structure and the entity is a patient of the process

consequent

(=> (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 1896-1911	If a physical is an instance of ambulance, then the physical purpose there exist an entity and another entity such that the entity is an instance of human and disease or syndrome is an attribute of the entity or there exists a third entity such that the third entity is an instance of injuring and a fourth entity experiences the third entity and the third entity happens before the other entity and the other entity is an instance of transportation and the physical is an instrument for the other entity and the fourth entity is a patient of the other entity
(=> (instance ?BLEED Bleeding) (exists (?INJURY) (and (instance ?INJURY Injuring) (causes ?INJURY ?BLEED))))	Mid-level-ontology.kif 19073-19078	If a process is an instance of bleeding, then there exists another process such that the other process is an instance of injuring and the other process causes the process
(=> (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	If a physical is an instance of CS gas, then the physical purpose there exist an entity and another entity such that the entity is an instance of injuring and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of animal
(=> (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 3423-3453	If a physical is an instance of hearing protection, then the physical purpose if an entity is an instance of human and the entity は % を wears %n{ない}, then there exist another entity and a third entity such that the other entity is an instance of process and the third entity is a subclass of the class described by a fourth entity and the other entity prevents the occurrence of the third entity and the physical is an instrument for the other entity
(=> (instance ?L Lesion) (exists (?I) (and (instance ?I Injuring) (result ?I ?L))))	Mid-level-ontology.kif 8993-8998	If an entity is an instance of lesion, then there exists a process such that the process is an instance of injuring and the entity is a result of the process
(=> (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 3460-3486	If a physical is an instance of protective eyewear, then the physical purpose if the physicalRSON is an instance of human and the physicalRSON は % を wears %n{ない}, then there exist another entity, a third entity and a fourth 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 a fifth entity and the other entity prevents the occurrence of the fourth entity
(=> (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 1873-1893	If a physical is an instance of shield, then the physical purpose there exist an entity and another 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 a third entity
(=> (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 3364-3393	If a physical is an instance of safety harness, then the physical purpose if an entity is an instance of animal and the entity は % を wears %n{ない}, then there exist another entity and a third entity such that the other entity is an instance of process and the physical is an instrument for the other entity and the entity is a patient of the other entity and the third entity is a subclass of the class described by a fourth entity and the other entity prevents the occurrence of the third entity
(=> (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 3536-3560	If a physical is an instance of SafetyVest, then the physical purpose there exist an entity and another entity such that the entity is an instance of animal and the other entity is an instance of human and the entity は % を wears %n{ない} increases likelihood of there exists a third entity such that the third entity is an instance of seeing and the entity is a patient of the third entity and the other entity experiences the third entity and there exists the third entity such that the third entity is an instance of seeing and the entity is a patient of the third entity and the other entity experiences the third entity decreases likelihood of there exists a fourth entity such that the fourth entity is an instance of injuring and the other entity is an agent of the fourth entity and the entity is a patient of the fourth entity
(=> (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 3607-3631	If a physical is an instance of airbag, then the physical purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of automobile and the physical is a part of the entity and the other entity is an instance of human and the entity は the other entity を contains %n{ない} and the third entity is an instance of impacting and the entity is a patient of the third entity and the fourth entity is an instance of inflating and the physical is a patient of the fourth entity and the third entity causes the fourth entity and the fourth entity hinders the class described by a fifth entity
(=> (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 3507-3529	If a physical is an instance of respirator, then the physical purpose if an entity is an instance of animal and the entity は % を wears %n{ない}, then there exist another entity, a third entity and a fourth entity such that the fourth entity is an instance of process and the physical is an instrument for the fourth entity and the fourth entity prevents the occurrence of the third entity and the third entity is a subclass of the class described by a fifth entity
(=> (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 3330-3348	If a physical is an instance of safety device, then the physical purpose there exist an entity and another 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 a third entity
(=> (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 3650-3679	If a physical is an instance of seat belt, then the physical purpose there exist an entity, another entity and a third 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 は the entity を contains %n{ない} and the other entity is an instance of process and the other entity prevents the occurrence of the class described by a fourth entity
(=> (parasite ?O1 ?O2) (exists (?I) (and (instance ?I Injuring) (agent ?I ?O1) (patient ?I ?O2))))	Mid-level-ontology.kif 6108-6114	If an organism is a parasite of another organism, then there exists a process such that the process is an instance of injuring and the other organism is an agent of the process and the organism is a patient of the process

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