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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CellMembraneInternal
CellMembraneInternal

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

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


(subclass Endomembrane CellMembraneInternal) VirusProteinAndCellPart.kif 1055-1055
(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 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