No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2399-2399 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2398-2398 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2397-2397 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55836-55836 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55835-55835 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55834-55834 |
|