MonoploidChromosomeSet - Sigma Knowledge base Browser

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 713-715
(subclass MonoploidChromosomeSet Collection)	VirusProteinAndCellPart.kif 712-712	MonoploidChromosomeSet はコレクションの subclass では %n

appearance as argument number 2

(termFormat EnglishLanguage MonoploidChromosomeSet "monoploid chromosome set")

VirusProteinAndCellPart.kif 716-716

appearance as argument number 3

(domain chromosomeSetCount 1 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 822-822	chromosomeSetCount の数値 1 引数は MonoploidChromosomeSet の instance では %n
(domain homologousChromosomePair 1 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 843-843	homologousChromosomePair の数値 1 引数は MonoploidChromosomeSet の instance では %n
(domain homologousChromosomePair 2 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 844-844	homologousChromosomePair の数値 2 引数は MonoploidChromosomeSet の instance では %n
(domain monoploidNumber 1 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 737-737	monoploidNumber の数値 1 引数は MonoploidChromosomeSet の instance では %n

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 772-781	EukaryoticCell は MonoploidCell の instance では %n chromosomeNumber EukaryoticCell and 整数 MonoploidChromosomeSet は MonoploidChromosomeSet の instance では %n MonoploidChromosomeSet はオブジェクトに located して %n オブジェクトは CellNucleus の instance では %n オブジェクトは EukaryoticCell の part では %n monoploidNumber MonoploidChromosomeSet and 整数整数は整数と equal では %n
(=> (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 973-983	オブジェクトは PentaploidCell の instance では %n オブジェクトは CellNucleus の instance では %n オブジェクトはオブジェクトの part では %n コレクションはオブジェクトに located して %n コレクションはコレクションの instance では %n memberType コレクション and Chromosome MonoploidChromosomeSet は MonoploidChromosomeSet の instance では %n MonoploidChromosomeSet はコレクションの適切な sub-collection では %n chromosomeSetCount MonoploidChromosomeSet, コレクション 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 920-930	オブジェクトは TriploidCell の instance では %n オブジェクトは CellNucleus の instance では %n オブジェクトはオブジェクトの part では %n コレクションはオブジェクトに located して %n コレクションはコレクションの instance では %n memberType コレクション and Chromosome MonoploidChromosomeSet は MonoploidChromosomeSet の instance では %n MonoploidChromosomeSet はコレクションの適切な sub-collection では %n chromosomeSetCount MonoploidChromosomeSet, コレクション 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 938-948	コレクションはコレクションの instance では %n memberType コレクション and Chromosome MonoploidChromosomeSet は MonoploidChromosomeSet の instance では %n MonoploidChromosomeSet はコレクションの適切な sub-collection では %n chromosomeSetCount MonoploidChromosomeSet, コレクション and 4 コレクションはオブジェクトに located して %n オブジェクトは CellNucleus の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトは TetraploidCell の instance では %n
(=> (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 991-1001	コレクションはコレクションの instance では %n memberType コレクション and Chromosome MonoploidChromosomeSet は MonoploidChromosomeSet の instance では %n MonoploidChromosomeSet はコレクションの適切な sub-collection では %n chromosomeSetCount MonoploidChromosomeSet, コレクション and 6 コレクションはオブジェクトに located して %n オブジェクトは CellNucleus の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトは HexaploidCell の instance では %n
(=> (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 865-874	コレクションは HomologousChromosomeSet の instance では %n memberType コレクション and Chromosome コレクションはオブジェクトに located して %n オブジェクトは CellNucleus の instance では %n オブジェクトは EukaryoticCell の part では %n MonoploidChromosomeSet は MonoploidChromosomeSet の instance では %n MonoploidChromosomeSet はコレクションの適切な sub-collection では %n chromosomeSetCount MonoploidChromosomeSet, コレクション and 2
(=> (and (instance ?COLL MonoploidChromosomeSet) (memberCount ?COLL ?I)) (monoploidNumber ?COLL ?I))	VirusProteinAndCellPart.kif 742-746	MonoploidChromosomeSet は MonoploidChromosomeSet の instance では %n memberCount MonoploidChromosomeSet and 整数 monoploidNumber MonoploidChromosomeSet and 整数
(=> (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 718-730	コレクションは MonoploidChromosomeSet の instance では %n memberType コレクション and Chromosome コレクションはオブジェクトに located して %n オブジェクトは CellNucleus の instance では %n オブジェクトは EukaryoticCell の part では %n Chromosome はコレクションの member では %n Chromosome はコレクションの member では %n Chromosome は Chromosome と equal では 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 755-770

オブジェクトは MonoploidCell の instance では %n オブジェクトは CellNucleus の instance では %n オブジェクトはオブジェクトの part では %n
物理物理は MonoploidChromosomeSet の instance では %n 物理はオブジェクトに located して %n 物理物理は MonoploidChromosomeSet の instance では %n 物理は物理と equal では物理はオブジェクトに located して %n

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

KB Term:			Term intersection

English Word: