From WordNet (Fellbaum, 1998;Bond et al., 2009), we can derive entailment and contradiction relations using synsets and synset-links that represent relations such as 'troponym', 'antonym' and 'entailment'.
happens-before and anomalous obstruction relations cannot be derived from it, since there is no information on temporal ordering except that on causality.