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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CellNucleus
CellNucleus

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


(documentation CellNucleus EnglishLanguage "The part of the Cell that contains DNA and RNA.") Mid-level-ontology.kif 9307-9308
(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 9304-9304 subclass CellNucleus and CellPart

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


(termFormat ChineseLanguage CellNucleus "细胞核") domainEnglishFormat.kif 13678-13678
(termFormat ChineseTraditionalLanguage CellNucleus "細胞核") domainEnglishFormat.kif 13677-13677
(termFormat EnglishLanguage CellNucleus "cell nucleus") domainEnglishFormat.kif 13676-13676

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


(=>
    (instance ?NUCLEUS CellNucleus)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (part ?NUCLEUS ?CELL))))
Mid-level-ontology.kif 9310-9315
(=>
    (instance ?NUCLEUS CellNucleus)
    (exists (?CHROMOTIN)
        (and
            (instance ?CHROMOTIN Chromotin)
            (part ?CHROMOTIN ?NUCLEUS))))
VirusProteinAndCellPart.kif 459-464

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


(=>
    (instance ?C RedBloodCell)
    (not
        (exists (?N)
            (and
                (instance ?N CellNucleus)
                (part ?N ?C)))))
Mid-level-ontology.kif 9154-9160
(=>
    (instance ?C WhiteBloodCell)
    (exists (?N)
        (and
            (instance ?N CellNucleus)
            (part ?N ?C))))
Mid-level-ontology.kif 9165-9170
(=>
    (instance ?OBJ1 EukaryoticCell)
    (exists (?OBJ2)
        (and
            (interiorPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 CellNucleus))))
VirusProteinAndCellPart.kif 330-335
(=>
    (instance ?OBJ1 ProkaryoticCell)
    (not
        (exists (?OBJ2)
            (and
                (instance ?OBJ2 CellNucleus)
                (part ?OBJ2 ?OBJ1)))))
VirusProteinAndCellPart.kif 342-347


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