No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1313-1313 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1312-1312 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1311-1311 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29851-29851 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29850-29850 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29849-29849 |
|