No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1678-1682 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1916-1922 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1876-1878 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1804-1808 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1760-1765 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1558-1562 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1977-1982 |
|