No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1203-1203 | AG m114 是 AG m 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1204-1204 | AG m114 是 束骑导弹 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1205-1205 | AG m114 是 反装甲武器 的 subclass |