No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2107-2107 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2106-2106 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2105-2105 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48904-48904 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48903-48903 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48902-48902 |
|