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 12293-12293 | 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 12294-12296 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12292-12292 | 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 12520-12520 | Breaking is a subclass of damaging |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12298-12298 | 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 10449-10449 | 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 30067-30075 |
|
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 10471-10476 |
|
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 30284-30298 | 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 13431-13440 |
|
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 13453-13462 |
|
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 8599-8609 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12251-12259 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11004-11014 |
|
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 3718-3759 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29433-29444 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29405-29417 |
|
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 30182-30190 |
|
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 17845-17853 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15842-15844 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10462-10469 |
|
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 |