Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CellMembraneInternal

Sigma KEE - CellMembraneInternal
CellMembraneInternal(internal cell membrane)

appearance as argument number 1
-------------------------


(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 483-484
(externalImage CellMembraneInternal "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 09/ FluorescentCells.jpg") pictureList.kif 8409-8409
(subclass CellMembraneInternal CellMembrane) VirusProteinAndCellPart.kif 482-482 Internal cell membrane is a subclass of cell membrane

appearance as argument number 2
-------------------------


(subclass Endomembrane CellMembraneInternal) VirusProteinAndCellPart.kif 1054-1054 Endomembrane is a subclass of internal cell membrane
(termFormat ChineseLanguage CellMembraneInternal "细胞膜内部") domainEnglishFormat.kif 13662-13662
(termFormat ChineseTraditionalLanguage CellMembraneInternal "細胞膜內部") domainEnglishFormat.kif 13661-13661
(termFormat EnglishLanguage CellMembraneInternal "internal cell membrane") domainEnglishFormat.kif 13660-13660

antecedent
-------------------------


(=>
    (instance ?MEMBRANE CellMembraneInternal)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (interiorPart ?MEMBRANE ?CELL))))
VirusProteinAndCellPart.kif 486-491

consequent
-------------------------


(=>
    (and
        (instance ?GROUP CellInternalMembraneGroup)
        (member ?MEMBRANE ?GROUP))
    (instance ?MEMBRANE CellMembraneInternal))
VirusProteinAndCellPart.kif 1084-1088


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners