ChineseLanguage - Sigma Knowledge base Browser

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 1852-1854
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1834-1836
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2646-2646
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2822-2822
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 2706-2706
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2718-2718
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 2746-2746
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 2842-2842

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 2476-2478
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

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" 在 ISO_639_1 denotes ChineseLanguage

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

KB Term:			Term intersection

English Word: