No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2127-2127 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2126-2126 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2125-2125 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49306-49306 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49305-49305 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49304-49304 |
|