Skip to main content

Table 7 Inferring the function of protein Pu described in example 4

From: Predicting protein functions by applying predicate logic to biomedical literature

Step Reason
1. NCBND(Px, Py) Given premise (based on its co-occurrence with Pu)
2. F(Px) Given premise (based on its co-occurrence with Pu)
3. NCBND(Px, Py)→PPI(Px, Py) Premise R12 from Table 1
4. PPI(Px, Py) → PCF(Px, Py) Premise R6 from Table 1
5. NCBND(Px, Py) → PCF(Px, Py) Law of Syllogism using steps 1 and 5
6. PCF(Px, Py) Modus Ponens using steps 6 and 7
7. PCF(Px, Py) F(Px) Conjunction using steps 2 and 6
8. PCF(Px, Py)→(F(Px)→F(Py)) Premise R7 from Table 1
9. F(Py) Conditional Proof using steps 7 and 8
\