No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 268-268 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 267-267 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 266-266 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10721-10721 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10720-10720 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10719-10719 |
|