No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1079-1088	If a physical is an instance of infra redG missile, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of damaging and the physical is an instrument for the entity and the other entity is a patient of the entity and the third entity is an instance of radiating infrared and the other entity is an agent of the third entity
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1278-1288	If a physical is an instance of molotov cocktail, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of burning and the other entity is an instance of damaging and the physical is an instrument for the entity and the physical is an instrument for the other entity and the third entity is a patient of the entity and the third entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2120-2126	If a physical is an instance of shrapnel, then the physical has the purpose there exists an entity such that the entity is an instance of damaging and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2070-2077	If an entity is an instance of tornado damage, then there exist a process and another process such that the process is an instance of tornado and the other process is an instance of damaging and the process causes the other process and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 659-667	If a physical is an instance of anti armor weapon, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of damaging 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 armor
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 874-882	If a physical is an instance of anti tank weapon, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of damaging 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 armored vehicle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16028-16030	If an object is an instance of weapon, then the object is capable of doing damaging as a instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16032-16039	If a physical is an instance of weapon, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of damaging and the physical is an instrument for the entity and the other entity is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18421-18442	If a physical is an instance of protecting, then the physical has the purpose there exist an entity, another entity,, , a third entity and the third entityARM such that the entity is an instance of object and object is a patient of the physical and the third entityARM is a subclass of the class described by the third entity and the physical prevents the occurrence of the third entityARM or the physical hinders the third entityARM
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7189-7197	If an entity is an instance of sulphur dioxide, then the statement there exist another entity and a third entity such that the other entity is an instance of damaging and the third entity is an instance of human and the entity is an instrument for the other entity and the third entity is a patient of the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2519-2534	If acid rainfall is a patient of a process, then the statement there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of damaging and the process causes the entity and the process is an instrument for the entity and the other entity is an instance of organism and the third entity is an instance of stationary artifact and the fourth entity is an instance of outdoors and the third entity is located at the fourth entity and the other entity is located at the fourth entity and the other entity is a patient of the entity or the third entity is a patient of the entity has the modal force of possibility

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