No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 156-156 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 155-155 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 154-154 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7662-7662 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7661-7661 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7660-7660 |
|