No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1015-1015 | 导弹 是 导弹 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1065-1065 | 红外导弹 是 导弹 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1090-1090 | 束骑导弹 是 导弹 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1171-1171 | AAM 是 导弹 的 subclass |