No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2339-2339 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2338-2338 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2337-2337 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55068-55068 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55067-55067 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55066-55066 |
|