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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CellInternalMembraneGroup

Sigma KEE - CellInternalMembraneGroup
CellInternalMembraneGroup(cell internal membrane group)

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


(documentation CellInternalMembraneGroup EnglishLanguage "The class of groups of internal cell membranes contained within each cell.") VirusProteinAndCellPart.kif 1081-1082
(subclass CellInternalMembraneGroup CellPart) VirusProteinAndCellPart.kif 1080-1080 Cell internal membrane group is a subclass of cell part

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


(termFormat ChineseLanguage CellInternalMembraneGroup "细胞内膜组") domainEnglishFormat.kif 13650-13650
(termFormat ChineseTraditionalLanguage CellInternalMembraneGroup "細胞內膜組") domainEnglishFormat.kif 13649-13649
(termFormat EnglishLanguage CellInternalMembraneGroup "cell internal membrane group") domainEnglishFormat.kif 13648-13648

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


(=>
    (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