No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 316-316 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 315-315 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 314-314 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11189-11189 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11188-11188 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11187-11187 |
|