No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3966-3966 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3965-3965 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3964-3964 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65884-65884 |
|