No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4430-4430 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4429-4429 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4428-4428 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49754-49754 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49753-49753 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49752-49752 |
|