Closed AsaphHall closed 2 months ago
imported RO (Relation Ontology) (hopefully without changes to the existing axioms)
imported RO (Relation Ontology) (hopefully without changes to the existing axioms)