No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2658-2658 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2657-2657 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2656-2656 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5172-5172 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5171-5171 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5170-5170 |
|