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 598-598
(subclass Chromotin CellPart) VirusProteinAndCellPart.kif 597-597 ChromotinCellPartsubclass では %n

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


(termFormat ChineseLanguage Chromotin "染色质") domainEnglishFormat.kif 14766-14766
(termFormat ChineseTraditionalLanguage Chromotin "染色質") domainEnglishFormat.kif 14765-14765
(termFormat EnglishLanguage Chromotin "chromotin") domainEnglishFormat.kif 14764-14764

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


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

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


(=>
    (and
        (instance ?NUCLEUS ?CLASS)
        (subclass ?CLASS CellNucleus)
        (initialPart ?CLASS EukaryoticCell))
    (exists (?CHROMOTIN)
        (and
            (instance ?CHROMOTIN Chromotin)
            (part ?CHROMOTIN ?NUCLEUS))))
VirusProteinAndCellPart.kif 600-608
(=>
    (instance ?X Chromosome)
    (exists (?C)
        (and
            (instance ?C Chromotin)
            (part ?C ?X))))
VirusProteinAndCellPart.kif 590-595


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