No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11155-11155 |
MohawkLanguage est une instance de MohawkOneidaLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11171-11171 |
OneidaLanguage est une instance de MohawkOneidaLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38247-38247 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38246-38246 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38245-38245 |
|