No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 592-592 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 591-591 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 590-590 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18060-18060 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18059-18059 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18058-18058 |
|