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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MonoploidChromosomeSet
MonoploidChromosomeSet

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


(documentation MonoploidChromosomeSet EnglishLanguage "A MonoploidChromosomeSet is one (1) unique set of Chromosomes in a CellNucleus, each of its member is unique and not being part of a pair of homologousChromosme within the set.") VirusProteinAndCellPart.kif 714-716
(subclass MonoploidChromosomeSet Collection) VirusProteinAndCellPart.kif 713-713 MonoploidChromosomeSet 是 群体 的 subclass

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


(termFormat EnglishLanguage MonoploidChromosomeSet "monoploid chromosome set") VirusProteinAndCellPart.kif 717-717

appearance as argument number 3
-------------------------


(domain chromosomeSetCount 1 MonoploidChromosomeSet) VirusProteinAndCellPart.kif 823-823 chromosomeSetCount 的 1 数量 是 MonoploidChromosomeSet 的 instance
(domain homologousChromosomePair 1 MonoploidChromosomeSet) VirusProteinAndCellPart.kif 844-844 homologousChromosomePair 的 1 数量 是 MonoploidChromosomeSet 的 instance
(domain homologousChromosomePair 2 MonoploidChromosomeSet) VirusProteinAndCellPart.kif 845-845 homologousChromosomePair 的 2 数量 是 MonoploidChromosomeSet 的 instance
(domain monoploidNumber 1 MonoploidChromosomeSet) VirusProteinAndCellPart.kif 738-738 monoploidNumber 的 1 数量 是 MonoploidChromosomeSet 的 instance

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


(=>
    (and
        (instance ?CELL MonoploidCell)
        (chromosomeNumber ?CELL ?X)
        (instance ?COLL MonoploidChromosomeSet)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N ?CELL)
        (monoploidNumber ?COLL ?Y))
    (equal ?X ?Y))		 VirusProteinAndCellPart.kif 773-782
(=>
    (and
        (instance ?CELL PentaploidCell)
        (instance ?N CellNucleus)
        (part ?N ?CELL)
        (located ?COLL ?N)
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL))
    (chromosomeSetCount ?A ?COLL 5))		 VirusProteinAndCellPart.kif 974-984
(=>
    (and
        (instance ?CELL TriploidCell)
        (instance ?N CellNucleus)
        (part ?N ?CELL)
        (located ?COLL ?N)
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL))
    (chromosomeSetCount ?A ?COLL 3))		 VirusProteinAndCellPart.kif 921-931
(=>
    (and
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL)
        (chromosomeSetCount ?A ?COLL 4)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N ?CELL))
    (instance ?CELL TetraploidCell))		 VirusProteinAndCellPart.kif 939-949
(=>
    (and
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL)
        (chromosomeSetCount ?A ?COLL 6)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N ?CELL))
    (instance ?CELL HexaploidCell))		 VirusProteinAndCellPart.kif 992-1002
(=>
    (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 MonoploidChromosomeSet)
        (memberCount ?COLL ?I))
    (monoploidNumber ?COLL ?I))		 VirusProteinAndCellPart.kif 743-747
(=>
    (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

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


(=>
    (and
        (instance ?CELL MonoploidCell)
        (instance ?N CellNucleus)
        (part ?N ?CELL))
    (exists (?COLL)
        (and
            (instance ?COLL MonoploidChromosomeSet)
            (located ?COLL ?N)
            (not
                (exists (?SET)
                    (and
                        (instance ?SET MonoploidChromosomeSet)
                        (not
                            (equal ?SET ?COLL))
                        (located ?SET ?N)))))))		 VirusProteinAndCellPart.kif 756-771


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