Источник / закреплённая редакция
arxo.fibo_taxonomy
Источник пакета arxo.fibo_taxonomy · sha256:7e4eaa5ab3117c6d27758ad4a6e87dad79dcb5a964fed250a40303d260fa9d18
- work
- urn:arxo:arxo.fibo_taxonomy#Import_Source_1900eab6c028483d7126599ee6f50de0d27907b5c65fa90524580b4b0f9852b0
- номер
- sha256:7e4eaa5ab3117c6d27758ad4a6e87dad79dcb5a964fed250a40303d260fa9d18
- вид
- urn:arxo:arxo.fibo_taxonomy#treatise
Import_Edition_1900eab6c028483d7126599ee6f50de0d27907b5c65fa90524580b4b0f9852b0
- edition
- urn:arxo:arxo.fibo_taxonomy#Import_Edition_1900eab6c028483d7126599ee6f50de0d27907b5c65fa90524580b4b0f9852b0
- язык
- en
- официальность
- unofficial
- материализация
- PINNED_UNOFFICIAL_COPY
- жизненный цикл
- —
Публикации
| URI | Тип | documentHash | Получено |
|---|---|---|---|
| urn:arxo:fibo:reviewed-profile:sha256:67224154691176a1b9c1b5d6907470311af18756b92328e87a3df648942e4790 | text/plain; charset=utf-8 | sha256:fabd3a08b9fa19978a25438659ac1abaafc6df781120c4f2ee802fd9ffc0ed5e | 2026-09-17T09:28:49Z |
Фрагменты — 6
/rules/SubclassFromSource · lemma · на него ссылаются: 1
en · unofficial · sha256:b788dcf013229477dc934d91ffa8758823c2465315276efbe26a1c47185d9ad8EN
{
"parameters": {"s": "Statement", "a": "Resource", "b": "Resource"},
"premises": [["source_subclass", ["s", "a", "b"]]],
"conclusion": ["subclass_of", ["a", "b"]]
}Ссылаются нормы: Import_Rule_678d03e9c433e2c1d867693a1b2b1723b28cb355920ecc9d9786dbf924b1eb59
/rules/RangeFromSource · lemma · на него ссылаются: 1
en · unofficial · sha256:e1d802010fd30e097c7675afbee86bf4dbcc0fea07f57ecc484706a34fe61ee8EN
{
"parameters": {"s": "Statement", "p": "Resource", "c": "Resource"},
"premises": [["source_range", ["s", "p", "c"]]],
"conclusion": ["property_range", ["p", "c"]]
}Ссылаются нормы: Import_Rule_2e45026e28333b0ca32b31c966f7ccd52ee345353fb189a63a6c07aa3424eee7
/rules/DomainWidened · lemma · на него ссылаются: 1
en · unofficial · sha256:7887930f6dc720f1f6f982903b338a435e5361c7621b6a20f1932c4e839cda1dEN
{
"parameters": {"s": "Statement", "p": "Resource", "b": "Resource", "c": "Resource"},
"premises": [["source_domain", ["s", "p", "b"]], ["subclass_of", ["b", "c"]]],
"conclusion": ["property_domain", ["p", "c"]]
}Ссылаются нормы: Import_Rule_f09bcb7381637538ecce4a6c78b1bc983bd68ce506933c3c7b4d94aef4a193f1
/rules/RangeWidened · lemma · на него ссылаются: 1
en · unofficial · sha256:fa73c736987de86b2811a7448f54f87bae5940e9a580617423cc63762c633b8bEN
{
"parameters": {"s": "Statement", "p": "Resource", "b": "Resource", "c": "Resource"},
"premises": [["source_range", ["s", "p", "b"]], ["subclass_of", ["b", "c"]]],
"conclusion": ["property_range", ["p", "c"]]
}Ссылаются нормы: Import_Rule_6bfc20def1b72c1d1ef9cabddc4c73688b727fb7a0a062971c5fcc36a665e225
/rules/DomainFromSource · lemma · на него ссылаются: 1
en · unofficial · sha256:92c41893a83ff3b597904dab699615d7c226c4398396f861d434d5c12dbd8b11EN
{
"parameters": {"s": "Statement", "p": "Resource", "c": "Resource"},
"premises": [["source_domain", ["s", "p", "c"]]],
"conclusion": ["property_domain", ["p", "c"]]
}Ссылаются нормы: Import_Rule_17365e61b373a7dcd670c6036262b86c2b342510bf9eca74fa8fa54eae73dade
/rules/SubclassTransitive · lemma · на него ссылаются: 1
en · unofficial · sha256:2799a4e7a67e15b461933c0f8a5518a2f22626b079ea44fee2ea4f18db58ed98EN
{
"parameters": {"s": "Statement", "a": "Resource", "b": "Resource", "c": "Resource"},
"premises": [["source_subclass", ["s", "a", "b"]], ["subclass_of", ["b", "c"]]],
"conclusion": ["subclass_of", ["a", "c"]]
}Ссылаются нормы: Import_Rule_8c7e8dfc05e74279ff801de87c30172dc9a3b91a8d02d37190f097d8c43cad15
Хэш рядом с текстом — sha256 его точных байтов. Он и есть проверка того, что показанный текст совпадает с закреплённым в пакете: расхождение роняет статику оракула.