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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1635-1636
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1293-1294
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 218-219
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 259-260
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1290-1290	域子集合, 1 and Collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1291-1291	域子集合, 2 and Collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1288-1288	例子集合 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1289-1289	例子集合 and PartialOrderingRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 185-185
No TPTP formula. May not be expressible in strict first order.	english_format.kif 186-186
No TPTP formula. May not be expressible in strict first order.	french_format.kif 112-112
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 272-272
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1941-1941
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 64-64
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 70-70
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 235-235
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 309-309
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 131-131
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 117-117
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 464-464
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16741-16741	子關係子組織 and 子集合
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 186-186
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55710-55710
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55709-55709
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55708-55708
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 74-74

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1297-1302	子集合 Collection and Collection Physical 會員 Physical and Collection 會員 Physical and Collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 829-836	chromosomeSetCount MonoploidChromosomeSet, Collection and Integer 子集合 MonoploidChromosomeSet and Collection 等於 Integer and 基數卡帕 Integer and 子集合 MonoploidChromosomeSet and Collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 974-984	例 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
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 921-931	例 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
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 939-949	例 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
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 992-1002	例 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
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 896-905	例 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
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 866-875	例 Collection and HomologousChromosomeSet Chromosome 是 Collection 的 member 類別位於 Collection and Object 例 Object and 細胞核部分 Object and 真核細胞例 MonoploidChromosomeSet and MonoploidChromosomeSet 子集合 MonoploidChromosomeSet and Collection chromosomeSetCount MonoploidChromosomeSet, Collection and 2
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 877-888	例 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 829-836	chromosomeSetCount MonoploidChromosomeSet, Collection and Integer 子集合 MonoploidChromosomeSet and Collection 等於 Integer and 基數卡帕 Integer and 子集合 MonoploidChromosomeSet and Collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1004-1023	例 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
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 951-966	例 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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3970-3985	例 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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3911-3926	例 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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3879-3894	例 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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 483-489	例 entity_COLL and Collection 例 entity_COLL and Collection 例試驗 and 試驗 entity_COLL 是 entity_COLL 的 sample 對於試驗子集合 entity_COLL and entity_COLL
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2903-2914	HotelReservation 也許 have Integer 孩童 AutonomousAgent fulfills HotelReservation Collection Collection 例 Collection and 一群人子集合 Collection and Collection 例 Collection and 一群人人類的孩子是 Collection 的 member 類別 Integer 是 Collection 的 member 計數 Collection 是個 potential customer 對於 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22671-22677	Collection 對於 NonnegativeInteger 的 member 類別計數 Class Collection 子集合 Collection and Collection NonnegativeInteger 是 Collection 的 member 計數 Class 是 Collection 的 member 類別

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	People.kif 1339-1339	子集合 ahmadiyya教派 and 伊斯蘭教
No TPTP formula. May not be expressible in strict first order.	People.kif 496-496	子集合愛馬克族 and 亞洲種族
No TPTP formula. May not be expressible in strict first order.	People.kif 1217-1217	子集合英國國教 and 基督教
No TPTP formula. May not be expressible in strict first order.	Media.kif 2602-2602	子集合英屬維爾京群島 and 維爾京群島
No TPTP formula. May not be expressible in strict first order.	People.kif 1353-1353	子集合德魯茲教派 and 伊斯蘭教
No TPTP formula. May not be expressible in strict first order.	People.kif 1239-1239	子集合東正教基督教 and 基督教
No TPTP formula. May not be expressible in strict first order.	People.kif 535-535	子集合哈扎拉族 and 亞洲種族
No TPTP formula. May not be expressible in strict first order.	People.kif 555-555	子集合印度支那種族 and 亞洲種族
No TPTP formula. May not be expressible in strict first order.	People.kif 1253-1253	子集合新教 and 基督教
No TPTP formula. May not be expressible in strict first order.	People.kif 1267-1267	子集合羅馬天主教 and 基督教
No TPTP formula. May not be expressible in strict first order.	People.kif 595-595	子集合俄羅斯種族 and 斯拉夫民族
No TPTP formula. May not be expressible in strict first order.	People.kif 1368-1368	子集合什葉派 and 伊斯蘭教
No TPTP formula. May not be expressible in strict first order.	People.kif 1387-1387	子集合遜尼派 and 伊斯蘭教
No TPTP formula. May not be expressible in strict first order.	People.kif 631-631	子集合土庫曼族 and 中亞土耳其種族
No TPTP formula. May not be expressible in strict first order.	Media.kif 2603-2603	子集合 USVirginIslands and 維爾京群島
No TPTP formula. May not be expressible in strict first order.	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