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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CentralEurope

 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 例 歐洲中部 and GeographicArea

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" and 歐洲中部
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 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