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 818-820
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 822-822	chromosomeSetCount 的 1 数量是 MonoploidChromosomeSet 的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 823-823	chromosomeSetCount 的 2 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 824-824	chromosomeSetCount 的 3 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 817-817	chromosomeSetCount 是三元谓语的 instance

appearance as argument number 2

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

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 828-835	如果 chromosomeSetCount MonoploidChromosomeSet, 群体 and 整数和那个 MonoploidChromosomeSet 是那个群体的真正的子集，然后那个整数 equal 那个整数所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 938-948	如果群体是群体的 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 991-1001	如果群体是群体的 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 895-904	如果群体是群体的 instance 和 Chromosome 是那个群体的 member 类别和 MonoploidChromosomeSet 是那个群体的真正的子集和 chromosomeSetCount 那个 MonoploidChromosomeSet, 那个群体 and 2 和那个群体是 located 在客体和那个客体是细胞核的 instance 和那个客体是另一个客体的 part，然后那个另外客体是 DiploidCell 的 instance

consequent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 973-983	如果客体是 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 920-930	如果客体是 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 865-874	如果群体是 HomologousChromosomeSet 的 instance 和 Chromosome 是那个群体的 member 类别和那个群体是 located 在客体和那个客体是细胞核的 instance 和那个客体是真核细胞的 part 和 MonoploidChromosomeSet 是 MonoploidChromosomeSet 的 instance 和那个 MonoploidChromosomeSet 是那个群体的真正的子集，然后 chromosomeSetCount 那个 MonoploidChromosomeSet, 那个群体 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