No TPTP formula. May not be expressible in strict first order. |
Government.kif 242-246 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1420-1426 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1429-1433 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1435-1439 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 371-376 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 393-398 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 425-430 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 417-422 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 446-451 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1736-1746 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1411-1417 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 332-334 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 352-354 |
|