WordNet mapping browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

SUMO Search Tool

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

English Word: 
Noun Synset: 105664069

Words: logic, logical_system, system_of_logic

Gloss: a system of reasoning

hypernym 105661996 - system, system_of_rules
derivationally related 110269785 - logician, logistician
derivationally related 110269785 - logician, logistician
hyponym 105664344 - Aristotelian_logic
hyponym 106164665 - formal_logic, mathematical_logic, symbolic_logic
member topic 200593669 - extrapolate
member topic 200636441 - induce
member topic 200636574 - deduce, deduct, derive, infer
member topic 200666886 - contradict, negate
member topic 200728826 - elicit

Show OWL translation

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners