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: Proposition (subsuming mapping)

Gloss: of a proposition whose truth value is determined by observation or facts; "`all men are arrogant' is a synthetic proposition"

also see 300139126 - a_posteriori
also see 301296270 - inductive
also see 301430111 - logical
domain topic 106163751 - logic
derivationally related 105774129 - deduction, deductive_reasoning, synthesis
antonym 300110853 - analytic, analytical

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation