No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4914-4914 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4913-4913 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4912-4912 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 246-246 |
|