No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12817-12817 |
KansaLanguage est une instance de DhegihaLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12825-12825 |
OmahaPoncaLanguage est une instance de DhegihaLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12843-12843 |
OsageLanguage est une instance de DhegihaLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12853-12853 |
QuapawLanguage est une instance de DhegihaLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19392-19392 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19391-19391 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19390-19390 |
|