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 | 损坏 是 内部变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 220-220 | 破坏 是 损坏 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10427-10427 | 受伤 是 损坏 的 subclass |
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. | Merge.kif 12498-12498 | Breaking 是 损坏 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2715-2715 | 森林破坏 是 损坏 的 subclass |