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 38249-38249 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38248-38248 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38247-38247 |
|