TotonacGroupLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13367-13368 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13366-13366 | Totonac集团语言 是 托博纳坎语 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13371-13371 | Coyutla totonaca 是 totonac集团语言 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13380-13380 | Filomeno mata coahuitlan totonaca 语言 是 totonac集团语言 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13390-13390 | Ozumatlan totonaca 语 是 totonac集团语言 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13400-13400 | Papantla totonaca 语 是 totonac集团语言 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13411-13411 | Patla chicontla totonaca 语 是 totonac集团语言 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13421-13421 | Sierra totonaca 语 是 totonac集团语言 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13432-13432 | 西托佩克·德·华雷斯·托纳卡语 是 totonac集团语言 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13445-13445 | 耶库特拉·托托纳卡语 是 totonac集团语言 的 instance |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58622-58622 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58621-58621 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58620-58620 |