EuropeanNation - Sigma Knowledge base Browser

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 は国民の subclass では %n

appearance as argument number 2

(instance Andorra EuropeanNation)	CountriesAndRegions.kif 391-391	Andorra は EuropeanNation の instance では %n
(instance Belgium EuropeanNation)	CountriesAndRegions.kif 349-349	Belgium は EuropeanNation の instance では %n
(instance Czechoslovakia EuropeanNation)	CountriesAndRegions.kif 847-847	Czechoslovakia は EuropeanNation の instance では %n
(instance Denmark EuropeanNation)	CountriesAndRegions.kif 316-316	Denmark は EuropeanNation の instance では %n
(instance Finland EuropeanNation)	CountriesAndRegions.kif 319-319	Finland は EuropeanNation の instance では %n
(instance France EuropeanNation)	CountriesAndRegions.kif 351-351	France は EuropeanNation の instance では %n
(instance Germany EuropeanNation)	CountriesAndRegions.kif 280-280	Germany は EuropeanNation の instance では %n
(instance Greece EuropeanNation)	CountriesAndRegions.kif 332-332	Greece は EuropeanNation の instance では %n
(instance HolySee EuropeanNation)	CountriesAndRegions.kif 334-334	HolySee は EuropeanNation の instance では %n
(instance Iceland EuropeanNation)	CountriesAndRegions.kif 321-321	Iceland は EuropeanNation の instance では %n
(instance Ireland EuropeanNation)	CountriesAndRegions.kif 354-354	Ireland は EuropeanNation の instance では %n
(instance Italy EuropeanNation)	CountriesAndRegions.kif 336-336	Italy は EuropeanNation の instance では %n
(instance Malta EuropeanNation)	CountriesAndRegions.kif 338-338	Malta は EuropeanNation の instance では %n
(instance Monaco EuropeanNation)	CountriesAndRegions.kif 360-360	Monaco は EuropeanNation の instance では %n
(instance Netherlands EuropeanNation)	CountriesAndRegions.kif 362-362	Netherlands は EuropeanNation の instance では %n
(instance Norway EuropeanNation)	CountriesAndRegions.kif 324-324	Norway は EuropeanNation の instance では %n
(instance Poland EuropeanNation)	CountriesAndRegions.kif 286-286	Poland は EuropeanNation の instance では %n
(instance Portugal EuropeanNation)	CountriesAndRegions.kif 394-394	Portugal は EuropeanNation の instance では %n
(instance SanMarino EuropeanNation)	CountriesAndRegions.kif 340-340	SanMarino は EuropeanNation の instance では %n
(instance SovietUnion EuropeanNation)	CountriesAndRegions.kif 80-80	SovietUnion は EuropeanNation の instance では %n
(instance Spain EuropeanNation)	CountriesAndRegions.kif 396-396	Spain は EuropeanNation の instance では %n
(instance Sweden EuropeanNation)	CountriesAndRegions.kif 327-327	Sweden は EuropeanNation の instance では %n
(instance Switzerland EuropeanNation)	CountriesAndRegions.kif 292-292	Switzerland は EuropeanNation の instance では %n
(instance UnitedKingdom EuropeanNation)	CountriesAndRegions.kif 364-364	UnitedKingdom は EuropeanNation の instance では %n
(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

オブジェクトは EuropeanNation の instance では %n
オブジェクトは Europe の part では %n

statement

(holdsDuring (FutureFn ?T) (and (instance Serbia EuropeanNation) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006))))))	Media.kif 2501-2504	Serbia は EuropeanNation の instance では %n 時間位置は 5 day 目の instance では %n は時間位置の after の during holds %n{ない}
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (instance Montenegro EuropeanNation)))	Media.kif 2528-2531	時間位置は 3 day 目の instance では %n Montenegro は EuropeanNation の instance では %n は時間位置の after の during holds %n{ない}

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

KB Term:			Term intersection

English Word: