ライフサイエンス辞書

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

phox

((略))
ファゴサイトオキシダーゼ
関連語
調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

遺伝子名称シソーラス

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

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のページの著作権