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 53122-53122 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53121-53121 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53120-53120 |
|