No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1791-1791 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1790-1790 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1789-1789 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39969-39969 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39968-39968 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39967-39967 |
|