Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChineseLanguage
ChineseLanguage(Chinese language)Amoy, Beijing_dialect, Cantonese, Cantonese_dialect, Chinese, Fukien, Fukkianese, Hakka, Hakka_dialect, Hokkianese, Mandarin, Mandarin_Chinese, Mandarin_dialect, Min, Min_dialect, Shanghai_dialect, Sinitic, Sinitic_language, Sino-Tibetan, Sino-Tibetan_language, Taiwanese, Wu, Wu_dialect, Yue, Yue_dialect

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 14596-14598
No TPTP formula. May not be expressible in strict first order. Weather.kif 1870-1872
No TPTP formula. May not be expressible in strict first order. Weather.kif 1852-1854
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2650-2650
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2826-2826
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20-20
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24-24
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28-28
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 688-688
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 253-253
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36-36
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 682-682
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56-56
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2710-2710
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2722-2722
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 92-92
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2750-2750
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 346-346
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 208-208
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 220-220
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2846-2846
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 224-224
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 255-255
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 449-449
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 765-765

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2140-2146
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2162-2163
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3490-3492
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3817-3818
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2224-2225
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1705-1707
No TPTP formula. May not be expressible in strict first order. Geography.kif 2493-2495
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1756-1757
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2214-2215
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3822-3823
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3535-3536
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2964-2968
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1616-1620
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3537-3538
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3251-3252
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3672-3673
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3471-3471
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1842-1846
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1884-1887
No TPTP formula. May not be expressible in strict first order. Weather.kif 67-67
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1785-1788
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3887-3888
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3384-3385
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3006-3007
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2497-2499

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 14822-14822 "zh" in ISO-639-1 denotes Chinese language


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners