No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4266-4266 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4265-4265 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4264-4264 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 167-167 |
|