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

Back to article page

BMC Bioinformatics

ISSN: 1471-2105

Contact us