No TPTP formula. May not be expressible in strict first order. | Languages.kif 13321-13321 | 托博纳坎语 是 口语人类语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13328-13328 | Tepehua 团体语 是 托博纳坎语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13366-13366 | Totonac集团语言 是 托博纳坎语 的 subclass |