No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 712-712 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 711-711 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 710-710 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19122-19122 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19121-19121 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19120-19120 |
|