No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 911-911 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 910-910 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 909-909 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22264-22264 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22263-22263 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22262-22262 |
|