Closed zhengj2007 closed 10 months ago
Import relations from RO core and add equivalent axiom to 'occupation holder'
Import relations from RO core and add equivalent axiom to 'occupation holder'