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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CellInternalMembraneGroup
CellInternalMembraneGroup(细胞内膜组)

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


(documentation CellInternalMembraneGroup EnglishLanguage "The class of groups of internal cell membranes contained within each cell.") VirusProteinAndCellPart.kif 1082-1083
(subclass CellInternalMembraneGroup CellPart) VirusProteinAndCellPart.kif 1081-1081 细胞内膜组细胞部分subclass

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