No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12717-12717 |
ChiwereLanguage e' uma sub-classe de MississippiValleyLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12738-12738 |
DakotaGroupLanguage e' uma sub-classe de MississippiValleyLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12812-12812 |
DhegihaLanguage e' uma sub-classe de MississippiValleyLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12863-12863 |
WinnebagoLanguage e' uma sub-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 |
|