No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1317-1317 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1316-1316 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1315-1315 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29911-29911 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29910-29910 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29909-29909 |
|