TreeView Knowledge Base Browser - chromosomeSetCount

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

chromosomeSetCount

Sigma KEE - chromosomeSetCount

chromosomeSetCount

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 819-821
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 823-823	域 chromosomeSetCount, 1 and MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 824-824	域 chromosomeSetCount, 2 and Collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 825-825	域 chromosomeSetCount, 3 and Integer
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 818-818	例 chromosomeSetCount and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 826-827
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 822-822

antecedent

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 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

consequent

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 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

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