No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1723-1723 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1722-1722 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1721-1721 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37601-37601 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37600-37600 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37599-37599 |
|