TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11424-11424	Damaging is disjoint from repairing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3153-3154
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11425-11427
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11423-11423	Damaging is a subclass of internal change

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11602-11602	Breaking is a subclass of damaging
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11429-11429	Destruction is a subclass of damaging
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2655-2655	Forest damage is a subclass of damaging
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9835-9835	Injuring is a subclass of damaging
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 220-220	Sabotage is a subclass of damaging
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1160-1160
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1542-1542

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28276-28284	If a process is an instance of damaging and an entity is an instance of device and the entity is a patient of the process, then DeviceDamaged is an attribute of the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 228-235	If a process is an instance of damaging and an agent is an agent of the process and the process ends up at a cognitive agent and the cognitive agent is an instance of cognitive agent, then the cognitive agent believes dangerous is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 180-185	If a process is an instance of damaging and an object is an instrument for the process and the object is an instance of biologically active substance, then the object is an instance of toxin
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 35-43	If a military vehicle %is weapon carrying capability a kind of weapon for a positive integer and an object is an instance of a kind of weapon and the object is capable of doing a kind of process as a a case role and a kind of process is a subclass of shooting or the kind of process is a subclass of damaging, then the military vehicle is capable of doing the kind of process as a the case role

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9848-9855	A process is an instance of injuring if and only if 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.	Mid-level-ontology.kif 28476-28490	A process is performed in the manner Harmless if and only if the process is not an instance of damaging and there doesn't exist the process2 such that the process2 is an instance of damaging and the process2 is a subprocess of the process and there doesn't exist the process2 such that the process2 is an instance of damaging and the process causes the process2
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1632-1644	If an object is an instance of armor and the object is a part of another object or the object meets the other object, then the object purpose there doesn't exist an entity such that the entity is an instance of damaging and the object is an instrument for the entity and the other object experiences the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12479-12488	If a process is an instance of attack and an agent is an agent of the process and an entity is a patient of the process, then the process purpose there exists another entity such that the other entity is an instance of damaging and the entity is a patient of the other entity for the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12501-12510	If a process is an instance of defensive maneuver and an agent is an agent of the process, then the process purpose there doesn't exist an entity such that the entity is an instance of damaging and the agent is a patient of the entity for the agent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 618-630	If a process is an instance of precise destruction and an entity is a patient of the process, then the process purpose there doesn't exist another entity such that the other entity is an instance of damaging and the other entity is a subprocess of the process and a third entity is a patient of the other entity and the entity is not equal to the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1780-1794	If a device is an instance of gun and a length measure is an effective range of the device and the distance between the device and an object is the length measure1 and there doesn't exist the object2 such that the object2 is between the object and the device and the length measure1 is less than or equal to the length measure, then the device is capable of doing the class described by a symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11382-11390	If a process is an instance of repairing and an entity is a patient of the process, then there exists another process such that the other process is an instance of damaging and the entity is a patient of the other process and the time of existence of the other process happens earlier than the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 641-654	If an object is an instance of high precision weapon and the object is an instrument for a process and an entity is a patient of the process, then the object purpose there doesn't exist another entity such that the other entity is an instance of damaging and the other entity is a subprocess of the process and a third entity is a patient of the other entity and the entity is not equal to the third entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3685-3725	If an object is an instance of CarAlarm and another object is an instance of self powered road vehicle and the object is a part of the other object, then the object purpose if an entity is an instance of stealing or the entity is an instance of damaging and another entity is an instance of human and the other entity is an agent of the entity and the other object is a patient of the entity and the time of existence of the entity is equal to a third entity and the entity is partly located at a fourth entity, then there exists a fifth entity such that the fifth entity is an instance of radiating sound and the object is an agent of the fifth entity and the entity causes the fifth entity and the fifth entity purpose there exists a sixth entity such that the sixth entity is an instance of human and the sixth entity is near to the fourth entity holds during the third entity increases likelihood of the sixth entity knows there exists a seventh entity such that the seventh entity is an instance of stealing or the seventh entity is an instance of damaging and the seventh entity is partly located at the fourth entity and the other object is a patient of the seventh entity holds during the third entity or the time of existence of the fifth entity finishes the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27631-27642	If DeviceDamaged is an attribute of a time interval, then there exists the time intervalAM such that the time intervalAM is an instance of damaging and the time interval is a patient of the time intervalAM and there doesn't exist another time interval such that the other time interval is an instance of repairing and the time interval is a patient of the other time interval and the time interval happens earlier than the other time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27603-27615	If DeviceNormal is an attribute of a time interval, then there doesn't exist the time intervalAM such that the time intervalAM is an instance of damaging and the time interval is a patient of the time intervalAM and there doesn't exist another time interval such that the other time interval is an instance of repairing and the time interval is a patient of the other time interval and the time interval happens earlier than the other time interval
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5567-5576	If a physical is n% hazardous to an object, then the statement there exists an entity such that the entity is an instance of damaging and the object is a patient of the entity and the physical is an involved in event of the entity or the physical causes the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28385-28393	If Undamaged is an attribute of an entity holds during a time interval, then there doesn't exist a process such that the process is an instance of damaging and the entity is a patient of the process and the time of existence of the process happens earlier than the time interval
No TPTP formula. May not be expressible in strict first order.	WMD.kif 478-485	If a physical is an instance of blister agent, then the physical purpose there exist an entity and another entity such that the entity is an instance of damaging and the other entity is an instance of tissue and the other entity is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	WMD.kif 70-78	If a physical is an instance of biochemical attack, then the physical purpose there exist an entity and another entity such that the entity is an instance of damaging and the other entity is a patient of the entity and the physical causes the entity and the other entity is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15526-15534	If a physical is an instance of explosive device, then the physical purpose there exist an entity and another entity such that the entity is an instance of explosion and the physical is an instrument for the entity and the entity causes the other entity and the other entity is an instance of damaging
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13526-13528	If an object is an instance of explosion, then the object is capable of doing damaging as a instrument
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 976-990	If a physical is an instance of air attack missile, then the physical purpose there exist an entity, another entity and a third entity such that the physical is an instrument for the third entity and the entity is a patient of the third entity and the third entity is an instance of damaging and the other entity is an instance of atmospheric region and the physical is located at the other entity and the entity is located at the other entity holds during the beginning of the time of existence of the third entity
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1108-1121	If a physical is an instance of beam ridingG missile, then the physical purpose there exist an entity, another entity,, , a third entity and a fourth 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 and the fourth entity is an instrument for the third entity and the fourth entity is an instance of radar or the fourth entity is an instance of light fixture and the other entity is a patient of the third entity
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 999-1013	If a physical is an instance of ground attack missile, then the physical purpose there exist an entity, another entity and a third entity such that the physical is an instrument for the third entity and the entity is a patient of the third entity and the third entity is an instance of damaging and the other entity is an instance of geographic area and the physical is located at the other entity and the entity is located at the other entity holds during the beginning of the time of existence of the third entity
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 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 purpose there exist an entity, another entity and a third entity such that the entity is an instance of combustion 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 659-667	If a physical is an instance of anti armor weapon, then the physical 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 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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: