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 |