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 63867-63867 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63866-63866 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63865-63865 |
|