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 18420-18441 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12292-12292 | 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 10449-10449 | Injuring 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. | Merge.kif 12520-12520 | 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 |
![]() |