No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 364-364 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 363-363 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 362-362 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13092-13092 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13091-13091 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13090-13090 |
|