No TPTP formula. May not be expressible in strict first order. | Languages.kif 11652-11652 | Kiowa 是 口语人类语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11659-11659 | 百白群语言 是 kiowa 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11680-11680 | Kwomtari集团的语言 是 kiowa 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11712-11712 | Pyu组语言 是 kiowa 的 subclass |