loading…

us-co/statute/39/39-6-101 — Definitions · Axiom

Definitions

3 rules

As used in this article, unless the context otherwise requires:

(1) Mine means one or more mining claims or acres of other land, including all excavations therein from which ores, metals, or mineral substances of every kind are removed, except drilled wells producing sulfur and oil, gas, and other liquid or gaseous hydrocarbons, and all mining improvements within such excavations, together with all rights and privileges thereunto appertaining.

(2) Mining claims means lode, placer, millsite, and tunnelsite claims, whether entered for patent, patented, or unpatented, regardless of size or shape.

(3) Ore includes, without limitation, metallic and nonmetallic mineral substances of every kind, except those specifically excluded under section 39-6-104.

(4) Other land means any parcel of real property which is not a mining claim.

in view

Whole section

Encodings · 3

mining_claimCO 39 § 39-6-101 · derived

Colo. Rev. Stat. § 39-6-101(2)

name: mining_claim
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: Colo. Rev. Stat. § 39-6-101(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us-co/statute/39/39-6-101
versions:
  - effective_from: '0001-01-01'
    formula: |-
      asset_is_lode_claim
      or asset_is_placer_claim
      or asset_is_millsite_claim
      or asset_is_tunnelsite_claim

other_landCO 39 § 39-6-101 · derived

Colo. Rev. Stat. § 39-6-101(4)

name: other_land
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: Colo. Rev. Stat. § 39-6-101(4)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us-co/statute/39/39-6-101
versions:
  - effective_from: '0001-01-01'
    formula: |-
      asset_is_real_property
      and not mining_claim

mineCO 39 § 39-6-101 · derived

Colo. Rev. Stat. § 39-6-101(1)

name: mine
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: Colo. Rev. Stat. § 39-6-101(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us-co/statute/39/39-6-101
versions:
  - effective_from: '0001-01-01'
    formula: >-
      (mining_claim or other_land)

      and
      asset_includes_excavations_from_which_ores_metals_or_mineral_substances_are_removed

      and asset_includes_mining_improvements_within_such_excavations

      and asset_includes_appurtenant_rights_and_privileges

      and not
      asset_is_drilled_well_producing_sulfur_oil_gas_or_other_liquid_or_gaseous_hydrocarbons

▸rulespec code

Shown source

statutes/39/39-6-101.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

mining_claim

Derived

source: Colo. Rev. Stat. § 39-6-101(2)

- name: mining_claim
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: Colo. Rev. Stat. § 39-6-101(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us-co/statute/39/39-6-101
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        asset_is_lode_claim
        or asset_is_placer_claim
        or asset_is_millsite_claim
        or asset_is_tunnelsite_claim

other_land

Derived

source: Colo. Rev. Stat. § 39-6-101(4)

- name: other_land
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: Colo. Rev. Stat. § 39-6-101(4)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us-co/statute/39/39-6-101
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        asset_is_real_property
        and not mining_claim

mine

Derived

source: Colo. Rev. Stat. § 39-6-101(1)

- name: mine
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: Colo. Rev. Stat. § 39-6-101(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us-co/statute/39/39-6-101
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        (mining_claim or other_land)

        and asset_includes_excavations_from_which_ores_metals_or_mineral_substances_are_removed

        and asset_includes_mining_improvements_within_such_excavations

        and asset_includes_appurtenant_rights_and_privileges

        and not
        asset_is_drilled_well_producing_sulfur_oil_gas_or_other_liquid_or_gaseous_hydrocarbons

▸citations (1)

References

This rule cites 1 other rule.

CO 39 § 39-6-104inferredCO › Statutes › Title 39 › § 39-6-104

loading…

Definitions

3 rules

Official source

graph ↗build calculator ↗

As used in this article, unless the context otherwise requires:

(2) Mining claims means lode, placer, millsite, and tunnelsite claims, whether entered for patent, patented, or unpatented, regardless of size or shape.

(3) Ore includes, without limitation, metallic and nonmetallic mineral substances of every kind, except those specifically excluded under section 39-6-104.

(4) Other land means any parcel of real property which is not a mining claim.

in view

Whole section

Encodings · 3

mining_claimCO 39 § 39-6-101 · derived

Colo. Rev. Stat. § 39-6-101(2)

name: mining_claim
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: Colo. Rev. Stat. § 39-6-101(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us-co/statute/39/39-6-101
versions:
  - effective_from: '0001-01-01'
    formula: |-
      asset_is_lode_claim
      or asset_is_placer_claim
      or asset_is_millsite_claim
      or asset_is_tunnelsite_claim

other_landCO 39 § 39-6-101 · derived

Colo. Rev. Stat. § 39-6-101(4)

name: other_land
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: Colo. Rev. Stat. § 39-6-101(4)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us-co/statute/39/39-6-101
versions:
  - effective_from: '0001-01-01'
    formula: |-
      asset_is_real_property
      and not mining_claim

mineCO 39 § 39-6-101 · derived

Colo. Rev. Stat. § 39-6-101(1)

name: mine
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: Colo. Rev. Stat. § 39-6-101(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us-co/statute/39/39-6-101
versions:
  - effective_from: '0001-01-01'
    formula: >-
      (mining_claim or other_land)

      and
      asset_includes_excavations_from_which_ores_metals_or_mineral_substances_are_removed

      and asset_includes_mining_improvements_within_such_excavations

      and asset_includes_appurtenant_rights_and_privileges

      and not
      asset_is_drilled_well_producing_sulfur_oil_gas_or_other_liquid_or_gaseous_hydrocarbons

▸rulespec code

Shown source

statutes/39/39-6-101.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

mining_claim

Derived

source: Colo. Rev. Stat. § 39-6-101(2)

- name: mining_claim
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: Colo. Rev. Stat. § 39-6-101(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us-co/statute/39/39-6-101
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        asset_is_lode_claim
        or asset_is_placer_claim
        or asset_is_millsite_claim
        or asset_is_tunnelsite_claim

other_land

Derived

source: Colo. Rev. Stat. § 39-6-101(4)

- name: other_land
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: Colo. Rev. Stat. § 39-6-101(4)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us-co/statute/39/39-6-101
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        asset_is_real_property
        and not mining_claim

mine

Derived

source: Colo. Rev. Stat. § 39-6-101(1)

- name: mine
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: Colo. Rev. Stat. § 39-6-101(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us-co/statute/39/39-6-101
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        (mining_claim or other_land)

        and asset_includes_excavations_from_which_ores_metals_or_mineral_substances_are_removed

        and asset_includes_mining_improvements_within_such_excavations

        and asset_includes_appurtenant_rights_and_privileges

        and not
        asset_is_drilled_well_producing_sulfur_oil_gas_or_other_liquid_or_gaseous_hydrocarbons

▸citations (1)

References

This rule cites 1 other rule.

CO 39 § 39-6-104inferredCO › Statutes › Title 39 › § 39-6-104