PCO | Classes | AgroPortal

ID	http://purl.obolibrary.org/obo/IAO_8000013 http://purl.obolibrary.org/obo/IAO_8000013 https://agroportal.lirmm.fr/ontologies/PCO/IAO_8000013 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.

rdf:type	http://www.w3.org/2002/07/owl#Class Loading
rdfs:subClassOf	http://purl.obolibrary.org/obo/IAO_8000000 Loading
rdfs:label	reasoned ontology module
rdfs:seeAlso	http://robot.obolibrary.org/reason Loading
obo_purl:IAO_0000115	An ontology module that contains axioms generated by a reasoner. The generated axioms are typically direct SubClassOf axioms, but other possibilities are available.
obo_purl:IAO_0000111	reasoned ontology module

Subject	Author	Type	Created
No notes to display