Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Damaging
Damaging(damaging)abusive, admixture, adulterate, adulteration, afflict, aged, ail, alligator, alloy, attrited, bad, batter, battered, beat-up, beaten-up, become_flat, befoul, befoulment, belly-land, bent, blasting, blemish, blunt, bombing, break, break_down, bruise, buckle, burned, burned-out, burned-over, burnt, burnt-out, burst, bust, cheapen, check, chink, collapse, conk_out, contamination, corrosion, corrupt, corruption, counteract, countermine, crack, crackle, crash, craze...

VerbNet: hit-18.1|smite, pain-40.8.1|pain, hit-18.1|batter, fill-9.8|spot, other_cos-45.4|blunt, break-45.1|break, carve-21.2|bruise, other_cos-45.4|collapse, other_cos-45.4|degrade, other_cos-45.4|collapse, break-45.1|break, entity_specific_cos-45.5|spoil, break-45.1|crack, bump-18.4|ram, break-45.1|crush, hurt-40.8.3|cut, destroy-44|mutilate, destroy-44|waste, destroy-44|waste, hit-18.1|batter, entity_specific_cos-45.5|erode, entity_specific_cos-45.5|erode, become-109.1|get, break-45.1|break, break-45.1|fissure, fill-9.8|flood, other_cos-45.4|fray, other_cos-45.4|fray, poison-42.2|garrotte, poison-42.2|garrotte, poison-42.2|garrotte, become-109.1|get, break-45.1|break, acquiesce-95|yield, entity_specific_cos-45.5|erode, entity_specific_cos-45.5|erode, break-45.1|break, break-45.1|break, become-109.1|get, amuse-31.1|hurt, amuse-31.1|hurt, destroy-44|waste, destroy-44|mutilate, destroy-44|mutilate, pain-40.8.1|pain, pit-10.7|pinion, bump-18.4|ram, become-109.1|get, destroy-44|waste, poison-42.2|garrotte, ...


appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11384-11384 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 11385-11387
No TPTP formula. May not be expressible in strict first order. Merge.kif 11383-11383 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 11562-11562 Breaking is a subclass of damaging
No TPTP formula. May not be expressible in strict first order. Merge.kif 11389-11389 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 9792-9792 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 28296-28304
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 228-235
No TPTP formula. May not be expressible in strict first order. WMD.kif 180-185
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 35-43

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 9805-9812 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 28496-28510 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
No TPTP formula. May not be expressible in strict first order. Merge.kif 12442-12451
No TPTP formula. May not be expressible in strict first order. Merge.kif 12464-12473
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 618-630
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1780-1794
No TPTP formula. May not be expressible in strict first order. Merge.kif 11342-11350
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 641-654
No TPTP formula. May not be expressible in strict first order. Cars.kif 3684-3724
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27650-27661
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27622-27634
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28405-28413
No TPTP formula. May not be expressible in strict first order. WMD.kif 478-485
No TPTP formula. May not be expressible in strict first order. WMD.kif 70-78
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15551-15559
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13551-13553
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 976-990
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1108-1121
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 999-1013
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1079-1088
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1278-1288
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 659-667
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 874-882
No TPTP formula. May not be expressible in strict first order. Merge.kif 14846-14848

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners