SigmaKEE
Explore the Suggested Upper Merged Ontology (SUMO)
SUMO in your browser
The sigmakee-rs native prover compiled to WebAssembly. Search above to
explore the ontology — try Human, Process or
part — manage what is loaded under
Knowledge base, prove things under
Ask/Tell, and edit or contribute changes under
Edit. Everything runs locally: no server.
.kif.tq files through the picker,
URL, or upload above — they run against the loaded KB instead of joining it.proof graph
graphviz (DOT) source
raw engine output
Saturates the loaded KB looking for a logical contradiction and prints the proofs for said contradictions.
Opens a pull request against ontologyportal/sumo with this file.
You will be forked automatically if you lack push access. Your token is sent
only from this browser to api.github.com — this page is static,
there is no server behind it.
public_repo.
Create one ↗
Commit history from ontologyportal/sumo via the public GitHub API
(no sign-in; unauthenticated requests are rate-limited to 60/hour).