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 18069-18069 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18068-18068 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18067-18067 |
|