Property | CTL Formula |
---|---|
Glucose Oxidation | ((Glucose=1∧Pyruvate=0∧Citrate=0)→EX(Glucose=1∧Pyruvate=1)) |
∧ | |
((Pyruvate=1∧PDC=1∧Acetyl- CoA=0)→EX(Pyruvate=1∧PDC=1∧Acetyl- CoA=1)) | |
Fatty acid Oxidation | ((Fatty Acids=1∧Malonyl- CoA=0∧Acetyl- CoA=0)→ |
EX(Fatty Acids=1∧Malonyl- CoA=0∧Acetyl- CoA=1)) | |
Presence of PDK | ((PDK=1∧PDC=1∧Pyruvate=1∧(Fatty Acids=0 | Malonyl- CoA=1)∧Acetyl- CoA=1)→ |
EF(PDK=1∧PDC=0∧(Fatty Acids=0 | Malonyl- CoA=1)∧Acetyl- CoA=0)) | |
∧ | |
((PDK=1∧(PDC=0 | Pyruvate=0)∧Fatty Acids=1∧Malonyl- CoA=0∧Acetyl- CoA=0)→ | |
EX(PDK=1∧(PDC=0 | Pyruvate=0)∧Fatty Acids=1∧Malonyl- CoA=0∧Acetyl- CoA=1)) | |
Absence of PDK | ((PDK=0∧PDC=1∧Pyruvate=1∧(Fatty Acids=0 | Malonyl- CoA=1)∧Acetyl- CoA=0)→ |
EX(PDK=0∧PDC=1∧Pyruvate=1∧(Fatty Acids=0 | Malonyl- CoA=1)∧Acetyl- CoA=1)) | |
∧ | |
((PDK=0∧PDC=1∧Pyruvate=1∧Malonyl- CoA=0∧Acetyl- CoA=1)→ | |
EF(PDK=0∧PDC=1∧Pyruvate=1∧Malonyl- CoA=1∧Acetyl- CoA=1)) |