SigmaKEE

Explore the Suggested Upper Merged Ontology (SUMO)

Add SUMO constituents from ontologyportal/sumo

Add a constituent from elsewhere

Upload a .kif file

Assertions — tell (added to the KB for this query)

Query — ask

time limit (s)

Saturates the loaded KB looking for a logical contradiction — the same check as the sumo audit CLI command, run entirely in-browser.

time limit (s)

max found