(=> (and (instance ?C SpeltWheatGrass) (part ?CELL ?C) (instance ?CELL ?CLASS)) (subclass ?CLASS HexaploidCell)) |
Economy.kif 3993-3998 | |
(=> (and (instance ?C CommonWheatGrass) (part ?CELL ?C) (instance ?CELL ?CLASS)) (subclass ?CLASS HexaploidCell)) |
Economy.kif 3963-3968 | |
(subclass HexaploidCell SomaticCell) | VirusProteinAndCellPart.kif 986-986 | HexaploidCell est une sous-classe de SomaticCell |
(subclass HexaploidCell Zygote) | VirusProteinAndCellPart.kif 987-987 | HexaploidCell est une sous-classe de Zygote |