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 9994-9996
(subclass Injuring Damaging)	Merge.kif 9992-9992	Injuring is a subclass of damaging
(subclass Injuring PathologicProcess)	Merge.kif 9991-9991	Injuring is a subclass of pathologic process

appearance as argument number 2

(subclass Poisoning Injuring)	Merge.kif 10014-10014	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 10005-10012	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 9998-10003	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

(=> (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 29405-29425	If safety position is an attribute of an entity holds during a time position, then the entity has the purpose there exist another entity and a third entity such that the third entity is an instance of human and the other entity is an instance of process and the third entity is a patient of the other entity and the entity is an agent of the other entity and the other entity prevents the occurrence of the class described by a fourth entity holds during the time position
(=> (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	If a physical is an instance of ambulance, then the physical has the 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 19998-20003	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 has the 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 3448-3478	If a physical is an instance of hearing protection, then the physical has the purpose if an entity is an instance of human and the entity wears the physical, 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 8806-8811	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 3485-3511	If a physical is an instance of protective eyewear, then the physical has the purpose if the physicalRSON is an instance of human and the physicalRSON wears the physical, 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 1409-1429	If a physical is an instance of shield, then the physical has the 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 3389-3418	If a physical is an instance of safety harness, then the physical has the purpose if an entity is an instance of animal and the entity wears the physical, 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 3562-3586	If a physical is an instance of SafetyVest, then the physical has the 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 the physical 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 3636-3660	If a physical is an instance of airbag, then the physical has the 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 contains the other entity 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 3533-3555	If a physical is an instance of respirator, then the physical has the purpose if an entity is an instance of animal and the entity wears the physical, 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 3355-3373	If a physical is an instance of safety device, then the physical has the 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 3679-3708	If a physical is an instance of seat belt, then the physical has the 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 contains the entity 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 5910-5916	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