TreeView Knowledge Base Browser - haploidNumber

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - haploidNumber

haploidNumber

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 785-787
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 789-789	The number 1 argument of haploid number is an instance of gamete
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 790-790	The number 2 argument of haploid number is an instance of integer
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 784-784	haploid number is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 791-792
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 788-788

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 794-803	If There are an integer number of Chromosomes in a Gamete cell a gamete. and the gamete is an instance of gamete and an object is a part of the gamete and the object is an instance of cell nucleus and a collection is an instance of collection and the collection is located at the object and Chromosome is a member type of the collection, then the integer is a member count of the collection
No TPTP formula. May not be expressible in strict first order.	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

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