_hypernym(x,y) and _derivationally_related_form(y,z) and _derivationally_related_form(w,x) implies _also_see(x,y)
_hypernym(x,y) and not _also_see(y,z) implies _member_meronym(x,y)
_has_part(x,y) and not _has_part(y,z) implies _member_meronym(x,y)
_instance_hypernym(x,y) and not _derivationally_related_form(y,z) implies _derivationally_related_form(x,y)
_hypernym(x,y) and not _derivationally_related_form(y,z) implies _similar_to(x,y)
_has_part(x,y) and not _instance_hypernym(y,z) implies _instance_hypernym(x,y)
_synset_domain_topic_of(x,y) and not _has_part(y,z) implies _instance_hypernym(x,y)
_derivationally_related_form(x,y) and not _hypernym(y,z) implies _similar_to(x,y)
_verb_group(x,y) and not _derivationally_related_form(y,z) implies _member_meronym(x,y)
_derivationally_related_form(x,y) and _derivationally_related_form(y,z) and _derivationally_related_form(w,x) implies _also_see(x,y)
_derivationally_related_form(x,y) and _hypernym(y,z) and _hypernym(w,x) implies _also_see(x,y)
_derivationally_related_form(x,y) and not _also_see(y,z) implies _has_part(x,y)
_derivationally_related_form(x,y) and not _verb_group(y,z) implies _verb_group(x,y)
_hypernym(x,y) and not _has_part(y,z) implies _synset_domain_topic_of(x,y)
_hypernym(x,y) and not _hypernym(y,z) implies _synset_domain_topic_of(x,y)
_synset_domain_topic_of(x,y) and not _hypernym(y,z) implies _derivationally_related_form(x,y)
_synset_domain_topic_of(x,y) and not _derivationally_related_form(y,z) implies _similar_to(x,y)
_member_meronym(x,y) and not _hypernym(y,z) implies _similar_to(x,y)
_derivationally_related_form(x,y) and _derivationally_related_form(y,z) and _hypernym(w,x) implies _also_see(x,y)
_member_meronym(x,y) and not _member_meronym(y,z) implies _similar_to(x,y)
_also_see(x,y) and not _also_see(y,z) implies _synset_domain_topic_of(x,y)
_has_part(x,y) and not _hypernym(y,z) implies _synset_domain_topic_of(x,y)
_derivationally_related_form(x,y) and _hypernym(y,z) and _derivationally_related_form(w,x) implies _also_see(x,y)
_instance_hypernym(x,y) and not _hypernym(y,z) implies _has_part(x,y)
_instance_hypernym(x,y) and not _has_part(y,z) implies _member_of_domain_usage(x,y)
