No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 784-784 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 783-783 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 782-782 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19914-19914 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19913-19913 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19912-19912 |
|