MonoploidChromosomeSet - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

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

VirusProteinAndCellPart.kif 717-717

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 823-823	chromosomeSetCount 的 1 数量是 MonoploidChromosomeSet 的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 844-844	homologousChromosomePair 的 1 数量是 MonoploidChromosomeSet 的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 845-845	homologousChromosomePair 的 2 数量是 MonoploidChromosomeSet 的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 738-738	monoploidNumber 的 1 数量是 MonoploidChromosomeSet 的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 773-782	如果真核细胞是 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 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 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 743-747	如果 MonoploidChromosomeSet 是 MonoploidChromosomeSet 的 instance 和整数是那个 MonoploidChromosomeSet 的 member 计数，然后 monoploidNumber 那个 MonoploidChromosomeSet and 那个整数
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 719-731	如果群体是 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 756-771

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

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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: