Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - EuropeanCity
EuropeanCity(european city)

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


(subclass EuropeanCity City) CountriesAndRegions.kif 47-47 European city is a subclass of city
(documentation EuropeanCity EnglishLanguage "The class of cities that are in Europe.") CountriesAndRegions.kif 48-48 European city is a subclass of city
(externalImage EuropeanCity "http://upload.wikimedia.org/wikipedia/commons/ 1/ 19/ European_flag_in_the_wind.jpg") pictureList.kif 10004-10004 European city is a subclass of city
(externalImage EuropeanCity "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Aftnn_The_Seine_from_the_Eiffel_Tower.jpg") pictureList.kif 10964-10964 European city is a subclass of city
(externalImage EuropeanCity "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ 442px_-_London_Lead_Image.jpg") pictureList.kif 10965-10965 European city is a subclass of city
(externalImage EuropeanCity "http://upload.wikimedia.org/wikipedia/commons/ d/ db/ Cityscapeberlin2006.JPG") pictureList.kif 10966-10966 European city is a subclass of city

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


(instance ParisFrance EuropeanCity) CountriesAndRegions.kif 54-54 Paris is an instance of european city
(instance LondonUnitedKingdom EuropeanCity) CountriesAndRegions.kif 69-69 London is an instance of european city
(instance BerlinGermany EuropeanCity) CountriesAndRegions.kif 716-716 Berlin germany is an instance of european city
(instance BernSwitzerland EuropeanCity) CountriesAndRegions.kif 720-720 Bern switzerland is an instance of european city
(instance RomeItaly EuropeanCity) CountriesAndRegions.kif 778-778 Rome italy is an instance of european city
(instance WarsawPoland EuropeanCity) CountriesAndRegions.kif 801-801 Warsaw poland is an instance of european city
(instance CopenhagenDenmark EuropeanCity) CountriesAndRegions.kif 843-843 Copenhagen denmark is an instance of european city
(termFormat EnglishLanguage EuropeanCity "european city") domainEnglishFormat.kif 22543-22543 Copenhagen denmark is an instance of european city
(termFormat ChineseTraditionalLanguage EuropeanCity "歐洲城市") domainEnglishFormat.kif 22544-22544 Copenhagen denmark is an instance of european city
(termFormat ChineseLanguage EuropeanCity "欧洲城市") domainEnglishFormat.kif 22545-22545 Copenhagen denmark is an instance of european city

antecedent
-------------------------


(=>
    (instance ?CITY EuropeanCity)
    (part ?CITY Europe))		 CountriesAndRegions.kif 50-52 If X is an instance of european city, then X is a part of europe


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners