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 11110-11111
(externalImage CellNucleus "http://upload.wikimedia.org/wikipedia/commons/ 3/ 38/ Diagram_human_cell_nucleus.svg") pictureList.kif 4590-4590
(subclass CellNucleus CellPart) Mid-level-ontology.kif 11107-11107

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


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

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


(=>
    (and
        (chromosomeNumber ?C ?I)
        (part ?N ?C)
        (instance ?N CellNucleus)
        (instance ?COLL Collection)
        (located ?COLL ?N)
        (memberType ?COLL Chromosome))
    (memberCount ?COLL ?I))		 VirusProteinAndCellPart.kif 702-710
(=>
    (and
        (haploidNumber ?CELL ?I)
        (instance ?CELL Gamete)
        (part ?N ?CELL)
        (instance ?N CellNucleus)
        (instance ?COLL Collection)
        (located ?COLL ?N)
        (memberType ?COLL Chromosome))
    (memberCount ?COLL ?I))		 VirusProteinAndCellPart.kif 793-802
(=>
    (and
        (instance ?CELL HexaploidCell)
        (part ?N ?CELL)
        (instance ?N CellNucleus)
        (located ?COLL ?N)
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome))
    (exists (?A ?B ?C)
        (and
            (instance ?A HomologousChromosomeSet)
            (subCollection ?A ?COLL)
            (instance ?B HomologousChromosomeSet)
            (subCollection ?B ?COLL)
            (instance ?C HomologousChromosomeSet)
            (subCollection ?C ?COLL)
            (not
                (equal ?A ?B))
            (not
                (equal ?A ?C))
            (not
                (equal ?B ?C)))))		 VirusProteinAndCellPart.kif 1003-1024
(=>
    (and
        (instance ?CELL MonoploidCell)
        (chromosomeNumber ?CELL ?X)
        (instance ?COLL MonoploidChromosomeSet)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N ?CELL)
        (monoploidNumber ?COLL ?Y))
    (equal ?X ?Y))		 VirusProteinAndCellPart.kif 772-781
(=>
    (and
        (instance ?CELL MonoploidCell)
        (instance ?N CellNucleus)
        (part ?N ?CELL))
    (exists (?COLL)
        (and
            (instance ?COLL MonoploidChromosomeSet)
            (located ?COLL ?N)
            (not
                (exists (?SET)
                    (and
                        (instance ?SET MonoploidChromosomeSet)
                        (not
                            (equal ?SET ?COLL))
                        (located ?SET ?N)))))))		 VirusProteinAndCellPart.kif 755-770
(=>
    (and
        (instance ?CELL PentaploidCell)
        (instance ?N CellNucleus)
        (part ?N ?CELL)
        (located ?COLL ?N)
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL))
    (chromosomeSetCount ?A ?COLL 5))		 VirusProteinAndCellPart.kif 973-983
(=>
    (and
        (instance ?CELL TetraploidCell)
        (part ?N ?CELL)
        (instance ?N CellNucleus)
        (located ?COLL ?N)
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome))
    (exists (?A ?B)
        (and
            (instance ?A HomologousChromosomeSet)
            (subCollection ?A ?COLL)
            (instance ?B HomologousChromosomeSet)
            (subCollection ?B ?COLL)
            (not
                (equal ?A ?B)))))		 VirusProteinAndCellPart.kif 950-965
(=>
    (and
        (instance ?CELL TriploidCell)
        (instance ?N CellNucleus)
        (part ?N ?CELL)
        (located ?COLL ?N)
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL))
    (chromosomeSetCount ?A ?COLL 3))		 VirusProteinAndCellPart.kif 920-930
(=>
    (and
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL)
        (chromosomeSetCount ?A ?COLL 4)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N ?CELL))
    (instance ?CELL TetraploidCell))		 VirusProteinAndCellPart.kif 938-948
(=>
    (and
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL)
        (chromosomeSetCount ?A ?COLL 6)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N ?CELL))
    (instance ?CELL HexaploidCell))		 VirusProteinAndCellPart.kif 991-1001
(=>
    (and
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (subCollection ?A ?COLL)
        (chromosomeSetCount ?A ?COLL 2)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N ?CELL))
    (instance ?CELL DiploidCell))		 VirusProteinAndCellPart.kif 895-904
(=>
    (and
        (instance ?COLL HomologousChromosomeSet)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N ?CELL))
    (instance ?CELL DiploidCell))		 VirusProteinAndCellPart.kif 906-912
(=>
    (and
        (instance ?COLL HomologousChromosomeSet)
        (memberType ?COLL Chromosome)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N EukaryoticCell)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL))
    (chromosomeSetCount ?A ?COLL 2))		 VirusProteinAndCellPart.kif 865-874
(=>
    (and
        (instance ?COLL HomologousChromosomeSet)
        (memberType ?COLL Chromosome)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N EukaryoticCell)
        (subCollection ?X ?COLL)
        (subCollection ?Y ?COLL)
        (not
            (equal ?X ?Y)))
    (homologousChromosomePair ?X ?Y))		 VirusProteinAndCellPart.kif 876-887
(=>
    (and
        (instance ?COLL MonoploidChromosomeSet)
        (memberType ?COLL Chromosome)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N EukaryoticCell)
        (member ?X ?COLL)
        (member ?Y ?COLL)
        (not
            (equal ?X ?Y)))
    (not
        (homologousChromosome ?X ?Y)))		 VirusProteinAndCellPart.kif 718-730
(=>
    (and
        (instance ?NUCLEUS ?CLASS)
        (subclass ?CLASS CellNucleus)
        (initialPart ?CLASS EukaryoticCell))
    (exists (?CHROMOTIN)
        (and
            (instance ?CHROMOTIN Chromotin)
            (part ?CHROMOTIN ?NUCLEUS))))		 VirusProteinAndCellPart.kif 599-607
(=>
    (instance ?NUCLEUS CellNucleus)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (part ?NUCLEUS ?CELL))))		 Mid-level-ontology.kif 11113-11118

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


(=>
    (instance ?C RedBloodCell)
    (not
        (exists (?N)
            (and
                (instance ?N CellNucleus)
                (part ?N ?C)))))		 Mid-level-ontology.kif 10384-10390
(=>
    (instance ?C WhiteBloodCell)
    (exists (?N)
        (and
            (instance ?N CellNucleus)
            (part ?N ?C))))		 Mid-level-ontology.kif 10430-10435
(=>
    (instance ?OBJ1 EukaryoticCell)
    (exists (?OBJ2)
        (and
            (interiorPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 CellNucleus))))		 VirusProteinAndCellPart.kif 383-388
(=>
    (instance ?OBJ1 ProkaryoticCell)
    (not
        (exists (?OBJ2)
            (and
                (instance ?OBJ2 CellNucleus)
                (part ?OBJ2 ?OBJ1)))))		 VirusProteinAndCellPart.kif 395-400
(=>
    (instance ?X Chromosome)
    (exists (?N)
        (and
            (instance ?N CellNucleus)
            (located ?X ?N))))		 VirusProteinAndCellPart.kif 582-587


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