Simple Browser : Welcome guest : log in

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

KB Term:

Pulmonologist

Knowledge base statistics: as of 2025/11/08 Total Terms Total Axioms Total Rules 16458 236477 7547 Relations: 1774 non-linguistic axioms: 170194 Ground tuples: 228839   of which are binary: 157193   of which arity more than binary: 71737 Rules: 7547   of which are horn: 2565 first-order: 5574 temporal: 846 modal: 279 epistemic: 89 other higher-order: 870

Show without tree