L'extraction de connaissances à partir de modèles géométriques 3D et les raisonnements associés constituent un enjeu important pour permettre le développement d'ontologies capables de décrire fonctionnellement des produits manufacturés. Dans ce contexte, nous nous appuyons sur la logique déductive apportée par une base de connaissances étroitement couplée à un modeleur géométrique 3D. Les raisonnements faisant appel au concept de forme 3D restent difficiles à formaliser et les informations géométriques difficiles à extraire. Nous proposons une formalisation de propriétés telles que 'à la même forme que', 'est de la même famille que' pour montrer comment l'extraction d'informations géométriques 3D est reliée à ces propriétés. Par la suite, une formalisation de propriétés telles que 'est un empilage', 'est un regroupement' est introduite pour montrer les raisonnements qui contribuent à la structuration d'assemblages 3D. Ces propriétés sont illustrées à l'aide d'un exemple de pompe hydraulique.