Téléchargement au format .pdf

180 La categorisation
s s
f := un homme
g:= un habitant de l'Europe
g:= qui habite l'Europe
xs
Figure 6.11: Exemple 1
f := ^etre ours
g := vivre au Canada
x := un ours canadien, x =((g)(f))
4 Un habitant de Brest est un homme qui habite la ville de Brest et non pas
un ^etre de Brest qui est homme. (Cf. gure 6.14)
f := ^etre homme
g := habiter la ville de Brest
xs
s
f := un oiseau
=g 1 g 2 ::: g n
s
g:= un non volant
Figure 6.12: Exemple 2