No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1397-1397 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1396-1396 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1395-1395 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31111-31111 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31110-31110 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31109-31109 |
|