 Depending on the language, the order of declaration of these predicates within the knowledge base may or may not influence the result of applying logical rules.Upon application of certain 'rules' or inferences, new predicates may be added to a knowledge base.As new facts are established or added, they form the basis for new inferences.