No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 564-564 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 563-563 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 562-562 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17622-17622 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17621-17621 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17620-17620 |
|