From: Incremental and unifying modelling formalism for biological interaction networks
1, - | 1, + | 2, - | 2, + | |
---|---|---|---|---|
K CI,Ø | ΨCI,CI(CI = low) ∪ ΨCI,CI(CI = high) ∪ ΨCRO,CI(CRO = low ) ∪ ΨCRO,CI(CRO = high) = {absent, low, high} {0, 1, 2} | ΨCI,CI(CI = absent) ∪ ΨCRO,CI(CRO = low) ∪ ΨCRO,CI(CRO = high) = {absent, low} {0, 1} | ΨCI,CI(CI = high) ∪ ΨCRO,CI(CRO = low ) ∪ ΨCRO,CI(CRO = high) = {absent, low, high} {0, 1, 2} | ΨCI,CI(CI = absent) ∪ ΨCI,CI(CI = low) ∪ ΨCRO,CI(CRO = low ) ∪ ΨCRO,CI(CRO = high) = {absent, low, high} {0, 1, 2} |
K CI,{CI} | ΨCI,CI(CI = absent) ∪ ΨCRO,CI(CRO = low ) ∪ ΨCRO,CI(CRO = high) = {absent, low} {0, 1} | ΨCI,CI(CI = low) ∪ ΨCI,CI(CI = high) ∪ ΨCRO,CI(CRO = low ) ∪ ΨCRO,CI(CRO = high) = {absent, low, high} {0, 1, 2} | ΨCI,CI(CI = absent) ∪ ΨCI,CI(CI = low) ∪ ΨCRO,CI(CRO = low ) ∪ ΨCRO,CI(CRO = high) = {absent, low, high} {0, 1, 2} | ΨCI,CI(CI = high) ∪ ΨCRO,CI(CRO = low ) ∪ ΨCRO,CI(CRO = high) = {absent, low, high} {0, 1, 2} |
K CI,{CRO} | ΨCI,CI(CI = low) ∪ ΨCI,CI(CI = high) ∪ ΨCRO,CI(CRO = absent) = {absent, low, high} {0, 1, 2} | ΨCI,CI(CI = absent) ∪ ΨCRO,CI(CRO = absent) = {absent, low} {0, 1} | ΨCI,CI(CI = high) ∪ ΨCRO,CI(CRO = absent) = {absent, low, high} {0, 1, 2} | ΨCI,CI(CI = absent) ∪ ΨCI,CI(CI = low) ∪ ΨCRO,CI(CRO = absent) = {absent, low, high} {0, 1, 2} |
K CI,{CI,CRO} | ΨCI,CI(CI = low) ∪ ΨCI,CI(CI = high) ∪ ΨCRO,CI(CRO = low) ∪ ΨCRO,CI(CRO = high) = {absent, low} {0, 1} | ΨCI,CI(CI = low) ∪ ΨCI,CI(CI = high) ∪ ΨCRO,CI(CRO = absent) = {absent, low, high} {0, 1, 2} | ΨCI,CI(CI = absent) ∪ ΨCI,CI(CI = low) ∪ ΨCRO,CI(CRO = absent) = {absent, low, high} {0, 1, 2} | ΨCI,CI(CI = high) ∪ ΨCRO,CI(CRO = absent) = {absent, low, high} {0, 1, 2} |