No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1209-1209 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1208-1208 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1207-1207 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28659-28659 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28658-28658 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28657-28657 |
|