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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EuropeanNation
EuropeanNation(european nation)
more pictures...
Balkan_country, Balkan_nation, Balkan_state, Baltic_Republic, Baltic_State, Bosna_i_Hercegovina, Bosnia, Bosnia-Herzegovina, Bosnia_and_Herzegovina, East_Germany, European_country, European_nation, Federal_Republic_of_Germany, Flanders, German_Democratic_Republic, Republic_of_Bosnia_and_Herzegovina, Scandinavian_country, Scandinavian_nation, West_Germany, european_nation, 欧洲国家, 歐洲國家

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 74-74
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3322-3322 "http://upload.wikimedia.org/wikipedia/commons/1/16/ Drapeau-01.gif" is a URL depicting european nation
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3484-3484 "http://upload.wikimedia.org/wikipedia/commons/1/1c/ EUflagChangedColorWhite.png" is a URL depicting european nation
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3485-3485 "http://upload.wikimedia.org/wikipedia/commons/4/40/ Europass.svg" is a URL depicting european nation
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3487-3487 "http://upload.wikimedia.org/wikipedia/commons/c/c6/ Europe_political_map.png" is a URL depicting european nation
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3486-3486 "http://upload.wikimedia.org/wikipedia/commons/e/ec/ Regions_of_Europe_Map.png" is a URL depicting european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 73-73 European nation is a subclass of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 391-391 Andorra is an instance of european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 349-349 Belgium is an instance of european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 847-847 Czechoslovakia is an instance of european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 316-316 Denmark is an instance of european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 319-319 Finland is an instance of european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 351-351 France is an instance of european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 280-280 Germany is an instance of european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 332-332 Greece is an instance of european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 334-334 Holy see is an instance of european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 321-321 Iceland is an instance of european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 354-354 Ireland is an instance of european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 336-336 Italy is an instance of european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 338-338 Malta is an instance of european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 360-360 Monaco is an instance of european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 362-362 Netherlands is an instance of european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 324-324 Norway is an instance of european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 286-286 Poland is an instance of european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 394-394 Portugal is an instance of european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 340-340 San marino is an instance of european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 80-80 Soviet union is an instance of european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 396-396 Spain is an instance of european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 327-327 Sweden is an instance of european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 292-292 Switzerland is an instance of european nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 364-364 United kingdom is an instance of european nation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22507-22507 "欧洲国家" is the printable form of european nation in ChineseLanguage

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 76-78

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2507-2508 Montenegro is an instance of european nation holds during after the day 3
No TPTP formula. May not be expressible in strict first order. Media.kif 2492-2493 Serbia is an instance of european nation holds during after the day 5


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners