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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cell

Sigma KEE - Cell
Cell

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


(documentation Cell ChineseLanguage "这是有生命 Organism 基本的结构单位和功能部分。") chinese_format.kif 3518-3518
(documentation Cell EnglishLanguage "The fundamental structural and functional unit of living Organisms.") Merge.kif 15107-15108
(externalImage Cell "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 83/ Celltypes.svg/ 300px-Celltypes.svg.png") pictureList.kif 1068-1068
(subclass Cell BodyPart) Merge.kif 15106-15106

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


(subclass EukaryoticCell Cell) VirusProteinAndCellPart.kif 380-380
(subclass ProkaryoticCell Cell) VirusProteinAndCellPart.kif 390-390
(termFormat ChineseLanguage Cell "细胞") chinese_format.kif 1022-1022
(termFormat EnglishLanguage Cell "cell") english_format.kif 1256-1256
(termFormat FrenchLanguage Cell "cellule") french_format.kif 700-700
(termFormat Hindi Cell "koshIka") terms-hindi.txt 231-231
(termFormat ItalianLanguage Cell "Cellula") terms-it.txt 234-234
(termFormat JapaneseLanguage Cell "細胞") japanese_format.kif 2383-2383
(termFormat PortugueseLanguage Cell "Celula") portuguese_format.kif 652-652
(termFormat cz Cell "cell") terms-cz.txt 269-269
(termFormat ro Cell "celulã") relations-ro.kif 721-721
(termFormat tg Cell "Selula") terms-tg.txt 235-235

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


(domain CellPartFn 1 Cell) VirusProteinAndCellPart.kif 1168-1168
(domainSubclass cellShape 1 Cell) VirusProteinAndCellPart.kif 404-404

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


(=>
    (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 655-669
(=>
    (instance ?C Cell)
    (modalAttribute
        (or
            (cellShape ?C Sphere)
            (cellShape ?C Cylinder)) Likely))
VirusProteinAndCellPart.kif 418-424
(=>
    (instance ?CELL Cell)
    (exists (?ENVELOPE)
        (and
            (instance ?ENVELOPE CellEnvelope)
            (part ?ENVELOPE ?CELL))))
VirusProteinAndCellPart.kif 1070-1075

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


(=>
    (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 2200-2216
(=>
    (and
        (instance ?VIRUS Virus)
        (instance ?PROC Replication)
        (agent ?PROC ?VIRUS))
    (exists (?CELL)
        (and
            (located ?PROC ?CELL)
            (instance ?CELL Cell))))
Merge.kif 14490-14498
(=>
    (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 14459-14470
(=>
    (instance ?MEMBRANE CellMembraneInternal)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (interiorPart ?MEMBRANE ?CELL))))
VirusProteinAndCellPart.kif 486-491
(=>
    (instance ?NUCLEUS CellNucleus)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (part ?NUCLEUS ?CELL))))
Mid-level-ontology.kif 10895-10900
(=>
    (instance ?O Organelle)
    (exists (?C)
        (and
            (instance ?C Cell)
            (part ?O ?C))))
Mid-level-ontology.kif 10133-10138
(=>
    (instance ?OBJ1 CellPart)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (properPart ?OBJ1 ?CELL))))
Mid-level-ontology.kif 10882-10887
(=>
    (instance ?PART AnatomicalStructure)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (part ?CELL ?PART))))
Merge.kif 14929-14934
(=>
    (instance ?STUFF Tissue)
    (exists (?PART)
        (and
            (instance ?PART Cell)
            (part ?PART ?STUFF))))
Merge.kif 15134-15139
(=>
    (instance ?W CellWall)
    (exists (?CELL ?SURF)
        (and
            (instance ?CELL Cell)
            (part ?W ?CELL)
            (surface ?SURF ?CELL)
            (part ?SURF ?W))))
VirusProteinAndCellPart.kif 473-480


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 3.0 is open source software produced by Articulate Software and its partners