Simple Browser : Welcome guest : log in

[  Home |  Graph |  LogLearn |  ]  KB:  SUMO Language:  ChineseLanguageChinesePinyinWritingChineseSimplifiedWritingChineseTraditionalLanguageEnglishGroupLanguageEnglishLanguageFrenchLanguageGermanLanguageJapaneseLanguagePortugueseLanguageSpanishLanguageSwedishLanguagemeasuringListInterval   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

---

Knowledge base statistics: as of 2026/07/21

KB Term:

Total Terms	Total Axioms	Total Rules
31544	497874	8202

Relations:	26337
non-linguistic axioms:	432453

Ground tuples:	489475
of which are binary:	411822
of which arity more than binary:	77850

Rules:	8202
of which are:	horn:	2775
	first-order:	6005
	higher-order:	2197
of which are:		temporal:	717
		deontic:	109
		epistemic:	130
		other modal:	1107

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-55e0ac83 (2026-07-10) is open source software produced by Articulate Software and its partners