No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1235-1247 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1155-1167 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1900-1912 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1189-1201 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 855-858 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1860-1872 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1882-1887 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1788-1800 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1812-1817 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 321-324 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1744-1756 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1542-1554 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 398-401 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 294-297 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 502-505 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 579-582 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 438-441 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 641-644 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 833-836 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 536-539 |
|