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 1751-1757 |
|
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. |
MilitaryPersons.kif 352-354 |
|