No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 35-43 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18421-18442 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12270-12270 | Damaging is a subclass of internal change |
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. | Merge.kif 10427-10427 | Injuring 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. | Merge.kif 12498-12498 | Breaking 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 |