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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CentralEurope
CentralEurope(欧洲中部)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 2442-2442
No TPTP formula. May not be expressible in strict first order. Geography.kif 212-212 欧洲中部 是 东半球 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 156-156 欧洲中部 是 欧洲 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 213-213 欧洲中部 是 北半球 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 84-84 欧洲中部 是 地理区域 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 275-275 奥地利 是 欧洲中部 的 geographic 次要地区
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 279-279 德国 是 欧洲中部 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 281-281 匈牙利 是 欧洲中部 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 283-283 列支敦士登 是 欧洲中部 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 285-285 波兰 是 欧洲中部 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 287-287 斯洛伐克 是 欧洲中部 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 289-289 斯洛文尼亚 是 欧洲中部 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 291-291 瑞士 是 欧洲中部 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 114-114 欧洲中部 的名 是 "Central Europe"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13848-13848
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13847-13847
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13846-13846


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