No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1169-1169 | AAM 是 空中发射导弹 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1170-1170 | AAM 是 空袭导弹 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1171-1171 | AAM 是 导弹 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1177-1177 | AI m9 是 AAM 的 subclass |