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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EuropeanCity
EuropeanCity

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


(documentation EuropeanCity EnglishLanguage "The class of cities that are in Europe.") CountriesAndRegions.kif 48-48
(externalImage EuropeanCity "http://upload.wikimedia.org/wikipedia/commons/ 1/ 19/ European_flag_in_the_wind.jpg") pictureList.kif 10006-10006
(externalImage EuropeanCity "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Aftnn_The_Seine_from_the_Eiffel_Tower.jpg") pictureList.kif 10971-10971
(externalImage EuropeanCity "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ 442px_-_London_Lead_Image.jpg") pictureList.kif 10972-10972
(externalImage EuropeanCity "http://upload.wikimedia.org/wikipedia/commons/ d/ db/ Cityscapeberlin2006.JPG") pictureList.kif 10973-10973
(subclass EuropeanCity City) CountriesAndRegions.kif 47-47 EuropeanCity est une sous-classe de ville

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


(instance BerlinGermany EuropeanCity) CountriesAndRegions.kif 716-716 BerlinGermany est une instance de EuropeanCity
(instance BernSwitzerland EuropeanCity) CountriesAndRegions.kif 720-720 BernSwitzerland est une instance de EuropeanCity
(instance CopenhagenDenmark EuropeanCity) CountriesAndRegions.kif 843-843 CopenhagenDenmark est une instance de EuropeanCity
(instance LondonUnitedKingdom EuropeanCity) CountriesAndRegions.kif 69-69 LondonUnitedKingdom est une instance de EuropeanCity
(instance Paris EuropeanCity) CountriesAndRegions.kif 54-54 Paris est une instance de EuropeanCity
(instance RomeItaly EuropeanCity) CountriesAndRegions.kif 778-778 RomeItaly est une instance de EuropeanCity
(instance WarsawPoland EuropeanCity) CountriesAndRegions.kif 801-801 WarsawPoland est une instance de EuropeanCity
(termFormat ChineseLanguage EuropeanCity "欧洲城市") domainEnglishFormat.kif 22546-22546
(termFormat ChineseTraditionalLanguage EuropeanCity "歐洲城市") domainEnglishFormat.kif 22545-22545
(termFormat EnglishLanguage EuropeanCity "european city") domainEnglishFormat.kif 22544-22544

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


(=>
    (instance ?CITY EuropeanCity)
    (part ?CITY Europe))
CountriesAndRegions.kif 50-52


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