TreeView Knowledge Base Browser - CellMembraneInternal

appearance as argument number 1

(subclass CellMembraneInternal CellMembrane)	VirusProteinAndCellPart.kif 464-464	Internal cell membrane is a subclass of cell membrane
(documentation CellMembraneInternal EnglishLanguage "The class of cell membranes that are found inside the cell, i.e., ones that are not on the outermost surface.")	VirusProteinAndCellPart.kif 465-466	Internal cell membrane is a subclass of cell membrane
(externalImage CellMembraneInternal "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 09/ FluorescentCells.jpg")	pictureList.kif 8408-8408	Internal cell membrane is a subclass of cell membrane

appearance as argument number 2

(subclass Endomembrane CellMembraneInternal)	VirusProteinAndCellPart.kif 1040-1040	Endomembrane is a subclass of internal cell membrane
(termFormat EnglishLanguage CellMembraneInternal "internal cell membrane")	domainEnglishFormat.kif 13668-13668	Endomembrane is a subclass of internal cell membrane
(termFormat ChineseTraditionalLanguage CellMembraneInternal "細胞膜內部")	domainEnglishFormat.kif 13669-13669	Endomembrane is a subclass of internal cell membrane
(termFormat ChineseLanguage CellMembraneInternal "细胞膜内部")	domainEnglishFormat.kif 13670-13670	Endomembrane is a subclass of internal cell membrane

antecedent

(=>
    (instance ?MEMBRANE CellMembraneInternal)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (interiorPart ?MEMBRANE ?CELL))))

If X is an instance of internal cell membrane, then there exists Y such that Y is an instance of cell and X is a interior part of Y

consequent

(=>
    (and
        (instance ?GROUP CellInternalMembraneGroup)
        (member ?MEMBRANE ?GROUP))
    (instance ?MEMBRANE CellMembraneInternal))