Unexpected inferred relationships. (a) Natural T-regulatory cell (nTreg) is inferred to be a type of induced regulatory T cell (iTreg). Red zig-zag line represents a redundant develops_from relationship as the reasoner infers both regulatory T cell (Treg) classes ultimately develops_from the same double-positive thymocyte class. (b) By using the develops_from relationship in the computable definition, Treg classes are defined by the type of class they directly develop_from. nTregs are no longer inferred to be an is_a sub-type of iTreg. (c) Mature NK T cell is inferred to be a sub-type of mucosal invariant T cell (MAIT). (d) Addition of an "innate effector T cell" class and refining of computable definitions for NK T cells and MAIT cells leads to new grouping of cell types by the reasoner. C = capable_of, Green = GO-biological process, Teal = GO-molecular function.