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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Chromotin

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 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 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 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