Virus is a type of Species. Virus is related to Disease. Disease is related to Aids. 
Leg is a different concept from Arm. 
Species <--IsA-- Virus <--RelatedTo--> Disease <--RelatedTo--> Aids 
Leg <--DistinctFrom--> Arm 