Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

  Entity

 Knowledge base statistics: as of 2026/02/13
Total TermsTotal AxiomsTotal Rules
26115 388697 7946

Relations: 1859
non-linguistic axioms: 323697

Ground tuples: 380653
  of which are binary: 310137
  of which arity more than binary: 70614

Rules: 7946
  of which are horn: 2651
first-order: 5799
temporal: 924
modal: 305
epistemic: 94
other higher-order: 950

termFormats: 26056
unique terms in termFormats: 25335

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners