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 23989-23989 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23988-23988 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23987-23987 |
|