ГОСТ Р ИСО 18629-44 - 2011
- (inventory pool ?s1 ?s2 ?a);
- (inventory contains ?s1 ?s2 ?a).
Каждое понятие обусловлено неформальной семантикой и некоторой
аксиомой KIF.
13.3 Теории,обусловленныенаборомматериально
производственных ресурсов
Для данной теории необходимы:
- res._set.th;
- additive .th;
- requires.th;
- act occ.th;
- complex.th;
- subactivity.th;
- occtree.th;
- disc state.th;
- psl_core.th.
13.4 Дефинициональныерасширения,обусловленныенабором
материально-производственных ресурсов
Нижеследующие дефинициональные расширения обусловлены набором
материально-производственных ресурсов:
- homogeneous set.def;
- subst res.def;
- res set action.def;
- processor.def.
13.5 Определениядлянабораматериально-производственных
ресурсов
Длянабораматериально-производственныхресурсовопределены
нижеследующие понятия.
13.5.1 inventory_resource
Материально-производственный ресурс - это либо входной материал,
либо выходной материал для некоторого действия.
33