ProteinSynthesisTool(protein synthesis tool) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 439-440 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 438-438 | Protein synthesis tool is a subclass of cell part |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47860-47860 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47859-47859 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47858-47858 |