HydrophobicLipidTail(hydrophobic lipid tail) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 526-527 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 525-525 | Hydrophobic lipid tail is a subclass of pure substance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29061-29061 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29060-29060 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29059-29059 |
consequent |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 529-534 |
|