No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 939-939 | 空中发射导弹 是 导弹 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1123-1123 | AG m 是 空中发射导弹 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1169-1169 | AAM 是 空中发射导弹 的 subclass |