Simple Browser : Welcome guest : log in

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

KB Term:

EastMiddleGermanLanguage

Knowledge base statistics: as of 2025/09/18 Total Terms Total Axioms Total Rules 16452 236421 7546 Relations: 1774 non-linguistic axioms: 170150 Ground tuples: 228784   of which are binary: 157150   of which arity more than binary: 71725 Rules: 7546   of which are horn: 2567 first-order: 5573 temporal: 845 modal: 279 epistemic: 89 other higher-order: 871

Show without tree