No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4238-4238 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4237-4237 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4236-4236 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47576-47576 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47575-47575 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47574-47574 |
|