No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1025-1025 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1024-1024 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1023-1023 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23984-23984 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23983-23983 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23982-23982 |
|