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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Damaging

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...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12271-12271 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 12272-12274
No TPTP formula. May not be expressible in strict first order. Merge.kif 12270-12270 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 12498-12498 Breaking is a subclass of damaging
No TPTP formula. May not be expressible in strict first order. Merge.kif 12276-12276 Destruction is a subclass of damaging
No TPTP formula. May not be expressible in strict first order. Geography.kif 2715-2715 Forest damage is a subclass of damaging
No TPTP formula. May not be expressible in strict first order. Merge.kif 10427-10427 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 1537-1537
No TPTP formula. May not be expressible in strict first order. french_format.kif 838-838
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 370-370
No TPTP formula. May not be expressible in strict first order. terms-it.txt 373-373
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2522-2522
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 790-790
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 375-375
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 409-409
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 859-859
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 374-374

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30079-30087
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. Merge.kif 10449-10454
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. Mid-level-ontology.kif 30296-30310 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 13409-13418
No TPTP formula. May not be expressible in strict first order. Medicine.kif 80-94
No TPTP formula. May not be expressible in strict first order. Merge.kif 13431-13440
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 1395-1413
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8600-8610
No TPTP formula. May not be expressible in strict first order. Merge.kif 12229-12237
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11005-11015
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 3710-3751
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29445-29456
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29417-29429
No TPTP formula. May not be expressible in strict first order. Geography.kif 5876-5885
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3821-3829
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30194-30202
No TPTP formula. May not be expressible in strict first order. WMD.kif 483-490
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 17846-17854
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15843-15845
No TPTP formula. May not be expressible in strict first order. Merge.kif 10440-10447
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

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