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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AntwerpBelgium
more pictures...

appearance as argument number 1

(documentation AntwerpBelgium EnglishLanguage "The City of Antwerp in Belgium.") CountriesAndRegions.kif 1441-1441
(externalImage AntwerpBelgium " 1/ 18/ OLV-Kathedraal.jpg") pictureList.kif 4074-4074
(externalImage AntwerpBelgium " b/ b5/ Kathedraal.jpg") pictureList.kif 4071-4071
(externalImage AntwerpBelgium " c/ cc/ Grote_Markt_%28Antwerpen%29.jpg") pictureList.kif 4075-4075
(externalImage AntwerpBelgium " d/ d5/ Gildehuizen_Antwerpen.jpg") pictureList.kif 4507-4507
(externalImage AntwerpBelgium " d/ d6/ Guildhouses_Antwerp.jpg") pictureList.kif 4072-4072
(externalImage AntwerpBelgium " f/ fb/ Antwerp.jpg") pictureList.kif 3970-3970
(externalImage AntwerpBelgium " 8/ 84/ Antwerpen8.JPG") pictureList.kif 4073-4073
(geographicSubregion AntwerpBelgium Belgium) CountriesAndRegions.kif 2543-2543
(instance AntwerpBelgium City) CountriesAndRegions.kif 1440-1440

appearance as argument number 2

(names "Antwerp" AntwerpBelgium) CountriesAndRegions.kif 2544-2544
(termFormat ChineseLanguage AntwerpBelgium "安特卫普比利时") domainEnglishFormat.kif 7937-7937
(termFormat ChineseTraditionalLanguage AntwerpBelgium "安特衛普比利時") domainEnglishFormat.kif 7936-7936
(termFormat EnglishLanguage AntwerpBelgium "antwerp belgium") domainEnglishFormat.kif 7935-7935

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