Killing - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3157-3158
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12363-12365
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12362-12362	Killing is a subclass of destruction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19175-19175	Execution is a subclass of killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18991-18991	Harvesting is a subclass of killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22982-22982	Lynching is a subclass of killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19362-19362	Murder is a subclass of killing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2788-2788	Poaching is a subclass of killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19408-19408	Starving is a subclass of killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19373-19373	Suffocating is a subclass of killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19193-19193	Suicide is a subclass of killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23035-23035	Suicide bombing is a subclass of killing
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 243-243	Udhiyah ritual is a subclass of killing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1162-1162	Udhiyah ritual is a subclass of killing
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1541-1541	Udhiyah ritual is a subclass of killing
No TPTP formula. May not be expressible in strict first order.	french_format.kif 840-840	Udhiyah ritual is a subclass of killing
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 372-372	Udhiyah ritual is a subclass of killing
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 375-375	Udhiyah ritual is a subclass of killing
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2524-2524	Udhiyah ritual is a subclass of killing
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 792-792	Udhiyah ritual is a subclass of killing
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 377-377	Udhiyah ritual is a subclass of killing
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 411-411	Udhiyah ritual is a subclass of killing
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 670-670	Udhiyah ritual is a subclass of killing
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 861-861	Udhiyah ritual is a subclass of killing
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 376-376	Udhiyah ritual is a subclass of killing

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12367-12374	If a process is an instance of killing and an agent is an agent of the process and an entity is a patient of the process, then the agent is an instance of organism and the entity is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12384-12392	If a process is an instance of killing and an agent is a patient of the process, then there exists another process such that the other process is an instance of death and the agent experiences the other process and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12376-12382	If a process is an instance of killing and an entity is a patient of the process, then living is an attribute of the entity holds during the beginning of the time of existence of the process and dead is an attribute of the entity holds during after the time of existence of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1410-1429	If a device is an instance of gun and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an effective range of the device and the distance between the device and an object is the real number1 the unit of measure(s) and the object is an instance of organism and there doesn't exist the object2 such that the object2 is between the object and the device and the real number1 is less than or equal to the real number, then there exists a symbolic string such that the device is capable of doing the class described by the symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12981-12991	If a process is an instance of hunting and an entity is a patient of the process, then the process has the purpose there exists the entityROC such that the entity is a patient of the entityROC and the entityROC is an instance of confining or the entityROC is an instance of killing
No TPTP formula. May not be expressible in strict first order.	naics.kif 50-72	If a collection is an instance of organization and agriculture forestry fishing and hunting is an attribute of the collection, then there exist a process and an agent such that the agent is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the process is an instance of killing or the process is an instance of maintaining and the entity is a patient of the process and the entity is an instance of animal or the entity is an instance of plant and the entity is not an instance of human and the agent2 is a member of the collection and the process2 is an instance of selling and the agent2 is an agent of the process2 and the entity is a patient of the process2
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1013-1015	If an object is an instance of life threatening agent, then the object is capable of doing killing as a instrument
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1264-1272	If an object is an instance of antibiotic, then there exist a symbolic string and an entity such that the object is capable of doing the class described by the symbolic string as a agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12394-12396	If an object is an instance of organism, then the object is capable of doing killing as a agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12398-12400	If an object is an instance of organism, then the object is capable of doing killing as a patient
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.	Mid-level-ontology.kif 2219-2229	If a physical is an instance of toothbrush, then the physical has the purpose there exist an entity, another entity and the physicalOOTH such that the physicalOOTH is an instance of tooth and the physical is an instrument for the entity and the entity is an instance of killing and the other entity is an instance of bacterium and the other entity is a patient of the entity and the physicalOOTH is a patient of the entity

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: