TreeView Knowledge Base Browser - MonoploidChromosomeSet

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 713-715
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 712-712	MonoploidChromosomeSet 是群体的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

VirusProteinAndCellPart.kif 716-716

appearance as argument number 3

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 843-843	homologousChromosomePair 的 1 数量是 MonoploidChromosomeSet 的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 844-844	homologousChromosomePair 的 2 数量是 MonoploidChromosomeSet 的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 737-737	monoploidNumber 的 1 数量是 MonoploidChromosomeSet 的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 772-781	如果真核细胞是 MonoploidCell 的 instance 和 chromosomeNumber 那个真核细胞 and 整数和 MonoploidChromosomeSet 是 MonoploidChromosomeSet 的 instance 和那个 MonoploidChromosomeSet 是 located 在客体和那个客体是细胞核的 instance 和那个客体是那个真核细胞的 part 和 monoploidNumber 那个 MonoploidChromosomeSet and 另一个整数，然后那个整数 equal 那个另外整数
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 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 865-874	如果群体是 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 742-746	如果 MonoploidChromosomeSet 是 MonoploidChromosomeSet 的 instance 和整数是那个 MonoploidChromosomeSet 的 member 计数，然后 monoploidNumber 那个 MonoploidChromosomeSet and 那个整数
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 718-730	如果群体是 MonoploidChromosomeSet 的 instance 和 Chromosome 是那个群体的 member 类别和那个群体是 located 在客体和那个客体是细胞核的 instance 和那个客体是真核细胞的 part 和 Chromosome 是那个群体的 member 和另一个 Chromosome 是那个群体的 member 和那个 Chromosome 不 equal 那个另外 Chromosome，然后 homologousChromosome 那个 Chromosome and 那个另外 Chromosome

consequent

No TPTP formula. May not be expressible in strict first order.

VirusProteinAndCellPart.kif 755-770

如果客体是 MonoploidCell 的 instance 和另一个客体是细胞核的 instance 和那个另外客体是那个客体的 part，
然后有存在物理这样那个物理是 MonoploidChromosomeSet 的 instance 和那个物理是 located 在那个另外客体和不存在另一个物理这样那个另外物理是 MonoploidChromosomeSet 的 instance 和那个另外物理不 equal 那个物理和那个另外物理是 located 在那个另外客体

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

KB Term:			Term intersection

English Word: