Net:	UniNet
Type:	Synset
Cat:	Noun
Senses:	mathematische Logik
Sem. Relations:	Hypernym: Logik... reine Mathematik...