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 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1291-1291	子集的 2 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1288-1288	子集是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1289-1289	子集是偏序关系的 instance

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	子机构是子集的 subrelation
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	群体是另一个群体的真正的子集若且唯若对所有物理如果那个物理是那个群体的 member，然后那个物理是那个另外群体的 member
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 829-836	如果 chromosomeSetCount MonoploidChromosomeSet, 群体 and 整数和那个 MonoploidChromosomeSet 是那个群体的真正的子集，然后那个整数 equal 那个整数所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 974-984	如果客体是 PentaploidCell 的 instance 和另一个客体是细胞核的 instance 和那个另外客体是那个客体的 part 和群体是 located 在那个另外客体和那个群体是群体的 instance 和 Chromosome 是那个群体的 member 类别和 MonoploidChromosomeSet 是 MonoploidChromosomeSet 的 instance 和那个 MonoploidChromosomeSet 是那个群体的真正的子集，然后 chromosomeSetCount 那个 MonoploidChromosomeSet, 那个群体 and 5
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 921-931	如果客体是 TriploidCell 的 instance 和另一个客体是细胞核的 instance 和那个另外客体是那个客体的 part 和群体是 located 在那个另外客体和那个群体是群体的 instance 和 Chromosome 是那个群体的 member 类别和 MonoploidChromosomeSet 是 MonoploidChromosomeSet 的 instance 和那个 MonoploidChromosomeSet 是那个群体的真正的子集，然后 chromosomeSetCount 那个 MonoploidChromosomeSet, 那个群体 and 3
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 939-949	如果群体是群体的 instance 和 Chromosome 是那个群体的 member 类别和 MonoploidChromosomeSet 是 MonoploidChromosomeSet 的 instance 和那个 MonoploidChromosomeSet 是那个群体的真正的子集和 chromosomeSetCount 那个 MonoploidChromosomeSet, 那个群体 and 4 和那个群体是 located 在客体和那个客体是细胞核的 instance 和那个客体是另一个客体的 part，然后那个另外客体是 TetraploidCell 的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 992-1002	如果群体是群体的 instance 和 Chromosome 是那个群体的 member 类别和 MonoploidChromosomeSet 是 MonoploidChromosomeSet 的 instance 和那个 MonoploidChromosomeSet 是那个群体的真正的子集和 chromosomeSetCount 那个 MonoploidChromosomeSet, 那个群体 and 6 和那个群体是 located 在客体和那个客体是细胞核的 instance 和那个客体是另一个客体的 part，然后那个另外客体是 HexaploidCell 的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 896-905	如果群体是群体的 instance 和 Chromosome 是那个群体的 member 类别和 MonoploidChromosomeSet 是那个群体的真正的子集和 chromosomeSetCount 那个 MonoploidChromosomeSet, 那个群体 and 2 和那个群体是 located 在客体和那个客体是细胞核的 instance 和那个客体是另一个客体的 part，然后那个另外客体是 DiploidCell 的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 866-875	如果群体是 HomologousChromosomeSet 的 instance 和 Chromosome 是那个群体的 member 类别和那个群体是 located 在客体和那个客体是细胞核的 instance 和那个客体是真核细胞的 part 和 MonoploidChromosomeSet 是 MonoploidChromosomeSet 的 instance 和那个 MonoploidChromosomeSet 是那个群体的真正的子集，然后 chromosomeSetCount 那个 MonoploidChromosomeSet, 那个群体 and 2
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 877-888	如果群体是 HomologousChromosomeSet 的 instance 和 Chromosome 是那个群体的 member 类别和那个群体是 located 在客体和那个客体是细胞核的 instance 和那个客体是真核细胞的 part 和 MonoploidChromosomeSet 是那个群体的真正的子集和另一个 MonoploidChromosomeSet 是那个群体的真正的子集和那个 MonoploidChromosomeSet 不 equal 那个另外 MonoploidChromosomeSet，然后 homologousChromosomePair 那个 MonoploidChromosomeSet and 那个另外 MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 163-183	如果过程是非常规战争的 instance 和政府是那个过程的 agent 和那个政府不 equal 施事体和那个政府不 equal 地缘政治区域的 Government 和那个施事体是那个过程的 patient 和那个施事体是那个地缘政治区域的 resident 的 member 或那个施事体是那个地缘政治区域的 resident 的真正的子集，然后有存在另一个过程这样那个另外过程是比赛的 instance 和那个施事体是那个另外过程的 agent 和那个地缘政治区域的 Government 是那个另外过程的 agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3668-3704	如果群体是群体的 instance 和另一个群体是群体的 instance 和那个另外群体是那个群体的真正的子集和对所有物理如果那个物理是那个群体的 member，然后那个物理是 AccessingWebPage 的 instance 和对所有过程，施事体,，，另一个过程,，，那个过程， and 和客体如果那个施事体是人类的 instance 和那个过程是购买的 instance 和那个另外过程是 AccessingWebPage 的 instance 和那个客体是 WebPage 的 instance 和那个另外过程是那个群体的 member 和那个另外过程在那个客体结束和那个施事体是那个过程的 agent 和那个施事体是那个另外过程的 agent 和那个过程出现的 time 在那个另外过程出现的 time 时段内发生和那个客体是导致那个过程的 instrument，然后那个过程是那个另外群体的 member ，然后有存在时距，实体_IN_INTERVAL， and 和另一个实体_IN_INTERVAL 这样 purchases 花在那个群体期间那个时距 equal 那个实体_IN_INTERVAL 所描述的类别 instance 的数量和那个另外实体_IN_INTERVAL 所描述的类别 instance 的数量

consequent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 829-836	如果 chromosomeSetCount MonoploidChromosomeSet, 群体 and 整数和那个 MonoploidChromosomeSet 是那个群体的真正的子集，然后那个整数 equal 那个整数所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1004-1023	如果客体是 HexaploidCell 的 instance 和另一个客体是那个客体的 part 和那个另外客体是细胞核的 instance 和群体是 located 在那个另外客体和那个群体是群体的 instance 和 Chromosome 是那个群体的 member 类别，然后有存在另一个群体，第三群体， and 和第四群体这样那个另外群体是 HomologousChromosomeSet 的 instance 和那个另外群体是那个群体的真正的子集和那个第三群体是 HomologousChromosomeSet 的 instance 和那个第三群体是那个群体的真正的子集和那个第四群体是 HomologousChromosomeSet 的 instance 和那个第四群体是那个群体的真正的子集和那个另外群体不 equal 那个第三群体
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 951-966	如果客体是 TetraploidCell 的 instance 和另一个客体是那个客体的 part 和那个另外客体是细胞核的 instance 和群体是 located 在那个另外客体和那个群体是群体的 instance 和 Chromosome 是那个群体的 member 类别，然后有存在另一个群体和第三群体这样那个另外群体是 HomologousChromosomeSet 的 instance 和那个另外群体是那个群体的真正的子集和那个第三群体是 HomologousChromosomeSet 的 instance 和那个第三群体是那个群体的真正的子集和那个另外群体不 equal 那个第三群体
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3970-3985	如果群体是群体的 instance 和 Chromosome 是那个群体的 member 类别和客体是那个群体的 member 和那个客体是 CommonWheatGrass 的 part，然后有存在另一个群体，第三群体,，，另一个有点客体， and 和第三有点客体这样那个另外群体是那个群体的真正的子集和那个另外群体是 HomologousChromosomeSet 的 instance 和另一个有点客体是那个另外群体的 member 类别和 %每个那个另外有点客体是 EmmerWheatGrass 的 initially part 和那个第三群体是那个群体的真正的子集和那个第三群体是 HomologousChromosomeSet 的 instance 和第三有点客体是那个第三群体的 member 类别和 %每个那个第三有点客体是 AegilopsTauschii 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3911-3926	如果群体是群体的 instance 和 Chromosome 是那个群体的 member 类别和客体是那个群体的 member 和那个客体是 DurumWheatGrass 的 part，然后有存在另一个群体，第三群体,，，另一个有点客体， and 和第三有点客体这样那个另外群体是那个群体的真正的子集和那个另外群体是 HomologousChromosomeSet 的 instance 和另一个有点客体是那个另外群体的 member 类别和 %每个那个另外有点客体是 TriticumUrartu 的 initially part 和那个第三群体是那个群体的真正的子集和那个第三群体是 HomologousChromosomeSet 的 instance 和第三有点客体是那个第三群体的 member 类别和 %每个那个第三有点客体是 AegilopsSpeltoides 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3879-3894	如果群体是群体的 instance 和 Chromosome 是那个群体的 member 类别和客体是那个群体的 member 和那个客体是 EmmerWheatGrass 的 part，然后有存在另一个群体，第三群体,，，另一个有点客体， and 和第三有点客体这样那个另外群体是那个群体的真正的子集和那个另外群体是 HomologousChromosomeSet 的 instance 和另一个有点客体是那个另外群体的 member 类别和 %每个那个另外有点客体是 EinkornWheatGrass 的 initially part 和那个第三群体是那个群体的真正的子集和那个第三群体是 HomologousChromosomeSet 的 instance 和第三有点客体是那个第三群体的 member 类别和 %每个那个第三有点客体是 AegilopsGrass 的 initially part
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 483-489	如果实体_COLL 是群体的 instance 和另一个实体_COLL 是群体的 instance 和试验是试验的 instance 和那个实体_COLL 是那个另外实体_COLL 的 sample 对于那个试验，然后那个实体_COLL 是那个另外实体_COLL 的真正的子集
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2903-2914	如果 HotelReservation 也许 have 整数孩童和施事体 fulfills 那个 HotelReservation ，然后有存在群体和另一个群体这样那个群体是一群人的 instance 和那个另外群体是那个群体的真正的子集和那个另外群体是一群人的 instance 和人类的孩子是那个另外群体的 member 类别和那个整数是那个另外群体的 member 计数和那个群体是个 potential customer 对于那个施事体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22671-22677	如果群体对于非负整数的 member 类别计数类，然后有存在另一个群体这样那个另外群体是那个群体的真正的子集和那个非负整数是那个另外群体的 member 计数和那个类是那个另外群体的 member 类别

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	People.kif 1339-1339	Ahmadiyya教派是伊斯兰教的真正的子集
No TPTP formula. May not be expressible in strict first order.	People.kif 496-496	爱马克族是亚洲种族的真正的子集
No TPTP formula. May not be expressible in strict first order.	People.kif 1217-1217	英国国教是基督教的真正的子集
No TPTP formula. May not be expressible in strict first order.	Media.kif 2602-2602	英属维尔京群岛是维尔京群岛的真正的子集
No TPTP formula. May not be expressible in strict first order.	People.kif 1353-1353	德鲁兹教派是伊斯兰教的真正的子集
No TPTP formula. May not be expressible in strict first order.	People.kif 1239-1239	东正教基督教是基督教的真正的子集
No TPTP formula. May not be expressible in strict first order.	People.kif 535-535	哈扎拉族是亚洲种族的真正的子集
No TPTP formula. May not be expressible in strict first order.	People.kif 555-555	印度支那种族是亚洲种族的真正的子集
No TPTP formula. May not be expressible in strict first order.	People.kif 1253-1253	新教是基督教的真正的子集
No TPTP formula. May not be expressible in strict first order.	People.kif 1267-1267	罗马天主教是基督教的真正的子集
No TPTP formula. May not be expressible in strict first order.	People.kif 595-595	俄罗斯种族是斯拉夫民族的真正的子集
No TPTP formula. May not be expressible in strict first order.	People.kif 1368-1368	什叶派是伊斯兰教的真正的子集
No TPTP formula. May not be expressible in strict first order.	People.kif 1387-1387	逊尼派是伊斯兰教的真正的子集
No TPTP formula. May not be expressible in strict first order.	People.kif 631-631	土库曼族是中亚土耳其种族的真正的子集
No TPTP formula. May not be expressible in strict first order.	Media.kif 2603-2603	USVirginIslands 是维尔京群岛的真正的子集
No TPTP formula. May not be expressible in strict first order.	People.kif 638-638	乌兹别克人的种族是中亚土耳其种族的真正的子集

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