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 |
BeamRidingGMissile est une sous-classe de GuidedMissile |