No TPTP formula. May not be expressible in strict first order. | Languages.kif 5954-5954 | CaddoanLanguage e' uma sub-classe de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 5961-5961 | NorthernCaddoanLanguage e' uma sub-classe de CaddoanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6031-6031 | SouthernCaddoanLanguage e' uma sub-classe de CaddoanLanguage |
![]() |