<http://purl.obolibrary.org/obo/IAO_8000013> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> . <http://purl.obolibrary.org/obo/IAO_8000013> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://purl.obolibrary.org/obo/IAO_8000000> . <http://purl.obolibrary.org/obo/IAO_8000013> <http://www.w3.org/2000/01/rdf-schema#label> "reasoned ontology module"@en . <http://purl.obolibrary.org/obo/IAO_8000013> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <http://robot.obolibrary.org/reason> . <http://purl.obolibrary.org/obo/IAO_8000013> <http://purl.obolibrary.org/obo/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."@en . <http://purl.obolibrary.org/obo/IAO_8000013> <http://purl.obolibrary.org/obo/IAO_0000111> "reasoned ontology module"@en . <http://purl.obolibrary.org/obo/IAO_8000013> <http://data.bioontology.org/metadata/def/prefLabel> "reasoned ontology module"@en . <http://purl.obolibrary.org/obo/IAO_8000013> <http://data.bioontology.org/metadata/def/mappingLoom> "reasonedontologymodule" . <http://purl.obolibrary.org/obo/IAO_8000013> <http://data.bioontology.org/metadata/def/mappingSameURI> <http://purl.obolibrary.org/obo/IAO_8000013> . <http://purl.obolibrary.org/obo/IAO_8000013> <http://data.bioontology.org/metadata/prefixIRI> "IAO:8000013" . <http://purl.obolibrary.org/obo/IAO_8000013> <http://data.bioontology.org/metadata/def/mappingSameURI> <http://purl.obolibrary.org/obo/IAO_8000013> .