No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2299-2299 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2298-2298 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2297-2297 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53120-53120 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53119-53119 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53118-53118 |
|