ГОСТ Р ИСО 18629-44 - 2011
(and (processor_activity ?а)
(or (consumable ?r ?a)
(possibly_consumable ?r ?a))))))
14.5.4 output_material
Объект ?r является выходным материалом для некоторого действия ?а,
если ?а - это действие процессора, производящее, потребляющее или
возможно потребляющее ?г.
Пример - В типовом производственном случае выходной материал -это либо
нечто созданное (например, печатная плата), либо нечто возможно потребляемое
(например, некоторое сборочное приспособление, на которое устанавливаются
вспомогательные детали).
(forall (?r ?а) (iff (output_material ?r ?а)
(and (processor_activity ?a)
(or (creates ?a?r)
(consumable ?r ?a)
(possibly_consumable ?r ?a))))))
15 Пути ресурса
Данный раздел характеризует все определения, обусловленные путями
ресурса.
15.1 Примитивная лексика путей ресурса
Лексика путей ресурса не требует никаких примитивных соотношений.
15.2 Определяемая лексика путей ресурса
Вданном подразделе определены следующие соотношения:
- (next_.processor path ?а ?s);
- (pro precedes ?a ?s);
- (resource, path ?a ?s)
- (initial, resource path ?a ?s);
- (final resource path ?a ?s).
Каждое понятие обусловлено неформальной семантикой и некоторой
аксиомой KIF.
15.3 Теории, обусловленные путями ресурса
Для данной теории необходимы:
- additive .th;
- requires.th;
37