TreeView Knowledge Base Browser - MonoploidCell

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MonoploidCell

MonoploidCell

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 751-753
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 749-749	MonoploidCell 是 SomaticCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 750-750	MonoploidCell 是 Zygote 的 subclass

appearance as argument number 2

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

VirusProteinAndCellPart.kif 754-754

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 756-771	如果客体是 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