No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1795-1795 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1794-1794 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1793-1793 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39975-39975 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39974-39974 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39973-39973 |
|