No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2642-2642 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2641-2641 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2640-2640 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63865-63865 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63864-63864 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63863-63863 |
|