No TPTP formula. May not be expressible in strict first order. |
Military.kif 353-353 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 352-352 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 354-354 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 356-356 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 355-355 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60896-60896 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60895-60895 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60894-60894 |
|