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 47206-47206 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47205-47205 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47204-47204 |
|