No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2874-2874 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2873-2873 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2872-2872 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65787-65787 |
|