No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1662-1674 |
|
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 862-865 |
|
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 1788-1800 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 714-717 |
|
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 773-776 |
|
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 1967-1973 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 405-408 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 287-290 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 509-512 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 586-589 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 445-448 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 648-651 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 840-843 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 543-546 |
|