chromosomeNumber - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - chromosomeNumber

chromosomeNumber

appearance as argument number 1

(documentation chromosomeNumber EnglishLanguage "chromosomeNumber is a BinaryPredicate indicating the total number of Chromosomes contained in the CellNucleus of a EukaryoticCell.")	VirusProteinAndCellPart.kif 694-696
(domain chromosomeNumber 1 EukaryoticCell)	VirusProteinAndCellPart.kif 698-698	The number 1 argument of chromosome number is an instance of eukaryotic cell
(domain chromosomeNumber 2 Integer)	VirusProteinAndCellPart.kif 699-699	The number 2 argument of chromosome number is an instance of integer
(instance chromosomeNumber BinaryPredicate)	VirusProteinAndCellPart.kif 693-693	chromosome number is an instance of binary predicate

appearance as argument number 2

(format EnglishLanguage chromosomeNumber "There are %2 number of Chromosomes in MonoploidChromosomeSet %1.")	VirusProteinAndCellPart.kif 740-741
(format EnglishLanguage chromosomeNumber "There are %2 number of &Chromosome in EukaryoticCell %1.")	VirusProteinAndCellPart.kif 700-701
(termFormat EnglishLanguage chromosomeNumber "chromosome number")	VirusProteinAndCellPart.kif 697-697

antecedent

(=> (and (chromosomeNumber ?C ?I) (part ?N ?C) (instance ?N CellNucleus) (instance ?COLL Collection) (located ?COLL ?N) (memberType ?COLL Chromosome)) (memberCount ?COLL ?I))	VirusProteinAndCellPart.kif 703-711	If There are an integer number of Chromosomes in MonoploidChromosomeSet an eukaryotic cell. and an object is a part of the eukaryotic cell and the object is an instance of cell nucleus and the eukaryotic cellOLL is an instance of collection and the eukaryotic cellOLL is located at the object and Chromosome is a member type of the eukaryotic cellOLL, then the integer is a member count of the eukaryotic cellOLL
(=> (and (instance ?CELL HaploidCell) (chromosomeNumber ?CELL ?X) (haploidNumber ?CELL ?Y)) (equal ?X ?Y))	VirusProteinAndCellPart.kif 811-816	If a gamete is an instance of haploid cell and There are an integer number of Chromosomes in MonoploidChromosomeSet the gamete. and There are another integer number of Chromosomes in a Gamete cell the gamete., then the integer is equal to the other integer
(=> (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	If an eukaryotic cell is an instance of monoploid cell and There are an integer number of Chromosomes in MonoploidChromosomeSet the eukaryotic cell. and a monoploid chromosome set is an instance of monoploid chromosome set and the monoploid chromosome set is located at an object and the object is an instance of cell nucleus and the object is a part of the eukaryotic cell and monoploid number the monoploid chromosome set and another integer, then the integer is equal to the other integer

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