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 16569-16569 Damaging is disjoint from repairing
No TPTP formula. May not be expressible in strict first order. Merge.kif 16573-16574
No TPTP formula. May not be expressible in strict first order. Merge.kif 16570-16572
No TPTP formula. May not be expressible in strict first order. Merge.kif 16568-16568 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 16777-16777 Breaking is a subclass of damaging
No TPTP formula. May not be expressible in strict first order. Merge.kif 16576-16576 Destruction is a subclass of damaging
No TPTP formula. May not be expressible in strict first order. Geography.kif 2643-2643 Forest damage is a subclass of damaging
No TPTP formula. May not be expressible in strict first order. Merge.kif 14364-14364 Injuring is a subclass of damaging
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 211-211 Sabotage is a subclass of damaging
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1160-1160 "损坏" is the printable form of damaging in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 2189-2189 "damaging" is the printable form of damaging in english language
No TPTP formula. May not be expressible in strict first order. english_format.kif 2190-2190 "損害を与える" is the printable form of damaging in japanese language

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28239-28247
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 14383-14390 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 28436-28450 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 1631-1643
No TPTP formula. May not be expressible in strict first order. Merge.kif 17783-17792
No TPTP formula. May not be expressible in strict first order. Merge.kif 17807-17816
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 607-619
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1779-1793
No TPTP formula. May not be expressible in strict first order. Merge.kif 16523-16531
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 630-643
No TPTP formula. May not be expressible in strict first order. Cars.kif 3677-3717
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27594-27605
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27566-27578
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28348-28356
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 15499-15507
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13500-13502
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 975-989
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1107-1120
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 998-1012
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1078-1087
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1277-1287
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 658-666
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 873-881
No TPTP formula. May not be expressible in strict first order. Merge.kif 20571-20573

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