(=> (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 933-933 | TetraploidCell e' uma sub-classe de SomaticCell |
(subclass TetraploidCell Zygote) | VirusProteinAndCellPart.kif 934-934 | TetraploidCell e' uma sub-classe de Zygote |