No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2271-2271 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2270-2270 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2269-2269 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52719-52719 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52718-52718 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52717-52717 |
|