| HmongMienLanguage(hmong mien language)
| | Hmong, Hmong_language, Miao |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6643-6645 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10052-10052 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11164-11164 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11166-11166 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6642-6642 | Hmong mien language is a subclass of language family |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28293-28293 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28292-28292 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28291-28291 |
|
|
|