ГОСТ Р ИСО 18629-12—2010
В терминах внешнего ядра PSL представление отдельных видов деятельности и соответствующей техноло
гической информации будет следующим:
(subactivity extrude make_harness_wire)
(subactivity twist nrake_harness_wire)
(subactivity jacket make_hamess_wire)
(primitive extrude)
(primitive twist)
(primitive jacket)
(forall (?occ)
(«=> (occurrence_ol ?occ make_hamess_wire)
(exists (?occ1 ?occ2 ?occ3)
(and(occurrence_of ?occ 1 extrude)
(occumence_of ?occ2 twist)
(occurrence_of ?occ3 jacket)
(min_precedes ?occ1 ?occ2 make_hamess_wire)
(min_precedes ?occ2 ?occ3 make_hamess_wire))))
31