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 |
O argumento numero 1 de haploidNumber e' uma instancia de Gamete |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 789-789 |
O argumento numero 2 de haploidNumber e' uma instancia de Numero Inteiro |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 783-783 |
haploidNumber e' uma instancia de Predicado Binario |