No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64-64 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63-63 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62-62 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5562-5562 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5561-5561 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5560-5560 |
|