No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4490-4490 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4489-4489 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4488-4488 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52053-52053 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52052-52052 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52051-52051 |
|