No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2179-2179 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2178-2178 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2177-2177 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50278-50278 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50277-50277 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50276-50276 |
|