No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 172-172 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 171-171 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 170-170 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7686-7686 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7685-7685 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7684-7684 |
|