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 47408-47408 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47407-47407 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47406-47406 |
|