No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1125-1125 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1124-1124 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1123-1123 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26424-26424 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26423-26423 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26422-26422 |
|