No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11155-11155 |
MohawkLanguage e' uma instancia de MohawkOneidaLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11171-11171 |
OneidaLanguage e' uma instancia 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 |
|