No TPTP formula. May not be expressible in strict first order. | Languages.kif 11310-11310 | Japanese group language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11317-11317 | Japanese proper language is a subclass of japanese group language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11344-11344 | Ryukyuan language is a subclass of japanese group language |
![]() |