No TPTP formula. May not be expressible in strict first order. | Languages.kif 11344-11344 | Ryukyuan语言 是 日本语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11350-11350 | Amami冲绳语 是 ryukyuan语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11472-11472 | Sakishima语言 是 ryukyuan语言 的 subclass |