No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2890-2890 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2889-2889 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2888-2888 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65787-65787 |
|