WordNet mapping browser : Welcome guest : log in

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

SUMO Search Tool

This tool relates English terms to concepts from the SUMO ontology by means of mappings to WordNet synsets.

• SUMO Mappings: FieldOfStudy (instance mapping)

Gloss: any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

hypernym 105664069 - logic, logical_system, system_of_logic
hyponym 106165000 - Boolean_algebra, Boolean_logic
hyponym 106165147 - propositional_calculus, propositional_logic
hyponym 106165364 - functional_calculus, predicate_calculus
hyponym 106165823 - modal_logic
hyponym 106166494 - fuzzy_logic

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation