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細胞subclass では %n

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


(disjoint ProkaryoticCell EukaryoticCell) VirusProteinAndCellPart.kif 391-391 ProkaryoticCellEukaryoticCelldisjoint では %n
(subclass Gamete EukaryoticCell) Mid-level-ontology.kif 23946-23946 GameteEukaryoticCellsubclass では %n
(subclass SomaticCell EukaryoticCell) Mid-level-ontology.kif 23938-23938 SomaticCellEukaryoticCellsubclass では %n
(subclass Zygote EukaryoticCell) Mid-level-ontology.kif 23992-23992 ZygoteEukaryoticCellsubclass では %n
(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 chromosomeNumber の数値 1 引数は EukaryoticCellinstance では %n

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