Hi Itamar,
me too I am not very taxonomy inclined but some are. That said first Bloom level is easier than last one 
For the equation part of Socrate, it is treated as relation as all other things.
The trick or the challenge of Socrate is to completly separate, isolate, the domain of knowledge from the exercices we want to suggest to our students. The teacher never edit a question, Socrate generate questions based on predifined questions models. For sure if a teacher want to manually edit a question, all Moodle features are always available but outside the generation process of Socrate.
Socrate started few years ago and at that time my organisation use a Québec government LMS Decclic and for my departement I choose Moodle. In it first start of it life, Socrate was a Visual Basic
that create Scorm/HTML exercices based on CourseLab. These exercices, mostly their HTML forms, were compatibles with Moodle and Decclic. If you want to see the look of the questions generated at this moment check that Socrate "auto-presentation" ! ( be patient the file is heavy )
The knowledge, to be interpreted as pseudo facts or as rules, is entered in a 3 columns format:
Concept, Property, Value
Accélération , Définition , Accroissement de la vitesse
Accélération , Définition de l'unité , m/s2
Accélération , Équation , a = F / m
Accélération , Grandeur , Accélération
Accélération , Symbole de grandeur , a
Accélération , Symbole de l'unité , m/s2
Accélération , Unité , Mètre par seconde carré
Accélération , Voyelle , A
Accélération , Genre , f
...
Tension , Définition , Énergie divisée par une charge
Tension , Équation , V = R * I
Tension , Équation , V = W / Q
Tension , Grandeur , Tension
Tension , Symbole de grandeur , V ou E
Tension , Symbole de l'unité , V
Tension , Unité , Volt
Tension , Définition , Énergie divisée par une charge
Tension , Équation , V = R * I
Tension , Équation , V = W / Q
Tension , Grandeur , Tension
Tension , Instrument de mesure , Voltmètre
Tension , Negative , Inverse
Tension , Représentation graphique , Source de tension
Tension , Représentation graphique , Batterie
Tension , Symbole de grandeur , V ou E
Tension , Symbole de l'unité , V
Tension , Unité , Volt
Tension , Genre , f
These simple statements are interpreted by Socrate as pseudo facts or rules:
Tension , Genre , f
concept(Tension , Genre , f)
The teacher or author enter simple text to describe it domain in 3 columns but Socrate can interpret these as pseudo Prolog.
Many question models are ( will ) be available from the simple that ask to recognize the definition of the concepts to those more complex that include the equation property. For example one model ( I will post images only tomorrow VB not installed on my new computer! ) include 5 differents curves generated with Geogebra applet. The equation curve and 4 distractors curves with each a slightly different equation to see if the student recognize the curve. Many more questions models can/will imaginated as numerical calculations problems. These models are applicable to equations V = R * I, a = F / m, V = W / Q, ...
Socrate use also fact about concepts ( gender, plural, ... ) and apply agreement rules to compose good sentences.
Thanks for reading seriously Socrate,
Bernard