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


(documentation Cell ChineseLanguage "这是有生命 Organism 基本的结构单位和功能部分。") Merge.kif 15255-15255
(documentation Cell EnglishLanguage "The fundamental structural and functional unit of living Organisms.") Merge.kif 15253-15254
(externalImage 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
(subclass Cell BodyPart) Merge.kif 15252-15252 Cell is a subclass of body part

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


(subclass BloodCell Cell) Mid-level-ontology.kif 9157-9157 Blood cell is a subclass of cell
(subclass EukaryoticCell Cell) VirusProteinAndCellPart.kif 326-326 Eukaryotic cell is a subclass of cell
(subclass NerveCell Cell) Mid-level-ontology.kif 9260-9260 Nerve cell is a subclass of cell
(subclass ProkaryoticCell Cell) VirusProteinAndCellPart.kif 336-336 Prokaryotic cell is a subclass of cell
(termFormat ChineseLanguage Cell "细胞") chinese_format.kif 1022-1022 "细胞" is the printable form of cell in ChineseLanguage
(termFormat EnglishLanguage Cell "cell") english_format.kif 1137-1137 "cell" is the printable form of cell in english language
(termFormat JapaneseLanguage Cell "細胞") english_format.kif 1138-1138 "細胞" is the printable form of cell in japanese language

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


(domain CellPartFn 1 Cell) VirusProteinAndCellPart.kif 583-583 The number 1 argument of cell part is an instance of cell

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


(=>
    (instance ?CELL Cell)
    (exists (?ENVELOPE)
        (and
            (instance ?ENVELOPE CellEnvelope)
            (part ?ENVELOPE ?CELL))))
VirusProteinAndCellPart.kif 485-490

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


(=>
    (and
        (instance ?VIRUS Virus)
        (instance ?PROC Replication)
        (agent ?PROC ?VIRUS))
    (exists (?CELL)
        (and
            (located ?PROC ?CELL)
            (instance ?CELL Cell))))
Merge.kif 14555-14563
(=>
    (instance ?BACTERIUM Bacterium)
    (exists (?CELL1)
        (and
            (component ?CELL1 ?BACTERIUM)
            (instance ?CELL1 Cell)
            (forall (?CELL2)
                (=>
                    (and
                        (component ?CELL2 ?BACTERIUM)
                        (instance ?CELL2 Cell))
                    (equal ?CELL1 ?CELL2))))))
Merge.kif 14522-14533
(=>
    (instance ?MEMBRANE CellMembraneInternal)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (interiorPart ?MEMBRANE ?CELL))))
VirusProteinAndCellPart.kif 363-368
(=>
    (instance ?NUCLEUS CellNucleus)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (part ?NUCLEUS ?CELL))))
Mid-level-ontology.kif 9326-9331
(=>
    (instance ?OBJ1 CellPart)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (properPart ?OBJ1 ?CELL))))
Mid-level-ontology.kif 9313-9318
(=>
    (instance ?PART AnatomicalStructure)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (part ?CELL ?PART))))
Merge.kif 15074-15079
(=>
    (instance ?STUFF Tissue)
    (exists (?PART)
        (and
            (instance ?PART Cell)
            (part ?PART ?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