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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MonoploidChromosomeSet
MonoploidChromosomeSet

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 713-715
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 712-712 MonoploidChromosomeSet e' uma sub-classe de Colecao

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 716-716

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 822-822 O argumento numero 1 de chromosomeSetCount e' uma instancia de MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 843-843 O argumento numero 1 de homologousChromosomePair e' uma instancia de MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 844-844 O argumento numero 2 de homologousChromosomePair e' uma instancia de MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 737-737 O argumento numero 1 de monoploidNumber e' uma instancia de MonoploidChromosomeSet

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 772-781
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 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 865-874
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 742-746
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 718-730