Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - chromosomeSetCount
chromosomeSetCount

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 818-820
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 822-822 Le nombre 1 argument de chromosomeSetCount est une instance de MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 823-823 Le nombre 2 argument de chromosomeSetCount est une instance de collection
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 824-824 Le nombre 3 argument de chromosomeSetCount est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 817-817 chromosomeSetCount est une instance de pr�dicat ternaire

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 825-826
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 821-821

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 828-835
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 938-948
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 991-1001
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 895-904

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 973-983
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 920-930
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 865-874


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