No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3090-3090 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3089-3089 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3088-3088 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65799-65799 |
|