No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4910-4910 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4909-4909 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4908-4908 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 237-237 |
|