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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cell

Sigma KEE - Cell
Cell(cell)
B_cell, B_lymphocyte, CD4_T_cell, CD4_cell, CD8_T_cell, CD8_cell, Golgi's_cell, Golgi_cell, Kupffer's_cell, Leydig's_cell, Leydig_cell, Purkinje_cell, Schwann_cell, Sertoli's_cell, Sertoli_cell, T_cell, T_lymphocyte, acanthocyte, acaryote, adipose_cell, afferent_neuron, akaryocyte, akaryote, ameloblast, anisogamete, archesporial, arthrospore, astrocyte, astrocytic, basophil, basophile, beta_cell, binuclear, binucleate, binucleated, blastocyte, blastomere, blastomeric, bone-forming_cell, bone_cell, brain_cell, cancer_cell, cell, cell-free, cellular, choanocyte, collar_cell, columnar_cell, columnar_epithelial_cell, cone...

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


s__documentation(s__Cell,s__ChineseLanguage,'这是有生命 Organism 基本的结构单位和功能部分。')

Merge.kif 15255-15255
s__documentation(s__Cell,s__EnglishLanguage,'The fundamental structural and functional unit of living Organisms.')

Merge.kif 15253-15254
s__externalImage(s__Cell,'http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 83/ Celltypes.svg/ 300px-Celltypes.svg.png')

pictureList.kif 1069-1069 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 83/ Celltypes.svg/ 300px-Celltypes.svg.png" is a URL depicting cell
s__instance(s__BodyPart,s__SetOrClass)

s__subclass(s__Cell,s__BodyPart)

s__instance(s__Cell,s__SetOrClass)

Merge.kif 15252-15252 Cell is a subclass of body part

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


s__instance(s__BloodCell,s__SetOrClass)

s__subclass(s__BloodCell,s__Cell)

s__instance(s__Cell,s__SetOrClass)

Mid-level-ontology.kif 9157-9157 Blood cell is a subclass of cell
s__instance(s__EukaryoticCell,s__SetOrClass)

s__subclass(s__EukaryoticCell,s__Cell)

s__instance(s__Cell,s__SetOrClass)

VirusProteinAndCellPart.kif 326-326 Eukaryotic cell is a subclass of cell
s__instance(s__NerveCell,s__SetOrClass)

s__subclass(s__NerveCell,s__Cell)

s__instance(s__Cell,s__SetOrClass)

Mid-level-ontology.kif 9260-9260 Nerve cell is a subclass of cell
s__instance(s__ProkaryoticCell,s__SetOrClass)

s__subclass(s__ProkaryoticCell,s__Cell)

s__instance(s__Cell,s__SetOrClass)

VirusProteinAndCellPart.kif 336-336 Prokaryotic cell is a subclass of cell
s__termFormat(s__ChineseLanguage,s__Cell,'细胞')

chinese_format.kif 1022-1022 "细胞" is the printable form of cell in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__Cell,'cell')

english_format.kif 1137-1137 "cell" is the printable form of cell in english language
s__termFormat(s__JapaneseLanguage,s__Cell,'細胞')

english_format.kif 1138-1138 "細胞" is the printable form of cell in japanese language

appearance as argument number 3
-------------------------


s__domain(s__CellPartFn__m,1,s__Cell)

VirusProteinAndCellPart.kif 583-583 The number 1 argument of cell part is an instance of cell

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


( ∀ [V__CELL]
   (s__instance(V__CELL,s__Cell)s__=>(s__exists__m[V__ENVELOPE]
       (s__instance(V__ENVELOPE,s__CellEnvelope)s__and__ms__part(V__ENVELOPE,V__CELL))))
)

VirusProteinAndCellPart.kif 485-490

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


( ∀ [V__VIRUS,V__PROC]
   ((s__instance(V__VIRUS,s__Virus)s__and__ms__instance(V__PROC,s__Replication)s__and__ms__agent(V__PROC,V__VIRUS))
  s__=>(s__exists__m[V__CELL]
     (s__located(V__PROC,V__CELL)
    s__and__ms__instance(V__CELL,s__Cell))))
)

Merge.kif 14555-14563
( ∀ [V__BACTERIUM]
   (s__instance(V__BACTERIUM,s__Bacterium)s__=>(s__exists__m[V__CELL1]
       (s__component(V__CELL1,V__BACTERIUM)
      s__and__ms__instance(V__CELL1,s__Cell)s__and__m(s__forall__m[V__CELL2]
       ((s__component(V__CELL2,V__BACTERIUM)
        s__and__ms__instance(V__CELL2,s__Cell))
      s__=>(V__CELL1s__equal__mV__CELL2))))))
)

Merge.kif 14522-14533
( ∀ [V__MEMBRANE]
   (s__instance(V__MEMBRANE,s__CellMembraneInternal)s__=>(s__exists__m[V__CELL]
       (s__instance(V__CELL,s__Cell)s__and__ms__interiorPart(V__MEMBRANE,V__CELL))))
)

VirusProteinAndCellPart.kif 363-368
( ∀ [V__NUCLEUS]
   (s__instance(V__NUCLEUS,s__CellNucleus)s__=>(s__exists__m[V__CELL]
       (s__instance(V__CELL,s__Cell)s__and__ms__part(V__NUCLEUS,V__CELL))))
)

Mid-level-ontology.kif 9326-9331
( ∀ [V__OBJ1]
   (s__instance(V__OBJ1,s__CellPart)s__=>(s__exists__m[V__CELL]
       (s__instance(V__CELL,s__Cell)s__and__ms__properPart(V__OBJ1,V__CELL))))
)

Mid-level-ontology.kif 9313-9318
( ∀ [V__PART]
   (s__instance(V__PART,s__AnatomicalStructure)s__=>(s__exists__m[V__CELL]
       (s__instance(V__CELL,s__Cell)s__and__ms__part(V__CELL,V__PART))))
)

Merge.kif 15074-15079
( ∀ [V__STUFF]
   (s__instance(V__STUFF,s__Tissue)s__=>(s__exists__m[V__PART]
       (s__instance(V__PART,s__Cell)s__and__ms__part(V__PART,V__STUFF))))
)

Merge.kif 15287-15292


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners