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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EukaryoticCell

 Sigma KEE - EukaryoticCell
EukaryoticCell

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 EukaryoticCell è una sottoclasse di Cellula

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


(disjoint ProkaryoticCell EukaryoticCell) VirusProteinAndCellPart.kif 391-391 ProkaryoticCell è disgiunto da EukaryoticCell
(subclass Gamete EukaryoticCell) Mid-level-ontology.kif 23945-23945 Gamete è una sottoclasse di EukaryoticCell
(subclass SomaticCell EukaryoticCell) Mid-level-ontology.kif 23937-23937 SomaticCell è una sottoclasse di EukaryoticCell
(subclass Zygote EukaryoticCell) Mid-level-ontology.kif 23991-23991 Zygote è una sottoclasse di EukaryoticCell
(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 697-697 Il numero 1 argomenti di chromosomeNumber è un istanza di EukaryoticCell

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 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 ?OBJ1 EukaryoticCell)
    (exists (?OBJ2)
        (and
            (interiorPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 CellNucleus))))		 VirusProteinAndCellPart.kif 383-388


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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