GB/T 20719的本部分通过使用GB/T 20719的一组公理和定义提供了属于PSL语方外核的概念表述。这些公理为GB/T 20719外核中的术语提供了语义的公理化。
GB/T 20719本部分的范围包括：
——活动和子活动的集合；
——离散活动和状态；
——活动发生的约束；
——基本活动的并发；
——复杂活动；
——复杂活动的发生。
YAKK、YAKK-W 系列（10 kV）高压增安…柴油机电控共轨系统进油计量阀试验台单体铸造活塞环铸件单位产品能耗限额机械压力机能耗测定方法起重机用钢轨石料矿山开采设备二维可移动圆盘式锯…往复式内燃机正时链条可靠性试验方法周边传动自动分段提耙浓缩机
砂轮机 安全防护技术条件机械防护安全距离【作废】建筑塔式起重机安全规程【作废】机械加工设备危险有害因素分类【作废】起重机械安全规程【作废】机械设备防护罩安全要求【作废】塔式起重机操作使用规程金属切削机床安全防护通用技术条件【…
