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 65785-65785 |
|