TreeView Knowledge Base Browser - ChineseTibetanMongolianMixedLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 3337-3340
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10609-10609
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10607-10607
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10611-10611
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10610-10610
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10608-10608
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9936-9936
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3336-3336	中国藏语蒙古族混合语言是混合语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 3343-3343	乌通化语是中国藏语蒙古族混合语言的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14550-14550
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14549-14549
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14548-14548