No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1551-1551 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1550-1550 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1549-1549 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34829-34829 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34828-34828 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34827-34827 |
|