GB/T 20719的本部分通过使用GB/T 20719的一组公理和定义提供了属于PSL语方外核的概念表述。这些公理为GB/T 20719外核中的术语提供了语义的公理化。
GB/T 20719本部分的范围包括：
——活动和子活动的集合；
——离散活动和状态；
——活动发生的约束；
——基本活动的并发；
——复杂活动；
——复杂活动的发生。
复式种子清选机质量评价技术规范玉米收获机 作业质量声学 水听器加速度灵敏度校准方法金覆盖层厚度的扫描电镜测量方法浮油回收装置锯材干燥设备性能检测方法辊式砂光机通用技术条件工业自动化仪表盘、柜、台、箱
砂轮机 安全防护技术条件机械防护安全距离【作废】建筑塔式起重机安全规程【作废】机械加工设备危险有害因素分类【作废】起重机械安全规程【作废】机械设备防护罩安全要求【作废】塔式起重机操作使用规程金属切削机床安全防护通用技术条件【…
