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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EuropeanNation
EuropeanNation
more pictures...

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


(documentation EuropeanNation EnglishLanguage "The class of nations that are in Europe.") CountriesAndRegions.kif 74-74
(externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ 1/ 16/ Drapeau-01.gif") pictureList.kif 3321-3321
(externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1c/ EUflagChangedColorWhite.png") pictureList.kif 3483-3483
(externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Europass.svg") pictureList.kif 3484-3484
(externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ c/ c6/ Europe_political_map.png") pictureList.kif 3486-3486
(externalImage EuropeanNation "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Regions_of_Europe_Map.png") pictureList.kif 3485-3485
(subclass EuropeanNation Nation) CountriesAndRegions.kif 73-73 EuropeanNation e' uma sub-classe de Nacao

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


(instance Andorra EuropeanNation) CountriesAndRegions.kif 391-391 Andorra e' uma instancia de EuropeanNation
(instance Belgium EuropeanNation) CountriesAndRegions.kif 349-349 Belgium e' uma instancia de EuropeanNation
(instance Czechoslovakia EuropeanNation) CountriesAndRegions.kif 847-847 Czechoslovakia e' uma instancia de EuropeanNation
(instance Denmark EuropeanNation) CountriesAndRegions.kif 316-316 Denmark e' uma instancia de EuropeanNation
(instance Finland EuropeanNation) CountriesAndRegions.kif 319-319 Finland e' uma instancia de EuropeanNation
(instance France EuropeanNation) CountriesAndRegions.kif 351-351 France e' uma instancia de EuropeanNation
(instance Germany EuropeanNation) CountriesAndRegions.kif 280-280 Germany e' uma instancia de EuropeanNation
(instance Greece EuropeanNation) CountriesAndRegions.kif 332-332 Greece e' uma instancia de EuropeanNation
(instance HolySee EuropeanNation) CountriesAndRegions.kif 334-334 HolySee e' uma instancia de EuropeanNation
(instance Iceland EuropeanNation) CountriesAndRegions.kif 321-321 Iceland e' uma instancia de EuropeanNation
(instance Ireland EuropeanNation) CountriesAndRegions.kif 354-354 Ireland e' uma instancia de EuropeanNation
(instance Italy EuropeanNation) CountriesAndRegions.kif 336-336 Italy e' uma instancia de EuropeanNation
(instance Malta EuropeanNation) CountriesAndRegions.kif 338-338 Malta e' uma instancia de EuropeanNation
(instance Monaco EuropeanNation) CountriesAndRegions.kif 360-360 Monaco e' uma instancia de EuropeanNation
(instance Netherlands EuropeanNation) CountriesAndRegions.kif 362-362 Netherlands e' uma instancia de EuropeanNation
(instance Norway EuropeanNation) CountriesAndRegions.kif 324-324 Norway e' uma instancia de EuropeanNation
(instance Poland EuropeanNation) CountriesAndRegions.kif 286-286 Poland e' uma instancia de EuropeanNation
(instance Portugal EuropeanNation) CountriesAndRegions.kif 394-394 Portugal e' uma instancia de EuropeanNation
(instance SanMarino EuropeanNation) CountriesAndRegions.kif 340-340 SanMarino e' uma instancia de EuropeanNation
(instance SovietUnion EuropeanNation) CountriesAndRegions.kif 80-80 SovietUnion e' uma instancia de EuropeanNation
(instance Spain EuropeanNation) CountriesAndRegions.kif 396-396 Spain e' uma instancia de EuropeanNation
(instance Sweden EuropeanNation) CountriesAndRegions.kif 327-327 Sweden e' uma instancia de EuropeanNation
(instance Switzerland EuropeanNation) CountriesAndRegions.kif 292-292 Switzerland e' uma instancia de EuropeanNation
(instance UnitedKingdom EuropeanNation) CountriesAndRegions.kif 364-364 UnitedKingdom e' uma instancia de EuropeanNation
(termFormat ChineseLanguage EuropeanNation "欧洲国家") domainEnglishFormat.kif 22576-22576

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?N EuropeanNation)
    (part ?N Europe))		 CountriesAndRegions.kif 76-78

statement
-------------------------


(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia EuropeanNation)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))		 Media.kif 2501-2504 Serbia e' uma instancia de EuropeanNation Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro EuropeanNation)))		 Media.kif 2528-2531 Posicao Temporal e' uma instancia de o dia 3 Montenegro e' uma instancia de EuropeanNation vale durante apos Posicao Temporal


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