---
# docxology:generated-document SKILL.md; ownership=explicit-manifest
name: "Rikishi: Reproducible operation and analysis of the Suggested Upper Merged Ontology"
description: "The Suggested Upper Merged Ontology (SUMO) supplies general categories, relations and axioms for knowledge representation. Its source language, Standard Upper Ontology Knowledge Interchange Format (SUO-KIF), and its reasoning environment, Sigma Knowl..."
tags: ["sumo", "suo-kif", "ontology", "automated-theorem-proving", "lean", "free-energy-principle", "finite-probability", "reproducible-research", "provenance", "active-inference"]
domain: "Computational"
citation: "Daniel Ari Friedman (2026). *Rikishi: Reproducible operation and analysis of the Suggested Upper Merged Ontology*. Zenodo (preprint)."
doi: "10.5281/zenodo.23987670"
artifact_doi: "10.5281/zenodo.23987671"
---

# Rikishi: Reproducible operation and analysis of the Suggested Upper Merged Ontology

**Daniel Ari Friedman** (2026) · Computational

## Context

This work addresses topics in **Computational**: SUMO, SUO-KIF, ontology, automated theorem proving.

## Methods

Primary methods and techniques applied in this work:

No paper-specific methods have been summarized yet; see the abstract and the full text.

## Key Findings

Core contributions and results:

No paper-specific findings have been summarized yet; see the abstract and the full text.

## Related Works

- [2024_OntologySUMO](../2024_OntologySUMO/)

## Validation

Verification points for this work:

- Canonical DOI: 10.5281/zenodo.23987670
- PDF SHA-256: 0c4ced81075d3f4c6a5fae772b5497882dddc3fbae17fedce21e8b37336ada27
- Pairing confidence: unknown
- Last checked: 2026-11-06T17:48:04.837653+00:00
- Artifact DOI: 10.5281/zenodo.23987671

## Prerequisites

- Familiarity with SUMO, SUO-KIF, ontology
- Background in Computational fundamentals
- Access to source repository: docxology/rikishi

## Instructions

When working with this paper:

1. Reference the DOI for citation: `10.5281/zenodo.23987670`
2. Read the methods in the full text before reusing this work.
3. Validate findings against the original PDF and metadata.