No TPTP formula. May not be expressible in strict first order. | Languages.kif 11310-11310 | JapaneseGroupLanguage e' uma sub-classe de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11317-11317 | JapaneseProperLanguage e' uma sub-classe de JapaneseGroupLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11344-11344 | RyukyuanLanguage e' uma sub-classe de JapaneseGroupLanguage |
![]() |