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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - RoermondNetherlands
RoermondNetherlands(roermond netherlands)

appearance as argument number 1

(documentation RoermondNetherlands EnglishLanguage "The City of Roermond in Netherlands.") CountriesAndRegions.kif 2248-2248
(externalImage RoermondNetherlands " commons/ 2/ 26/ Pieter_Bruegel_d._%C3%84._033.jpg") pictureList.kif 4256-4256
(externalImage RoermondNetherlands " commons/ 4/ 44/ Wapen_roermond.jpg") pictureList.kif 4008-4008
(externalImage RoermondNetherlands " commons/ 8/ 82/ LocatieRoermond.png") pictureList.kif 4255-4255
(geographicSubregion RoermondNetherlands Netherlands) CountriesAndRegions.kif 3443-3443 Roermond netherlands is a geographic subregion of netherlands
(instance RoermondNetherlands City) CountriesAndRegions.kif 2247-2247 Roermond netherlands is an instance of city

appearance as argument number 2

(names "Roermond" RoermondNetherlands) CountriesAndRegions.kif 3444-3444 Roermond netherlands has name "Roermond"
(termFormat ChineseLanguage RoermondNetherlands "鲁尔蒙德荷兰") domainEnglishFormat.kif 50156-50156
(termFormat ChineseTraditionalLanguage RoermondNetherlands "魯爾蒙德荷蘭") domainEnglishFormat.kif 50155-50155
(termFormat EnglishLanguage RoermondNetherlands "roermond netherlands") domainEnglishFormat.kif 50154-50154

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