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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CzechRepublic
CzechRepublic(捷克共和国)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3097-3097 捷克克朗捷克共和国currency 类别
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1222-1222
No TPTP formula. May not be expressible in strict first order. Economy.kif 581-581 转型国家捷克共和国economy 类别
No TPTP formula. May not be expressible in strict first order. pictureList.kif 381-381
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 277-277 捷克共和国欧洲中部geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 278-278 捷克共和国国家instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3399-3399 布拉格,捷克共和国捷克共和国geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4019-4019 捷克共和国 的名 是 "Czech Republic"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18330-18330
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18329-18329
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18328-18328

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2684-2684 "CZ" 在 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