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