TreeView Knowledge Base Browser - 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 and Collection

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 and MonoploidChromosomeSet
(domain homologousChromosomePair 1 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 844-844	域 homologousChromosomePair, 1 and MonoploidChromosomeSet
(domain homologousChromosomePair 2 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 845-845	域 homologousChromosomePair, 2 and MonoploidChromosomeSet
(domain monoploidNumber 1 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 738-738	域 monoploidNumber, 1 and MonoploidChromosomeSet

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 MonoploidCell chromosomeNumber 真核細胞 and Integer 例 MonoploidChromosomeSet and MonoploidChromosomeSet 位於 MonoploidChromosomeSet and Object 例 Object and 細胞核部分 Object and 真核細胞 monoploidNumber MonoploidChromosomeSet and Integer 等於 Integer and Integer
(=> (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	例 Object and PentaploidCell 例 Object and 細胞核部分 Object and Object 位於 Collection and Object 例 Collection and Collection Chromosome 是 Collection 的 member 類別例 MonoploidChromosomeSet and MonoploidChromosomeSet 子集合 MonoploidChromosomeSet and Collection chromosomeSetCount MonoploidChromosomeSet, Collection and 5
(=> (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	例 Object and TriploidCell 例 Object and 細胞核部分 Object and Object 位於 Collection and Object 例 Collection and Collection Chromosome 是 Collection 的 member 類別例 MonoploidChromosomeSet and MonoploidChromosomeSet 子集合 MonoploidChromosomeSet and Collection chromosomeSetCount MonoploidChromosomeSet, Collection and 3
(=> (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	例 Collection and Collection Chromosome 是 Collection 的 member 類別例 MonoploidChromosomeSet and MonoploidChromosomeSet 子集合 MonoploidChromosomeSet and Collection chromosomeSetCount MonoploidChromosomeSet, Collection and 4 位於 Collection and Object 例 Object and 細胞核部分 Object and Object 例 Object and TetraploidCell
(=> (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	例 Collection and Collection Chromosome 是 Collection 的 member 類別例 MonoploidChromosomeSet and MonoploidChromosomeSet 子集合 MonoploidChromosomeSet and Collection chromosomeSetCount MonoploidChromosomeSet, Collection and 6 位於 Collection and Object 例 Object and 細胞核部分 Object and Object 例 Object and HexaploidCell
(=> (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	例 Collection and HomologousChromosomeSet Chromosome 是 Collection 的 member 類別位於 Collection and Object 例 Object and 細胞核部分 Object and 真核細胞例 MonoploidChromosomeSet and MonoploidChromosomeSet 子集合 MonoploidChromosomeSet and Collection chromosomeSetCount MonoploidChromosomeSet, Collection and 2
(=> (and (instance ?COLL MonoploidChromosomeSet) (memberCount ?COLL ?I)) (monoploidNumber ?COLL ?I))	VirusProteinAndCellPart.kif 743-747	例 MonoploidChromosomeSet and MonoploidChromosomeSet Integer 是 MonoploidChromosomeSet 的 member 計數 monoploidNumber MonoploidChromosomeSet and Integer
(=> (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	例 Collection and MonoploidChromosomeSet Chromosome 是 Collection 的 member 類別位於 Collection and Object 例 Object and 細胞核部分 Object and 真核細胞會員 Chromosome and Collection 會員 Chromosome and Collection 等於 Chromosome and Chromosome homologousChromosome Chromosome and Chromosome

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

例 Object and MonoploidCell 例 Object and 細胞核部分 Object and Object
Physical 例 Physical and MonoploidChromosomeSet 位於 Physical and Object Physical 例 Physical and MonoploidChromosomeSet 等於 Physical and Physical 位於 Physical and Object

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

KB Term:			Term intersection

English Word: