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


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