(=> (and (instance ?E TriticumUrartu) (part ?C ?E) (instance ?E ?CLASS)) (subclass ?CLASS DiploidCell)) |
Economy.kif 3948-3953 | |
(=> (and (instance ?A AegilopsGrass) (part ?C ?A) (instance ?C ?CLASS)) (subclass ?CLASS DiploidCell)) |
Economy.kif 3840-3845 | |
(=> (and (instance ?E EinkornWheatGrass) (part ?C ?E) (instance ?E ?CLASS)) (subclass ?CLASS DiploidCell)) |
Economy.kif 3934-3939 | |
(subclass DiploidCell SomaticCell) | VirusProteinAndCellPart.kif 889-889 | DiploidCell は SomaticCell の subclass では %n |
(subclass DiploidCell Zygote) | VirusProteinAndCellPart.kif 890-890 | DiploidCell は Zygote の subclass では %n |