{not(a,b) ∧ property(b,VAR1)} The hypernym axiom (Table 5) is designed for nouns and verbs.
we adopt this approach and extend it with some post-processing of the semantic representations with a suite of axioms.