Interprétation d'un verbe comme entité pour le motif X(arg0: Y)
Le motif X(arg0: Y)
(absence d'autre argument pour X) doit conduire à l'interprétation suivante :
- X est une entité de nom
X-of-Y
- une propriété
hasX
et une restriction sur la classe Y avec la propriétéhasX
- si
Y
est une classe avec une ou plusieurs instances, alors des instances doivent être générés pourX-of-Y
, et les propriétés correspondantes
Voir SSC-15 :
-
orbit(arg0: planet)
donneorbit-of-planet
- les instances
Jupiter
etMars
deplanet
donne les instancesorbit-of-Mars
etorbit-of-Jupiter
pour la classeorbit-of-planet