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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Chromosome
Chromosome

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 578-580
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 577-577 Chromosome e' uma sub-classe de CellPart

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 683-683 O argumento numero 1 de homologousChromosome e' uma instancia de Chromosome
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 684-684 O argumento numero 2 de homologousChromosome e' uma instancia de Chromosome

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 702-710
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 793-802
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1003-1022
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 950-965
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 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. Economy.kif 3970-3985
No TPTP formula. May not be expressible in strict first order. Economy.kif 3911-3926
No TPTP formula. May not be expressible in strict first order. Economy.kif 3879-3894
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 895-904
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 865-874
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 876-887
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 718-730
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 589-594
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 582-587


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