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: the branch of philosophy that analyzes inference

hypernym 106158346 - philosophy
derivationally related 110269785 - logician, logistician
derivationally related 110269785 - logician, logistician
member topic 300110853 - analytic, analytical
member topic 300111129 - synthetic, synthetical
member topic 300722707 - extensional
member topic 300723910 - intensional
member topic 301296270 - inductive
member topic 301297152 - inferential
member topic 301547721 - nonmonotonic
member topic 302372697 - interchangeable
member topic 302373981 - noninterchangeable
member topic 302461295 - apodeictic, apodictic
member topic 302592890 - categorematic
member topic 302593269 - syncategorematic
member topic 302992070 - scopal
member topic 104785195 - consistency
member topic 104785414 - completeness
member topic 105780563 - corollary
member topic 105781663 - non_sequitur
member topic 105857974 - arity
hyponym 106166644 - modal_logic
member topic 106302542 - logical_quantifier, quantifier
member topic 106310125 - subject
member topic 106316813 - predicate
member topic 106647614 - proof
member topic 106724559 - paradox
member topic 106733227 - postulation, predication
member topic 106738823 - explanandum, explicandum
member topic 106739013 - explanans
member topic 106750804 - proposition
member topic 106751142 - particular, particular_proposition
member topic 106751367 - universal, universal_proposition
member topic 106751572 - negation
member topic 106753299 - posit, postulate
member topic 106753550 - axiom
member topic 107091385 - tautology
member topic 107206887 - contradiction, contradiction_in_terms
member topic 113509042 - logic_operation, logical_operation
member topic 113783038 - logical_relation
member topic 113798491 - transitivity
member topic 113798814 - reflexiveness, reflexivity
member topic 200492095 - quantify
member topic 200716345 - presuppose, suppose

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation