Skip to main content

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

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

Step Reason
1. FD(Px) Given premise (based on its co-occurrence with Pu)
2. ST(Px) Given premise (based on its co-occurrence with Pu)
3. FD(Px) ST(Px) Conjunction using steps 1 and 2
4. FD(Px)→(ST(Px) →F(Px)) Premise R1 from Table 1
5. F(Px) Conditional Proof using steps 3 and 4
\