I have a copy of Greven, Predator Captain that says his creature type is Human Warrior. I know that he is a Phyrexian in-lore, and the link says his creature type is Phyrexian Human Warrior. Does this mean that I could use mana generated by The Seedcore's second ability:
{T}: Add one mana of any color. Spend this mana only to cast Phyrexian creature spells.
to cast Greven, even though the card itself does not give him the Phyrexian sub-type?