No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2227-2227 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2226-2226 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2225-2225 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51849-51849 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51848-51848 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51847-51847 |
|