|
|
   DodecaploidCell
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1046-1047 | |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1044-1044 | DodecaploidCell 是 SomaticCell 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1045-1045 | DodecaploidCell 是 Zygote 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1049-1049 | DodecaploidCell 的名 是 "duodecaploid" |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1048-1048 |
|
|
|