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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EukaryoticCell
EukaryoticCell(eukaryotic cell)

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


(documentation EukaryoticCell EnglishLanguage "The Class of Cells that have a CellNucleus.") VirusProteinAndCellPart.kif 381-381
(subclass EukaryoticCell Cell) VirusProteinAndCellPart.kif 380-380 Eukaryotic cell is a subclass of cell

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


(disjoint ProkaryoticCell EukaryoticCell) VirusProteinAndCellPart.kif 391-391 Prokaryotic cell is disjoint from eukaryotic cell
(subclass Gamete EukaryoticCell) Mid-level-ontology.kif 23946-23946 Gamete is a subclass of eukaryotic cell
(subclass SomaticCell EukaryoticCell) Mid-level-ontology.kif 23938-23938 Somatic cell is a subclass of eukaryotic cell
(subclass Zygote EukaryoticCell) Mid-level-ontology.kif 23992-23992 Zygote is a subclass of eukaryotic cell
(termFormat ChineseLanguage EukaryoticCell "真核细胞") domainEnglishFormat.kif 22486-22486
(termFormat ChineseTraditionalLanguage EukaryoticCell "真核細胞") domainEnglishFormat.kif 22485-22485
(termFormat EnglishLanguage EukaryoticCell "eukaryotic cell") domainEnglishFormat.kif 22484-22484

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


(domain chromosomeNumber 1 EukaryoticCell) VirusProteinAndCellPart.kif 698-698 The number 1 argument of chromosome number is an instance of eukaryotic cell

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


(=>
    (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 866-875
(=>
    (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 877-888
(=>
    (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 719-731
(=>
    (and
        (instance ?NUCLEUS ?CLASS)
        (subclass ?CLASS CellNucleus)
        (initialPart ?CLASS EukaryoticCell))
    (exists (?CHROMOTIN)
        (and
            (instance ?CHROMOTIN Chromotin)
            (part ?CHROMOTIN ?NUCLEUS))))
VirusProteinAndCellPart.kif 600-608
(=>
    (instance ?OBJ1 EukaryoticCell)
    (exists (?OBJ2)
        (and
            (interiorPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 CellNucleus))))
VirusProteinAndCellPart.kif 383-388


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