The Cube of Opposition: A Structure Underlying Many Knowledge Representation Formalisms