GB/T 20719的本部分通過使用GB/T 20719的一組公理和定義提供了屬于PSL語方外核的概念表述。這些公理為GB/T 20719外核中的術語提供了語義的公理化。
GB/T 20719本部分的范圍包括：
——活動和子活動的集合；
——離散活動和狀態(tài)；
——活動發(fā)生的約束；
——基本活動的并發(fā)；
——復雜活動；
——復雜活動的發(fā)生。
三等標準金屬線紋尺航測儀器整機精度檢定規(guī)程滾動軸承 零件碳氮共滲 熱處理技術規(guī)范地熱回灌過濾裝置技術要求全球地理信息資源 數(shù)據(jù)產品規(guī)范無人機航空攝影成果質量檢查與驗收水電工程啟閉機設計規(guī)范 第4部分：液…高原用移動式現(xiàn)場煤油氣相干燥設備的…
砂輪機 安全防護技術條件機械防護安全距離【作廢】建筑塔式起重機安全規(guī)程【作廢】機械加工設備危險有害因素分類【作廢】起重機械安全規(guī)程【作廢】機械設備防護罩安全要求【作廢】塔式起重機操作使用規(guī)程金屬切削機床安全防護通用技術條件【…
