A formalization of one of the main claims of “Mutations in NGLY1 cause an inherited disorder of the endoplasmic reticulum–associated degradation pathway” by Enns et al. 20141

Enns et al. claimed in previous work that NGLY1 deficiency is a novel autosomal recessive disorder of the ERAD pathway. We present here a formalization of that claim, stating that all things of class “NGLY1 deficiency” that are in the context of a thing of class “human” always have a relation of type “is caused by” to a thing of class “dysfunction of ERAD pathway” in the same context.