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 est une sous-classe de collection

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 Le nombre 1 argument de chromosomeSetCount est une instance de MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 843-843 Le nombre 1 argument de homologousChromosomePair est une instance de MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 844-844 Le nombre 2 argument de homologousChromosomePair est une instance de MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 737-737 Le nombre 1 argument de monoploidNumber est une instance 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