No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1409-1409 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1408-1408 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1407-1407 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31879-31879 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31878-31878 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31877-31877 |
|