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 1288-1289
(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 1285-1285	域子集合, 1 and Collection
(domain subCollection 2 Collection)	Merge.kif 1286-1286	域子集合, 2 and Collection
(instance subCollection BinaryPredicate)	Merge.kif 1283-1283	例子集合 and BinaryPredicate
(instance subCollection PartialOrderingRelation)	Merge.kif 1284-1284	例子集合 and PartialOrderingRelation

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 16901-16901	子關係子組織 and 子集合
(termFormat ChineseLanguage subCollection "子集")	chinese_format.kif 186-186	子關係子組織 and 子集合
(termFormat ChineseLanguage subCollection "子集合")	domainEnglishFormat.kif 55714-55714	子關係子組織 and 子集合
(termFormat ChineseTraditionalLanguage subCollection "子集合")	domainEnglishFormat.kif 55713-55713	子關係子組織 and 子集合
(termFormat EnglishLanguage subCollection "sub collection")	domainEnglishFormat.kif 55712-55712	子關係子組織 and 子集合
(termFormat de subCollection "teilsammlung")	terms-de.txt 74-74	子關係子組織 and 子集合

antecedent

(<=> (subCollection ?COLL1 ?COLL2) (forall (?MEMBER) (=> (member ?MEMBER ?COLL1) (member ?MEMBER ?COLL2))))	Merge.kif 1292-1297	子集合 Collection and Collection Physical 會員 Physical and Collection 會員 Physical and Collection
(=> (and (chromosomeSetCount ?SUB ?COLL ?I) (subCollection ?SUB ?COLL)) (equal ?I (CardinalityFn (KappaFn ?I (subCollection ?SUB ?COLL)))))	VirusProteinAndCellPart.kif 835-842	chromosomeSetCount MonoploidChromosomeSet, Collection and Integer 子集合 MonoploidChromosomeSet and Collection 等於 Integer and 基數卡帕 Integer and 子集合 MonoploidChromosomeSet and Collection
(=> (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 980-990	例 Object and PentaploidCell 例 Object and 細胞核部分 Object and Object 位於 Collection and Object 例 Collection and Collection Chromosome 是 Collection 的 member 類別例 MonoploidChromosomeSet and MonoploidChromosomeSet 子集合 MonoploidChromosomeSet and Collection 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 927-937	例 Object and TriploidCell 例 Object and 細胞核部分 Object and Object 位於 Collection and Object 例 Collection and Collection Chromosome 是 Collection 的 member 類別例 MonoploidChromosomeSet and MonoploidChromosomeSet 子集合 MonoploidChromosomeSet and Collection 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 945-955	例 Collection and Collection Chromosome 是 Collection 的 member 類別例 MonoploidChromosomeSet and MonoploidChromosomeSet 子集合 MonoploidChromosomeSet and Collection chromosomeSetCount MonoploidChromosomeSet, Collection and 4 位於 Collection and Object 例 Object and 細胞核部分 Object and Object 例 Object and 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 998-1008	例 Collection and Collection Chromosome 是 Collection 的 member 類別例 MonoploidChromosomeSet and MonoploidChromosomeSet 子集合 MonoploidChromosomeSet and Collection chromosomeSetCount MonoploidChromosomeSet, Collection and 6 位於 Collection and Object 例 Object and 細胞核部分 Object and Object 例 Object and 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 902-911	例 Collection and Collection Chromosome 是 Collection 的 member 類別子集合 MonoploidChromosomeSet and Collection chromosomeSetCount MonoploidChromosomeSet, Collection and 2 位於 Collection and Object 例 Object and 細胞核部分 Object and Object 例 Object and 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 872-881	例 Collection and HomologousChromosomeSet Chromosome 是 Collection 的 member 類別位於 Collection and Object 例 Object and 細胞核部分 Object and 真核細胞例 MonoploidChromosomeSet and MonoploidChromosomeSet 子集合 MonoploidChromosomeSet and Collection 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 883-894	例 Collection and HomologousChromosomeSet Chromosome 是 Collection 的 member 類別位於 Collection and Object 例 Object and 細胞核部分 Object and 真核細胞子集合 MonoploidChromosomeSet and Collection 子集合 MonoploidChromosomeSet and Collection 等於 MonoploidChromosomeSet and 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	例 Process and 非常規戰爭 agent Process and Government 等於 Government and AutonomousAgent 等於 Government and 政府 GeopoliticalArea 患者 Process and AutonomousAgent 會員 AutonomousAgent and GeopoliticalArea 的 resident 子集合 AutonomousAgent and GeopoliticalArea 的 resident Process 例 Process and Contest agent Process and AutonomousAgent agent Process and 政府 GeopoliticalArea
(=> (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	例 Collection and Collection 例 Collection and Collection 子集合 Collection and Collection Physical 會員 Physical and Collection 例 Physical and AccessingWebPage Process AutonomousAgent, Process, Process and Object 例 AutonomousAgent and Human 例 Process and Buying 例 Process and AccessingWebPage 例 Object and WebPage 會員 Process and Collection 目的地 Process and Object agent Process and AutonomousAgent agent Process and AutonomousAgent 期間何時 Process and 何時 Process 儀器 Process and Object 會員 Process and Collection TimeInterval entity_IN_INTERVAL and entity_IN_INTERVAL 等於 purchases 花在 Collection 期間 TimeInterval and 部基數卡帕 entity_IN_INTERVAL and 會員 entity_IN_INTERVAL and Collection 期間何時 entity_IN_INTERVAL and TimeInterval and 基數卡帕 entity_IN_INTERVAL and 會員 entity_IN_INTERVAL and Collection 期間何時 entity_IN_INTERVAL and TimeInterval

consequent

(=> (and (chromosomeSetCount ?SUB ?COLL ?I) (subCollection ?SUB ?COLL)) (equal ?I (CardinalityFn (KappaFn ?I (subCollection ?SUB ?COLL)))))	VirusProteinAndCellPart.kif 835-842	chromosomeSetCount MonoploidChromosomeSet, Collection and Integer 子集合 MonoploidChromosomeSet and Collection 等於 Integer and 基數卡帕 Integer and 子集合 MonoploidChromosomeSet and Collection
(=> (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 1010-1031	例 Object and HexaploidCell 部分 Object and Object 例 Object and 細胞核位於 Collection and Object 例 Collection and Collection Chromosome 是 Collection 的 member 類別 Collection Collection and Collection 例 Collection and HomologousChromosomeSet 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet 子集合 Collection and Collection 等於 Collection and Collection 等於 Collection and Collection 等於 Collection and 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 957-972	例 Object and TetraploidCell 部分 Object and Object 例 Object and 細胞核位於 Collection and Object 例 Collection and Collection Chromosome 是 Collection 的 member 類別 Collection Collection 例 Collection and HomologousChromosomeSet 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet 子集合 Collection and Collection 等於 Collection and 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 4307-4322	例 Collection and Collection Chromosome 是 Collection 的 member 類別會員 Object and Collection 部分 Object and CommonWheatGrass Collection Collection, Object and Object 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet Object 是 Collection 的 member 類別 %每個 Object 是 EmmerWheatGrass 的 initially part 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet Object 是 Collection 的 member 類別 %每個 Object 是 AegilopsTauschii 的 initially part
(=> (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 4248-4263	例 Collection and Collection Chromosome 是 Collection 的 member 類別會員 Object and Collection 部分 Object and DurumWheatGrass Collection Collection, Object and Object 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet Object 是 Collection 的 member 類別 %每個 Object 是 TriticumUrartu 的 initially part 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet Object 是 Collection 的 member 類別 %每個 Object 是 AegilopsSpeltoides 的 initially part
(=> (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 4216-4231	例 Collection and Collection Chromosome 是 Collection 的 member 類別會員 Object and Collection 部分 Object and EmmerWheatGrass Collection Collection, Object and Object 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet Object 是 Collection 的 member 類別 %每個 Object 是 EinkornWheatGrass 的 initially part 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet Object 是 Collection 的 member 類別 %每個 Object 是 AegilopsGrass 的 initially part
(=> (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	例 entity_COLL and Collection 例 entity_COLL and Collection 例試驗 and 試驗 entity_COLL 是 entity_COLL 的 sample 對於試驗子集合 entity_COLL and 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 2914-2925	HotelReservation 也許 &umberChildOccupant$"have" Integer 孩童 AutonomousAgent fulfills HotelReservation Collection Collection 例 Collection and 一群人子集合 Collection and Collection 例 Collection and 一群人人類的孩子是 Collection 的 member 類別 Integer 是 Collection 的 member 計數 Collection 是個 potential customer 對於 AutonomousAgent
(=> (memberTypeCount ?GROUP ?TYPE ?NUMBER) (exists (?SUBGROUP) (and (subCollection ?SUBGROUP ?GROUP) (memberCount ?SUBGROUP ?NUMBER) (memberType ?SUBGROUP ?TYPE))))	Mid-level-ontology.kif 24314-24320	Collection 對於 NonnegativeInteger 的 member 類別計數 Class Collection 子集合 Collection and Collection NonnegativeInteger 是 Collection 的 member 計數 Class 是 Collection 的 member 類別

appearance as argument number 0

(subCollection AhmadiyyaSect Islam)	People.kif 1340-1340	子集合 ahmadiyya教派 and 伊斯蘭教
(subCollection AimakEthnicity AsianEthnicity)	People.kif 496-496	子集合愛馬克族 and 亞洲種族
(subCollection Anglicanism Christianity)	People.kif 1218-1218	子集合英國國教 and 基督教
(subCollection BritishVirginIslands VirginIslands)	Media.kif 2604-2604	子集合英屬維爾京群島 and 維爾京群島
(subCollection DruzeSect Islam)	People.kif 1354-1354	子集合德魯茲教派 and 伊斯蘭教
(subCollection EasternOrthodoxChristianity Christianity)	People.kif 1240-1240	子集合東正教基督教 and 基督教
(subCollection HazaraEthnicity AsianEthnicity)	People.kif 535-535	子集合哈扎拉族 and 亞洲種族
(subCollection IndochineseEthnicity AsianEthnicity)	People.kif 555-555	子集合印度支那種族 and 亞洲種族
(subCollection Protestantism Christianity)	People.kif 1254-1254	子集合新教 and 基督教
(subCollection RomanCatholicism Christianity)	People.kif 1268-1268	子集合羅馬天主教 and 基督教
(subCollection RussianEthnicity SlavicEthnicity)	People.kif 595-595	子集合俄羅斯種族 and 斯拉夫民族
(subCollection ShiiteSect Islam)	People.kif 1369-1369	子集合什葉派 and 伊斯蘭教
(subCollection SunniSect Islam)	People.kif 1388-1388	子集合遜尼派 and 伊斯蘭教
(subCollection TurkmenEthnicity CentralAsianTurkishEthnicity)	People.kif 631-631	子集合土庫曼族 and 中亞土耳其種族
(subCollection USVirginIslands VirginIslands)	Media.kif 2605-2605	子集合 USVirginIslands and 維爾京群島
(subCollection UzbekEthnicity CentralAsianTurkishEthnicity)	People.kif 638-638	子集合烏茲別克人的種族 and 中亞土耳其種族

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