No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2539-2539 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2538-2538 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2537-2537 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58856-58856 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58855-58855 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58854-58854 |
|