No TPTP formula. May not be expressible in strict first order. | Languages.kif 11344-11344 | RyukyuanLanguage e' uma sub-classe de JapaneseGroupLanguage |
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 11472-11472 | SakishimaLanguage e' uma sub-classe de RyukyuanLanguage |