SUMO relations

   
equivalenceRelation  =
subsumingRelation  +
instanceRelation @
antiSubsumingRelation [
antiEquivalenceRelation :