reasoned ontology module

ID: IAO_8000013

Class

An ontology module that contains axioms generated by a reasoner. The generated axioms are typically direct SubClassOf axioms, but other possibilities are available.

Open in VFB 3D Browser →

Classification