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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 est une sous-classe de cellule

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


(disjoint ProkaryoticCell EukaryoticCell) VirusProteinAndCellPart.kif 391-391 ProkaryoticCell est disjoint de EukaryoticCell
(subclass Gamete EukaryoticCell) Mid-level-ontology.kif 23946-23946 Gamete est une sous-classe de EukaryoticCell
(subclass SomaticCell EukaryoticCell) Mid-level-ontology.kif 23938-23938 SomaticCell est une sous-classe de EukaryoticCell
(subclass Zygote EukaryoticCell) Mid-level-ontology.kif 23992-23992 Zygote est une sous-classe de 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 698-698 Le nombre 1 argument de chromosomeNumber est une instance de 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 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