No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4210-4210 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4209-4209 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4208-4208 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 254-254 |
|