No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2315-2315 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2314-2314 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2313-2313 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53408-53408 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53407-53407 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53406-53406 |
|