No TPTP formula. May not be expressible in strict first order. | Languages.kif 13321-13321 | 子類 托博納坎語 and 口語人類語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13328-13328 | 子類 tepehua 團體語 and 托博納坎語 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13366-13366 | 子類 totonac集團語言 and 托博納坎語 |