|
|
  PapantlaTotonacaLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13401-13408 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13400-13400 | Papantla totonaca 语 是 totonac集团语言 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44256-44256 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44255-44255 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44254-44254 |
|
|
|