No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2035-2035 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2034-2034 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2033-2033 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47204-47204 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47203-47203 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47202-47202 |
|