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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 基本的结构单位和功能部分。"')

chinese_format.kif 3518-3518
s__documentation(s__Cell,s__EnglishLanguage,'"The fundamental structural and functional unit of living Organisms."')

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

pictureList.kif 1069-1069
s__instance(s__BodyPart,s__SetOrClass)

s__subclass(s__Cell,s__BodyPart)

s__instance(s__Cell,s__SetOrClass)

Merge.kif 14005-14005 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 9160-9160 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 9263-9263 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
s__termFormat(s__EnglishLanguage,s__Cell,'"cell"')

english_format.kif 1261-1261

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


s__domain(s__CellPartFn__m,n__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) =>
     ( ? [V__ENVELOPE] :
       ((s__instance(V__ENVELOPE,s__CellEnvelope) &
           s__part(V__ENVELOPE,V__CELL))))
   )
)

VirusProteinAndCellPart.kif 485-490

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


( ! [V__VIRUS,V__PROC] :
   ((s__instance(V__VIRUS,s__Virus) &
       s__instance(V__PROC,s__Replication) &
       s__agent(V__PROC,V__VIRUS))
   =>
   ( ? [V__CELL] :
     ((s__located(V__PROC,V__CELL)
       &
       s__instance(V__CELL,s__Cell))))
)
)

Merge.kif 13428-13436
( ! [V__BACTERIUM] :
   (s__instance(V__BACTERIUM,s__Bacterium) =>
     ( ? [V__CELL1] :
       ((s__component(V__CELL1,V__BACTERIUM)
         &
         s__instance(V__CELL1,s__Cell) &
         ( ! [V__CELL2] :
           ((s__component(V__CELL2,V__BACTERIUM)
             &
             s__instance(V__CELL2,s__Cell))
           =>
           (V__CELL1 = V__CELL2))))))
)
)

Merge.kif 13397-13408
( ! [V__MEMBRANE] :
   (s__instance(V__MEMBRANE,s__CellMembraneInternal) =>
     ( ? [V__CELL] :
       ((s__instance(V__CELL,s__Cell) &
           s__interiorPart(V__MEMBRANE,V__CELL))))
   )
)

VirusProteinAndCellPart.kif 363-368
( ! [V__NUCLEUS] :
   (s__instance(V__NUCLEUS,s__CellNucleus) =>
     ( ? [V__CELL] :
       ((s__instance(V__CELL,s__Cell) &
           s__part(V__NUCLEUS,V__CELL))))
   )
)

Mid-level-ontology.kif 9329-9334
( ! [V__OBJ1] :
   (s__instance(V__OBJ1,s__CellPart) =>
     ( ? [V__CELL] :
       ((s__instance(V__CELL,s__Cell) &
           s__properPart(V__OBJ1,V__CELL))))
   )
)

Mid-level-ontology.kif 9316-9321
( ! [V__PART] :
   (s__instance(V__PART,s__AnatomicalStructure) =>
     ( ? [V__CELL] :
       ((s__instance(V__CELL,s__Cell) &
           s__part(V__CELL,V__PART))))
   )
)

Merge.kif 13855-13860
( ! [V__STUFF] :
   (s__instance(V__STUFF,s__Tissue) =>
     ( ? [V__PART] :
       ((s__instance(V__PART,s__Cell) &
           s__part(V__PART,V__STUFF))))
   )
)

Merge.kif 14032-14037


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