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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PortadownIreland
PortadownIreland(portadown ireland)

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 Portadown ireland is a geographic subregion of ireland
(instance PortadownIreland City) CountriesAndRegions.kif 2205-2205 Portadown ireland is an instance of city

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


(names "Portadown" PortadownIreland) CountriesAndRegions.kif 3398-3398 Portadown ireland has name "Portadown"
(termFormat ChineseLanguage PortadownIreland "波塔当爱尔兰") domainEnglishFormat.kif 46745-46745 Portadown ireland has name "Portadown"
(termFormat ChineseTraditionalLanguage PortadownIreland "波塔當愛爾蘭") domainEnglishFormat.kif 46744-46744 Portadown ireland has name "Portadown"
(termFormat EnglishLanguage PortadownIreland "portadown ireland") domainEnglishFormat.kif 46743-46743 Portadown ireland has name "Portadown"


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 3.0 is open source software produced by Articulate Software and its partners