TreeView 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 10451-10453
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 10449-10449	Injuring is a subclass of damaging
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10448-10448	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 10478-10478	Poisoning is a subclass of injuring
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1089-1089
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1389-1389
No TPTP formula. May not be expressible in strict first order.	french_format.kif 767-767
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 299-299
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 302-302
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2451-2451
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 719-719
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 304-304
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 338-338
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 788-788
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 303-303

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 10462-10469	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 10455-10460	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.	Cars.kif 3455-3484	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 10471-10476	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 3397-3425	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 698-715	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 3539-3560	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 403-410	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 425-432	If 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 30695-30715	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 1906-1921	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 21381-21386	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 828-844	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 9388-9393	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 3490-3517	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 1472-1492	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 6290-6298	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 3566-3590	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 3640-3664	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 3363-3381	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 3683-3712	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 6283-6289	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 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

KB Term:			Term intersection

English Word: