No TPTP formula. May not be expressible in strict first order. | Merge.kif 12276-12276 | 摧毁 是 损坏 的 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 21815-21815 | 纵火 是 摧毁 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21819-21819 | 轰炸 是 摧毁 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22121-22121 | 人为破坏 是 摧毁 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12291-12291 | 杀害 是 摧毁 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2433-2433 | ClosingGraphicalWindow 是 摧毁 的 subclass |