No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2319-2319 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2318-2318 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2317-2317 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53414-53414 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53413-53413 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53412-53412 |
|