reasoned ontology module

reasoned ontology module

http://purl.obolibrary.org/obo/IAO_8000013

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

Tree view
Term mappings
Term history

Preferred root terms

All terms

This is just here as a test because I lose it

Term information

editor preferred term

reasoned ontology module

seeAlso

http://robot.obolibrary.org/reason

Term relations

Subclass of:

ontology module