No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3302-3302 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3301-3301 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3300-3300 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65821-65821 |
|