Cuando diseñamos una representación del conocimiento (y un sistema de representarían del conocimiento para interpretar frases en la lógica para poder derivar inferencias de ellas) tenemos que hacer elecciones a lo largo de un número de ámbitos de diseño.