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 |