I have been working on a bug report put in by Jim about the

```
[Typedef]
id: OBO_REL:is_a
alt_id: OBO_REL:0000001
name: is_a
```

: true
def: "For continuants: C is_a C' if and only if: given any c that instantiates C at a time t, c instantiates C' at t. For processes: P is_a P' if and only if: that given any p that instantiates P, then p instantiates P'." [PMID:15892874]
comment: The is_a relationship is considered axiomatic by the obo file format specification. In the representation of obo in OWL, where obo terms are represented as OWL classes, is_a is mapped on to the subClassOf axiom
exact_synonym: "is_subtype_of" []
xref: owl:subClassOf
is_reflexive: true
is_anti_symmetric: true
is_transitive: true
Regards,

Cartik