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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - SaintPaulMinnesota
more pictures...

appearance as argument number 1

(capitalCity SaintPaulMinnesota Minnesota) CountriesAndRegions.kif 786-786 capitalCity SaintPaulMinnesota and Minnesota
(documentation SaintPaulMinnesota EnglishLanguage "The capital of Minnesota, borders MinneapolisMinnesota.") CountriesAndRegions.kif 788-789
(externalImage SaintPaulMinnesota " commons/ 8/ 81/ Saint_paul_mn.jpg") pictureList.kif 5496-5496
(externalImage SaintPaulMinnesota " commons/ a/ a2/ Stpaul001.jpg") pictureList.kif 5171-5171
(externalImage SaintPaulMinnesota " commons/ a/ ac/ Minnesota_State_Capitol.jpg") pictureList.kif 5493-5493
(externalImage SaintPaulMinnesota " commons/ b/ b2/ Landmarkcenter-sp.jpg") pictureList.kif 5494-5494
(externalImage SaintPaulMinnesota " commons/ d/ dd/ 2004_Winter_Carnival_Ice_Castle_%28night%29.jpg") pictureList.kif 5495-5495
(externalImage SaintPaulMinnesota " commons/ e/ e6/ Flag_of_Saint_Paul%2C_Minnesota.gif") pictureList.kif 5490-5490
(externalImage SaintPaulMinnesota " en/ 0/ 0e/ Saint_Paul_Over_Wildflowers.JPG") pictureList.kif 5492-5492
(externalImage SaintPaulMinnesota " en/ 5/ 5e/ St_Paul_Skyline_7_11_2007.jpg") pictureList.kif 5491-5491
(instance SaintPaulMinnesota AmericanCity) CountriesAndRegions.kif 785-785 instance SaintPaulMinnesota and AmericanCity
(meetsSpatially SaintPaulMinnesota MinneapolisMinnesota) CountriesAndRegions.kif 787-787 meetsSpatially SaintPaulMinnesota and MinneapolisMinnesota

appearance as argument number 2

(termFormat ChineseLanguage SaintPaulMinnesota "圣保罗明尼苏达州") domainEnglishFormat.kif 50756-50756
(termFormat ChineseTraditionalLanguage SaintPaulMinnesota "聖保羅明尼蘇達州") domainEnglishFormat.kif 50755-50755
(termFormat EnglishLanguage SaintPaulMinnesota "saint paul minnesota") domainEnglishFormat.kif 50754-50754

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners