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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Chromotin
Chromotin

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


(documentation Chromotin EnglishLanguage "The class of chromotin found in cell nucleuses of eukaryota.") VirusProteinAndCellPart.kif 597-597
(subclass Chromotin CellPart) VirusProteinAndCellPart.kif 596-596

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


(termFormat ChineseLanguage Chromotin "染色质") domainEnglishFormat.kif 14777-14777
(termFormat ChineseTraditionalLanguage Chromotin "染色質") domainEnglishFormat.kif 14776-14776
(termFormat EnglishLanguage Chromotin "chromotin") domainEnglishFormat.kif 14775-14775

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


(=>
    (instance ?X Chromotin)
    (exists (?COLL ?N)
        (and
            (instance ?COLL Collection)
            (located ?COLL ?X)
            (member ?COLL ?N)
            (instance ?N Nucleosome))))
VirusProteinAndCellPart.kif 609-616

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


(=>
    (and
        (instance ?NUCLEUS ?CLASS)
        (subclass ?CLASS CellNucleus)
        (initialPart ?CLASS EukaryoticCell))
    (exists (?CHROMOTIN)
        (and
            (instance ?CHROMOTIN Chromotin)
            (part ?CHROMOTIN ?NUCLEUS))))
VirusProteinAndCellPart.kif 599-607
(=>
    (instance ?X Chromosome)
    (exists (?C)
        (and
            (instance ?C Chromotin)
            (part ?C ?X))))
VirusProteinAndCellPart.kif 589-594


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