Выборка
Продукт UGA у транскрипта с таблицей NCBI 1
Результат расчёта
терминатор
| кодон имеет продукт по таблице, применимой к транскрипту |
|---|
| терминатор |
Исходные данные · JSON
[
{
"id": "urn:bio:clir:codon#Stop",
"kind": "entity_ref"
}
]Исходные параметры
Что определяем
кодон имеет продукт по таблице, применимой к транскрипту
Исходные факты
транскрипт РНК
t: tОбщий субъект фактов ниже
в деле задана таблица NCBI, по которой транслируется транскрипт
g: Standardв деле задано начало рамки считывания
p: 0в деле задан кодон на позиции рамки
p: 0c: UGA
Пакет: Генетический код: стандартная и позвоночная митохондриальная таблицы NCBI — вне юрисдикции государства — доктрина
Дополнительные сведения
- Сохранить доказательство
- Да
Исходные данные · 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
}Почему такой результатПрименённые правила и условия
Путь вывода5 шагов
- 1правило
Таблица 1: UGA является терминатором
кодон имеет продукт по названной таблице NCBI: g: urn:bio:clir:codon#Standard; c: UGA; a: терминатор
table/1
Идентификатор
urn:bio:clir:codon#StandardUGAIsStop - 2факт дела
в деле задана таблица NCBI, по которой транслируется транскрипт
t: urn:case:bio:codon:t; g: urn:bio:clir:codon#Standard
- 3факт дела
в деле задан кодон на позиции рамки
t: urn:case:bio:codon:t; p: 0; c: UGA
- 4правило
Назначение таблицы действует для транскрипта с этой таблицей
кодон имеет продукт по таблице, применимой к транскрипту: t: urn:case:bio:codon:t; c: UGA; a: терминатор
table/1, table/2
Идентификатор
urn:bio:clir:codon#TableProductHoldsUnderDeclaredTable - 5запрос
Вычисление запроса
Найдено записей: 1
проверено движком: 3 · факт дела: 2 · Полный граф: 76 узлов
Шаги сохранённого доказательства от фактов дела к ответу. Формулы показаны как записаны в норме, с подставленными значениями; страница ничего не пересчитывает.
Основание этого ответа
Правила из сохранённой цепочки доказательства ответа.
Генетический код: стандартная и позвоночная митохондриальная таблицы NCBI — вне юрисдикции государства — доктрина
Таблица 1: UGA является терминатором
Идентификатор
urn:bio:clir:codon#StandardUGAIsStopНазначение таблицы действует для транскрипта с этой таблицей
Идентификатор
urn:bio:clir:codon#TableProductHoldsUnderDeclaredTable
Другие правила расчёта69
Применены в общем расчёте, но не входят в цепочку доказательства этого ответа.
Генетический код: стандартная и позвоночная митохондриальная таблицы NCBI — вне юрисдикции государства — доктрина
Кодон AAA кодирует лизин
Идентификатор
urn:bio:clir:codon#AAAIsLysКодон AAC кодирует аспарагин
Идентификатор
urn:bio:clir:codon#AACIsAsnКодон AAG кодирует лизин
Идентификатор
urn:bio:clir:codon#AAGIsLysКодон AAU кодирует аспарагин
Идентификатор
urn:bio:clir:codon#AAUIsAsnКодон ACA кодирует треонин
Идентификатор
urn:bio:clir:codon#ACAIsThrКодон ACC кодирует треонин
Идентификатор
urn:bio:clir:codon#ACCIsThrКодон ACG кодирует треонин
Идентификатор
urn:bio:clir:codon#ACGIsThrКодон ACU кодирует треонин
Идентификатор
urn:bio:clir:codon#ACUIsThrКодон AGC кодирует серин
Идентификатор
urn:bio:clir:codon#AGCIsSerКодон AGU кодирует серин
Идентификатор
urn:bio:clir:codon#AGUIsSerКодон AUC кодирует изолейцин
Идентификатор
urn:bio:clir:codon#AUCIsIleКодон AUG кодирует метионин
Идентификатор
urn:bio:clir:codon#AUGIsMetКодон AUU кодирует изолейцин
Идентификатор
urn:bio:clir:codon#AUUIsIleКодон CAA кодирует глутамин
Идентификатор
urn:bio:clir:codon#CAAIsGlnКодон CAC кодирует гистидин
Идентификатор
urn:bio:clir:codon#CACIsHisКодон CAG кодирует глутамин
Идентификатор
urn:bio:clir:codon#CAGIsGlnКодон CAU кодирует гистидин
Идентификатор
urn:bio:clir:codon#CAUIsHisКодон CCA кодирует пролин
Идентификатор
urn:bio:clir:codon#CCAIsProКодон CCC кодирует пролин
Идентификатор
urn:bio:clir:codon#CCCIsProКодон CCG кодирует пролин
Идентификатор
urn:bio:clir:codon#CCGIsProКодон CCU кодирует пролин
Идентификатор
urn:bio:clir:codon#CCUIsProКодон CGA кодирует аргинин
Идентификатор
urn:bio:clir:codon#CGAIsArgКодон CGC кодирует аргинин
Идентификатор
urn:bio:clir:codon#CGCIsArgКодон CGG кодирует аргинин
Идентификатор
urn:bio:clir:codon#CGGIsArgКодон CGU кодирует аргинин
Идентификатор
urn:bio:clir:codon#CGUIsArgКодон CUA кодирует лейцин
Идентификатор
urn:bio:clir:codon#CUAIsLeuКодон CUC кодирует лейцин
Идентификатор
urn:bio:clir:codon#CUCIsLeuКодон CUG кодирует лейцин
Идентификатор
urn:bio:clir:codon#CUGIsLeuКодон CUU кодирует лейцин
Идентификатор
urn:bio:clir:codon#CUUIsLeuКодон GAA кодирует глутаминовую кислоту
Идентификатор
urn:bio:clir:codon#GAAIsGluКодон GAC кодирует аспарагиновую кислоту
Идентификатор
urn:bio:clir:codon#GACIsAspКодон GAG кодирует глутаминовую кислоту
Идентификатор
urn:bio:clir:codon#GAGIsGluКодон GAU кодирует аспарагиновую кислоту
Идентификатор
urn:bio:clir:codon#GAUIsAspКодон GCA кодирует аланин
Идентификатор
urn:bio:clir:codon#GCAIsAlaКодон GCC кодирует аланин
Идентификатор
urn:bio:clir:codon#GCCIsAlaКодон GCG кодирует аланин
Идентификатор
urn:bio:clir:codon#GCGIsAlaКодон GCU кодирует аланин
Идентификатор
urn:bio:clir:codon#GCUIsAlaКодон GGA кодирует глицин
Идентификатор
urn:bio:clir:codon#GGAIsGlyКодон GGC кодирует глицин
Идентификатор
urn:bio:clir:codon#GGCIsGlyКодон GGG кодирует глицин
Идентификатор
urn:bio:clir:codon#GGGIsGlyКодон GGU кодирует глицин
Идентификатор
urn:bio:clir:codon#GGUIsGlyКодон GUA кодирует валин
Идентификатор
urn:bio:clir:codon#GUAIsValКодон GUC кодирует валин
Идентификатор
urn:bio:clir:codon#GUCIsValКодон GUG кодирует валин
Идентификатор
urn:bio:clir:codon#GUGIsValКодон GUU кодирует валин
Идентификатор
urn:bio:clir:codon#GUUIsValТаблица 2: AGA является терминатором
Идентификатор
urn:bio:clir:codon#MitoAGAIsStopТаблица 2: AGG является терминатором
Идентификатор
urn:bio:clir:codon#MitoAGGIsStopТаблица 2: AUA кодирует метионин
Идентификатор
urn:bio:clir:codon#MitoAUAIsMetТаблица 2: UGA кодирует триптофан
Идентификатор
urn:bio:clir:codon#MitoUGAIsTrpПозиция принадлежит заданной рамке считывания
Идентификатор
urn:bio:clir:codon#PositionFitsGivenFrameТаблица 1: AGA кодирует аргинин
Идентификатор
urn:bio:clir:codon#StandardAGAIsArgТаблица 1: AGG кодирует аргинин
Идентификатор
urn:bio:clir:codon#StandardAGGIsArgТаблица 1: AUA кодирует изолейцин
Идентификатор
urn:bio:clir:codon#StandardAUAIsIleТерминатор останавливает трансляцию
Идентификатор
urn:bio:clir:codon#StopProductTerminatesКодон UAA кодирует терминатор
Идентификатор
urn:bio:clir:codon#UAAIsStopКодон UAC кодирует тирозин
Идентификатор
urn:bio:clir:codon#UACIsTyrКодон UAG кодирует терминатор
Идентификатор
urn:bio:clir:codon#UAGIsStopКодон UAU кодирует тирозин
Идентификатор
urn:bio:clir:codon#UAUIsTyrКодон UCA кодирует серин
Идентификатор
urn:bio:clir:codon#UCAIsSerКодон UCC кодирует серин
Идентификатор
urn:bio:clir:codon#UCCIsSerКодон UCG кодирует серин
Идентификатор
urn:bio:clir:codon#UCGIsSerКодон UCU кодирует серин
Идентификатор
urn:bio:clir:codon#UCUIsSerКодон UGC кодирует цистеин
Идентификатор
urn:bio:clir:codon#UGCIsCysКодон UGG кодирует триптофан
Идентификатор
urn:bio:clir:codon#UGGIsTrpКодон UGU кодирует цистеин
Идентификатор
urn:bio:clir:codon#UGUIsCysКодон UUA кодирует лейцин
Идентификатор
urn:bio:clir:codon#UUAIsLeuКодон UUC кодирует фенилаланин
Идентификатор
urn:bio:clir:codon#UUCIsPheКодон UUG кодирует лейцин
Идентификатор
urn:bio:clir:codon#UUGIsLeuКодон UUU кодирует фенилаланин
Идентификатор
urn:bio:clir:codon#UUUIsPhe
Вывод по запросу
кодон имеет продукт по таблице, применимой к транскрипту
t: tc: UGAa: терминатор
Другие выводы4
кодон имеет продукт по названной таблице 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. В кратком ответе движок оставляет относящиеся к вопросу; полный перечень — в JSON расчёта ниже.
Граф доказательств
Узлы доказательств: 76 · rule_application 71, assertion 3, candidate_closure 1, query_evaluation 1
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
Скачать JSON ↓Идентификаторы календаря и доказательства
- Ссылка на доказательство
- mcp
Исходное обоснование · JSON
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
Скачать JSON ↓ИсточникиФрагментов: 2
table/1
Генетический код: стандартная и позвоночная митохондриальная таблицы NCBI — вне юрисдикции государства — доктрина
<p><pre> AAs = FFLLSSSSYY**CC*WLLLLPPPPHHQQRRRRIIIMTTTTNNKKSSRRVVVVAAAADDEEGGGG Starts = ---M------**--*----M---------------M---------------------------- Base1 = TTTTTTTTTTTTTTTTCCCCCCCCCCCCCCCCAAAAAAAAAAAAAAAAGGGGGGGGGGGGGGGG Base2 = TTTTCCCCAAAAGGGGTTTTCCCCAAAAGGGGTTTTCCCCAAAAGGGGTTTTCCCCAAAAGGGG Base3 = TCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAGTCAG
Исходные данные · 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>
Исходные данные · 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>"
}
]
}Пакеты в снимке
- Генетический код: стандартная и позвоночная митохондриальная таблицы NCBI — вне юрисдикции государства — доктрина
Технические данныеПолный ответ, параметры и контрольные суммы
- Статус расчёта
- COMPUTED
Полный ответ движка
Полный машинный результат · JSON
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
Скачать JSON ↓Исполнение · JSON
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
Скачать JSON ↓Метаданные отображения
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
Скачать JSON ↓JSON · расчёты, источники и точные данные
{
"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
Исходные данные · 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
}