Is A

reldef:sys:is_a

is a — the source is a kind or instance of the target (taxonomic type).