No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2275-2275 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2274-2274 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2273-2273 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52793-52793 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52792-52792 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52791-52791 |
|