GB/T 20719的本部分通過使用GB/T 20719的一組公理和定義提供了屬于PSL語方外核的概念表述。這些公理為GB/T 20719外核中的術語提供了語義的公理化。
GB/T 20719本部分的范圍包括：
——活動和子活動的集合；
——離散活動和狀態(tài)；
——活動發(fā)生的約束；
——基本活動的并發(fā)；
——復雜活動；
——復雜活動的發(fā)生。
無損檢測 術語 第14部分：視覺檢測激光打印機干式雙組分顯影劑用墨粉激光打印機用干式顯影劑激光打印機干式雙組分顯影劑用墨粉傳真機、多功能復合型傳真機環(huán)境保護…縷紗測長機校準規(guī)范織物厚度儀校準規(guī)范往復移動式織物密度鏡校準規(guī)范
砂輪機 安全防護技術條件機械防護安全距離【作廢】建筑塔式起重機安全規(guī)程【作廢】機械加工設備危險有害因素分類【作廢】起重機械安全規(guī)程【作廢】機械設備防護罩安全要求【作廢】塔式起重機操作使用規(guī)程金屬切削機床安全防護通用技術條件【…
