No TPTP formula. May not be expressible in strict first order. | Languages.kif 11350-11350 | AmamiOkinawanLanguage e' uma sub-classe de RyukyuanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11356-11356 | NorthernAmamiOkinawanLanguage e' uma sub-classe de AmamiOkinawanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11414-11414 | SouthernAmamiOkinawanLanguage e' uma sub-classe de AmamiOkinawanLanguage |
![]() |