Simple Browser : Welcome guest : log in

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

KB Term:

AndhLanguage

Knowledge base statistics: as of 2025/10/31 Total Terms Total Axioms Total Rules 16453 236429 7547 Relations: 1774 non-linguistic axioms: 170156 Ground tuples: 228791   of which are binary: 157155   of which arity more than binary: 71727 Rules: 7547   of which are horn: 2566 first-order: 5574 temporal: 846 modal: 279 epistemic: 89 other higher-order: 870

Show without tree