No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2059-2059 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2058-2058 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2057-2057 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47410-47410 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47409-47409 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47408-47408 |
|