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 784-786
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 788-788	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 789-789	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 783-783	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 790-791
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 787-787

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 793-802	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 810-815	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