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 (instance mapping)

Gloss: (mathematics) any of five axioms that are generally recognized as the basis for Euclidean geometry

hypernym 106753550 - axiom
domain topic 106000644 - math, mathematics, maths
hyponym 106005999 - Euclid's_first_axiom
hyponym 106006117 - Euclid's_second_axiom
hyponym 106006243 - Euclid's_third_axiom
hyponym 106006364 - Euclid's_fourth_axiom
hyponym 106006458 - Euclid's_fifth_axiom, parallel_axiom

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation