WordNet: panencephalitis