| TibetanLanguage(Tibetan language) | | Bai, Baic, Burmese-Yi, Chingpo, Himalayish, Jinghpaw, Jinghpo, Kachin, Kachinic, Kadai, Kadai_language, Kam-Sui, Kam-Tai, Kamarupan, Karen, Karenic, Lolo-Burmese, Qiang, Qiangic, Tibetan, Tibeto-Burman, Tibeto-Burman_language |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14585-14585 | Tibetan language is an instance of sino tibetan language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65596-65596 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14817-14817 | "bo" in ISO_639_1 denotes Tibetan language |
|
|
|