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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CellNucleus
CellNucleus(cell nucleus)
cell_nucleus, karyon, nucleus, pronucleus, subthalamic_nucleus

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


(documentation CellNucleus EnglishLanguage "The part of the Cell that contains DNA and RNA.") Mid-level-ontology.kif 10397-10398
(externalImage CellNucleus "http://upload.wikimedia.org/wikipedia/commons/ 3/ 38/ Diagram_human_cell_nucleus.svg") pictureList.kif 4592-4592
(subclass CellNucleus CellPart) Mid-level-ontology.kif 10394-10394 Cell nucleus is a subclass of cell part

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


(termFormat ChineseLanguage CellNucleus "细胞核") domainEnglishFormat.kif 13671-13671
(termFormat ChineseTraditionalLanguage CellNucleus "細胞核") domainEnglishFormat.kif 13670-13670
(termFormat EnglishLanguage CellNucleus "cell nucleus") domainEnglishFormat.kif 13669-13669

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


(=>
    (instance ?NUCLEUS CellNucleus)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (part ?NUCLEUS ?CELL))))
Mid-level-ontology.kif 10400-10405
(=>
    (instance ?NUCLEUS CellNucleus)
    (exists (?CHROMOTIN)
        (and
            (instance ?CHROMOTIN Chromotin)
            (part ?CHROMOTIN ?NUCLEUS))))
VirusProteinAndCellPart.kif 530-535

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


(=>
    (instance ?C RedBloodCell)
    (not
        (exists (?N)
            (and
                (instance ?N CellNucleus)
                (part ?N ?C)))))
Mid-level-ontology.kif 9738-9744
(=>
    (instance ?C WhiteBloodCell)
    (exists (?N)
        (and
            (instance ?N CellNucleus)
            (part ?N ?C))))
Mid-level-ontology.kif 9784-9789
(=>
    (instance ?OBJ1 EukaryoticCell)
    (exists (?OBJ2)
        (and
            (interiorPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 CellNucleus))))
VirusProteinAndCellPart.kif 332-337
(=>
    (instance ?OBJ1 ProkaryoticCell)
    (not
        (exists (?OBJ2)
            (and
                (instance ?OBJ2 CellNucleus)
                (part ?OBJ2 ?OBJ1)))))
VirusProteinAndCellPart.kif 344-349


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