Source / pinned edition
arxo.fibo_taxonomy
Source of package arxo.fibo_taxonomy · sha256:7e4eaa5ab3117c6d27758ad4a6e87dad79dcb5a964fed250a40303d260fa9d18
- work
- urn:arxo:arxo.fibo_taxonomy#Import_Source_1900eab6c028483d7126599ee6f50de0d27907b5c65fa90524580b4b0f9852b0
- number
- sha256:7e4eaa5ab3117c6d27758ad4a6e87dad79dcb5a964fed250a40303d260fa9d18
- kind
- urn:arxo:arxo.fibo_taxonomy#treatise
Import_Edition_1900eab6c028483d7126599ee6f50de0d27907b5c65fa90524580b4b0f9852b0
- edition
- urn:arxo:arxo.fibo_taxonomy#Import_Edition_1900eab6c028483d7126599ee6f50de0d27907b5c65fa90524580b4b0f9852b0
- language
- en
- officiality
- unofficial
- materialisation
- PINNED_UNOFFICIAL_COPY
- life cycle
- —
Publications
| URI | Type | documentHash | Retrieved |
|---|---|---|---|
| urn:arxo:fibo:reviewed-profile:sha256:67224154691176a1b9c1b5d6907470311af18756b92328e87a3df648942e4790 | text/plain; charset=utf-8 | sha256:fabd3a08b9fa19978a25438659ac1abaafc6df781120c4f2ee802fd9ffc0ed5e | 2026-09-17T09:28:49Z |
Fragments — 6
/rules/SubclassFromSource · lemma · referenced by: 1
en · unofficial · sha256:b788dcf013229477dc934d91ffa8758823c2465315276efbe26a1c47185d9ad8
{
"parameters": {"s": "Statement", "a": "Resource", "b": "Resource"},
"premises": [["source_subclass", ["s", "a", "b"]]],
"conclusion": ["subclass_of", ["a", "b"]]
}Referencing norms: Import_Rule_678d03e9c433e2c1d867693a1b2b1723b28cb355920ecc9d9786dbf924b1eb59
/rules/RangeFromSource · lemma · referenced by: 1
en · unofficial · sha256:e1d802010fd30e097c7675afbee86bf4dbcc0fea07f57ecc484706a34fe61ee8
{
"parameters": {"s": "Statement", "p": "Resource", "c": "Resource"},
"premises": [["source_range", ["s", "p", "c"]]],
"conclusion": ["property_range", ["p", "c"]]
}Referencing norms: Import_Rule_2e45026e28333b0ca32b31c966f7ccd52ee345353fb189a63a6c07aa3424eee7
/rules/DomainWidened · lemma · referenced by: 1
en · unofficial · sha256:7887930f6dc720f1f6f982903b338a435e5361c7621b6a20f1932c4e839cda1d
{
"parameters": {"s": "Statement", "p": "Resource", "b": "Resource", "c": "Resource"},
"premises": [["source_domain", ["s", "p", "b"]], ["subclass_of", ["b", "c"]]],
"conclusion": ["property_domain", ["p", "c"]]
}Referencing norms: Import_Rule_f09bcb7381637538ecce4a6c78b1bc983bd68ce506933c3c7b4d94aef4a193f1
/rules/RangeWidened · lemma · referenced by: 1
en · unofficial · sha256:fa73c736987de86b2811a7448f54f87bae5940e9a580617423cc63762c633b8b
{
"parameters": {"s": "Statement", "p": "Resource", "b": "Resource", "c": "Resource"},
"premises": [["source_range", ["s", "p", "b"]], ["subclass_of", ["b", "c"]]],
"conclusion": ["property_range", ["p", "c"]]
}Referencing norms: Import_Rule_6bfc20def1b72c1d1ef9cabddc4c73688b727fb7a0a062971c5fcc36a665e225
/rules/DomainFromSource · lemma · referenced by: 1
en · unofficial · sha256:92c41893a83ff3b597904dab699615d7c226c4398396f861d434d5c12dbd8b11
{
"parameters": {"s": "Statement", "p": "Resource", "c": "Resource"},
"premises": [["source_domain", ["s", "p", "c"]]],
"conclusion": ["property_domain", ["p", "c"]]
}Referencing norms: Import_Rule_17365e61b373a7dcd670c6036262b86c2b342510bf9eca74fa8fa54eae73dade
/rules/SubclassTransitive · lemma · referenced by: 1
en · unofficial · sha256:2799a4e7a67e15b461933c0f8a5518a2f22626b079ea44fee2ea4f18db58ed98
{
"parameters": {"s": "Statement", "a": "Resource", "b": "Resource", "c": "Resource"},
"premises": [["source_subclass", ["s", "a", "b"]], ["subclass_of", ["b", "c"]]],
"conclusion": ["subclass_of", ["a", "c"]]
}Referencing norms: Import_Rule_8c7e8dfc05e74279ff801de87c30172dc9a3b91a8d02d37190f097d8c43cad15
The hash beside the text is the sha256 of its exact bytes. It is the check that the text shown matches the one pinned in the package: a divergence fails the oracle’s static analysis.