No TPTP formula. May not be expressible in strict first order. | Languages.kif 12661-12661 | SiouanLanguage est une sous-classe de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12668-12668 | CatawbaGroupLanguage est une sous-classe de SiouanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12683-12683 | SiouanProperLanguage est une sous-classe de SiouanLanguage |
![]() |