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 1456-1462 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1465-1469 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1471-1475 |
|
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 1447-1453 |
|
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 |
|