Collection
Продукт UGA у транскрипта с таблицей NCBI 1
Calculation result
терминатор
| кодон имеет продукт по таблице, применимой к транскрипту |
|---|
| терминатор |
Original data · JSON
[
{
"id": "urn:bio:clir:codon#Stop",
"kind": "entity_ref"
}
]Input parameters
What we are finding
кодон имеет продукт по таблице, применимой к транскрипту
Input facts
транскрипт РНК
t: tSubject shared by the facts below
в деле задана таблица NCBI, по которой транслируется транскрипт
g: Standardв деле задано начало рамки считывания
p: 0в деле задан кодон на позиции рамки
p: 0c: UGA
Package: Генетический код: стандартная и позвоночная митохондриальная таблицы NCBI — вне юрисдикции государства — доктрина
Additional details
- Include proof
- Yes
Original data · JSON
{
"args": [
"urn:case:bio:codon:t",
"UGA",
{
"kind": "var",
"var": "v0"
}
],
"facts": [
{
"args": [
"urn:case:bio:codon:t",
"Standard"
],
"predicate": "translation_table"
},
{
"args": [
"urn:case:bio:codon:t",
0
],
"predicate": "frame_origin"
},
{
"args": [
"urn:case:bio:codon:t",
0,
"UGA"
],
"predicate": "codon_at"
}
],
"kind": "collect",
"legalTime": "2026-08-31",
"package": "bio-codon",
"predicate": "codon_product",
"proof": true
}Why this resultApplied rules and conditions
Derivation path5 steps
- 1rule
Таблица 1: UGA является терминатором
кодон имеет продукт по названной таблице NCBI: g: urn:bio:clir:codon#Standard; c: UGA; a: терминатор
table/1
Identifier
urn:bio:clir:codon#StandardUGAIsStop - 2case fact
в деле задана таблица NCBI, по которой транслируется транскрипт
t: urn:case:bio:codon:t; g: urn:bio:clir:codon#Standard
- 3case fact
в деле задан кодон на позиции рамки
t: urn:case:bio:codon:t; p: 0; c: UGA
- 4rule
Назначение таблицы действует для транскрипта с этой таблицей
кодон имеет продукт по таблице, применимой к транскрипту: t: urn:case:bio:codon:t; c: UGA; a: терминатор
table/1, table/2
Identifier
urn:bio:clir:codon#TableProductHoldsUnderDeclaredTable - 5query
Query evaluation
Records found: 1
verified by the engine: 3 · case fact: 2 · Full graph: 76 nodes
Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.
Basis of this answer
Rules on the saved proof path for this answer.
Генетический код: стандартная и позвоночная митохондриальная таблицы NCBI — вне юрисдикции государства — доктрина
Таблица 1: UGA является терминатором
Identifier
urn:bio:clir:codon#StandardUGAIsStopНазначение таблицы действует для транскрипта с этой таблицей
Identifier
urn:bio:clir:codon#TableProductHoldsUnderDeclaredTable
Other rules in the evaluation69
Applied in the overall evaluation, but not on the proof path for this answer.
Генетический код: стандартная и позвоночная митохондриальная таблицы NCBI — вне юрисдикции государства — доктрина
Кодон AAA кодирует лизин
Identifier
urn:bio:clir:codon#AAAIsLysКодон AAC кодирует аспарагин
Identifier
urn:bio:clir:codon#AACIsAsnКодон AAG кодирует лизин
Identifier
urn:bio:clir:codon#AAGIsLysКодон AAU кодирует аспарагин
Identifier
urn:bio:clir:codon#AAUIsAsnКодон ACA кодирует треонин
Identifier
urn:bio:clir:codon#ACAIsThrКодон ACC кодирует треонин
Identifier
urn:bio:clir:codon#ACCIsThrКодон ACG кодирует треонин
Identifier
urn:bio:clir:codon#ACGIsThrКодон ACU кодирует треонин
Identifier
urn:bio:clir:codon#ACUIsThrКодон AGC кодирует серин
Identifier
urn:bio:clir:codon#AGCIsSerКодон AGU кодирует серин
Identifier
urn:bio:clir:codon#AGUIsSerКодон AUC кодирует изолейцин
Identifier
urn:bio:clir:codon#AUCIsIleКодон AUG кодирует метионин
Identifier
urn:bio:clir:codon#AUGIsMetКодон AUU кодирует изолейцин
Identifier
urn:bio:clir:codon#AUUIsIleКодон CAA кодирует глутамин
Identifier
urn:bio:clir:codon#CAAIsGlnКодон CAC кодирует гистидин
Identifier
urn:bio:clir:codon#CACIsHisКодон CAG кодирует глутамин
Identifier
urn:bio:clir:codon#CAGIsGlnКодон CAU кодирует гистидин
Identifier
urn:bio:clir:codon#CAUIsHisКодон CCA кодирует пролин
Identifier
urn:bio:clir:codon#CCAIsProКодон CCC кодирует пролин
Identifier
urn:bio:clir:codon#CCCIsProКодон CCG кодирует пролин
Identifier
urn:bio:clir:codon#CCGIsProКодон CCU кодирует пролин
Identifier
urn:bio:clir:codon#CCUIsProКодон CGA кодирует аргинин
Identifier
urn:bio:clir:codon#CGAIsArgКодон CGC кодирует аргинин
Identifier
urn:bio:clir:codon#CGCIsArgКодон CGG кодирует аргинин
Identifier
urn:bio:clir:codon#CGGIsArgКодон CGU кодирует аргинин
Identifier
urn:bio:clir:codon#CGUIsArgКодон CUA кодирует лейцин
Identifier
urn:bio:clir:codon#CUAIsLeuКодон CUC кодирует лейцин
Identifier
urn:bio:clir:codon#CUCIsLeuКодон CUG кодирует лейцин
Identifier
urn:bio:clir:codon#CUGIsLeuКодон CUU кодирует лейцин
Identifier
urn:bio:clir:codon#CUUIsLeuКодон GAA кодирует глутаминовую кислоту
Identifier
urn:bio:clir:codon#GAAIsGluКодон GAC кодирует аспарагиновую кислоту
Identifier
urn:bio:clir:codon#GACIsAspКодон GAG кодирует глутаминовую кислоту
Identifier
urn:bio:clir:codon#GAGIsGluКодон GAU кодирует аспарагиновую кислоту
Identifier
urn:bio:clir:codon#GAUIsAspКодон GCA кодирует аланин
Identifier
urn:bio:clir:codon#GCAIsAlaКодон GCC кодирует аланин
Identifier
urn:bio:clir:codon#GCCIsAlaКодон GCG кодирует аланин
Identifier
urn:bio:clir:codon#GCGIsAlaКодон GCU кодирует аланин
Identifier
urn:bio:clir:codon#GCUIsAlaКодон GGA кодирует глицин
Identifier
urn:bio:clir:codon#GGAIsGlyКодон GGC кодирует глицин
Identifier
urn:bio:clir:codon#GGCIsGlyКодон GGG кодирует глицин
Identifier
urn:bio:clir:codon#GGGIsGlyКодон GGU кодирует глицин
Identifier
urn:bio:clir:codon#GGUIsGlyКодон GUA кодирует валин
Identifier
urn:bio:clir:codon#GUAIsValКодон GUC кодирует валин
Identifier
urn:bio:clir:codon#GUCIsValКодон GUG кодирует валин
Identifier
urn:bio:clir:codon#GUGIsValКодон GUU кодирует валин
Identifier
urn:bio:clir:codon#GUUIsValТаблица 2: AGA является терминатором
Identifier
urn:bio:clir:codon#MitoAGAIsStopТаблица 2: AGG является терминатором
Identifier
urn:bio:clir:codon#MitoAGGIsStopТаблица 2: AUA кодирует метионин
Identifier
urn:bio:clir:codon#MitoAUAIsMetТаблица 2: UGA кодирует триптофан
Identifier
urn:bio:clir:codon#MitoUGAIsTrpПозиция принадлежит заданной рамке считывания
Identifier
urn:bio:clir:codon#PositionFitsGivenFrameТаблица 1: AGA кодирует аргинин
Identifier
urn:bio:clir:codon#StandardAGAIsArgТаблица 1: AGG кодирует аргинин
Identifier
urn:bio:clir:codon#StandardAGGIsArgТаблица 1: AUA кодирует изолейцин
Identifier
urn:bio:clir:codon#StandardAUAIsIleТерминатор останавливает трансляцию
Identifier
urn:bio:clir:codon#StopProductTerminatesКодон UAA кодирует терминатор
Identifier
urn:bio:clir:codon#UAAIsStopКодон UAC кодирует тирозин
Identifier
urn:bio:clir:codon#UACIsTyrКодон UAG кодирует терминатор
Identifier
urn:bio:clir:codon#UAGIsStopКодон UAU кодирует тирозин
Identifier
urn:bio:clir:codon#UAUIsTyrКодон UCA кодирует серин
Identifier
urn:bio:clir:codon#UCAIsSerКодон UCC кодирует серин
Identifier
urn:bio:clir:codon#UCCIsSerКодон UCG кодирует серин
Identifier
urn:bio:clir:codon#UCGIsSerКодон UCU кодирует серин
Identifier
urn:bio:clir:codon#UCUIsSerКодон UGC кодирует цистеин
Identifier
urn:bio:clir:codon#UGCIsCysКодон UGG кодирует триптофан
Identifier
urn:bio:clir:codon#UGGIsTrpКодон UGU кодирует цистеин
Identifier
urn:bio:clir:codon#UGUIsCysКодон UUA кодирует лейцин
Identifier
urn:bio:clir:codon#UUAIsLeuКодон UUC кодирует фенилаланин
Identifier
urn:bio:clir:codon#UUCIsPheКодон UUG кодирует лейцин
Identifier
urn:bio:clir:codon#UUGIsLeuКодон UUU кодирует фенилаланин
Identifier
urn:bio:clir:codon#UUUIsPhe
Derived result for this query
кодон имеет продукт по таблице, применимой к транскрипту
t: tc: UGAa: терминатор
Other derived facts4
кодон имеет продукт по названной таблице NCBI
g c a VertebrateMitochondrial UGA триптофан Standard UGA терминатор позиция кратна трём относительно заданного начала рамки
t: tp: 0трансляция останавливается на терминаторе
t: tp: 0
| g | c | a |
|---|---|---|
| VertebrateMitochondrial | UGA | триптофан |
| Standard | UGA | терминатор |
| t | p |
|---|---|
| t | 0 |
| t | c | a |
|---|---|---|
| t | UGA | терминатор |
| t | p |
|---|---|
| t | 0 |
66 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.
Proof graph
Proof nodes: 76 · rule_application 71, assertion 3, candidate_closure 1, query_evaluation 1
This block is too large for inline viewing. It is included in full in the document JSON, without truncation.
Download JSON ↓Calendar and proof identifiers
- Proof reference
- mcp
Original reasoning · JSON
This block is too large for inline viewing. It is included in full in the document JSON, without truncation.
Download JSON ↓SourcesExcerpts: 2
table/1
Генетический код: стандартная и позвоночная митохондриальная таблицы NCBI — вне юрисдикции государства — доктрина
<p><pre> AAs = FFLLSSSSYY**CC*WLLLLPPPPHHQQRRRRIIIMTTTTNNKKSSRRVVVVAAAADDEEGGGG Starts = ---M------**--*----M---------------M---------------------------- Base1 = TTTTTTTTTTTTTTTTCCCCCCCCCCCCCCCCAAAAAAAAAAAAAAAAGGGGGGGGGGGGGGGG Base2 = TTTTCCCCAAAAGGGGTTTTCCCCAAAAGGGGTTTTCCCCAAAAGGGGTTTTCCCCAAAAGGGG Base3 = TCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAG
Original data · JSON
{
"contentHash": "sha256:732e53e82d0711837941ea6999cdeb680ac8b48ffbe744052f9b5235c806f9af",
"edition": "urn:bio:clir:codon#NCBI_CODES_EN",
"fragmentKind": "table",
"id": "urn:bio:clir:codon#NCBI_TABLE_1",
"kind": "fragment",
"locator": "table/1",
"package": "urn:bio:clir:codon",
"texts": [
{
"contentHash": "sha256:280109bb32275423263ec56094134b355f9c416aa63cd310f44d14b0c5ecc02e",
"language": "en",
"status": "official",
"text": "<p><pre>\n AAs = FFLLSSSSYY**CC*WLLLLPPPPHHQQRRRRIIIMTTTTNNKKSSRRVVVVAAAADDEEGGGG\n Starts = ---M------**--*----M---------------M----------------------------\n Base1 = TTTTTTTTTTTTTTTTCCCCCCCCCCCCCCCCAAAAAAAAAAAAAAAAGGGGGGGGGGGGGGGG\n Base2 = TTTTCCCCAAAAGGGGTTTTCCCCAAAAGGGGTTTTCCCCAAAAGGGGTTTTCCCCAAAAGGGG\n Base3 = TCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAG"
}
]
}table/2
Генетический код: стандартная и позвоночная митохондриальная таблицы NCBI — вне юрисдикции государства — доктрина
<h4>Differences from the Standard Code:</h4> <p></p> <pre> Code 2 Standard AGA Ter * Arg R AGG Ter * Arg R AUA Met M Ile I UGA Trp W Ter * </pre>
Original data · JSON
{
"contentHash": "sha256:fc01324daf2ccecefc03d40eda551d06cbe96f2d76729e3799af0bc34e214049",
"edition": "urn:bio:clir:codon#NCBI_CODES_EN",
"fragmentKind": "table",
"id": "urn:bio:clir:codon#NCBI_TABLE_2",
"kind": "fragment",
"locator": "table/2",
"package": "urn:bio:clir:codon",
"texts": [
{
"contentHash": "sha256:c7b3688302f0669fc38eb4df245a11c2e4a583db4dfe378ca08f35df4638268d",
"language": "en",
"status": "official",
"text": "<h4>Differences from the Standard Code:</h4>\n<p></p>\n<pre>\n Code 2 Standard\n\n AGA Ter * Arg R\n AGG Ter * Arg R\n AUA Met M Ile I\n UGA Trp W Ter *\n\n</pre>"
}
]
}Packages in the snapshot
- Генетический код: стандартная и позвоночная митохондриальная таблицы NCBI — вне юрисдикции государства — доктрина
Technical dataFull response, parameters and checksums
- Calculation status
- COMPUTED
Full engine response
Complete machine result · JSON
This block is too large for inline viewing. It is included in full in the document JSON, without truncation.
Download JSON ↓Execution · JSON
This block is too large for inline viewing. It is included in full in the document JSON, without truncation.
Download JSON ↓Display metadata
This block is too large for inline viewing. It is included in full in the document JSON, without truncation.
Download JSON ↓JSON · calculations, sources and exact data
{
"acts": [
{
"contributed": true,
"fragmentCount": 2,
"fragments": [
"urn:bio:clir:codon#NCBI_TABLE_1",
"urn:bio:clir:codon#NCBI_TABLE_2"
],
"jurisdiction": "none",
"namespace": "urn:bio:clir:codon",
"package": "bio-codon",
"title": "Генетический код: стандартная и позвоночная митохондриальная таблицы NCBI — вне юрисдикции государства — доктрина"
}
],
"caseHash": "sha256:b538acd55e8507a1d27f5466b42dd3d422d26c61678729c1c0c7bfb50c626134",
"codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
"jurisdiction": "вне юрисдикции государства",
"legalTime": "2026-08-31",
"mode": "audit",
"programHash": "sha256:3b4d6c439aa9c2dd989b46c8a05566b220cfdf5e81efc678ec3df3af1b295c96",
"resultHash": "sha256:daeb892c658e1ae90884c000fd7d13b005a5a5fef93e4a127b276a598cf24ebf",
"rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
"timezone": "Asia/Qyzylorda"
}- evaluation SHA-256
- sha256:3663f0cdea55f28d1ab8bad3f3a701c4656f15c191a1154c10e062f577302e12
Original data · JSON
{
"args": [
"urn:case:bio:codon:t",
"UGA",
{
"kind": "var",
"var": "v0"
}
],
"facts": [
{
"args": [
"urn:case:bio:codon:t",
"Standard"
],
"predicate": "translation_table"
},
{
"args": [
"urn:case:bio:codon:t",
0
],
"predicate": "frame_origin"
},
{
"args": [
"urn:case:bio:codon:t",
0,
"UGA"
],
"predicate": "codon_at"
}
],
"kind": "collect",
"legalTime": "2026-08-31",
"package": "bio-codon",
"predicate": "codon_product",
"proof": true
}