No TPTP formula. May not be expressible in strict first order. | Languages.kif 12683-12683 | SiouanProperLanguage e' uma sub-classe de SiouanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12689-12689 | CentralSiouanLanguage e' uma sub-classe de SiouanProperLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12885-12885 | MissouriValleyLanguage e' uma sub-classe de SiouanProperLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12915-12915 | SoutheasternSiouanLanguage e' uma sub-classe de SiouanProperLanguage |
![]() |