Condition
Планета ли Плутон по критериям резолюции B5
Calculation result
Not established
Rule premises
Rule: B5 (1): a planet is a celestial body that satisfies (a), (b) and (c)
- has cleared the neighbourhood around its orbitПлутонestablished
- is in orbit around the SunПлутонestablished
- has sufficient mass for its self-gravity to overcome rigid body forces so that it assumes a hydrostatic equilibrium (nearly round) shapeПлутонestablished
Input parameters
What we are finding
B5 (1): a planet is a celestial body that satisfies (a), (b) and (c)
Input facts
celestial body
b: ПлутонSubject shared by the facts below
is in orbit around the Sun
has sufficient mass for its self-gravity to overcome rigid body forces so that it assumes a hydrostatic equilibrium (nearly round) shape
Negated: has cleared the neighbourhood around its orbit
Negated: is a satellite
Package: Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона — юрисдикция International, НЕ Республика Казахстан
Additional details
- Include proof
- Yes
Original data · JSON
{
"args": [
"Плутон"
],
"facts": [
{
"args": [
"Плутон"
],
"predicate": "orbits_sun"
},
{
"args": [
"Плутон"
],
"predicate": "hydrostatic_equilibrium"
},
{
"args": [
"Плутон"
],
"negated": true,
"predicate": "cleared_neighbourhood"
},
{
"args": [
"Плутон"
],
"negated": true,
"predicate": "is_satellite"
}
],
"kind": "truth",
"legalTime": "2026-09-01",
"package": "iau-planet-definition",
"predicate": "planet",
"proof": true
}Why this resultApplied rules and conditions
Derivation path1 steps
- 1query
Query evaluation
verified by the engine: 1 · case fact: 0 · Full graph: 23 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.
Applied rules3
Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона — юрисдикция International, НЕ Республика Казахстан
B5 (2): a body classified as a dwarf planet falls in the dwarf planet category
Identifier
urn:iau:clir:planet-definition#CategoryOfDwarfPlanetfootnote 1: each of the eight named bodies is a planet
Identifier
urn:iau:clir:planet-definition#FootnoteOneNamesThePlanetsB5 (2): a dwarf planet is a celestial body that satisfies (a), (b), (c) and (d)
Identifier
urn:iau:clir:planet-definition#dwarf_planet/rule
Other derived facts10
the category of the body under the division of Resolution B5
b c Jupiter Planet Uranus Planet Earth Planet Mars Planet Mercury Planet Venus Planet Neptune Planet Saturn Planet B5 (2): a dwarf planet is a celestial body that satisfies (a), (b), (c) and (d)
b: Плутонthe category of the body under the division of Resolution B5
b: Плутонc: DwarfPlanet
| b | c |
|---|---|
| Jupiter | Planet |
| Uranus | Planet |
| Earth | Planet |
| Mars | Planet |
| Mercury | Planet |
| Venus | Planet |
| Neptune | Planet |
| Saturn | Planet |
| Плутон | DwarfPlanet |
| b |
|---|
| Плутон |
0 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.
Why the conclusion was not reached1 rules
- 1rule
B5 (1): a planet is a celestial body that satisfies (a), (b) and (c)
What is missing
- has cleared the neighbourhood around its orbitПлутонEstablished
- is in orbit around the SunПлутонEstablished
- has sufficient mass for its self-gravity to overcome rigid body forces so that it assumes a hydrostatic equilibrium (nearly round) shapeПлутонEstablished
Source: resolution/B5/1, resolution/B5/1/a, resolution/B5/1/b, resolution/B5/1/c
Identifier
urn:iau:clir:planet-definition#planet/rule
These are the rules whose head answers the question, with their unmet premises. A missing fact is not a refuted one.
Proof graph
Proof nodes: 23 · assertion 12, rule_application 10, query_evaluation 1
assertion · urn:proof:assert:urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1
- attributes
- assertion
- assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1
- conclusion
- Arguments
- Identifier
- Jupiter
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- named_in_footnote_one
- evidence
- —
- Identifier
- assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:FootnoteOneNamesThePlanets:9737555245967ed4f90dc541ea3be4a9a92292bed56d8cb7ddf1251fe121671a
- attributes
- —
- conclusion
- Arguments
- Identifier
- Jupiter
- Type
- entity_ref
- Identifier
- Planet
- Type
- const_ref
- Type
- literal
- Polarity
- positive
- Condition
- category_of
- evidence
- —
- Identifier
- 9737555245967ed4f90dc541ea3be4a9a92292bed56d8cb7ddf1251fe121671a
- Type
- rule_application
- Premises
- assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1
- Rule
- FootnoteOneNamesThePlanets
- sourceAnchors
- —
- substitution
- v0
- Identifier
- Jupiter
- Type
- entity_ref
assertion · urn:proof:assert:urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de
- attributes
- assertion
- assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de
- conclusion
- Arguments
- Identifier
- Uranus
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- named_in_footnote_one
- evidence
- —
- Identifier
- assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:FootnoteOneNamesThePlanets:1d211ae374619c03b327d1f5d91433d91c46083c9c589dd8631160761ec63142
- attributes
- —
- conclusion
- Arguments
- Identifier
- Uranus
- Type
- entity_ref
- Identifier
- Planet
- Type
- const_ref
- Type
- literal
- Polarity
- positive
- Condition
- category_of
- evidence
- —
- Identifier
- 1d211ae374619c03b327d1f5d91433d91c46083c9c589dd8631160761ec63142
- Type
- rule_application
- Premises
- assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de
- Rule
- FootnoteOneNamesThePlanets
- sourceAnchors
- —
- substitution
- v0
- Identifier
- Uranus
- Type
- entity_ref
assertion · urn:proof:assert:urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a
- attributes
- assertion
- assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a
- conclusion
- Arguments
- Identifier
- Earth
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- named_in_footnote_one
- evidence
- —
- Identifier
- assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:FootnoteOneNamesThePlanets:11374e6d0d24d8c334043e02059a3a42440d3ef097a65b11fbbc41cac2c3ae3b
- attributes
- —
- conclusion
- Arguments
- Identifier
- Earth
- Type
- entity_ref
- Identifier
- Planet
- Type
- const_ref
- Type
- literal
- Polarity
- positive
- Condition
- category_of
- evidence
- —
- Identifier
- 11374e6d0d24d8c334043e02059a3a42440d3ef097a65b11fbbc41cac2c3ae3b
- Type
- rule_application
- Premises
- assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a
- Rule
- FootnoteOneNamesThePlanets
- sourceAnchors
- —
- substitution
- v0
- Identifier
- Earth
- Type
- entity_ref
assertion · urn:proof:assert:urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5
- attributes
- assertion
- assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5
- conclusion
- Arguments
- Identifier
- Mars
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- named_in_footnote_one
- evidence
- —
- Identifier
- assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:FootnoteOneNamesThePlanets:dceedecdb4e298c355fa378e5adcf62b145a4c9fe56422080b6b59c99a04f961
- attributes
- —
- conclusion
- Arguments
- Identifier
- Mars
- Type
- entity_ref
- Identifier
- Planet
- Type
- const_ref
- Type
- literal
- Polarity
- positive
- Condition
- category_of
- evidence
- —
- Identifier
- dceedecdb4e298c355fa378e5adcf62b145a4c9fe56422080b6b59c99a04f961
- Type
- rule_application
- Premises
- assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5
- Rule
- FootnoteOneNamesThePlanets
- sourceAnchors
- —
- substitution
- v0
- Identifier
- Mars
- Type
- entity_ref
assertion · urn:proof:assert:urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b
- attributes
- assertion
- assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b
- conclusion
- Arguments
- Identifier
- Mercury
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- named_in_footnote_one
- evidence
- —
- Identifier
- assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:FootnoteOneNamesThePlanets:b6c3319e5f9992dd3e7d57d0d7aab5a7fb096a679f0ba4bbb6a04218e05ba6bf
- attributes
- —
- conclusion
- Arguments
- Identifier
- Mercury
- Type
- entity_ref
- Identifier
- Planet
- Type
- const_ref
- Type
- literal
- Polarity
- positive
- Condition
- category_of
- evidence
- —
- Identifier
- b6c3319e5f9992dd3e7d57d0d7aab5a7fb096a679f0ba4bbb6a04218e05ba6bf
- Type
- rule_application
- Premises
- assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b
- Rule
- FootnoteOneNamesThePlanets
- sourceAnchors
- —
- substitution
- v0
- Identifier
- Mercury
- Type
- entity_ref
assertion · urn:proof:assert:urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8
- attributes
- assertion
- assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8
- conclusion
- Arguments
- Identifier
- Venus
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- named_in_footnote_one
- evidence
- —
- Identifier
- assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:FootnoteOneNamesThePlanets:2eee82fa38a8603a113f8a40777a9393726fac0ce1d7a9d3a82c17f22eca7a10
- attributes
- —
- conclusion
- Arguments
- Identifier
- Venus
- Type
- entity_ref
- Identifier
- Planet
- Type
- const_ref
- Type
- literal
- Polarity
- positive
- Condition
- category_of
- evidence
- —
- Identifier
- 2eee82fa38a8603a113f8a40777a9393726fac0ce1d7a9d3a82c17f22eca7a10
- Type
- rule_application
- Premises
- assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8
- Rule
- FootnoteOneNamesThePlanets
- sourceAnchors
- —
- substitution
- v0
- Identifier
- Venus
- Type
- entity_ref
assertion · urn:proof:assert:urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2
- attributes
- assertion
- assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2
- conclusion
- Arguments
- Identifier
- Neptune
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- named_in_footnote_one
- evidence
- —
- Identifier
- assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:FootnoteOneNamesThePlanets:24ea437942ebcb252a9f33ce5ea4e0bb040f094465fe7ffe92988145a84c1e8c
- attributes
- —
- conclusion
- Arguments
- Identifier
- Neptune
- Type
- entity_ref
- Identifier
- Planet
- Type
- const_ref
- Type
- literal
- Polarity
- positive
- Condition
- category_of
- evidence
- —
- Identifier
- 24ea437942ebcb252a9f33ce5ea4e0bb040f094465fe7ffe92988145a84c1e8c
- Type
- rule_application
- Premises
- assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2
- Rule
- FootnoteOneNamesThePlanets
- sourceAnchors
- —
- substitution
- v0
- Identifier
- Neptune
- Type
- entity_ref
assertion · urn:proof:assert:urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70
- attributes
- assertion
- assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70
- conclusion
- Arguments
- Identifier
- Saturn
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- named_in_footnote_one
- evidence
- —
- Identifier
- assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:FootnoteOneNamesThePlanets:6716978be50f85dfa87f3fd174750de578cc30e95aec9c4d623e4730050bf718
- attributes
- —
- conclusion
- Arguments
- Identifier
- Saturn
- Type
- entity_ref
- Identifier
- Planet
- Type
- const_ref
- Type
- literal
- Polarity
- positive
- Condition
- category_of
- evidence
- —
- Identifier
- 6716978be50f85dfa87f3fd174750de578cc30e95aec9c4d623e4730050bf718
- Type
- rule_application
- Premises
- assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70
- Rule
- FootnoteOneNamesThePlanets
- sourceAnchors
- —
- substitution
- v0
- Identifier
- Saturn
- Type
- entity_ref
assertion · urn:proof:assert:urn:mcp:case#fact-1
- attributes
- assertion
- fact-1
- conclusion
- Arguments
- Identifier
- Плутон
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- orbits_sun
- evidence
- —
- Identifier
- fact-1
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-2
- attributes
- assertion
- fact-2
- conclusion
- Arguments
- Identifier
- Плутон
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- hydrostatic_equilibrium
- evidence
- —
- Identifier
- fact-2
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-3
- attributes
- assertion
- fact-3
- conclusion
- Arguments
- Identifier
- Плутон
- Type
- entity_ref
- Type
- literal
- Polarity
- negative
- Condition
- cleared_neighbourhood
- evidence
- —
- Identifier
- fact-3
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-4
- attributes
- assertion
- fact-4
- conclusion
- Arguments
- Identifier
- Плутон
- Type
- entity_ref
- Type
- literal
- Polarity
- negative
- Condition
- is_satellite
- evidence
- —
- Identifier
- fact-4
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45
- attributes
- —
- conclusion
- Arguments
- Identifier
- Плутон
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- dwarf_planet
- evidence
- —
- Identifier
- 45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45
- Type
- rule_application
- Premises
- fact-1
- fact-2
- fact-3
- fact-4
- Rule
- dwarf_planet/rule
- sourceAnchors
- —
- substitution
- v0
- Identifier
- Плутон
- Type
- entity_ref
rule_application · urn:proof:apply:CategoryOfDwarfPlanet:cb6e5eced793471b4004ee749b5dba5007b933ccbd5a17d8671a97d0c7f4b777
- attributes
- —
- conclusion
- Arguments
- Identifier
- Плутон
- Type
- entity_ref
- Identifier
- DwarfPlanet
- Type
- const_ref
- Type
- literal
- Polarity
- positive
- Condition
- category_of
- evidence
- —
- Identifier
- cb6e5eced793471b4004ee749b5dba5007b933ccbd5a17d8671a97d0c7f4b777
- Type
- rule_application
- Premises
- 45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45
- Rule
- CategoryOfDwarfPlanet
- sourceAnchors
- —
- substitution
- v0
- Identifier
- Плутон
- Type
- entity_ref
query_evaluation · urn:proof:query:mcp
- attributes
- —
- conclusion
- literal
- Arguments
- Identifier
- Плутон
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- planet
- truthStatus
- Not established
- evidence
- —
- Identifier
- mcp
- Type
- query_evaluation
- Premises
- —
- sourceAnchors
- —
Calendar and proof identifiers
- Proof reference
- mcp
Original reasoning · JSON
{
"derived": [
"category_of(Jupiter, Planet)",
"category_of(Uranus, Planet)",
"category_of(Earth, Planet)",
"category_of(Mars, Planet)",
"category_of(Mercury, Planet)",
"category_of(Venus, Planet)",
"category_of(Neptune, Planet)",
"category_of(Saturn, Planet)",
"dwarf_planet(Плутон)",
"category_of(Плутон, DwarfPlanet)"
],
"derivedOmitted": 0,
"evaluation": {
"proofGraph": {
"nodes": [
{
"attributes": {
"assertion": "urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1"
},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Jupiter",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#named_in_footnote_one"
},
"evidence": [],
"id": "urn:proof:assert:urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Jupiter",
"kind": "entity_ref"
},
{
"id": "urn:iau:clir:planet-definition#Planet",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#category_of"
},
"evidence": [],
"id": "urn:proof:apply:FootnoteOneNamesThePlanets:9737555245967ed4f90dc541ea3be4a9a92292bed56d8cb7ddf1251fe121671a",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1"
],
"rule": "urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:iau:clir:planet-definition#Jupiter",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de"
},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Uranus",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#named_in_footnote_one"
},
"evidence": [],
"id": "urn:proof:assert:urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Uranus",
"kind": "entity_ref"
},
{
"id": "urn:iau:clir:planet-definition#Planet",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#category_of"
},
"evidence": [],
"id": "urn:proof:apply:FootnoteOneNamesThePlanets:1d211ae374619c03b327d1f5d91433d91c46083c9c589dd8631160761ec63142",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de"
],
"rule": "urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:iau:clir:planet-definition#Uranus",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a"
},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Earth",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#named_in_footnote_one"
},
"evidence": [],
"id": "urn:proof:assert:urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Earth",
"kind": "entity_ref"
},
{
"id": "urn:iau:clir:planet-definition#Planet",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#category_of"
},
"evidence": [],
"id": "urn:proof:apply:FootnoteOneNamesThePlanets:11374e6d0d24d8c334043e02059a3a42440d3ef097a65b11fbbc41cac2c3ae3b",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a"
],
"rule": "urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:iau:clir:planet-definition#Earth",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5"
},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Mars",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#named_in_footnote_one"
},
"evidence": [],
"id": "urn:proof:assert:urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Mars",
"kind": "entity_ref"
},
{
"id": "urn:iau:clir:planet-definition#Planet",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#category_of"
},
"evidence": [],
"id": "urn:proof:apply:FootnoteOneNamesThePlanets:dceedecdb4e298c355fa378e5adcf62b145a4c9fe56422080b6b59c99a04f961",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5"
],
"rule": "urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:iau:clir:planet-definition#Mars",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b"
},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Mercury",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#named_in_footnote_one"
},
"evidence": [],
"id": "urn:proof:assert:urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Mercury",
"kind": "entity_ref"
},
{
"id": "urn:iau:clir:planet-definition#Planet",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#category_of"
},
"evidence": [],
"id": "urn:proof:apply:FootnoteOneNamesThePlanets:b6c3319e5f9992dd3e7d57d0d7aab5a7fb096a679f0ba4bbb6a04218e05ba6bf",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b"
],
"rule": "urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:iau:clir:planet-definition#Mercury",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8"
},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Venus",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#named_in_footnote_one"
},
"evidence": [],
"id": "urn:proof:assert:urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Venus",
"kind": "entity_ref"
},
{
"id": "urn:iau:clir:planet-definition#Planet",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#category_of"
},
"evidence": [],
"id": "urn:proof:apply:FootnoteOneNamesThePlanets:2eee82fa38a8603a113f8a40777a9393726fac0ce1d7a9d3a82c17f22eca7a10",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8"
],
"rule": "urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:iau:clir:planet-definition#Venus",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2"
},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Neptune",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#named_in_footnote_one"
},
"evidence": [],
"id": "urn:proof:assert:urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Neptune",
"kind": "entity_ref"
},
{
"id": "urn:iau:clir:planet-definition#Planet",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#category_of"
},
"evidence": [],
"id": "urn:proof:apply:FootnoteOneNamesThePlanets:24ea437942ebcb252a9f33ce5ea4e0bb040f094465fe7ffe92988145a84c1e8c",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2"
],
"rule": "urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:iau:clir:planet-definition#Neptune",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70"
},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Saturn",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#named_in_footnote_one"
},
"evidence": [],
"id": "urn:proof:assert:urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Saturn",
"kind": "entity_ref"
},
{
"id": "urn:iau:clir:planet-definition#Planet",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#category_of"
},
"evidence": [],
"id": "urn:proof:apply:FootnoteOneNamesThePlanets:6716978be50f85dfa87f3fd174750de578cc30e95aec9c4d623e4730050bf718",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70"
],
"rule": "urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:iau:clir:planet-definition#Saturn",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-1"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#orbits_sun"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-2"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#hydrostatic_equilibrium"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-2",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-3"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:iau:clir:planet-definition#cleared_neighbourhood"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-3",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-4"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:iau:clir:planet-definition#is_satellite"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-4",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#dwarf_planet"
},
"evidence": [],
"id": "urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-2",
"urn:proof:assert:urn:mcp:case#fact-3",
"urn:proof:assert:urn:mcp:case#fact-4"
],
"rule": "urn:iau:clir:planet-definition#dwarf_planet/rule",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
},
{
"id": "urn:iau:clir:planet-definition#DwarfPlanet",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#category_of"
},
"evidence": [],
"id": "urn:proof:apply:CategoryOfDwarfPlanet:cb6e5eced793471b4004ee749b5dba5007b933ccbd5a17d8671a97d0c7f4b777",
"kind": "rule_application",
"premises": [
"urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45"
],
"rule": "urn:iau:clir:planet-definition#CategoryOfDwarfPlanet",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"literal": {
"args": [
{
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#planet"
},
"truthStatus": "NEITHER"
},
"evidence": [],
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"premises": [],
"sourceAnchors": []
}
],
"proofHash": "sha256:f42d76582b826e91e8d26aa45e940214bdca0373438d901862e1d7a0b95641c0",
"roots": [
"urn:proof:query:mcp"
]
},
"resultHash": "sha256:0c6633a83a51ce1113b4589cd0c0d7e38f06d596ec1df87c0a2a62d6c13f84cd",
"schemaVersion": "law.core.evaluation/0.2"
},
"proofRef": "urn:proof:query:mcp",
"rulesApplied": [
"urn:iau:clir:planet-definition#CategoryOfDwarfPlanet",
"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets",
"urn:iau:clir:planet-definition#dwarf_planet/rule"
],
"whyNot": [
{
"anchors": [
"urn:iau:clir:planet-definition#IAU_B5_P1_EN",
"urn:iau:clir:planet-definition#IAU_B5_P1_A_EN",
"urn:iau:clir:planet-definition#IAU_B5_P1_B_EN",
"urn:iau:clir:planet-definition#IAU_B5_P1_C_EN"
],
"computedHead": false,
"label": "B5 (1): a planet is a celestial body that satisfies (a), (b) and (c)",
"premises": [
{
"premise": "cleared_neighbourhood(Плутон)",
"status": "TRUE_ONLY"
},
{
"premise": "orbits_sun(Плутон)",
"status": "TRUE_ONLY"
},
{
"premise": "hydrostatic_equilibrium(Плутон)",
"status": "TRUE_ONLY"
}
],
"rule": "planet/rule"
}
]
}SourcesExcerpts: 10
resolution/B5/footnote/1
Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона — юрисдикция International, НЕ Республика Казахстан
1 The eight planets are: Mercury, Venus, Earth, Mars, Jupiter, Saturn, Uranus, and Neptune.
Original data · JSON
{
"contentHash": "sha256:1890af536ba71e302130f58fdb968081d46db949936ac9e7ec6aefdb5a78741d",
"edition": "urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN",
"fragmentKind": "note",
"id": "urn:iau:clir:planet-definition#IAU_B5_FN1_EN",
"kind": "fragment",
"locator": "resolution/B5/footnote/1",
"package": "urn:iau:clir:planet-definition",
"texts": [
{
"contentHash": "sha256:38f61e8a0bb8e47e0594608523796f2f1275f34e5df39926f6669b22ad959902",
"language": "en",
"status": "official",
"text": "1\nThe eight planets are: Mercury, Venus, Earth, Mars, Jupiter, Saturn, Uranus, and Neptune."
}
]
}resolution/B5/1/a
Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона — юрисдикция International, НЕ Республика Казахстан
(a) is in orbit around the Sun,
Original data · JSON
{
"contentHash": "sha256:4f9f02a07f89b94478241f013405455f9f4d3946dbc52a0e0fffe34c22a05f43",
"edition": "urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN",
"fragmentKind": "subpoint",
"id": "urn:iau:clir:planet-definition#IAU_B5_P1_A_EN",
"kind": "fragment",
"locator": "resolution/B5/1/a",
"package": "urn:iau:clir:planet-definition",
"texts": [
{
"contentHash": "sha256:d7608898120d2ff020adda6a9e0856cd435c572f04c59ff98adc7f193b1c3be1",
"language": "en",
"status": "official",
"text": "(a) is in orbit around the Sun,"
}
]
}resolution/B5/1/b
Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона — юрисдикция International, НЕ Республика Казахстан
(b) has sufficient mass for its self-gravity to overcome rigid body forces so that it assumes a hydrostatic equilibrium (nearly round) shape, and
Original data · JSON
{
"contentHash": "sha256:d28e1476abc874716da0056741cbc9848edde1ac7f9dcab205c46c2b51cfa29f",
"edition": "urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN",
"fragmentKind": "subpoint",
"id": "urn:iau:clir:planet-definition#IAU_B5_P1_B_EN",
"kind": "fragment",
"locator": "resolution/B5/1/b",
"package": "urn:iau:clir:planet-definition",
"texts": [
{
"contentHash": "sha256:a5a5ce7e1a154b3ebfb4d97da6f34497b99d370da8df0fe5bde0a75980d2cf06",
"language": "en",
"status": "official",
"text": "(b) has sufficient mass for its self-gravity to overcome rigid body forces\nso that it assumes a hydrostatic equilibrium (nearly round) shape,\nand"
}
]
}resolution/B5/1/c
Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона — юрисдикция International, НЕ Республика Казахстан
(c) has cleared the neighbourhood around its orbit.
Original data · JSON
{
"contentHash": "sha256:988676c923c9e0feae5e47a381d5c9de9ad0f3672e1db90f64624e4393e33215",
"edition": "urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN",
"fragmentKind": "subpoint",
"id": "urn:iau:clir:planet-definition#IAU_B5_P1_C_EN",
"kind": "fragment",
"locator": "resolution/B5/1/c",
"package": "urn:iau:clir:planet-definition",
"texts": [
{
"contentHash": "sha256:9c7262322bb6d84c41da12d38ad70ce171f5ad1f8ec1db013e1876a60bdf1eec",
"language": "en",
"status": "official",
"text": "(c) has cleared the neighbourhood around its orbit."
}
]
}resolution/B5/1
Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона — юрисдикция International, НЕ Республика Казахстан
(1) A planet 1 is a celestial body that
Original data · JSON
{
"contentHash": "sha256:7c77f9b3cf363727226d615d460578ee75401ceb26700c5364c209d54b19aec3",
"edition": "urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN",
"fragmentKind": "point",
"id": "urn:iau:clir:planet-definition#IAU_B5_P1_EN",
"kind": "fragment",
"locator": "resolution/B5/1",
"package": "urn:iau:clir:planet-definition",
"texts": [
{
"contentHash": "sha256:ad644bc2b55e6a7d94784aa5ffee4974485e7f524ad560979e7db2c042827099",
"language": "en",
"status": "official",
"text": "(1) A planet 1 is a celestial body that"
}
]
}resolution/B5/2/a
Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона — юрисдикция International, НЕ Республика Казахстан
(a) is in orbit around the Sun,
Original data · JSON
{
"contentHash": "sha256:bef38020d8191e4163a3e8493e5b4cbf7dabdbcd53953cfa560f937ab3e98d86",
"edition": "urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN",
"fragmentKind": "subpoint",
"id": "urn:iau:clir:planet-definition#IAU_B5_P2_A_EN",
"kind": "fragment",
"locator": "resolution/B5/2/a",
"package": "urn:iau:clir:planet-definition",
"texts": [
{
"contentHash": "sha256:d7608898120d2ff020adda6a9e0856cd435c572f04c59ff98adc7f193b1c3be1",
"language": "en",
"status": "official",
"text": "(a) is in orbit around the Sun,"
}
]
}resolution/B5/2/b
Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона — юрисдикция International, НЕ Республика Казахстан
(b) has sufficient mass for its self-gravity to overcome rigid body forces so that it assumes a hydrostatic equilibrium (nearly round) shape 2 ,
Original data · JSON
{
"contentHash": "sha256:8b3c7e8064b222d3ae6173e534ba525b9f0a08e3df160c051f227e18a1b3dc14",
"edition": "urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN",
"fragmentKind": "subpoint",
"id": "urn:iau:clir:planet-definition#IAU_B5_P2_B_EN",
"kind": "fragment",
"locator": "resolution/B5/2/b",
"package": "urn:iau:clir:planet-definition",
"texts": [
{
"contentHash": "sha256:303390395773d232d1d240efedafdb4dedc3dadf187c716def1d08c005b6acc9",
"language": "en",
"status": "official",
"text": "(b) has sufficient mass for its self-gravity to overcome rigid body forces\nso that it assumes a hydrostatic equilibrium (nearly round) shape 2 ,"
}
]
}resolution/B5/2/c
Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона — юрисдикция International, НЕ Республика Казахстан
(c) has not cleared the neighbourhood around its orbit, and
Original data · JSON
{
"contentHash": "sha256:8d10e80d188b83c650f172f57091a7435767749c4f2b0bd49730cdffaa779f1a",
"edition": "urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN",
"fragmentKind": "subpoint",
"id": "urn:iau:clir:planet-definition#IAU_B5_P2_C_EN",
"kind": "fragment",
"locator": "resolution/B5/2/c",
"package": "urn:iau:clir:planet-definition",
"texts": [
{
"contentHash": "sha256:1def76ad62b6b5b6f14fe298c845fa5c096eaa43ba6be342bca6432beeb5f1d6",
"language": "en",
"status": "official",
"text": "(c) has not cleared the neighbourhood around its orbit, and"
}
]
}resolution/B5/2/d
Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона — юрисдикция International, НЕ Республика Казахстан
(d) is not a satellite.
Original data · JSON
{
"contentHash": "sha256:18e047771f8ba25e04626420e4192c69eeef1c86c964317a09b9cd9341e21576",
"edition": "urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN",
"fragmentKind": "subpoint",
"id": "urn:iau:clir:planet-definition#IAU_B5_P2_D_EN",
"kind": "fragment",
"locator": "resolution/B5/2/d",
"package": "urn:iau:clir:planet-definition",
"texts": [
{
"contentHash": "sha256:b99021fac4ac71502f48bdd5f009415a835cd519a500115c84f6e4f0d608d2ba",
"language": "en",
"status": "official",
"text": "(d) is not a satellite."
}
]
}resolution/B5/2
Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона — юрисдикция International, НЕ Республика Казахстан
(2) A "dwarf planet" is a celestial body that
Original data · JSON
{
"contentHash": "sha256:691a975db51e836ee64316c4881ae14f8049fda650e80924f9fb6edbff5fd4b2",
"edition": "urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN",
"fragmentKind": "point",
"id": "urn:iau:clir:planet-definition#IAU_B5_P2_EN",
"kind": "fragment",
"locator": "resolution/B5/2",
"package": "urn:iau:clir:planet-definition",
"texts": [
{
"contentHash": "sha256:9ba9617a4c973122f7d1af6cae2b607b255ae4284e911b12de92448110441ae8",
"language": "en",
"status": "official",
"text": "(2) A \"dwarf planet\" is a celestial body that"
}
]
}Packages in the snapshot
- Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона — юрисдикция International, НЕ Республика Казахстан
Technical dataFull response, parameters and checksums
- Calculation status
- COMPUTED
Full engine response
Complete machine result · JSON
{
"answer": {
"evaluationStatus": "COMPUTED",
"kind": "TRUTH",
"meaning": "НЕ УСТАНОВЛЕНО: в формализованном праве нет ни подтверждения, ни опровержения (открытый мир §69) — это не «нет»",
"missingInputs": [],
"truthStatus": "NEITHER"
},
"closedEditionRules": [],
"derived": [
"category_of(Jupiter, Planet)",
"category_of(Uranus, Planet)",
"category_of(Earth, Planet)",
"category_of(Mars, Planet)",
"category_of(Mercury, Planet)",
"category_of(Venus, Planet)",
"category_of(Neptune, Planet)",
"category_of(Saturn, Planet)",
"dwarf_planet(Плутон)",
"category_of(Плутон, DwarfPlanet)"
],
"derivedOmitted": 0,
"evaluation": {
"proofGraph": {
"nodes": [
{
"attributes": {
"assertion": "urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1"
},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Jupiter",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#named_in_footnote_one"
},
"evidence": [],
"id": "urn:proof:assert:urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Jupiter",
"kind": "entity_ref"
},
{
"id": "urn:iau:clir:planet-definition#Planet",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#category_of"
},
"evidence": [],
"id": "urn:proof:apply:FootnoteOneNamesThePlanets:9737555245967ed4f90dc541ea3be4a9a92292bed56d8cb7ddf1251fe121671a",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1"
],
"rule": "urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:iau:clir:planet-definition#Jupiter",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de"
},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Uranus",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#named_in_footnote_one"
},
"evidence": [],
"id": "urn:proof:assert:urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Uranus",
"kind": "entity_ref"
},
{
"id": "urn:iau:clir:planet-definition#Planet",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#category_of"
},
"evidence": [],
"id": "urn:proof:apply:FootnoteOneNamesThePlanets:1d211ae374619c03b327d1f5d91433d91c46083c9c589dd8631160761ec63142",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de"
],
"rule": "urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:iau:clir:planet-definition#Uranus",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a"
},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Earth",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#named_in_footnote_one"
},
"evidence": [],
"id": "urn:proof:assert:urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Earth",
"kind": "entity_ref"
},
{
"id": "urn:iau:clir:planet-definition#Planet",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#category_of"
},
"evidence": [],
"id": "urn:proof:apply:FootnoteOneNamesThePlanets:11374e6d0d24d8c334043e02059a3a42440d3ef097a65b11fbbc41cac2c3ae3b",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a"
],
"rule": "urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:iau:clir:planet-definition#Earth",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5"
},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Mars",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#named_in_footnote_one"
},
"evidence": [],
"id": "urn:proof:assert:urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Mars",
"kind": "entity_ref"
},
{
"id": "urn:iau:clir:planet-definition#Planet",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#category_of"
},
"evidence": [],
"id": "urn:proof:apply:FootnoteOneNamesThePlanets:dceedecdb4e298c355fa378e5adcf62b145a4c9fe56422080b6b59c99a04f961",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5"
],
"rule": "urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:iau:clir:planet-definition#Mars",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b"
},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Mercury",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#named_in_footnote_one"
},
"evidence": [],
"id": "urn:proof:assert:urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Mercury",
"kind": "entity_ref"
},
{
"id": "urn:iau:clir:planet-definition#Planet",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#category_of"
},
"evidence": [],
"id": "urn:proof:apply:FootnoteOneNamesThePlanets:b6c3319e5f9992dd3e7d57d0d7aab5a7fb096a679f0ba4bbb6a04218e05ba6bf",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b"
],
"rule": "urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:iau:clir:planet-definition#Mercury",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8"
},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Venus",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#named_in_footnote_one"
},
"evidence": [],
"id": "urn:proof:assert:urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Venus",
"kind": "entity_ref"
},
{
"id": "urn:iau:clir:planet-definition#Planet",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#category_of"
},
"evidence": [],
"id": "urn:proof:apply:FootnoteOneNamesThePlanets:2eee82fa38a8603a113f8a40777a9393726fac0ce1d7a9d3a82c17f22eca7a10",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8"
],
"rule": "urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:iau:clir:planet-definition#Venus",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2"
},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Neptune",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#named_in_footnote_one"
},
"evidence": [],
"id": "urn:proof:assert:urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Neptune",
"kind": "entity_ref"
},
{
"id": "urn:iau:clir:planet-definition#Planet",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#category_of"
},
"evidence": [],
"id": "urn:proof:apply:FootnoteOneNamesThePlanets:24ea437942ebcb252a9f33ce5ea4e0bb040f094465fe7ffe92988145a84c1e8c",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2"
],
"rule": "urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:iau:clir:planet-definition#Neptune",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70"
},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Saturn",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#named_in_footnote_one"
},
"evidence": [],
"id": "urn:proof:assert:urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:iau:clir:planet-definition#Saturn",
"kind": "entity_ref"
},
{
"id": "urn:iau:clir:planet-definition#Planet",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#category_of"
},
"evidence": [],
"id": "urn:proof:apply:FootnoteOneNamesThePlanets:6716978be50f85dfa87f3fd174750de578cc30e95aec9c4d623e4730050bf718",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70"
],
"rule": "urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:iau:clir:planet-definition#Saturn",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-1"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#orbits_sun"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-2"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#hydrostatic_equilibrium"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-2",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-3"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:iau:clir:planet-definition#cleared_neighbourhood"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-3",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-4"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:iau:clir:planet-definition#is_satellite"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-4",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#dwarf_planet"
},
"evidence": [],
"id": "urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-2",
"urn:proof:assert:urn:mcp:case#fact-3",
"urn:proof:assert:urn:mcp:case#fact-4"
],
"rule": "urn:iau:clir:planet-definition#dwarf_planet/rule",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
},
{
"id": "urn:iau:clir:planet-definition#DwarfPlanet",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#category_of"
},
"evidence": [],
"id": "urn:proof:apply:CategoryOfDwarfPlanet:cb6e5eced793471b4004ee749b5dba5007b933ccbd5a17d8671a97d0c7f4b777",
"kind": "rule_application",
"premises": [
"urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45"
],
"rule": "urn:iau:clir:planet-definition#CategoryOfDwarfPlanet",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"literal": {
"args": [
{
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#planet"
},
"truthStatus": "NEITHER"
},
"evidence": [],
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"premises": [],
"sourceAnchors": []
}
],
"proofHash": "sha256:f42d76582b826e91e8d26aa45e940214bdca0373438d901862e1d7a0b95641c0",
"roots": [
"urn:proof:query:mcp"
]
},
"resultHash": "sha256:0c6633a83a51ce1113b4589cd0c0d7e38f06d596ec1df87c0a2a62d6c13f84cd",
"schemaVersion": "law.core.evaluation/0.2"
},
"evaluationStatus": "COMPUTED",
"issues": [],
"judgmentRequests": [],
"proofRef": "urn:proof:query:mcp",
"provenance": {
"acts": [
{
"contributed": true,
"fragmentCount": 38,
"fragments": [
"urn:iau:clir:planet-definition#IAU_B5_FN1_EN",
"urn:iau:clir:planet-definition#IAU_B5_P2_A_EN",
"urn:iau:clir:planet-definition#IAU_B5_P2_B_EN",
"urn:iau:clir:planet-definition#IAU_B5_P2_C_EN",
"urn:iau:clir:planet-definition#IAU_B5_P2_D_EN",
"urn:iau:clir:planet-definition#IAU_B5_P2_EN"
],
"jurisdiction": "International",
"namespace": "urn:iau:clir:planet-definition",
"package": "iau-planet-definition",
"title": "Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона — юрисдикция International, НЕ Республика Казахстан"
}
],
"caseHash": "sha256:70a211fe7a6dc2bf925d7d2633552ff708404b501e448661cd0c5a98a6186f6a",
"codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
"jurisdiction": "международный правопорядок",
"legalTime": "2026-09-01",
"mode": "audit",
"programHash": "sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4",
"resultHash": "sha256:0c6633a83a51ce1113b4589cd0c0d7e38f06d596ec1df87c0a2a62d6c13f84cd",
"rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
"timezone": "Asia/Qyzylorda"
},
"rulesApplied": [
"urn:iau:clir:planet-definition#CategoryOfDwarfPlanet",
"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets",
"urn:iau:clir:planet-definition#dwarf_planet/rule"
],
"signature": {
"constants": {},
"parameters": [
{
"labels": [],
"name": "b",
"type": {
"name": "urn:iau:clir:planet-definition#CelestialBody"
}
}
],
"predicate": "urn:iau:clir:planet-definition#planet",
"schemaVersion": "law.answers.signature/0.1",
"types": {
"urn:iau:clir:planet-definition#CelestialBody": {
"kind": "entity",
"labels": [
{
"language": "en",
"status": "official",
"text": "celestial body"
}
],
"namespace": "urn:iau:clir:planet-definition",
"package": "iau.planet_definition"
}
},
"vocab": {}
},
"vulnerableTo": [],
"whyNot": [
{
"anchors": [
"urn:iau:clir:planet-definition#IAU_B5_P1_EN",
"urn:iau:clir:planet-definition#IAU_B5_P1_A_EN",
"urn:iau:clir:planet-definition#IAU_B5_P1_B_EN",
"urn:iau:clir:planet-definition#IAU_B5_P1_C_EN"
],
"computedHead": false,
"label": "B5 (1): a planet is a celestial body that satisfies (a), (b) and (c)",
"premises": [
{
"premise": "cleared_neighbourhood(Плутон)",
"status": "TRUE_ONLY"
},
{
"premise": "orbits_sun(Плутон)",
"status": "TRUE_ONLY"
},
{
"premise": "hydrostatic_equilibrium(Плутон)",
"status": "TRUE_ONLY"
}
],
"rule": "planet/rule"
}
]
}Execution · JSON
{
"evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:fa98c53c067a18328f6a430774c5c62ae5213e56b44e9553699a6479b9aa8706\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:70a211fe7a6dc2bf925d7d2633552ff708404b501e448661cd0c5a98a6186f6a\",\"decisionTime\":\"2026-09-01T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-01T12:00:00+05:00\",\"legalTime\":\"2026-09-01\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:7e16d6266a8a0479fe36f195ccee4c12edd6f78e74eb52d5151ba960240114c0\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Jupiter\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Jupiter\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:9737555245967ed4f90dc541ea3be4a9a92292bed56d8cb7ddf1251fe121671a\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Jupiter\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Uranus\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Uranus\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:1d211ae374619c03b327d1f5d91433d91c46083c9c589dd8631160761ec63142\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Uranus\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Earth\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Earth\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:11374e6d0d24d8c334043e02059a3a42440d3ef097a65b11fbbc41cac2c3ae3b\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Earth\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Mars\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Mars\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:dceedecdb4e298c355fa378e5adcf62b145a4c9fe56422080b6b59c99a04f961\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Mars\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Mercury\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Mercury\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:b6c3319e5f9992dd3e7d57d0d7aab5a7fb096a679f0ba4bbb6a04218e05ba6bf\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Mercury\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Venus\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Venus\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:2eee82fa38a8603a113f8a40777a9393726fac0ce1d7a9d3a82c17f22eca7a10\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Venus\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Neptune\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Neptune\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:24ea437942ebcb252a9f33ce5ea4e0bb040f094465fe7ffe92988145a84c1e8c\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Neptune\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Saturn\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Saturn\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:6716978be50f85dfa87f3fd174750de578cc30e95aec9c4d623e4730050bf718\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Saturn\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#orbits_sun\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#hydrostatic_equilibrium\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-3\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:iau:clir:planet-definition#cleared_neighbourhood\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-3\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-4\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:iau:clir:planet-definition#is_satellite\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-4\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#dwarf_planet\"},\"evidence\":[],\"id\":\"urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\",\"urn:proof:assert:urn:mcp:case#fact-4\"],\"rule\":\"urn:iau:clir:planet-definition#dwarf_planet/rule\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#DwarfPlanet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:CategoryOfDwarfPlanet:cb6e5eced793471b4004ee749b5dba5007b933ccbd5a17d8671a97d0c7f4b777\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45\"],\"rule\":\"urn:iau:clir:planet-definition#CategoryOfDwarfPlanet\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#planet\"},\"truthStatus\":\"NEITHER\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:f42d76582b826e91e8d26aa45e940214bdca0373438d901862e1d7a0b95641c0\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:0c6633a83a51ce1113b4589cd0c0d7e38f06d596ec1df87c0a2a62d6c13f84cd\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:mcp\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:mcp\",\"query\":\"urn:query:mcp\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:iau:clir:planet-definition#planet\",\"truthStatus\":\"NEITHER\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}",
"evaluationSha256": "sha256:d90779a29f0d9723309408510342faf8f616f88a95c22e919fb75815b20c4dbd",
"request": {
"case": {
"assertions": [
{
"contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"evidence": [],
"id": "urn:mcp:case#fact-1",
"kind": "assertion",
"literal": {
"args": [
{
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#orbits_sun"
},
"origin": "case_input",
"package": "urn:iau:clir:planet-definition"
},
{
"contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"evidence": [],
"id": "urn:mcp:case#fact-2",
"kind": "assertion",
"literal": {
"args": [
{
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#hydrostatic_equilibrium"
},
"origin": "case_input",
"package": "urn:iau:clir:planet-definition"
},
{
"contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"evidence": [],
"id": "urn:mcp:case#fact-3",
"kind": "assertion",
"literal": {
"args": [
{
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:iau:clir:planet-definition#cleared_neighbourhood"
},
"origin": "case_input",
"package": "urn:iau:clir:planet-definition"
},
{
"contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"evidence": [],
"id": "urn:mcp:case#fact-4",
"kind": "assertion",
"literal": {
"args": [
{
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:iau:clir:planet-definition#is_satellite"
},
"origin": "case_input",
"package": "urn:iau:clir:planet-definition"
}
],
"context": {
"decisionTime": "2026-09-01T12:00:00+05:00",
"knowledgeTime": "2026-09-01T12:00:00+05:00",
"legalTime": "2026-09-01",
"timezone": "Asia/Qyzylorda"
},
"options": {
"selectedInterpretations": []
}
},
"ir": {
"irSha256": "sha256:55096b1ad666602115d1f3e61f03e8f523ff2fb1f0a53b00c7a42bebc4cc86db",
"kind": "world_ref",
"nodeCount": 87,
"packages": [
{
"artifactHash": "sha256:fa98c53c067a18328f6a430774c5c62ae5213e56b44e9553699a6479b9aa8706",
"namespace": "urn:iau:clir:planet-definition",
"package": "iau-planet-definition",
"semanticHash": "sha256:c51601db89f1d3e253f1441fee382db18024dfe986e0b194bce122ee2fb2d68d"
}
],
"programHash": "sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4"
},
"query": {
"kind": "truth",
"literal": {
"args": [
{
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#planet"
},
"queryId": "urn:query:mcp"
},
"schemaVersion": "law.core.evaluation-request/0.2",
"semanticVersion": "0.2"
},
"requestCanonicalSha256": "sha256:e35a292f7bd95da171a7ac412afd89a8cef0c67b57e520a3661626e4b459a709"
}Display metadata
{
"blockers": {
"whyNot": [
{
"anchors": [
"urn:iau:clir:planet-definition#IAU_B5_P1_EN",
"urn:iau:clir:planet-definition#IAU_B5_P1_A_EN",
"urn:iau:clir:planet-definition#IAU_B5_P1_B_EN",
"urn:iau:clir:planet-definition#IAU_B5_P1_C_EN"
],
"label": "B5 (1): a planet is a celestial body that satisfies (a), (b) and (c)",
"premises": [
{
"args": [
"Плутон"
],
"predicate": "cleared_neighbourhood",
"predicateId": "urn:iau:clir:planet-definition#cleared_neighbourhood",
"status": "TRUE_ONLY",
"text": "cleared_neighbourhood(Плутон)"
},
{
"args": [
"Плутон"
],
"predicate": "orbits_sun",
"predicateId": "urn:iau:clir:planet-definition#orbits_sun",
"status": "TRUE_ONLY",
"text": "orbits_sun(Плутон)"
},
{
"args": [
"Плутон"
],
"predicate": "hydrostatic_equilibrium",
"predicateId": "urn:iau:clir:planet-definition#hydrostatic_equilibrium",
"status": "TRUE_ONLY",
"text": "hydrostatic_equilibrium(Плутон)"
}
],
"rule": "planet/rule",
"ruleId": "urn:iau:clir:planet-definition#planet/rule"
}
]
},
"schemaVersion": "law.answers.presentation/0.1",
"source": {
"requestCanonicalSha256": "sha256:e35a292f7bd95da171a7ac412afd89a8cef0c67b57e520a3661626e4b459a709"
},
"steps": [
{
"conclusion": {
"literal": {
"args": [
{
"id": "urn:mcp:entity:Плутон",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:iau:clir:planet-definition#planet"
},
"truthStatus": "NEITHER"
},
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"originStatus": "available",
"premises": [],
"trust": "engine"
}
],
"symbols": [
{
"id": "urn:iau:clir:planet-definition#BodyCategory",
"kind": "type_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "one of the three distinct categories of the division"
}
],
"name": "BodyCategory",
"package": "urn:iau:clir:planet-definition"
},
{
"id": "urn:iau:clir:planet-definition#CategoryOfDwarfPlanet",
"kind": "rule",
"labels": [
{
"language": "en",
"status": "official",
"text": "B5 (2): a body classified as a dwarf planet falls in the dwarf planet category"
}
],
"package": "urn:iau:clir:planet-definition",
"strength": "strict"
},
{
"id": "urn:iau:clir:planet-definition#CelestialBody",
"kind": "type_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "celestial body"
}
],
"name": "CelestialBody",
"package": "urn:iau:clir:planet-definition"
},
{
"id": "urn:iau:clir:planet-definition#Earth",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "Earth"
}
],
"name": "Earth",
"package": "urn:iau:clir:planet-definition",
"parameters": [],
"symbolKind": "constant"
},
{
"id": "urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets",
"kind": "rule",
"labels": [
{
"language": "en",
"status": "official",
"text": "footnote 1: each of the eight named bodies is a planet"
}
],
"package": "urn:iau:clir:planet-definition",
"strength": "strict"
},
{
"id": "urn:iau:clir:planet-definition#Jupiter",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "Jupiter"
}
],
"name": "Jupiter",
"package": "urn:iau:clir:planet-definition",
"parameters": [],
"symbolKind": "constant"
},
{
"id": "urn:iau:clir:planet-definition#Mars",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "Mars"
}
],
"name": "Mars",
"package": "urn:iau:clir:planet-definition",
"parameters": [],
"symbolKind": "constant"
},
{
"id": "urn:iau:clir:planet-definition#Mercury",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "Mercury"
}
],
"name": "Mercury",
"package": "urn:iau:clir:planet-definition",
"parameters": [],
"symbolKind": "constant"
},
{
"id": "urn:iau:clir:planet-definition#Neptune",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "Neptune"
}
],
"name": "Neptune",
"package": "urn:iau:clir:planet-definition",
"parameters": [],
"symbolKind": "constant"
},
{
"id": "urn:iau:clir:planet-definition#Saturn",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "Saturn"
}
],
"name": "Saturn",
"package": "urn:iau:clir:planet-definition",
"parameters": [],
"symbolKind": "constant"
},
{
"id": "urn:iau:clir:planet-definition#Uranus",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "Uranus"
}
],
"name": "Uranus",
"package": "urn:iau:clir:planet-definition",
"parameters": [],
"symbolKind": "constant"
},
{
"id": "urn:iau:clir:planet-definition#Venus",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "Venus"
}
],
"name": "Venus",
"package": "urn:iau:clir:planet-definition",
"parameters": [],
"symbolKind": "constant"
},
{
"id": "urn:iau:clir:planet-definition#category_of",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "the category of the body under the division of Resolution B5"
}
],
"name": "category_of",
"package": "urn:iau:clir:planet-definition",
"parameters": [
{
"id": "urn:iau:clir:planet-definition#category_of/arg/b",
"labels": [],
"name": "b",
"type": {
"name": "urn:iau:clir:planet-definition#CelestialBody"
}
},
{
"id": "urn:iau:clir:planet-definition#category_of/arg/c",
"labels": [],
"name": "c",
"type": {
"name": "urn:iau:clir:planet-definition#BodyCategory"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:iau:clir:planet-definition#cleared_neighbourhood",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "has cleared the neighbourhood around its orbit"
}
],
"name": "cleared_neighbourhood",
"package": "urn:iau:clir:planet-definition",
"parameters": [
{
"id": "urn:iau:clir:planet-definition#cleared_neighbourhood/arg/b",
"labels": [],
"name": "b",
"type": {
"name": "urn:iau:clir:planet-definition#CelestialBody"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:iau:clir:planet-definition#dwarf_planet",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "B5 (2): a dwarf planet is a celestial body that satisfies (a), (b), (c) and (d)"
}
],
"name": "dwarf_planet",
"package": "urn:iau:clir:planet-definition",
"parameters": [
{
"id": "urn:iau:clir:planet-definition#dwarf_planet/arg/b",
"labels": [],
"name": "b",
"type": {
"name": "urn:iau:clir:planet-definition#CelestialBody"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:iau:clir:planet-definition#dwarf_planet/rule",
"kind": "rule",
"labels": [
{
"language": "en",
"status": "official",
"text": "B5 (2): a dwarf planet is a celestial body that satisfies (a), (b), (c) and (d)"
}
],
"package": "urn:iau:clir:planet-definition",
"strength": "strict"
},
{
"id": "urn:iau:clir:planet-definition#hydrostatic_equilibrium",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "has sufficient mass for its self-gravity to overcome rigid body forces so that it assumes a hydrostatic equilibrium (nearly round) shape"
}
],
"name": "hydrostatic_equilibrium",
"package": "urn:iau:clir:planet-definition",
"parameters": [
{
"id": "urn:iau:clir:planet-definition#hydrostatic_equilibrium/arg/b",
"labels": [],
"name": "b",
"type": {
"name": "urn:iau:clir:planet-definition#CelestialBody"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:iau:clir:planet-definition#is_satellite",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "is a satellite"
}
],
"name": "is_satellite",
"package": "urn:iau:clir:planet-definition",
"parameters": [
{
"id": "urn:iau:clir:planet-definition#is_satellite/arg/b",
"labels": [],
"name": "b",
"type": {
"name": "urn:iau:clir:planet-definition#CelestialBody"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:iau:clir:planet-definition#named_in_footnote_one",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "the body is one of the eight planets named in footnote 1 to Resolution B5"
}
],
"name": "named_in_footnote_one",
"package": "urn:iau:clir:planet-definition",
"parameters": [
{
"id": "urn:iau:clir:planet-definition#named_in_footnote_one/arg/b",
"labels": [],
"name": "b",
"type": {
"name": "urn:iau:clir:planet-definition#CelestialBody"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:iau:clir:planet-definition#orbits_sun",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "is in orbit around the Sun"
}
],
"name": "orbits_sun",
"package": "urn:iau:clir:planet-definition",
"parameters": [
{
"id": "urn:iau:clir:planet-definition#orbits_sun/arg/b",
"labels": [],
"name": "b",
"type": {
"name": "urn:iau:clir:planet-definition#CelestialBody"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:iau:clir:planet-definition#planet",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "B5 (1): a planet is a celestial body that satisfies (a), (b) and (c)"
}
],
"name": "planet",
"package": "urn:iau:clir:planet-definition",
"parameters": [
{
"id": "urn:iau:clir:planet-definition#planet/arg/b",
"labels": [],
"name": "b",
"type": {
"name": "urn:iau:clir:planet-definition#CelestialBody"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:iau:clir:planet-definition#planet/rule",
"kind": "rule",
"labels": [
{
"language": "en",
"status": "official",
"text": "B5 (1): a planet is a celestial body that satisfies (a), (b) and (c)"
}
],
"package": "urn:iau:clir:planet-definition",
"strength": "strict"
}
],
"tables": []
}JSON · calculations, sources and exact data
{
"acts": [
{
"contributed": true,
"fragmentCount": 38,
"fragments": [
"urn:iau:clir:planet-definition#IAU_B5_FN1_EN",
"urn:iau:clir:planet-definition#IAU_B5_P2_A_EN",
"urn:iau:clir:planet-definition#IAU_B5_P2_B_EN",
"urn:iau:clir:planet-definition#IAU_B5_P2_C_EN",
"urn:iau:clir:planet-definition#IAU_B5_P2_D_EN",
"urn:iau:clir:planet-definition#IAU_B5_P2_EN"
],
"jurisdiction": "International",
"namespace": "urn:iau:clir:planet-definition",
"package": "iau-planet-definition",
"title": "Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона — юрисдикция International, НЕ Республика Казахстан"
}
],
"caseHash": "sha256:70a211fe7a6dc2bf925d7d2633552ff708404b501e448661cd0c5a98a6186f6a",
"codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
"jurisdiction": "международный правопорядок",
"legalTime": "2026-09-01",
"mode": "audit",
"programHash": "sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4",
"resultHash": "sha256:0c6633a83a51ce1113b4589cd0c0d7e38f06d596ec1df87c0a2a62d6c13f84cd",
"rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
"timezone": "Asia/Qyzylorda"
}- evaluation SHA-256
- sha256:d90779a29f0d9723309408510342faf8f616f88a95c22e919fb75815b20c4dbd
Original data · JSON
{
"args": [
"Плутон"
],
"facts": [
{
"args": [
"Плутон"
],
"predicate": "orbits_sun"
},
{
"args": [
"Плутон"
],
"predicate": "hydrostatic_equilibrium"
},
{
"args": [
"Плутон"
],
"negated": true,
"predicate": "cleared_neighbourhood"
},
{
"args": [
"Плутон"
],
"negated": true,
"predicate": "is_satellite"
}
],
"kind": "truth",
"legalTime": "2026-09-01",
"package": "iau-planet-definition",
"predicate": "planet",
"proof": true
}