Part of these conditions concerns the form (syntax ) of a knowledge-representation formalism;
others concern its meaning (semantics). Unfortunately, it turns out that there is not a
single knowledge-representation formalism which meets all of the requirements mentioned.