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