TreeView 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	例中國 and Nation

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 and 中國
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4275-4275	地緣政治細分 Chengdu and 中國
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4259-4259	地緣政治細分 Chongqing and 中國
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4267-4267	地緣政治細分 Guangzhou and 中國
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4279-4279	地緣政治細分 Nanjing and 中國
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4251-4251	地緣政治細分 Shanghai and 中國
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4271-4271	地緣政治細分 Shenzhen and 中國
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4263-4263	地緣政治細分 Tianjin and 中國
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4283-4283	地緣政治細分 Wuhan and 中國
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4287-4287	地緣政治細分西安 and 中國
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" and 中國
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 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: