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 11356-11356 | 北部的amami冲绳语 是 amami冲绳语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11414-11414 | 南部的amami冲绳语 是 amami冲绳语 的 subclass |