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

Formal Language: 



KB Term:  Term intersection
English Word: 

  China

Sigma KEE - China
China(china)
Cathay, China, Communist_China, PRC, People's_Republic_of_China, Red_China, mainland_China

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3073-3073 Chinese yuan is a currency type of china
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 Developing country is an economy type of china
No TPTP formula. May not be expressible in strict first order. Economy.kif 249-249 Less developed country is an economy type of china
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 China is a geographic subregion of eastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 546-546 China is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3717-3717 China is a claimed territory of paracel islands
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3720-3720 China is a claimed territory of spratly islands
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3789-3789 Hong kong is a dependent of china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3807-3807 Macau is a dependent of china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3595-3595 The Kyrgyz capital Bishkek is a geographic subregion of china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2886-2886 Guilin china is a geographic subregion of china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4255-4255 Beijing is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4275-4275 Chengdu is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4259-4259 Chongqing is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4267-4267 Guangzhou is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4279-4279 Nanjing is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4251-4251 Shanghai is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4271-4271 Shenzhen is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4263-4263 Tianjin is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4283-4283 Wuhan is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4287-4287 Xi'an is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20275-20275 Alligator inhabits china
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30489-30489 Panda inhabits china
No TPTP formula. May not be expressible in strict first order. Government.kif 2274-2274 The headquarters of CCP is in china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4148-4148 China has name "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" in ISO-3166-1-alpha-2 denotes china


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