No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1475-1475 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1474-1474 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1473-1473 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33971-33971 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33970-33970 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33969-33969 |
|