ライフサイエンス辞書

ライフサイエンス辞書プロジェクト

調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる

遺伝子名称シソーラス

ライフサイエンス統合データベースセンター

PHOX

fly遺伝子名PHOX
同義語(エイリアス)CG5779; Mox; Diphenol oxidase A1 subunit; pro-PO; Prophenoloxidase A1; Dox-A1; prophenoloxidase A1; Phox: Phenol oxidase; Dox-A1: Diphenol oxidase A1 subunit; A[[1]]; prophenoloxidase A[[1]]; Mox: Monophenol oxidase; bc; ProPO A1; pro-POA1; MPO; pro-POA[[1]]; Black Cell; Bc; Monophenol oxidase; pro-A; Phenol oxidase; A1; i12; Phox; pro-phenol oxidase A1.; Black cells; PO A1; DmePPOA1
SWISS-PROTのID---
EntrezGeneのIDEntrezGene:37044
その他のDBのIDFlyBase:FBgn0000165

本文中に表示されているデータベースの説明

SWISS-PROT
スイスバイオインフォマティクス研究所欧州バイオインフォマティクス研究所によって開発運営されているタンパク質アミノ酸配列データベース
EntrezGene
NCBIによって運営されている遺伝子データベース染色体上の位置配列発現構造機能、ホモロジーデータなどが含まれている
FlyBase
米英大学のショウジョウバエ研究者などにより運営されるショウジョウバエ生態遺伝子情報に関するデータベース

ウィキペディア英語版

出典:Wikipedia

PhoX

出典:『Wikipedia』 (2010/09/06 01:11 UTC 版)

英語による解説

ウィキペディア英語版からの引用
引用

In automated theorem proving, PhoX is a proof assistant based on higher-order logic which is eXtensible. The user gives PhoX an initial goal and guides it through subgoals and evidence to prove that goal; internally, it constructs natural deduction trees. Each previously proven formula can become a rule for later proofs.

音声を聞く

クイック再生
ダウンロード再生

PHOXのページの著作権