BeamRidingGMissile
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1091-1103 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10506-10506 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10504-10504 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9904-9904 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10502-10502 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10503-10503 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10507-10507 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1090-1090 | 子類 束騎導彈 and 導彈 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1204-1204 | 子類 AG m114 and 束騎導彈 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10272-10272 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10271-10271 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10270-10270 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2067-2067 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1108-1121 |