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	O argumento numero 1 de subCollection e' uma instancia de Colecao
(domain subCollection 2 Collection)	Merge.kif 1291-1291	O argumento numero 2 de subCollection e' uma instancia de Colecao
(instance subCollection BinaryPredicate)	Merge.kif 1288-1288	subCollection e' uma instancia de Predicado Binario
(instance subCollection PartialOrderingRelation)	Merge.kif 1289-1289	subCollection e' uma instancia de Relacao parcialmente Ordenada

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 e' uma sub-relacao de subCollection
(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	Colecao e' uma sub-colecao de Colecao Fisico Fisico e' membro de Colecao Fisico e' membro de Colecao
(=> (and (chromosomeSetCount ?SUB ?COLL ?I) (subCollection ?SUB ?COLL)) (equal ?I (CardinalityFn (KappaFn ?I (subCollection ?SUB ?COLL)))))	VirusProteinAndCellPart.kif 829-836	chromosomeSetCount MonoploidChromosomeSet, Colecao and Numero Inteiro MonoploidChromosomeSet e' uma sub-colecao de Colecao Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Numero Inteiro
(=> (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	Objeto e' uma instancia de PentaploidCell Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de Objeto Colecao e' situado em Objeto Colecao e' uma instancia de Colecao memberType Colecao and Chromosome MonoploidChromosomeSet e' uma instancia de MonoploidChromosomeSet MonoploidChromosomeSet e' uma sub-colecao de Colecao chromosomeSetCount MonoploidChromosomeSet, Colecao 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	Objeto e' uma instancia de TriploidCell Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de Objeto Colecao e' situado em Objeto Colecao e' uma instancia de Colecao memberType Colecao and Chromosome MonoploidChromosomeSet e' uma instancia de MonoploidChromosomeSet MonoploidChromosomeSet e' uma sub-colecao de Colecao chromosomeSetCount MonoploidChromosomeSet, Colecao 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	Colecao e' uma instancia de Colecao memberType Colecao and Chromosome MonoploidChromosomeSet e' uma instancia de MonoploidChromosomeSet MonoploidChromosomeSet e' uma sub-colecao de Colecao chromosomeSetCount MonoploidChromosomeSet, Colecao and 4 Colecao e' situado em Objeto Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de Objeto Objeto e' uma instancia de TetraploidCell
(=> (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	Colecao e' uma instancia de Colecao memberType Colecao and Chromosome MonoploidChromosomeSet e' uma instancia de MonoploidChromosomeSet MonoploidChromosomeSet e' uma sub-colecao de Colecao chromosomeSetCount MonoploidChromosomeSet, Colecao and 6 Colecao e' situado em Objeto Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de Objeto Objeto e' uma instancia de HexaploidCell
(=> (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	Colecao e' uma instancia de Colecao memberType Colecao and Chromosome MonoploidChromosomeSet e' uma sub-colecao de Colecao chromosomeSetCount MonoploidChromosomeSet, Colecao and 2 Colecao e' situado em Objeto Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de Objeto Objeto e' uma instancia de DiploidCell
(=> (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	Colecao e' uma instancia de HomologousChromosomeSet memberType Colecao and Chromosome Colecao e' situado em Objeto Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de EukaryoticCell MonoploidChromosomeSet e' uma instancia de MonoploidChromosomeSet MonoploidChromosomeSet e' uma sub-colecao de Colecao chromosomeSetCount MonoploidChromosomeSet, Colecao 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	Colecao e' uma instancia de HomologousChromosomeSet memberType Colecao and Chromosome Colecao e' situado em Objeto Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de EukaryoticCell MonoploidChromosomeSet e' uma sub-colecao de Colecao MonoploidChromosomeSet e' uma sub-colecao de Colecao MonoploidChromosomeSet e' igual a MonoploidChromosomeSet 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	Processo e' uma instancia de UnconventionalWarfare Processo e' um agente de Governo Governo e' igual a AutonomousAgent Governo e' igual a o governo de Area Geopolitica AutonomousAgent e' um patient de Processo AutonomousAgent e' membro de ResidentFn Area Geopolitica AutonomousAgent e' uma sub-colecao de ResidentFn Area Geopolitica Processo Processo e' uma instancia de Contest Processo e' um agente de AutonomousAgent Processo e' um agente de o governo de Area Geopolitica
(=> (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	Colecao e' uma instancia de Colecao Colecao e' uma instancia de Colecao Colecao e' uma sub-colecao de Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de AccessingWebPage Processo AutonomousAgent, Processo, Processo and Objeto AutonomousAgent e' uma instancia de Humano Processo e' uma instancia de Comprar Processo e' uma instancia de AccessingWebPage Objeto e' uma instancia de WebPage Processo e' membro de Colecao Processo termina em Objeto Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent tempo de existencia de Processo acontece durante tempo de existencia de Processo Objeto e' um instrumento para Processo Processo e' membro de Colecao Intervalo Temporal Entidade_IN_INTERVAL and Entidade_IN_INTERVAL SCRFn Colecao and Intervalo Temporal e' igual a o numero de instancias dentro de a classe descrita por Entidade_IN_INTERVAL + o numero de instancias dentro de a classe descrita por Entidade_IN_INTERVAL

consequent

(=> (and (chromosomeSetCount ?SUB ?COLL ?I) (subCollection ?SUB ?COLL)) (equal ?I (CardinalityFn (KappaFn ?I (subCollection ?SUB ?COLL)))))	VirusProteinAndCellPart.kif 829-836	chromosomeSetCount MonoploidChromosomeSet, Colecao and Numero Inteiro MonoploidChromosomeSet e' uma sub-colecao de Colecao Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Numero Inteiro
(=> (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	Objeto e' uma instancia de HexaploidCell Objeto e' uma &parte de Objeto Objeto e' uma instancia de CellNucleus Colecao e' situado em Objeto Colecao e' uma instancia de Colecao memberType Colecao and Chromosome Colecao Colecao and Colecao Colecao e' uma instancia de HomologousChromosomeSet Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet Colecao e' uma sub-colecao de Colecao Colecao e' igual a Colecao
(=> (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	Objeto e' uma instancia de TetraploidCell Objeto e' uma &parte de Objeto Objeto e' uma instancia de CellNucleus Colecao e' situado em Objeto Colecao e' uma instancia de Colecao memberType Colecao and Chromosome Colecao Colecao Colecao e' uma instancia de HomologousChromosomeSet Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet Colecao e' uma sub-colecao de Colecao Colecao e' igual a Colecao
(=> (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	Colecao e' uma instancia de Colecao memberType Colecao and Chromosome Objeto e' membro de Colecao Objeto e' uma &parte de CommonWheatGrass Colecao Colecao, Objeto and Objeto Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet memberType Colecao and Objeto initialPart Objeto and EmmerWheatGrass Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet memberType Colecao and Objeto initialPart Objeto 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	Colecao e' uma instancia de Colecao memberType Colecao and Chromosome Objeto e' membro de Colecao Objeto e' uma &parte de DurumWheatGrass Colecao Colecao, Objeto and Objeto Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet memberType Colecao and Objeto initialPart Objeto and TriticumUrartu Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet memberType Colecao and Objeto initialPart Objeto 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	Colecao e' uma instancia de Colecao memberType Colecao and Chromosome Objeto e' membro de Colecao Objeto e' uma &parte de EmmerWheatGrass Colecao Colecao, Objeto and Objeto Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet memberType Colecao and Objeto initialPart Objeto and EinkornWheatGrass Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet memberType Colecao and Objeto initialPart Objeto 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	Entidade_COLL e' uma instancia de Colecao Entidade_COLL e' uma instancia de Colecao Experimenting e' uma instancia de Experimenting statisticalPopulation Entidade_COLL, Entidade_COLL and Experimenting Entidade_COLL e' uma sub-colecao de Entidade_COLL
(=> (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	numberChildOccupant HotelReservation and Numero Inteiro fulfillingEntity AutonomousAgent and HotelReservation Colecao Colecao Colecao e' uma instancia de GroupOfPeople Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de GroupOfPeople memberType Colecao and HumanChild memberCount Colecao and Numero Inteiro potentialCustomer Colecao and AutonomousAgent
(=> (memberTypeCount ?GROUP ?TYPE ?NUMBER) (exists (?SUBGROUP) (and (subCollection ?SUBGROUP ?GROUP) (memberCount ?SUBGROUP ?NUMBER) (memberType ?SUBGROUP ?TYPE))))	Mid-level-ontology.kif 22671-22677	memberTypeCount Colecao, Classe and Numero Inteiro nao-negativo Colecao Colecao e' uma sub-colecao de Colecao memberCount Colecao and Numero Inteiro nao-negativo memberType Colecao and Classe

appearance as argument number 0

(subCollection AhmadiyyaSect Islam)	People.kif 1339-1339	AhmadiyyaSect e' uma sub-colecao de Islam
(subCollection AimakEthnicity AsianEthnicity)	People.kif 496-496	AimakEthnicity e' uma sub-colecao de AsianEthnicity
(subCollection Anglicanism Christianity)	People.kif 1217-1217	Anglicanism e' uma sub-colecao de Christianity
(subCollection BritishVirginIslands VirginIslands)	Media.kif 2602-2602	BritishVirginIslands e' uma sub-colecao de VirginIslands
(subCollection DruzeSect Islam)	People.kif 1353-1353	DruzeSect e' uma sub-colecao de Islam
(subCollection EasternOrthodoxChristianity Christianity)	People.kif 1239-1239	EasternOrthodoxChristianity e' uma sub-colecao de Christianity
(subCollection HazaraEthnicity AsianEthnicity)	People.kif 535-535	HazaraEthnicity e' uma sub-colecao de AsianEthnicity
(subCollection IndochineseEthnicity AsianEthnicity)	People.kif 555-555	IndochineseEthnicity e' uma sub-colecao de AsianEthnicity
(subCollection Protestantism Christianity)	People.kif 1253-1253	Protestantism e' uma sub-colecao de Christianity
(subCollection RomanCatholicism Christianity)	People.kif 1267-1267	RomanCatholicism e' uma sub-colecao de Christianity
(subCollection RussianEthnicity SlavicEthnicity)	People.kif 595-595	RussianEthnicity e' uma sub-colecao de SlavicEthnicity
(subCollection ShiiteSect Islam)	People.kif 1368-1368	ShiiteSect e' uma sub-colecao de Islam
(subCollection SunniSect Islam)	People.kif 1387-1387	SunniSect e' uma sub-colecao de Islam
(subCollection TurkmenEthnicity CentralAsianTurkishEthnicity)	People.kif 631-631	TurkmenEthnicity e' uma sub-colecao de CentralAsianTurkishEthnicity
(subCollection USVirginIslands VirginIslands)	Media.kif 2603-2603	USVirginIslands e' uma sub-colecao de VirginIslands
(subCollection UzbekEthnicity CentralAsianTurkishEthnicity)	People.kif 638-638	UzbekEthnicity e' uma sub-colecao de CentralAsianTurkishEthnicity

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