Replaced ImplicationLink with InheritanceLink

As per the recommendation by Ben, as an AndLink between ConceptNodes represents their intersection