No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 248-248 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 247-247 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 246-246 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9768-9768 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9767-9767 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9766-9766 |
|