In continuation of my research work on representing the biological knowledge using the logical form, I have been continuing to analyze the statements which are usually found in a science textbook of India. What follows below is an analysis of a simple sentence.
Plastids are found in plant cells only.
This is a general sentence which appears in a typical biology textbook.
But first, we need to rephrase this sentence such that it can be represented applying logic as follows:
Given any cell, if cell has plastids then the cell is a plant cell.
In another simple way the statement can be rewritten as:
Any cell, if cell consists of plastids then the cell is a kind of plant cell.
In this above statement, given any cell indicates the quantification or scope of the following proposition. There is a condition that states the necessary property that applies for the subject.
(x)[Lx > Px)
where Lx states that Plant cell consists of plastids; Px states that cell is a plant cell; > represents the if then condition.
In this way, we can now represent the following biological statements—centrioles are present in animal cells only; cell wall is present in plant cells only.