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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PortadownIreland

Sigma KEE - PortadownIreland
PortadownIreland

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


(documentation PortadownIreland EnglishLanguage "The City of Portadown in Ireland.") CountriesAndRegions.kif 2206-2206
(geographicSubregion PortadownIreland Ireland) CountriesAndRegions.kif 3397-3397 geographicSubregion PortadownIreland and Ireland
(instance PortadownIreland City) CountriesAndRegions.kif 2205-2205 PortadownIreland ist ein fall von City %n{nicht}

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


(names "Portadown" PortadownIreland) CountriesAndRegions.kif 3398-3398 names "Portadown" and PortadownIreland
(termFormat ChineseLanguage PortadownIreland "波塔当爱尔兰") domainEnglishFormat.kif 46714-46714
(termFormat ChineseTraditionalLanguage PortadownIreland "波塔當愛爾蘭") domainEnglishFormat.kif 46713-46713
(termFormat EnglishLanguage PortadownIreland "portadown ireland") domainEnglishFormat.kif 46712-46712


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