| (=> (and (instance ?E DurumWheatGrass) (part ?C ?E) (instance ?C ?CLASS)) (subclass ?CLASS TetraploidCell)) |
Economy.kif 3904-3909 | |
| (=> (and (instance ?E EmmerWheatGrass) (part ?C ?E) (instance ?C ?CLASS)) (subclass ?CLASS TetraploidCell)) |
Economy.kif 3872-3877 | |
| (subclass TetraploidCell SomaticCell) | VirusProteinAndCellPart.kif 932-932 | |
| (subclass TetraploidCell Zygote) | VirusProteinAndCellPart.kif 933-933 |
|
|