No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 49-49 | 子類 Nucleotide and Monomer |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 50-50 | 子類 Nucleotide and OrganicObject |