No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4034-4034 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4033-4033 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4032-4032 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42368-42368 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42367-42367 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42366-42366 |
|