No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12717-12717 |
ChiwereLanguage est une sous-classe de MississippiValleyLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12738-12738 |
DakotaGroupLanguage est une sous-classe de MississippiValleyLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12812-12812 |
DhegihaLanguage est une sous-classe de MississippiValleyLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12863-12863 |
WinnebagoLanguage est une sous-classe de MississippiValleyLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38055-38055 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38054-38054 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38053-38053 |
|