No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 927-927 | 加特林机枪 是 自动枪 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 300-300 | GAU12U 是 加特林机枪 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 901-901 | M197加特林枪 是 加特林机枪 的 subclass |
![]() |