No TPTP formula. May not be expressible in strict first order. | Languages.kif 12661-12661 | SiouanLanguage e' uma sub-classe de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12668-12668 | CatawbaGroupLanguage e' uma sub-classe de SiouanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12683-12683 | SiouanProperLanguage e' uma sub-classe de SiouanLanguage |