No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1491-1491 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1490-1490 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1489-1489 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33995-33995 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33994-33994 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33993-33993 |
|