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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StockholmSweden

 Sigma KEE - StockholmSweden
StockholmSweden(瑞典斯德哥爾摩)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2341-2341
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4321-4321
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4323-4323
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4329-4329
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4326-4326
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4324-4324
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4328-4328
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4028-4028
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4327-4327
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3547-3547 瑞典斯德哥爾摩 是 瑞典 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2340-2340 例 瑞典斯德哥爾摩 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3548-3548 名 "Stockholm" and 瑞典斯德哥爾摩
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55398-55398
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55397-55397
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55396-55396


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