No TPTP formula. May not be expressible in strict first order. | Languages.kif 11344-11344 | 子類 ryukyuan語言 and 日本語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11350-11350 | 子類 amami沖繩語 and ryukyuan語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11472-11472 | 子類 sakishima語言 and ryukyuan語言 |