Jump to:
loading...| Preferred Name |
reasoned ontology module |
| Definitions |
An ontology module that contains axioms generated by a reasoner. The generated axioms are typically direct SubClassOf axioms, but other possibilities are available. |
| ID |
http://purl.obolibrary.org/obo/IAO_8000013 |
| definition |
An ontology module that contains axioms generated by a reasoner. The generated axioms are typically direct SubClassOf axioms, but other possibilities are available. |
| editor preferred term |
reasoned ontology module |
| label |
reasoned ontology module |
| prefixIRI |
IAO:8000013 |
| prefLabel |
reasoned ontology module |
| seeAlso | |
| subClassOf |
Create New Mapping