GB/T 20719的本部分通過使用GB/T 20719的一組公理和定義提供了屬于PSL語方外核的概念表述。這些公理為GB/T 20719外核中的術(shù)語提供了語義的公理化。
GB/T 20719本部分的范圍包括：
——活動和子活動的集合；
——離散活動和狀態(tài)；
——活動發(fā)生的約束；
——基本活動的并發(fā)；
——復(fù)雜活動；
——復(fù)雜活動的發(fā)生。
復(fù)式種子清選機質(zhì)量評價技術(shù)規(guī)范玉米收獲機 作業(yè)質(zhì)量聲學(xué) 水聽器加速度靈敏度校準(zhǔn)方法金覆蓋層厚度的掃描電鏡測量方法浮油回收裝置鋸材干燥設(shè)備性能檢測方法輥式砂光機通用技術(shù)條件工業(yè)自動化儀表盤、柜、臺、箱
