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 |
Le nombre 1 argument de haploidNumber est une instance de Gamete |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 789-789 |
Le nombre 2 argument de haploidNumber est une instance de nombre entier |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 783-783 |
haploidNumber est une instance de pr�dicat binaire |