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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChineseLanguage

Sigma KEE - ChineseLanguage
ChineseLanguageAmoy, 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. 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. chinese_format.kif 682-682
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. 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
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 506-506
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 690-690
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 500-500
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 692-692
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 777-777
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 469-469
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 694-694
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 657-657
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 686-686
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 559-559
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 451-451
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 767-767
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 696-696
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 257-257
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 698-698
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 259-259
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 461-461
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 504-504

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. Merge.kif 15086-15088
No TPTP formula. May not be expressible in strict first order. Merge.kif 17418-17419
No TPTP formula. May not be expressible in strict first order. Merge.kif 4921-4922
No TPTP formula. May not be expressible in strict first order. Merge.kif 1728-1730
No TPTP formula. May not be expressible in strict first order. Geography.kif 2417-2419
No TPTP formula. May not be expressible in strict first order. Merge.kif 4864-4865
No TPTP formula. May not be expressible in strict first order. Merge.kif 17447-17448
No TPTP formula. May not be expressible in strict first order. Merge.kif 15343-15344
No TPTP formula. May not be expressible in strict first order. Merge.kif 15349-15350
No TPTP formula. May not be expressible in strict first order. Merge.kif 13048-13049
No TPTP formula. May not be expressible in strict first order. Merge.kif 16455-16456
No TPTP formula. May not be expressible in strict first order. Merge.kif 1566-1566
No TPTP formula. May not be expressible in strict first order. Merge.kif 14923-14923
No TPTP formula. May not be expressible in strict first order. Merge.kif 17794-17795
No TPTP formula. May not be expressible in strict first order. Merge.kif 14467-14468
No TPTP formula. May not be expressible in strict first order. Merge.kif 11115-11116
No TPTP formula. May not be expressible in strict first order. Merge.kif 6945-6947
No TPTP formula. May not be expressible in strict first order. Merge.kif 14631-14632
No TPTP formula. May not be expressible in strict first order. Merge.kif 7415-7415
No TPTP formula. May not be expressible in strict first order. Merge.kif 15063-15064
No TPTP formula. May not be expressible in strict first order. Merge.kif 6467-6467
No TPTP formula. May not be expressible in strict first order. Merge.kif 7438-7439
No TPTP formula. May not be expressible in strict first order. Merge.kif 7641-7641
No TPTP formula. May not be expressible in strict first order. Merge.kif 18488-18489
No TPTP formula. May not be expressible in strict first order. Merge.kif 14508-14509

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 14800-14800 "zh" in ISO-639-1 denotes ChineseLanguage


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners