TreeView Knowledge Base Browser - subCollection

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - subCollection

subCollection

appearance as argument number 1

(documentation subCollection ChineseLanguage "(subCollection ?COLL1 ?COLL2) 的意思是 Collection ?COLL1 是 Collection ?COLL2 的真正部分。")	chinese_format.kif 1635-1636
(documentation subCollection EnglishLanguage "(subCollection ?COLL1 ?COLL2) means that the Collection ?COLL1 is a proper part of the Collection ?COLL2.")	Merge.kif 1293-1294
(documentation subCollection JapaneseLanguage "(subCollection ?COLL1 ?COLL2) とは Collection ?COLL1が、Collection ?COLL2C2の適切な部分、という意味である。")	japanese_format.kif 218-219
(documentation subCollection SpanishLanguage "(subCollection ?COLL1 ?COLL2) significa que la Collection ?COLL1 es una propia parte de la Collection ?COLL2.")	spanish_format.kif 259-260
(domain subCollection 1 Collection)	Merge.kif 1290-1290	Die Zahl 1 Argument von teilsammlung ist ein fall von Collection %n{nicht}
(domain subCollection 2 Collection)	Merge.kif 1291-1291	Die Zahl 2 Argument von teilsammlung ist ein fall von Collection %n{nicht}
(instance subCollection BinaryPredicate)	Merge.kif 1288-1288	teilsammlung ist ein fall von BinaryPredicate %n{nicht}
(instance subCollection PartialOrderingRelation)	Merge.kif 1289-1289	teilsammlung ist ein fall von PartialOrderingRelation %n{nicht}

appearance as argument number 2

(format ChineseLanguage subCollection "%1 %n 是 %2 的真正的子集")	chinese_format.kif 185-185
(format EnglishLanguage subCollection "%1 is %n a proper sub-collection of %2")	english_format.kif 186-186
(format FrenchLanguage subCollection "%1 est %n une sous-collection appartenant � %2")	french_format.kif 112-112
(format ItalianLanguage subCollection "%1 è %n sottoinsieme un proprio %2")	relations-it.txt 272-272
(format JapaneseLanguage subCollection "%1 は %2 の適切な sub-collection では %n")	japanese_format.kif 1941-1941
(format PortugueseLanguage subCollection "%1 e' %n uma sub-colecao de %2")	portuguese_format.kif 64-64
(format cz subCollection "%1 %p{je} %n{nen�} a proper sub-collection of %2")	relations-cz.txt 70-70
(format de subCollection "%1 ist eine korrekte teilsammlung von %2 %n{nicht}")	relations-de.txt 235-235
(format hi subCollection "%1 %2 kaa eka uchita upa-sangraha %n hai")	relations-hindi.txt 309-309
(format ro subCollection "%1 %n{nu} este o sub-collection%t{subcolecþie} proprie a lui %2")	relations-ro.kif 131-131
(format sv subCollection "%1 är %n{inte} en riktig subsamling av %2")	relations-sv.txt 117-117
(format tg subCollection "%1 %n ay ang pangkat mas tiyak ng %2")	relations-tg.txt 464-464
(subrelation subOrganization subCollection)	Merge.kif 16741-16741	subOrganization ist eine teilrelation von teilsammlung
(termFormat ChineseLanguage subCollection "子集")	chinese_format.kif 186-186
(termFormat ChineseLanguage subCollection "子集合")	domainEnglishFormat.kif 55710-55710
(termFormat ChineseTraditionalLanguage subCollection "子集合")	domainEnglishFormat.kif 55709-55709
(termFormat EnglishLanguage subCollection "sub collection")	domainEnglishFormat.kif 55708-55708
(termFormat de subCollection "teilsammlung")	terms-de.txt 74-74

antecedent

(<=> (subCollection ?COLL1 ?COLL2) (forall (?MEMBER) (=> (member ?MEMBER ?COLL1) (member ?MEMBER ?COLL2))))	Merge.kif 1297-1302	Collection ist eine korrekte teilsammlung von Collection %n{nicht} genau dann wenn fuer alle Physical wenn Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein Mitglied von Collection %n{nicht}
(=> (and (chromosomeSetCount ?SUB ?COLL ?I) (subCollection ?SUB ?COLL)) (equal ?I (CardinalityFn (KappaFn ?I (subCollection ?SUB ?COLL)))))	VirusProteinAndCellPart.kif 829-836	Wenn chromosomeSetCount MonoploidChromosomeSet, Collection and Integer und MonoploidChromosomeSet ist eine korrekte teilsammlung von Collection %n{nicht}, dann Integer ist gleich die Zahl Faellen in die kategorie die Integer beschreibt %n{nicht}
(=> (and (instance ?CELL PentaploidCell) (instance ?N CellNucleus) (part ?N ?CELL) (located ?COLL ?N) (instance ?COLL Collection) (memberType ?COLL Chromosome) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL)) (chromosomeSetCount ?A ?COLL 5))	VirusProteinAndCellPart.kif 974-984	Wenn Object ist ein fall von PentaploidCell %n{nicht} und Object ist ein fall von CellNucleus %n{nicht} und Object ist ein teil von Object %n{nicht} und Collection befindet sich an %n{nicht} und Collection ist ein fall von Collection %n{nicht} und memberType Collection and Chromosome und MonoploidChromosomeSet ist ein fall von MonoploidChromosomeSet %n{nicht} und MonoploidChromosomeSet ist eine korrekte teilsammlung von Collection %n{nicht}, dann chromosomeSetCount MonoploidChromosomeSet, Collection and 5
(=> (and (instance ?CELL TriploidCell) (instance ?N CellNucleus) (part ?N ?CELL) (located ?COLL ?N) (instance ?COLL Collection) (memberType ?COLL Chromosome) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL)) (chromosomeSetCount ?A ?COLL 3))	VirusProteinAndCellPart.kif 921-931	Wenn Object ist ein fall von TriploidCell %n{nicht} und Object ist ein fall von CellNucleus %n{nicht} und Object ist ein teil von Object %n{nicht} und Collection befindet sich an %n{nicht} und Collection ist ein fall von Collection %n{nicht} und memberType Collection and Chromosome und MonoploidChromosomeSet ist ein fall von MonoploidChromosomeSet %n{nicht} und MonoploidChromosomeSet ist eine korrekte teilsammlung von Collection %n{nicht}, dann chromosomeSetCount MonoploidChromosomeSet, Collection and 3
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL) (chromosomeSetCount ?A ?COLL 4) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N ?CELL)) (instance ?CELL TetraploidCell))	VirusProteinAndCellPart.kif 939-949	Wenn Collection ist ein fall von Collection %n{nicht} und memberType Collection and Chromosome und MonoploidChromosomeSet ist ein fall von MonoploidChromosomeSet %n{nicht} und MonoploidChromosomeSet ist eine korrekte teilsammlung von Collection %n{nicht} und chromosomeSetCount MonoploidChromosomeSet, Collection and 4 und Collection befindet sich an %n{nicht} und Object ist ein fall von CellNucleus %n{nicht} und Object ist ein teil von Object %n{nicht}, dann Object ist ein fall von TetraploidCell %n{nicht}
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL) (chromosomeSetCount ?A ?COLL 6) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N ?CELL)) (instance ?CELL HexaploidCell))	VirusProteinAndCellPart.kif 992-1002	Wenn Collection ist ein fall von Collection %n{nicht} und memberType Collection and Chromosome und MonoploidChromosomeSet ist ein fall von MonoploidChromosomeSet %n{nicht} und MonoploidChromosomeSet ist eine korrekte teilsammlung von Collection %n{nicht} und chromosomeSetCount MonoploidChromosomeSet, Collection and 6 und Collection befindet sich an %n{nicht} und Object ist ein fall von CellNucleus %n{nicht} und Object ist ein teil von Object %n{nicht}, dann Object ist ein fall von HexaploidCell %n{nicht}
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (subCollection ?A ?COLL) (chromosomeSetCount ?A ?COLL 2) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N ?CELL)) (instance ?CELL DiploidCell))	VirusProteinAndCellPart.kif 896-905	Wenn Collection ist ein fall von Collection %n{nicht} und memberType Collection and Chromosome und MonoploidChromosomeSet ist eine korrekte teilsammlung von Collection %n{nicht} und chromosomeSetCount MonoploidChromosomeSet, Collection and 2 und Collection befindet sich an %n{nicht} und Object ist ein fall von CellNucleus %n{nicht} und Object ist ein teil von Object %n{nicht}, dann ** Object ist ein fall von DiploidCell %n{nicht}
(=> (and (instance ?COLL HomologousChromosomeSet) (memberType ?COLL Chromosome) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N EukaryoticCell) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL)) (chromosomeSetCount ?A ?COLL 2))	VirusProteinAndCellPart.kif 866-875	Wenn Collection ist ein fall von HomologousChromosomeSet %n{nicht} und memberType Collection and Chromosome und Collection befindet sich an %n{nicht} und Object ist ein fall von CellNucleus %n{nicht} und Object ist ein teil von EukaryoticCell %n{nicht} und MonoploidChromosomeSet ist ein fall von MonoploidChromosomeSet %n{nicht} und MonoploidChromosomeSet ist eine korrekte teilsammlung von Collection %n{nicht}, dann chromosomeSetCount MonoploidChromosomeSet, ** Collection and 2
(=> (and (instance ?COLL HomologousChromosomeSet) (memberType ?COLL Chromosome) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N EukaryoticCell) (subCollection ?X ?COLL) (subCollection ?Y ?COLL) (not (equal ?X ?Y))) (homologousChromosomePair ?X ?Y))	VirusProteinAndCellPart.kif 877-888	Wenn Collection ist ein fall von HomologousChromosomeSet %n{nicht} und memberType Collection and Chromosome und Collection befindet sich an %n{nicht} und Object ist ein fall von CellNucleus %n{nicht} und Object ist ein teil von EukaryoticCell %n{nicht} und MonoploidChromosomeSet ist eine korrekte teilsammlung von Collection %n{nicht} und MonoploidChromosomeSet ist eine korrekte teilsammlung von Collection %n{nicht} und MonoploidChromosomeSet ist gleich MonoploidChromosomeSet nicht, dann homologousChromosomePair MonoploidChromosomeSet and MonoploidChromosomeSet
(=> (and (instance ?UW UnconventionalWarfare) (agent ?UW ?AGENT) (not (equal ?AGENT ?POPULACE)) (not (equal ?AGENT (GovernmentFn ?NATION))) (patient ?UW ?POPULACE) (or (member ?POPULACE (ResidentFn ?NATION)) (subCollection ?POPULACE (ResidentFn ?NATION)))) (exists (?CONTEST) (and (instance ?CONTEST Contest) (agent ?CONTEST ?POPULACE) (agent ?CONTEST (GovernmentFn ?NATION)))))	MilitaryProcesses.kif 163-183	Wenn Process ist ein fall von UnconventionalWarfare %n{nicht} und Process ist der agent von Government %n{nicht} und Government ist gleich AutonomousAgent nicht und Government ist gleich GovernmentFn GeopoliticalArea nicht und AutonomousAgent ist ein patient von Process %n{nicht} und AutonomousAgent ist ein Mitglied von ResidentFn GeopoliticalArea %n{nicht} oder AutonomousAgent ist eine korrekte teilsammlung von ResidentFn GeopoliticalArea %n{nicht}, dann es gibt Process um Process ist ein fall von Contest %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process ist der agent von GovernmentFn GeopoliticalArea %n{nicht}
(=> (and (instance ?VISITS Collection) (instance ?PURCHASES Collection) (subCollection ?PURCHASES ?VISITS) (forall (?MEMBER) (=> (member ?MEMBER ?VISITS) (instance ?MEMBER AccessingWebPage))) (forall (?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE) (=> (and (instance ?VISITOR Human) (instance ?BUYING Buying) (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (member ?ACCESSING ?VISITS) (destination ?ACCESSING ?PAGE) (agent ?BUYING ?VISITOR) (agent ?ACCESSING ?VISITOR) (during (WhenFn ?BUYING) (WhenFn ?ACCESSING)) (instrument ?BUYING ?PAGE)) (member ?BUYING ?PURCHASES)))) (exists (?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL) (equal (SCRFn ?VISITS ?INTERVAL) (DivisionFn (CardinalityFn (KappaFn ?PURCHASE_IN_INTERVAL (and (member ?PURCHASE_IN_INTERVAL ?PURCHASES) (during (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL)))) (CardinalityFn (KappaFn ?VISIT_IN_INTERVAL (and (member ?VISIT_IN_INTERVAL ?VISITS) (during (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))	UXExperimentalTerms.kif 3668-3704	Wenn Collection ist ein fall von Collection %n{nicht} und Collection ist ein fall von Collection %n{nicht} und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und fuer alle Physical wenn Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von AccessingWebPage %n{nicht} und fuer alle Process, AutonomousAgent,, , Process,, , Process, and und Object wenn AutonomousAgent ist ein fall von Human %n{nicht} und Process ist ein fall von Buying %n{nicht} und Process ist ein fall von AccessingWebPage %n{nicht} und Object ist ein fall von WebPage %n{nicht} und Process ist ein Mitglied von Collection %n{nicht} und Process endet an Object %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und die zeit des Bestehens von Process geschieht waehrend die zeit des Bestehens von Process %n{nicht} und Object ist ein instrument fuer Process %n{nicht}, dann Process ist ein Mitglied von Collection %n{nicht} , dann es gibt TimeInterval, entity_IN_INTERVAL, and und entity_IN_INTERVAL um SCRFn Collection and TimeInterval ist gleich die Zahl Faellen in die kategorie die entity_IN_INTERVAL beschreibt und die Zahl Faellen in die kategorie die ** entity_IN_INTERVAL beschreibt %n{nicht}

consequent

(=> (and (chromosomeSetCount ?SUB ?COLL ?I) (subCollection ?SUB ?COLL)) (equal ?I (CardinalityFn (KappaFn ?I (subCollection ?SUB ?COLL)))))	VirusProteinAndCellPart.kif 829-836	Wenn chromosomeSetCount MonoploidChromosomeSet, Collection and Integer und MonoploidChromosomeSet ist eine korrekte teilsammlung von Collection %n{nicht}, dann Integer ist gleich die Zahl Faellen in die kategorie die Integer beschreibt %n{nicht}
(=> (and (instance ?CELL HexaploidCell) (part ?N ?CELL) (instance ?N CellNucleus) (located ?COLL ?N) (instance ?COLL Collection) (memberType ?COLL Chromosome)) (exists (?A ?B ?C) (and (instance ?A HomologousChromosomeSet) (subCollection ?A ?COLL) (instance ?B HomologousChromosomeSet) (subCollection ?B ?COLL) (instance ?C HomologousChromosomeSet) (subCollection ?C ?COLL) (not (equal ?A ?B) (equal ?A ?C) (equal ?B ?C)))))	VirusProteinAndCellPart.kif 1004-1023	Wenn Object ist ein fall von HexaploidCell %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von CellNucleus %n{nicht} und Collection befindet sich an %n{nicht} und Collection ist ein fall von Collection %n{nicht} und memberType Collection and Chromosome, dann es gibt Collection, Collection, and und Collection um Collection ist ein fall von HomologousChromosomeSet %n{nicht} und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist gleich Collection nicht
(=> (and (instance ?CELL TetraploidCell) (part ?N ?CELL) (instance ?N CellNucleus) (located ?COLL ?N) (instance ?COLL Collection) (memberType ?COLL Chromosome)) (exists (?A ?B) (and (instance ?A HomologousChromosomeSet) (subCollection ?A ?COLL) (instance ?B HomologousChromosomeSet) (subCollection ?B ?COLL) (not (equal ?A ?B)))))	VirusProteinAndCellPart.kif 951-966	Wenn Object ist ein fall von TetraploidCell %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von CellNucleus %n{nicht} und Collection befindet sich an %n{nicht} und Collection ist ein fall von Collection %n{nicht} und memberType Collection and Chromosome, dann es gibt Collection und Collection um Collection ist ein fall von HomologousChromosomeSet %n{nicht} und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist gleich Collection nicht
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (member ?M ?COLL) (part ?M CommonWheatGrass)) (exists (?A ?B ?X ?Y) (and (subCollection ?A ?COLL) (instance ?A HomologousChromosomeSet) (memberType ?A ?X) (initialPart ?X EmmerWheatGrass) (subCollection ?B ?COLL) (instance ?B HomologousChromosomeSet) (memberType ?B ?Y) (initialPart ?Y AegilopsTauschii))))	Economy.kif 3970-3985	Wenn Collection ist ein fall von Collection %n{nicht} und memberType Collection and Chromosome und Object ist ein Mitglied von Collection %n{nicht} und Object ist ein teil von CommonWheatGrass %n{nicht}, dann es gibt Collection, Collection,, , Object, and und Object um Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und memberType Collection and Object und initialPart Object and EmmerWheatGrass und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und memberType Collection and Object und initialPart ** Object and AegilopsTauschii
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (member ?M ?COLL) (part ?M DurumWheatGrass)) (exists (?A ?B ?X ?Y) (and (subCollection ?A ?COLL) (instance ?A HomologousChromosomeSet) (memberType ?A ?X) (initialPart ?X TriticumUrartu) (subCollection ?B ?COLL) (instance ?B HomologousChromosomeSet) (memberType ?B ?Y) (initialPart ?Y AegilopsSpeltoides))))	Economy.kif 3911-3926	Wenn Collection ist ein fall von Collection %n{nicht} und memberType Collection and Chromosome und Object ist ein Mitglied von Collection %n{nicht} und Object ist ein teil von DurumWheatGrass %n{nicht}, dann es gibt Collection, Collection,, , Object, and und Object um Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und memberType Collection and Object und initialPart Object and TriticumUrartu und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und memberType Collection and Object und initialPart ** Object and AegilopsSpeltoides
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (member ?M ?COLL) (part ?M EmmerWheatGrass)) (exists (?A ?B ?X ?Y) (and (subCollection ?A ?COLL) (instance ?A HomologousChromosomeSet) (memberType ?A ?X) (initialPart ?X EinkornWheatGrass) (subCollection ?B ?COLL) (instance ?B HomologousChromosomeSet) (memberType ?B ?Y) (initialPart ?Y AegilopsGrass))))	Economy.kif 3879-3894	Wenn Collection ist ein fall von Collection %n{nicht} und memberType Collection and Chromosome und Object ist ein Mitglied von Collection %n{nicht} und Object ist ein teil von EmmerWheatGrass %n{nicht}, dann es gibt Collection, Collection,, , Object, and und Object um Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und memberType Collection and Object und initialPart Object and EinkornWheatGrass und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und memberType Collection and Object und initialPart ** Object and AegilopsGrass
(=> (and (instance ?SAMPLE_COLL Collection) (instance ?POP_COLL Collection) (instance ?EXPERIMENT Experimenting) (statisticalPopulation ?SAMPLE_COLL ?POP_COLL ?EXPERIMENT)) (subCollection ?SAMPLE_COLL ?POP_COLL))	UXExperimentalTerms.kif 483-489	Wenn entity_COLL ist ein fall von Collection %n{nicht} und entity_COLL ist ein fall von Collection %n{nicht} und Experimenting ist ein fall von Experimenting %n{nicht} und statisticalPopulation entity_COLL, entity_COLL and Experimenting, dann entity_COLL ist eine korrekte teilsammlung von entity_COLL %n{nicht}
(=> (and (numberChildOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL ?SUBCOL) (and (instance ?COL GroupOfPeople) (subCollection ?SUBCOL ?COL) (instance ?SUBCOL GroupOfPeople) (memberType ?SUBCOL HumanChild) (memberCount ?SUBCOL ?NUM) (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2903-2914	Wenn numberChildOccupant HotelReservation and Integer und fulfillingEntity AutonomousAgent and HotelReservation, dann es gibt Collection und Collection um Collection ist ein fall von GroupOfPeople %n{nicht} und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von GroupOfPeople %n{nicht} und memberType Collection and HumanChild und memberCount Collection and Integer und potentialCustomer Collection and ** AutonomousAgent
(=> (memberTypeCount ?GROUP ?TYPE ?NUMBER) (exists (?SUBGROUP) (and (subCollection ?SUBGROUP ?GROUP) (memberCount ?SUBGROUP ?NUMBER) (memberType ?SUBGROUP ?TYPE))))	Mid-level-ontology.kif 22671-22677	Wenn memberTypeCount Collection, Class and NonnegativeInteger, dann es gibt Collection um Collection ist eine korrekte teilsammlung von Collection %n{nicht} und memberCount Collection and NonnegativeInteger und memberType Collection and Class

appearance as argument number 0

(subCollection AhmadiyyaSect Islam)	People.kif 1339-1339	AhmadiyyaSect ist eine korrekte teilsammlung von Islam %n{nicht}
(subCollection AimakEthnicity AsianEthnicity)	People.kif 496-496	AimakEthnicity ist eine korrekte teilsammlung von AsianEthnicity %n{nicht}
(subCollection Anglicanism Christianity)	People.kif 1217-1217	Anglicanism ist eine korrekte teilsammlung von Christianity %n{nicht}
(subCollection BritishVirginIslands VirginIslands)	Media.kif 2602-2602	BritishVirginIslands ist eine korrekte teilsammlung von VirginIslands %n{nicht}
(subCollection DruzeSect Islam)	People.kif 1353-1353	DruzeSect ist eine korrekte teilsammlung von Islam %n{nicht}
(subCollection EasternOrthodoxChristianity Christianity)	People.kif 1239-1239	EasternOrthodoxChristianity ist eine korrekte teilsammlung von Christianity %n{nicht}
(subCollection HazaraEthnicity AsianEthnicity)	People.kif 535-535	HazaraEthnicity ist eine korrekte teilsammlung von AsianEthnicity %n{nicht}
(subCollection IndochineseEthnicity AsianEthnicity)	People.kif 555-555	IndochineseEthnicity ist eine korrekte teilsammlung von AsianEthnicity %n{nicht}
(subCollection Protestantism Christianity)	People.kif 1253-1253	Protestantism ist eine korrekte teilsammlung von Christianity %n{nicht}
(subCollection RomanCatholicism Christianity)	People.kif 1267-1267	RomanCatholicism ist eine korrekte teilsammlung von Christianity %n{nicht}
(subCollection RussianEthnicity SlavicEthnicity)	People.kif 595-595	RussianEthnicity ist eine korrekte teilsammlung von SlavicEthnicity %n{nicht}
(subCollection ShiiteSect Islam)	People.kif 1368-1368	ShiiteSect ist eine korrekte teilsammlung von Islam %n{nicht}
(subCollection SunniSect Islam)	People.kif 1387-1387	SunniSect ist eine korrekte teilsammlung von Islam %n{nicht}
(subCollection TurkmenEthnicity CentralAsianTurkishEthnicity)	People.kif 631-631	TurkmenEthnicity ist eine korrekte teilsammlung von CentralAsianTurkishEthnicity %n{nicht}
(subCollection USVirginIslands VirginIslands)	Media.kif 2603-2603	USVirginIslands ist eine korrekte teilsammlung von VirginIslands %n{nicht}
(subCollection UzbekEthnicity CentralAsianTurkishEthnicity)	People.kif 638-638	UzbekEthnicity ist eine korrekte teilsammlung von CentralAsianTurkishEthnicity %n{nicht}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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