No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3142-3142 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3141-3141 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3140-3140 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17706-17706 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17705-17705 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17704-17704 |
|