Skip to main content

Table 6 Inferring the function of protein Pu described in example 3

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

Step Reason
1. ST(Px) Given premise (based on its co-occurrence with Pu)
2. ST(Px) →AAS(Px) Premise R13 from Table 1
3. AAS(Px) Modus Ponens using steps 1 and 2
4. AAS(Px) → F(Px) Premise R3 from Table 1
5. F(Px) Modus Ponens using steps 3 and 4