人工製品形式化的探討

本文旨在探討如何在GFO中形式化人工製品。人工製品是由有意圖的行為者有意製造的物質對象,具有特定的用途。本文將建立人工製品的基本範疇和公理,並考慮GFO現有的模組,如空間模組、物件-過程整合和功能模組。