Simple Browser : Welcome guest : log in

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

KB Term:

Entity

Knowledge base statistics: as of 2026/02/28 Total Terms Total Axioms Total Rules 26119 388729 7955 Relations: 1860 non-linguistic axioms: 323720 Ground tuples: 380676   of which are binary: 310151   of which arity more than binary: 70623 Rules: 7955   of which are horn: 2654 first-order: 5803 temporal: 929 modal: 305 epistemic: 94 other higher-order: 950

Show without tree