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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CellMembraneInternal
CellMembraneInternal(cell membrane internal)

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 432-433
(externalImage CellMembraneInternal "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 09/ FluorescentCells.jpg") pictureList.kif 8410-8410
(subclass CellMembraneInternal CellMembrane) VirusProteinAndCellPart.kif 431-431 Cell membrane internal is a subclass of cell membrane

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


(subclass Endomembrane CellMembraneInternal) VirusProteinAndCellPart.kif 541-541 Endomembrane is a subclass of cell membrane internal
(termFormat ChineseLanguage CellMembraneInternal "细胞膜内部") domainEnglishFormat.kif 13665-13665
(termFormat ChineseTraditionalLanguage CellMembraneInternal "細胞膜內部") domainEnglishFormat.kif 13664-13664
(termFormat EnglishLanguage CellMembraneInternal "cell membrane internal") domainEnglishFormat.kif 13663-13663

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


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

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


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


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