object thinking:
has-a, obj aggregation
part-of, obj composition
is-a type-of, obj subsumption (inheritance)
member-of, obj containment 
instance-of, obj token

hyponymy(under) hypernymy(over)
a is-a b
a is-a c
d is-a c
	hyponymy of b -> a
	hyponymy of c -> a d
	co-hyponym of a -> d
	hypernymy of a -> b c
	hypernymy of d -> c

holonymy (whole)
a has-a b
a has-a c
b has-a c
	b holonym -> a
	c holonym -> a b

meronymy(part)
b part-of a
c part-of a
c part-of b
	a meronym -> b c
	b meronym -> c

meronym (member)
b member-of a
	

has-a/part-of:   (composition)
	holonym
	meronym
	co-meronym
is-a/		(subsumption)
	hypernym
	hyponym
	co-hyponym
instance-of/class-of
	type
	token
	co-token