Injuring - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2925-2926
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10488-10490
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1675-1676
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10486-10486	Injuring is a subclass of damaging
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10485-10485	Injuring is a subclass of pathologic process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10515-10515	Poisoning is a subclass of injuring
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1089-1089	Poisoning is a subclass of injuring
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1389-1389	Poisoning is a subclass of injuring
No TPTP formula. May not be expressible in strict first order.	french_format.kif 767-767	Poisoning is a subclass of injuring
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 299-299	Poisoning is a subclass of injuring
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 302-302	Poisoning is a subclass of injuring
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2451-2451	Poisoning is a subclass of injuring
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 719-719	Poisoning is a subclass of injuring
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 304-304	Poisoning is a subclass of injuring
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 338-338	Poisoning is a subclass of injuring
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 597-597	Poisoning is a subclass of injuring
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 788-788	Poisoning is a subclass of injuring
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 303-303	Poisoning is a subclass of injuring

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 104-111	If a process is an instance of injuring and an agent experiences the process, then injury is an attribute of the agent holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10499-10506	If a process is an instance of injuring, then 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10492-10497	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

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4197-4221	If toxic and infectious substance is an attribute of an object and the object is an instance of substance or the object is an instance of microorganism, then there exist an agent, a process,, , another process and a third kind of process such that the agent is an instance of human or the agent is an instance of animal and the object is near to the agent and the process is an instance of inhaling or the process is an instance of ingesting or the process is an instance of touching and the agent is an agent of the process and the object is a patient of the process and the process causes the other process and the agent is a patient of the other process and the other process is an instance of a third kind of process and the object is capable of doing the third kind of process as a resource and the third kind of process is a subclass of injuring or the third kind of process is a subclass of death
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3508-3537	If a wearable item is an instance of hearing protection and an animal is an instance of human and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the other entity is a subclass of the class described by the third entity and the entity prevents the occurrence of the other entity and the wearable item is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10508-10513	If a process is an instance of damaging and an entity is an instance of organism and the entity is a patient of the process, then the process is an instance of injuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3450-3478	If a wearable item is an instance of safety harness and an animal is an instance of animal and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the wearable item is an instrument for the entity and the animal is a patient of the entity and the other entity is a subclass of the class described by the third entity and the entity prevents the occurrence of the other entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 686-703	If a process is an instance of violent contest and an object is a patient of the process and an injury caused by another kind of process is an attribute of the object and impaired body part fn airway is an attribute of the object, then the statement another kind of process is a subclass of burning or there exists an entity such that another entity is an instance of injuring and the other entity is located at a third entity and the third entity is an instance of face and the object is a patient of the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3592-3613	If a wearable item is an instance of respirator and an animal is an instance of animal and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an instance of process and the wearable item is an instrument for the third entity and the third entity prevents the occurrence of the other entity and the other entity is a subclass of the class described by the fourth entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 391-398	If an injury caused by a kind of process is an attribute of an object, then there exist another process and a third process such that the other process is an instance of injuring and the object is a patient of the other process and the third process is an instance of a kind of process and the third process causes the other process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 413-420	If a hematoma is an attribute of an object, then there exist a process and another process such that the process is an instance of injuring and the object is a patient of the process and the other process is an instance of bleeding and the other process causes the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31650-31670	If safety position is an attribute of an entity holds during a time position, then the entity has the purpose there exist another entity, a third entity,, , a fourth entity and the time position2 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 the fourth entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2046-2061	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 exist a third entity and a fourth entity such that the third entity is an instance of injuring and the 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22300-22305	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 816-832	If a physical is an instance of chest seal, then the physical has the purpose there exist an entity, the entityH,, , a third entity and a fourth entity such that the entity is an instance of closing and the physical is an instrument for the entity and the entity is located at the entityH and the entityH is an instance of chest and the fourth entity is an instance of hole and the entityH is equal to the host of the hole the fourth entity and the third entity is an instance of injuring and the third entity is located at the entityH and the time of existence of the third entity happens earlier than the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10213-10218	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3543-3570	If a physical is an instance of protective eyewear, then the physical has the purpose if there exists the physicalRSON such that the physicalRSON is an instance of human and the physicalRSON wears the physical, then there exist another entity, a third entity,, , a fourth entity,, , a fifth entity and a sixth 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 the fifth entity and the other entity prevents the occurrence of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1465-1485	If a physical is an instance of shield, then the physical has the purpose there exist an entity, another entity and a third 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 the third entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6274-6282	If a physical is an instance of shrapnel explosion, then the physical has the purpose there exists an entity such that the entity is an instance of injuring or the entity is an instance of killing and the physical causes the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3619-3643	If a physical is an instance of safety vest, 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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3693-3717	If a physical is an instance of airbag, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth 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 the fifth entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3416-3434	If a physical is an instance of safety device, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth 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 the third entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3736-3765	If a physical is an instance of seat belt, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth 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 the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6760-6766	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

KB Term:			Term intersection

English Word: