HmongMienLanguage
|
|
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 | HmongMienLanguage e' uma sub-classe de LanguageFamily |
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 |