No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1827-1827 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1826-1826 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1825-1825 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41616-41616 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41615-41615 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41614-41614 |
|