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 48902-48902 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48901-48901 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48900-48900 |
|