In many semantic networks a distinction is made between general concepts (called types) and specific concepts (called tokens, represented with some kind of mark).
Usually in this case, there are two knids of is-a relations:
is-a: representing the inclusion relationship of a class in another;
inst: representing the membership of a token to a class.