subCollection - Sigma Knowledge base Browser

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	The number 1 argument of sub collection is an instance of collection
(domain subCollection 2 Collection)	Merge.kif 1291-1291	The number 2 argument of sub collection is an instance of collection
(instance subCollection BinaryPredicate)	Merge.kif 1288-1288	sub collection is an instance of binary predicate
(instance subCollection PartialOrderingRelation)	Merge.kif 1289-1289	sub collection is an instance of partial ordering relation

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 16812-16812	sub organization is a subrelation of sub collection
(termFormat ChineseLanguage subCollection "子集")	chinese_format.kif 186-186	sub organization is a subrelation of sub collection
(termFormat ChineseLanguage subCollection "子集合")	domainEnglishFormat.kif 55750-55750	sub organization is a subrelation of sub collection
(termFormat ChineseTraditionalLanguage subCollection "子集合")	domainEnglishFormat.kif 55749-55749	sub organization is a subrelation of sub collection
(termFormat EnglishLanguage subCollection "sub collection")	domainEnglishFormat.kif 55748-55748	sub organization is a subrelation of sub collection
(termFormat de subCollection "teilsammlung")	terms-de.txt 74-74	sub organization is a subrelation of sub collection

antecedent

(<=> (subCollection ?COLL1 ?COLL2) (forall (?MEMBER) (=> (member ?MEMBER ?COLL1) (member ?MEMBER ?COLL2))))	Merge.kif 1297-1302	A collection is a proper sub-collection of another collection if and only if for all a physical if the physical is a member of the collection, then the physical is a member of the other collection
(=> (and (chromosomeSetCount ?SUB ?COLL ?I) (subCollection ?SUB ?COLL)) (equal ?I (CardinalityFn (KappaFn ?I (subCollection ?SUB ?COLL)))))	VirusProteinAndCellPart.kif 828-835	If There are an integer number of a monoploid chromosome set MonoploidChromosomeSet in Collection a collection. and the monoploid chromosome set is a proper sub-collection of the collection, then the integer is equal to the number of instances in the class described by the integer
(=> (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 973-983	If an object is an instance of pentaploid cell and another object is an instance of cell nucleus and the other object is a part of the object and a collection is located at the other object and the collection is an instance of collection and Chromosome is a member type of the collection and a monoploid chromosome set is an instance of monoploid chromosome set and the monoploid chromosome set is a proper sub-collection of the collection, then There are 5 number of the monoploid chromosome set MonoploidChromosomeSet in Collection the collection.
(=> (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 920-930	If an object is an instance of triploid cell and another object is an instance of cell nucleus and the other object is a part of the object and a collection is located at the other object and the collection is an instance of collection and Chromosome is a member type of the collection and a monoploid chromosome set is an instance of monoploid chromosome set and the monoploid chromosome set is a proper sub-collection of the collection, then There are 3 number of the monoploid chromosome set MonoploidChromosomeSet in Collection the collection.
(=> (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 938-948	If a collection is an instance of collection and Chromosome is a member type of the collection and a monoploid chromosome set is an instance of monoploid chromosome set and the monoploid chromosome set is a proper sub-collection of the collection and There are 4 number of the monoploid chromosome set MonoploidChromosomeSet in Collection the collection. and the collection is located at an object and the object is an instance of cell nucleus and the object is a part of another object, then the other object is an instance of tetraploid cell
(=> (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 991-1001	If a collection is an instance of collection and Chromosome is a member type of the collection and a monoploid chromosome set is an instance of monoploid chromosome set and the monoploid chromosome set is a proper sub-collection of the collection and There are 6 number of the monoploid chromosome set MonoploidChromosomeSet in Collection the collection. and the collection is located at an object and the object is an instance of cell nucleus and the object is a part of another object, then the other object is an instance of hexaploid cell
(=> (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 895-904	If a collection is an instance of collection and Chromosome is a member type of the collection and a monoploid chromosome set is a proper sub-collection of the collection and There are 2 number of the monoploid chromosome set MonoploidChromosomeSet in Collection the collection. and the collection is located at an object and the object is an instance of cell nucleus and the object is a part of another object, then the other object is an instance of diploid cell
(=> (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 865-874	If a collection is an instance of homologous chromosome set and Chromosome is a member type of the collection and the collection is located at an object and the object is an instance of cell nucleus and the object is a part of eukaryotic cell and a monoploid chromosome set is an instance of monoploid chromosome set and the monoploid chromosome set is a proper sub-collection of the collection, then There are 2 number of the monoploid chromosome set MonoploidChromosomeSet in Collection the collection.
(=> (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 876-887	If a collection is an instance of homologous chromosome set and Chromosome is a member type of the collection and the collection is located at an object and the object is an instance of cell nucleus and the object is a part of eukaryotic cell and a monoploid chromosome set is a proper sub-collection of the collection and another monoploid chromosome set is a proper sub-collection of the collection and the monoploid chromosome set is not equal to the other monoploid chromosome set, then members of MonoploidChromosomeSet the monoploid chromosome set and members of MonoploidChromosomeSet the other monoploid chromosome set are homologoousChromosome pairs.
(=> (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	If a process is an instance of unconventional warfare and a government is an agent of the process and the government is not equal to an agent and the government is not equal to the government of a geopolitical area and the agent is a patient of the process and the agent is a member of the resident of the geopolitical area or the agent is a proper sub-collection of the resident of the geopolitical area, then there exists another process such that the other process is an instance of contest and the agent is an agent of the other process and the government of the geopolitical area is an agent of the other process
(=> (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	If a collection is an instance of collection and another collection is an instance of collection and the other collection is a proper sub-collection of the collection and for all a physical if the physical is a member of the collection, then the physical is an instance of accessing web page and for all a process, an agent,, , another process,, , the process and an object if the agent is an instance of human and the process is an instance of buying and the other process is an instance of accessing web page and the object is an instance of web page and the other process is a member of the collection and the other process ends up at the object and the agent is an agent of the process and the agent is an agent of the other process and the time of existence of the process takes place during the time of existence of the other process and the object is an instrument for the process, then the process is a member of the other collection , then there exist a time interval, an entity_IN_INTERVAL and another entity_IN_INTERVAL such that purchases made in the collection during the time interval is equal to the number of instances in the class described by the entity_IN_INTERVAL and the number of instances in the class described by the other entity_IN_INTERVAL

consequent

(=> (and (chromosomeSetCount ?SUB ?COLL ?I) (subCollection ?SUB ?COLL)) (equal ?I (CardinalityFn (KappaFn ?I (subCollection ?SUB ?COLL)))))	VirusProteinAndCellPart.kif 828-835	If There are an integer number of a monoploid chromosome set MonoploidChromosomeSet in Collection a collection. and the monoploid chromosome set is a proper sub-collection of the collection, then the integer is equal to the number of instances in the class described by the integer
(=> (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)) (not (equal ?A ?C)) (not (equal ?B ?C)))))	VirusProteinAndCellPart.kif 1003-1024	If an object is an instance of hexaploid cell and another object is a part of the object and the other object is an instance of cell nucleus and a collection is located at the other object and the collection is an instance of collection and Chromosome is a member type of the collection, then there exist another collection, a third collection and a fourth collection such that the other collection is an instance of homologous chromosome set and the other collection is a proper sub-collection of the collection and the third collection is an instance of homologous chromosome set and the third collection is a proper sub-collection of the collection and the fourth collection is an instance of homologous chromosome set and the fourth collection is a proper sub-collection of the collection and the other collection is not equal to the third collection and the other collection is not equal to the fourth collection and the third collection is not equal to the fourth collection
(=> (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 950-965	If an object is an instance of tetraploid cell and another object is a part of the object and the other object is an instance of cell nucleus and a collection is located at the other object and the collection is an instance of collection and Chromosome is a member type of the collection, then there exist another collection and a third collection such that the other collection is an instance of homologous chromosome set and the other collection is a proper sub-collection of the collection and the third collection is an instance of homologous chromosome set and the third collection is a proper sub-collection of the collection and the other collection is not equal to the third collection
(=> (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	If a collection is an instance of collection and Chromosome is a member type of the collection and an object is a member of the collection and the object is a part of common wheat grass, then there exist another collection, a third collection,, , another kind of object and a third kind of object such that the other collection is a proper sub-collection of the collection and the other collection is an instance of homologous chromosome set and another kind of object is a member type of the other collection and every the other kind of object is initially part of a emmer wheat grass and the third collection is a proper sub-collection of the collection and the third collection is an instance of homologous chromosome set and a third kind of object is a member type of the third collection and every the third kind of object is initially part of a Aegilops Tauschii
(=> (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	If a collection is an instance of collection and Chromosome is a member type of the collection and an object is a member of the collection and the object is a part of durum wheat grass, then there exist another collection, a third collection,, , another kind of object and a third kind of object such that the other collection is a proper sub-collection of the collection and the other collection is an instance of homologous chromosome set and another kind of object is a member type of the other collection and every the other kind of object is initially part of a Triticum urartu and the third collection is a proper sub-collection of the collection and the third collection is an instance of homologous chromosome set and a third kind of object is a member type of the third collection and every the third kind of object is initially part of a Aegilops Speltoides
(=> (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	If a collection is an instance of collection and Chromosome is a member type of the collection and an object is a member of the collection and the object is a part of emmer wheat grass, then there exist another collection, a third collection,, , another kind of object and a third kind of object such that the other collection is a proper sub-collection of the collection and the other collection is an instance of homologous chromosome set and another kind of object is a member type of the other collection and every the other kind of object is initially part of a einkorn wheat grass and the third collection is a proper sub-collection of the collection and the third collection is an instance of homologous chromosome set and a third kind of object is a member type of the third collection and every the third kind of object is initially part of a Aegilops grass
(=> (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	If an entity_COLL is an instance of collection and another entity_COLL is an instance of collection and an experimenting is an instance of experimenting and the entity_COLL is a sample of the other entity_COLL for the experimenting, then the entity_COLL is a proper sub-collection of the other entity_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	If a hotel reservation may have an integer children and an agent fulfills the hotel reservation, then there exist a collection and another collection such that the collection is an instance of group of people and the other collection is a proper sub-collection of the collection and the other collection is an instance of group of people and human child is a member type of the other collection and the integer is a member count of the other collection and the collection is a potential customer for the agent
(=> (memberTypeCount ?GROUP ?TYPE ?NUMBER) (exists (?SUBGROUP) (and (subCollection ?SUBGROUP ?GROUP) (memberCount ?SUBGROUP ?NUMBER) (memberType ?SUBGROUP ?TYPE))))	Mid-level-ontology.kif 22954-22960	If a collection is member type count a class for a nonnegative integer, then there exists another collection such that the other collection is a proper sub-collection of the collection and the nonnegative integer is a member count of the other collection and the class is a member type of the other collection

appearance as argument number 0

(subCollection AhmadiyyaSect Islam)	People.kif 1339-1339	Ahmadiyya sect is a proper sub-collection of islam
(subCollection AimakEthnicity AsianEthnicity)	People.kif 496-496	Aimak ethnicity is a proper sub-collection of asian ethnicity
(subCollection Anglicanism Christianity)	People.kif 1217-1217	Anglicanism is a proper sub-collection of christianity
(subCollection BritishVirginIslands VirginIslands)	Media.kif 2602-2602	British virgin islands is a proper sub-collection of virgin islands
(subCollection DruzeSect Islam)	People.kif 1353-1353	Druze sect is a proper sub-collection of islam
(subCollection EasternOrthodoxChristianity Christianity)	People.kif 1239-1239	Eastern orthodox christianity is a proper sub-collection of christianity
(subCollection HazaraEthnicity AsianEthnicity)	People.kif 535-535	Hazara ethnicity is a proper sub-collection of asian ethnicity
(subCollection IndochineseEthnicity AsianEthnicity)	People.kif 555-555	Indochinese ethnicity is a proper sub-collection of asian ethnicity
(subCollection Protestantism Christianity)	People.kif 1253-1253	Protestantism is a proper sub-collection of christianity
(subCollection RomanCatholicism Christianity)	People.kif 1267-1267	Roman catholicism is a proper sub-collection of christianity
(subCollection RussianEthnicity SlavicEthnicity)	People.kif 595-595	Russian ethnicity is a proper sub-collection of slavic ethnicity
(subCollection ShiiteSect Islam)	People.kif 1368-1368	Shiite sect is a proper sub-collection of islam
(subCollection SunniSect Islam)	People.kif 1387-1387	Sunni sect is a proper sub-collection of islam
(subCollection TurkmenEthnicity CentralAsianTurkishEthnicity)	People.kif 631-631	Turkmen ethnicity is a proper sub-collection of central asian turkish ethnicity
(subCollection USVirginIslands VirginIslands)	Media.kif 2603-2603	US virgin islands is a proper sub-collection of virgin islands
(subCollection UzbekEthnicity CentralAsianTurkishEthnicity)	People.kif 638-638	Uzbek ethnicity is a proper sub-collection of central asian turkish ethnicity

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