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

Formal Language: 



KB Term:  Term intersection
English Word: 

  China

 Sigma KEE - China
China

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3073-3073 currencyType China and ChineseYuan
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 economyType China and DevelopingCountry
No TPTP formula. May not be expressible in strict first order. Economy.kif 249-249 economyType China and LessDevelopedCountry
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 geographicSubregion China and EasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 546-546 China e' uma instancia de Nacao

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3717-3717 claimedTerritory ParacelIslands and China
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3720-3720 claimedTerritory SpratlyIslands and China
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3789-3789 dependentGeopoliticalArea HongKong and China
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3807-3807 dependentGeopoliticalArea Macau and China
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3595-3595 geographicSubregion BishkekKyrgyzstan and China
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2886-2886 geographicSubregion GuilinChina and China
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4255-4255 Sub-divisao geopolitica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4275-4275 Sub-divisao geopolitica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4259-4259 Sub-divisao geopolitica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4267-4267 Sub-divisao geopolitica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4279-4279 Sub-divisao geopolitica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4251-4251 Sub-divisao geopolitica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4271-4271 Sub-divisao geopolitica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4263-4263 Sub-divisao geopolitica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4283-4283 Sub-divisao geopolitica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4287-4287 Sub-divisao geopolitica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20275-20275 habitatOfOrganism Alligator and China
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30489-30489 habitatOfOrganism Panda and China
No TPTP formula. May not be expressible in strict first order. Government.kif 2274-2274 headquartersOfOrganization ChineseCommunistParty and China
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4148-4148 China se chama nome "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 codeMapping ISO-3166-1-alpha-2, "CN" and 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