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

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 では %n
(domain homologousChromosomePair 1 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 844-844	homologousChromosomePair の数値 1 引数は MonoploidChromosomeSet の instance では %n
(domain homologousChromosomePair 2 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 845-845	homologousChromosomePair の数値 2 引数は MonoploidChromosomeSet の instance では %n
(domain monoploidNumber 1 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 738-738	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 773-782	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 974-984	オブジェクトは 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 921-931	オブジェクトは 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 939-949	コレクションはコレクションの 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 992-1002	コレクションはコレクションの 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 866-875	コレクションは 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 743-747	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 719-731	コレクションは 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 756-771

オブジェクトは 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: