| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12298-12298 | 子類 Destruction and Damaging |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 590-590 | 子類 精確破壞 and Destruction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21814-21814 | 子類 縱火 and Destruction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21818-21818 | 子類 轟炸 and Destruction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22120-22120 | 子類 人為破壞 and Destruction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12313-12313 | 子類 Killing and Destruction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2433-2433 | 子類 ClosingGraphicalWindow and Destruction |
|
|