CellMembrane - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 443-443
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5902-5902
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 442-442	细胞膜是细胞部分的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 481-481	细胞膜内部是细胞膜的 subclass
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 493-493	脂质双分子层是细胞膜的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5668-5668	MucusMembrane 是细胞膜的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13656-13656
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13655-13655
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13654-13654