139

Formalisation de la notion d'objet en biologie

h

i

Fig. 5.1 : Illustration d'une assertion composite a_h

5.1.4 Exemples

Une assertion composite "mammifère" peut s'écrire :

[[sexe(mammifère)] = V^x[[age(mammifère)] = V^x
1^{]] [!]} 2^{] [!]} [[poids(mammifère)] = V^x
3^{] [!]}
[[subparts(mammifère)] = {tête, tronc, membres}]

a_x

=

Les valeurs de la variable y^x
4 composites :

= [subparts(mammifère)] sont aussi des assertions

=[[forme(tête)] = V^yy
1^{]] [!] [[taille(tête)] = V}2^{] [!]}
[[subparts(tête)] = {oreilles, yeux, bouche, nez}]

a_y

= tête

De manière analogue pour notre application sur les éponges marines, on définit une assertion composite "corps" de l'éponge :

[[forme(corps)] = V⁶
1^{]] [!] [[taille(corps)] = V6}
2^{] [!]} [[consistance(corps)] = V⁶⁶
3^{] [!] [[couleur(corps)] = V}4^{] [!]} [[subparts(corps)] = {macro-constituants, micro-elements}]

a₆

=

y⁶
5

Les

valeurs

de

la

variable

=

[subparts(corps)]

sont

des

assertions

composites :

[[forme(face-exhalante)] = V⁸
1^{]] [!]}
[[subparts(face-exhalante)] = {orifices, cône-central, membrane-criblée}]

(voir a₆et a₈sur le schéma du modèle descriptif de la figure 5.2 : on remarquera la correspondance entre un objet physique "face exhalante" et l'objet contextuel "macro constituants". Ce dernier est un label de description, une étiquette indiquant qu'il faut observer à une échelle macroscopique alors que les autres objets du corps de l'éponge s'observent dans un contexte microscopique) :

a₈

=