Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Cell
Cell

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


(subclass Cell BodyPart) Merge.kif 15402-15402
(documentation Cell EnglishLanguage "The fundamental structural and functional unit of living Organisms.") Merge.kif 15403-15404
(externalImage Cell "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 83/ Celltypes.svg/ 300px_Celltypes.svg.png") pictureList.kif 1068-1068

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


(subclass EukaryoticCell Cell) Mid-level-ontology.kif 12358-12358
(subclass ProkaryoticCell Cell) Mid-level-ontology.kif 12368-12368
(termFormat EnglishLanguage Cell "cell") english_format.kif 1260-1260

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


(domain cellShape 1 Cell) VirusProteinAndCellPart.kif 387-387
(domain CellPartFn 1 Cell) VirusProteinAndCellPart.kif 1154-1154

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


(=>
    (instance ?C Cell)
    (modalAttribute
        (or
            (cellShape ?C Sphere)
            (cellShape ?C Cylinder)) Likely))		 VirusProteinAndCellPart.kif 401-406
(=>
    (and
        (instance ?G Gene)
        (located ?G ?C)
        (instance ?C Cell))
    (exists (?B ?N ?R)
        (and
            (instance ?B BiologicalProcess)
            (eventLocated ?B ?C)
            (origin ?B ?G)
            (result ?B ?N)
            (instance ?N Nucleotide)
            (part ?N ?R)
            (instance ?R RNAMolecule)
            (located ?R ?C))))		 VirusProteinAndCellPart.kif 639-653
(=>
    (instance ?CELL Cell)
    (exists (?ENVELOPE)
        (and
            (instance ?ENVELOPE CellEnvelope)
            (part ?ENVELOPE ?CELL))))		 VirusProteinAndCellPart.kif 1056-1061

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


(=>
    (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 14771-14782
(=>
    (and
        (instance ?VIRUS Virus)
        (instance ?PROC Replication)
        (agent ?PROC ?VIRUS))
    (exists (?CELL)
        (and
            (located ?PROC ?CELL)
            (instance ?CELL Cell))))		 Merge.kif 14802-14810
(=>
    (instance ?PART AnatomicalStructure)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (part ?CELL ?PART))))		 Merge.kif 15238-15243
(=>
    (instance ?STUFF Tissue)
    (exists (?PART)
        (and
            (instance ?PART Cell)
            (part ?PART ?STUFF))))		 Merge.kif 15430-15435
(=>
    (instance ?O Organelle)
    (exists (?C)
        (and
            (instance ?C Cell)
            (part ?O ?C))))		 Mid-level-ontology.kif 11579-11584
(=>
    (instance ?OBJ1 CellPart)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (properPart ?OBJ1 ?CELL))))		 Mid-level-ontology.kif 12338-12343
(=>
    (instance ?NUCLEUS CellNucleus)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (part ?NUCLEUS ?CELL))))		 Mid-level-ontology.kif 12351-12356
(=>
    (and
        (instance ?AI AutoImmuneDisorder)
        (experiencer ?AI ?H))
    (exists (?A ?D ?C)
        (and
            (instance ?A Antibody)
            (part ?A ?H)
            (instance ?C Cell)
            (part ?C ?H)
            (instance ?D Destruction)
            (instrument ?D ?A)
            (not
                (desires ?H
                    (and
                        (instance ?D Destruction)
                        (instrument ?D ?A)))))))		 Medicine.kif 2206-2222
(=>
    (instance ?W CellWall)
    (exists (?CELL ?SURF)
        (and
            (instance ?CELL Cell)
            (part ?W ?CELL)
            (surface ?SURF ?CELL)
            (part ?SURF ?W))))		 VirusProteinAndCellPart.kif 455-462
(=>
    (instance ?MEMBRANE CellMembraneInternal)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (interiorPart ?MEMBRANE ?CELL))))		 VirusProteinAndCellPart.kif 468-473


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners