No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4090-4090 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4089-4089 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4088-4088 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44754-44754 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44753-44753 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44752-44752 |
|