?X subclassOf: not (hasFeature some ?Y) An object property to be used in the OBO version of MAMO to express negation. lacksFeature