D Evaluation see SX Inheritance SX food NOT (Evaluation reach SX) Evaluation see SY Inheritance SY PickUppable then Do PickUp SY Do Push With SX SY may potentially be a useful program to execute for getting food. if it then knows that Inheritance paper PickUppable this is enough (via one more

InheritanceLink $X animal acting on the input EFTA00624187 20.3 Representing Functions and Predicates 41 cat or the predicate InheritanceLink SX SY acting on the list input (cat, animal) This means that, if we wanted to, we could do away with all Link types except OrderedLink and UnorderedLin

g single-variable ones. For instance, given eats SX fish lives_in $X Antarctica one may choose to investigate various combinations such as (eats SX SY) AND (lives_in $Y) (this particular example will have a predictably low truth value). So, the introduction of multiple variables may be done in th