Those who wants to dig further may be interested in : * FBS Ontology https://en.wikipedia.org/wiki/Function-Behaviour-Structure_o...

* Axiomatic design https://www.sciencedirect.com/topics/engineering/axiomatic-d...

* C-K Theory https://en.wikipedia.org/wiki/C-K_theory