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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NorthernEurope

 Sigma KEE - NorthernEurope
NorthernEurope(北歐)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 2496-2496
No TPTP formula. May not be expressible in strict first order. Geography.kif 215-215 北歐 是 東半球 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 158-158 北歐 是 歐洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 216-216 北歐 是 北半球 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 86-86 例 北歐 and GeographicArea

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 315-315 丹麥 是 北歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 317-317 法羅群島 是 北歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 318-318 芬蘭 是 北歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 320-320 冰島 是 北歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 322-322 Jan mayen 島 是 北歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 323-323 挪威 是 北歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 325-325 斯瓦爾巴 是 北歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 326-326 瑞典 是 北歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 116-116 名 "Northern Europe" and 北歐
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41079-41079
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41078-41078
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41077-41077


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