| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1599-1599 | 火炮枪 是 枪 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 147-147 | 军用坦克 是 火炮枪 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 171-171 | 火炮 是 火炮枪 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1178-1178 | 迫击炮 是 火炮枪 的 subclass |
|
|