| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12298-12298 | 摧毁 是 损坏 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 590-590 | 精确破坏 是 摧毁 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21814-21814 | 纵火 是 摧毁 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21818-21818 | 轰炸 是 摧毁 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22120-22120 | 人为破坏 是 摧毁 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12313-12313 | 杀害 是 摧毁 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2433-2433 | ClosingGraphicalWindow 是 摧毁 的 subclass |
|
|