No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 884-884 | 反坦克导弹 是 反坦克武器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 885-885 | 反坦克导弹 是 导弹 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 845-845 | BG m71TO w 是 反坦克导弹 的 subclass |
![]() |