| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 48-56 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16023-16023 | 武器 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 131-131 | 核武器 是 武器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 632-632 | 高精度武器 是 武器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 653-653 | 反装甲武器 是 武器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1113-1113 | 抛射物 是 武器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1131-1131 | 抛射物发射器 是 武器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1147-1147 | 矛 是 武器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1151-1151 | 剑 是 武器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1155-1155 | 鞭子 是 武器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1160-1160 | 枪 是 武器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1449-1449 | 大规模杀伤性武器 是 武器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17857-17857 | 爆炸性的矿井 是 武器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21823-21823 | 炸弹 是 武器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22055-22055 | 砂浆 是 武器 的 subclass |
|
|