China - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3073-3073	人民币是中国的 currency 类别
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1213-1214
No TPTP formula. May not be expressible in strict first order.	Economy.kif 633-633	发展中国家是中国的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 249-249	较未发达国家是中国的 economy 类别
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 340-340
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 545-545	中国是东亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 546-546	中国是国家的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3717-3717	中国是西沙群岛的 claimed 领土
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3720-3720	中国是南沙群岛的 claimed 领土
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3789-3789	香港是中国的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3807-3807	澳门是中国的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3595-3595	吉尔吉斯首都比什凯克是中国的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2886-2886	桂林中国是中国的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4255-4255	Beijing 是中国的地缘政治部分
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4275-4275	Chengdu 是中国的地缘政治部分
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4259-4259	Chongqing 是中国的地缘政治部分
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4267-4267	Guangzhou 是中国的地缘政治部分
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4279-4279	Nanjing 是中国的地缘政治部分
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4251-4251	Shanghai 是中国的地缘政治部分
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4271-4271	Shenzhen 是中国的地缘政治部分
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4263-4263	Tianjin 是中国的地缘政治部分
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4283-4283	Wuhan 是中国的地缘政治部分
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4287-4287	西安是中国的地缘政治部分
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20275-20275	Alligator inhabits 中国
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30489-30489	Panda inhabits 中国
No TPTP formula. May not be expressible in strict first order.	Government.kif 2274-2274	ChineseCommunistParty 的 headquarters 是在中国
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4148-4148	中国的名是 "China"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14532-14532
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14531-14531
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14530-14530

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Media.kif 2678-2678

"CN" 在 ISO-3166-1-alpha-2 denotes 中国

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: