TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12421-12421	Damaging is disjoint from repairing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3153-3154	Damaging is disjoint from repairing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12422-12424	Damaging is disjoint from repairing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12420-12420	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 12652-12652	Breaking is a subclass of damaging
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12426-12426	Destruction is a subclass of damaging
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2840-2840	Forest damage is a subclass of damaging
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10565-10565	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	Sabotage is a subclass of damaging
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1537-1537	Sabotage is a subclass of damaging
No TPTP formula. May not be expressible in strict first order.	french_format.kif 838-838	Sabotage is a subclass of damaging
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 370-370	Sabotage is a subclass of damaging
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 373-373	Sabotage is a subclass of damaging
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2522-2522	Sabotage is a subclass of damaging
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 790-790	Sabotage is a subclass of damaging
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 375-375	Sabotage is a subclass of damaging
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 409-409	Sabotage is a subclass of damaging
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 668-668	Sabotage is a subclass of damaging
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 859-859	Sabotage is a subclass of damaging
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 374-374	Sabotage is a subclass of damaging

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31971-31979	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 device damaged 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.	Merge.kif 10587-10592	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.	MilitaryDevices.kif 35-43	If weapon carrying capability a military vehicle, a kind of weapon and 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.	Mid-level-ontology.kif 32214-32228	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.	Merge.kif 13563-13572	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 has the 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.	Medicine.kif 80-94	If a process is an instance of bleeding and an agent experiences the process, then there exist an object and another process such that the object is an instance of vein or the object is an instance of artery and the object is a part of the agent and the other process is an instance of damaging and the time of existence of the other process happens earlier than the time of existence of the process and the object is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13585-13594	If a process is an instance of defensive maneuver and an agent is an agent of the process, then the process has the 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 has the purpose there don't exist another entity and a third entity such that the other entity is an instance of damaging and the other entity is a subprocess of the process and the third entity is a patient of the other entity and equal the entity and the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1612-1630	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 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.	Mid-level-ontology.kif 9806-9816	If an object is an instance of poison and a motion is an instance of ingesting and the object moves during the motion and an agent experiences the motion, then there exists a process such that the process is an instance of damaging and the agent experiences the process and the motion causes the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12379-12387	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.	Mid-level-ontology.kif 12336-12346	If a process is an instance of sunburn and an agent experiences the process, then there exist another process and the processKIN such that the other process is an instance of damaging and sol is an instrument for the other process and the processKIN is an instance of skin and the processKIN is a part of the agent and the processKIN is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2829-2844	If a self connected object is an instance of ship container and a real number an unit of measure(s) is a capacity of the self connected object and the real number is an instance of unit of mass and the self connected object contains another self connected object and another real number the unit of measure(s) is a weight of the other self connected object and the other real number is less than the real number, then the statement there doesn't exist an entity such that the entity is an instance of damaging and the self connected object is a patient of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4115-4126	If a transportation is an instance of transportation and an object is transported during the transportation and an attribute is an attribute of the object and the attribute is an instance of hazardous material transport attribute, then the statement there exists an entity such that the entity is an instance of damaging and the object is a resource for the entity has the modal force of possibility holds during the transportation
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 has the purpose there don't exist another entity and a third entity such that the other entity is an instance of damaging and the other entity is a subprocess of the process and the third entity is a patient of the other entity and equal the entity and the third entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3771-3812	If an object is an instance of car alarm and another object is an instance of self powered road vehicle and the object is a part of the other object, then there exist an entity, another entity,, , a third entity and a fourth entity such that the object has the purpose if the entity is an instance of stealing or the entity is an instance of damaging and the other 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 equal the time of existence of the entity and the third entity and the entity is partly located at the 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 has the 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 31364-31375	If device damaged is an attribute of an object, then there exists the objectAM such that the objectAM is an instance of damaging and the object is a patient of the objectAM and there doesn't exist another process such that the other process is an instance of repairing and the object is a patient of the other process and the time of existence of the objectAM happens earlier than the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31336-31348	If device normal is an attribute of an object, then there doesn't exist the objectAM such that the objectAM is an instance of damaging and the object is a patient of the objectAM and there doesn't exist another process such that the other process is an instance of repairing and the object is a patient of the other process and the time of existence of the objectAM happens earlier than the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4142-4149	If hazardous gases is an attribute of an object, then the object is an instance of substance and gas is an attribute of the object and the object is capable of doing burning as a resource and the object is capable of doing damaging as a resource and the object is capable of doing corrosion as a resource
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6146-6155	If a physical is 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.	Medicine.kif 3824-3832	If anti-vaxxer is an attribute of a cognitive agent holds during a time position, then the cognitive agent believes there exist an entity and another entity such that the entity is an instance of vaccination and the other entity is an instance of damaging and the entity causes the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32112-32120	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 483-490	If a physical is an instance of blister agent, then the physical has the 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 has the 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 19397-19405	If a physical is an instance of explosive device, then the physical has the 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 17230-17232	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.	Merge.kif 10578-10585	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.	Weather.kif 2755-2762	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

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: