Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  CellEnvelope

 Sigma KEE - CellEnvelope
CellEnvelope(cell envelope)
more pictures...		cell_wall

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


(subclass CellEnvelope PlasmaMembrane) VirusProteinAndCellPart.kif 1053-1053 Cell envelope is a subclass of plasma membrane
(documentation CellEnvelope EnglishLanguage "The class of cellular envelopes.") VirusProteinAndCellPart.kif 1054-1054 Cell envelope is a subclass of plasma membrane
(externalImage CellEnvelope "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Cellsize.jpg") pictureList.kif 9928-9928 Cell envelope is a subclass of plasma membrane
(externalImage CellEnvelope "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7c/ Epithelial_cells.jpg") pictureList.kif 10586-10586 Cell envelope is a subclass of plasma membrane
(externalImage CellEnvelope "http://upload.wikimedia.org/wikipedia/en/6/ 6a/ Gram_negative_cellwall_schematic.png") pictureList.kif 10588-10588 Cell envelope is a subclass of plasma membrane
(externalImage CellEnvelope "http://upload.wikimedia.org/wikipedia/commons/ b/ b0/ Gram_Cell_Wall.jpg") pictureList.kif 10589-10589 Cell envelope is a subclass of plasma membrane
(externalImage CellEnvelope "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ Gram_Stain_Anthrax.jpg") pictureList.kif 10590-10590 Cell envelope is a subclass of plasma membrane

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


(termFormat EnglishLanguage CellEnvelope "cell envelope") domainEnglishFormat.kif 13650-13650
(termFormat ChineseTraditionalLanguage CellEnvelope "細胞包膜") domainEnglishFormat.kif 13651-13651
(termFormat ChineseLanguage CellEnvelope "细胞包膜") domainEnglishFormat.kif 13652-13652

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


(=>
    (instance ?OBJ1 CellEnvelope)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 Lipoprotein))))		 VirusProteinAndCellPart.kif 1076-1081 If X is an instance of cell envelope, then there exists Y such that Y is a proper part of X and Y is an instance of lipoprotein

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


(=>
    (instance ?CELL Cell)
    (exists (?ENVELOPE)
        (and
            (instance ?ENVELOPE CellEnvelope)
            (part ?ENVELOPE ?CELL))))		 VirusProteinAndCellPart.kif 1056-1061 If X is an instance of cell, then there exists Y such that Y is an instance of cell envelope and Y is a part of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners