No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4214-4214 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4213-4213 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4212-4212 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 254-254 |
|