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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14006-14007
(externalImage Cell "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 83/ Celltypes.svg/ 300px-Celltypes.svg.png") pictureList.kif 1069-1069
(subclass Cell BodyPart) Merge.kif 14005-14005

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


(subclass BloodCell Cell) Mid-level-ontology.kif 9160-9160
(subclass EukaryoticCell Cell) VirusProteinAndCellPart.kif 326-326
(subclass NerveCell Cell) Mid-level-ontology.kif 9263-9263
(subclass ProkaryoticCell Cell) VirusProteinAndCellPart.kif 336-336
(termFormat ChineseLanguage Cell "细胞") chinese_format.kif 1022-1022
(termFormat EnglishLanguage Cell "cell") english_format.kif 1261-1261

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


(domain CellPartFn 1 Cell) VirusProteinAndCellPart.kif 583-583

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 13428-13436
(=>
    (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 13397-13408
(=>
    (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 9329-9334
(=>
    (instance ?OBJ1 CellPart)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (properPart ?OBJ1 ?CELL))))
Mid-level-ontology.kif 9316-9321
(=>
    (instance ?PART AnatomicalStructure)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (part ?CELL ?PART))))
Merge.kif 13855-13860
(=>
    (instance ?STUFF Tissue)
    (exists (?PART)
        (and
            (instance ?PART Cell)
            (part ?PART ?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