No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2155-2155 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2154-2154 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2153-2153 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49760-49760 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49759-49759 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49758-49758 |
|