Satellite is a type of Species. Virus is a type of Species. 
Relative can Visit. Relative is related to Son. Son is related to Child. 
Satellite --IsA--> Species <--IsA-- Virus 
Visit <--CapableOf-- Relative <--RelatedTo--> Son <--RelatedTo--> Child 