A formalization of one of the main claims of “FTO Obesity Variant Circuitry and Adipocyte Browning in Humans” by Claussnitzer et al. 20151

Claussnitzer et al. claimed in previous work that a regulatory element within the first intron of FTO affects IRX3 and IRX5 expression during early adipogenesis. We present here a formalization of that claim, stating that all things of class “early human adipogenesis” that are in the context of a thing of class “regulatory element within the first intron of FTO” generally have a relation of type “affects” to a thing of class “expression of genes IRX3 and IRX5” in the same context.