No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 748-748 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 747-747 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 746-746 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19626-19626 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19625-19625 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19624-19624 |
|