TreeView Knowledge Base Browser - Injuring

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 10347-10349
(subclass Injuring Damaging)	Merge.kif 10345-10345	subclass Injuring and Damaging
(subclass Injuring PathologicProcess)	Merge.kif 10344-10344	subclass Injuring and PathologicProcess

appearance as argument number 2

(subclass Poisoning Injuring)	Merge.kif 10374-10374	subclass Poisoning and Injuring
(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 10358-10365	instance Process and Injuring instance Process and Damaging Entity instance Entity and Organism patient Process and Entity
(=> (instance ?INJ Injuring) (exists (?STRUCT) (and (instance ?STRUCT AnatomicalStructure) (patient ?INJ ?STRUCT))))	Merge.kif 10351-10356	instance Process and Injuring Entity instance Entity and AnatomicalStructure patient Process and Entity

consequent

(=> (and (instance ?INJ Damaging) (instance ?ORGANISM Organism) (patient ?INJ ?ORGANISM)) (instance ?INJ Injuring))	Merge.kif 10367-10372	instance Process and Damaging instance Entity and Organism patient Process and Entity instance Process and Injuring
(=> (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 30211-30231	holdsDuring TimePosition and attribute entity and SafetyPosition holdsDuring TimePosition and hasPurpose entity and entity entity instance entity and Human instance entity and Process patient entity and entity agent entity and entity prevents entity and KappaFn entity and instance entity and Injuring holdsDuring TimePosition and experiencer entity and entity holdsDuring TimePosition and patient entity and entity
(=> (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 1906-1921	instance Physical and Ambulance hasPurpose Physical and entity entity instance entity and Human attribute entity and DiseaseOrSyndrome entity instance entity and Injuring experiencer entity and entity before entity and entity instance entity and Transportation instrument entity and Physical patient entity and entity
(=> (instance ?BLEED Bleeding) (exists (?INJURY) (and (instance ?INJURY Injuring) (causes ?INJURY ?BLEED))))	Mid-level-ontology.kif 20783-20788	instance Process and Bleeding Process instance Process and Injuring causes Process and 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	instance Physical and CSGas hasPurpose Physical and entity entity instance entity and Injuring instrument entity and Physical patient entity and entity instance entity and 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	instance Physical and HearingProtection hasPurpose Physical and instance entity and Human entity は % を wears %n{ない} entity entity instance entity and Process subclass entity and KappaFn entity and instance entity and Injuring entity entity and entity instance entity and RadiatingSound instance entity and Hearing instance entity and Human patient entity and entity experiencer entity and entity causes entity and entity experiencer entity and entity holdsDuring entity and experiencer entity and entity holdsDuring entity and patient entity and entity prevents entity and entity instrument entity and Physical
(=> (instance ?L Lesion) (exists (?I) (and (instance ?I Injuring) (result ?I ?L))))	Mid-level-ontology.kif 9032-9037	instance Entity and Lesion Process instance Process and Injuring result Process and Entity
(=> (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 Physical and ProtectiveEyewear hasPurpose Physical and instance PhysicalRSON and Human PhysicalRSON は % を wears %n{ない} entity entity and entity instance entity and Process instrument entity and Physical subclass entity and KappaFn entity and entity instance entity and Injuring instance entity and Eye instance entity and Human properPart entity and entity patient entity and entity holdsDuring entity and patient entity and PhysicalRSON holdsDuring entity and patient entity and PhysicalRSON prevents entity and 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 1437-1457	instance Physical and Shield hasPurpose Physical and entity entity instance entity and Protecting instrument entity and Physical instance entity and Human patient entity and entity prevents entity and KappaFn entity and instance entity and Injuring entity instance entity and Weapon instrument entity and entity patient entity and entity patient entity and 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	instance Physical and SafetyHarness hasPurpose Physical and instance entity and Animal entity は % を wears %n{ない} entity entity instance entity and Process instrument entity and Physical patient entity and entity subclass entity and KappaFn entity and instance entity and Injuring entity entity instance entity and Human experiencer entity and entity instance entity and Falling experiencer entity and entity causes entity and entity holdsDuring entity and experiencer entity and entity holdsDuring entity and patient entity and entity prevents entity and 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	instance Physical and SafetyVest hasPurpose Physical and entity entity instance entity and Animal instance entity and Human increasesLikelihood entity は % を wears %n{ない} and entity instance entity and Seeing patient entity and entity experiencer entity and entity decreasesLikelihood entity instance entity and Seeing patient entity and entity experiencer entity and entity and entity instance entity and Injuring agent entity and entity patient entity and 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	instance Physical and AutoAirbag hasPurpose Physical and entity entity, entity and entity instance entity and Automobile part Physical and entity instance entity and Human entity は entity を contains %n{ない} instance entity and Impacting patient entity and entity instance entity and Inflating patient entity and Physical causes entity and entity hinders entity and KappaFn entity and instance entity and Injuring experiencer entity and entity entity instance entity and Impacting destination entity and entity experiencer entity and entity causes entity and 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	instance Physical and Respirator hasPurpose Physical and instance entity and Animal entity は % を wears %n{ない} entity entity and entity instance entity and Process instrument entity and Physical prevents entity and entity subclass entity and KappaFn entity and instance entity and Injuring entity instance entity and Human patient entity and entity instance entity and Inhaling agent entity and entity causes entity and 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	instance Physical and SafetyDevice hasPurpose Physical and entity entity instance entity and Human instance entity and Process patient entity and entity instrument entity and Physical prevents entity and KappaFn entity and instance entity and Injuring holdsDuring entity and experiencer entity and entity holdsDuring entity and patient entity and 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	instance Physical and SeatBelt hasPurpose Physical and entity entity and entity instance entity and Vehicle part Physical and entity instance entity and Human entity は entity を contains %n{ない} instance entity and Process prevents entity and KappaFn entity and instance entity and Translocation patient entity and entity entity instance entity and Decelerating instance entity and Impacting experiencer entity and entity causes entity and entity modalAttribute entity entity instance entity and Injuring instance entity and Impacting causes entity and entity patient entity and entity subProcess entity and entity and Possibility
(=> (parasite ?O1 ?O2) (exists (?I) (and (instance ?I Injuring) (agent ?I ?O1) (patient ?I ?O2))))	Mid-level-ontology.kif 5991-5997	parasite Organism and Organism Process instance Process and Injuring agent Process and Organism patient Process and Organism

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