No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44-44 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43-43 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42-42 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5268-5268 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5267-5267 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5266-5266 |
|