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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(subclass Endomembrane CellMembraneInternal) VirusProteinAndCellPart.kif 1055-1055 Endomembrane is a subclass of internal cell membrane
(termFormat ChineseLanguage CellMembraneInternal "细胞膜内部") domainEnglishFormat.kif 13678-13678 Endomembrane is a subclass of internal cell membrane
(termFormat ChineseTraditionalLanguage CellMembraneInternal "細胞膜內部") domainEnglishFormat.kif 13677-13677 Endomembrane is a subclass of internal cell membrane
(termFormat EnglishLanguage CellMembraneInternal "internal cell membrane") domainEnglishFormat.kif 13676-13676 Endomembrane is a subclass of internal cell membrane

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


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

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


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


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



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