ГОСТ Р 59798—2021
А.1.2.79 First instant of (первый момент времени)
Определение: temporal instant t first instant of temporal region f означает, что t предшествует всем времен
ным частям V, отличным от t [210-BFO].
Предметная область: момент времени
Диапазон: временная область
Пример
—
Час, начинающийся в полночь вчера, означает первый момент времени «полночь» вчера.
А.1.2.80 Has first instant (имеет первый момент времени)
Определение: t has first instant Г означает, что t’является первым моментом времени t [261-BFO].
Предметная область: временная область
Диапазон: момент времени
Пример
—
Первый час года имеет первый момент времени «полночь» 31 декабря.
А.1.2.81 First instant of (последний момент времени)
Определение: temporal instant t last instant of temporal region f означает, что все временные части t’, отлич
ные от t, предшествуют t [211-BFO].
Предметная область: момент времени
Диапазон: временная область
Пример
—
Последняя полночь
—
последний момент времени вчерашнего дня.
А.1.2.82 Has last instant (имеет последний момент времени)
Определение: t has last instant t’ означает, что Г является последним моментом времени t [215-BFO].
Предметная область: временная область
Диапазон: момент времени
Пример
—
Последний час года имеет последний момент времени «полночь» 31 декабря.
А.1.2.83 precedes (предшествует)
Пояснение: если о и о’являются оккурентами, и t является временной протяженностью о, а Г является вре
менной протяженностью о’, тогда о precedes о’означает, что
последний момент о предшествует первому моменту о’,
или последний момент о равен первому моменту о’, при этом ни о, ни о’ не являются моментами времени
[212-BFO],
Предметная область: оккурент
Диапазон: оккурент
Пример
—
Временная область, занятая рождением Марии, предшествует временной области, за
нятой смертью Мэри.
П р и м е ч а н и я
1 Каждая временная область является собственной временной протяженностью. Временная протяженность
пространственно-временной области — это временная область, на которую она временно проецируется.
Временная протяженность процесса или границы процесса, которые занимают временную область t, равна t.
2 Precedes (предшествует) определяет строгий частичный порядок оккурентов.
А.1.2.84 Preceded by (следует за ...)
Определение: Ь preceded by с означает, что в определенный момент времени t, b следует за с в момент
t [213-BFO].
Предметная область: оккурент
Диапазон: оккурент
Пример
—
Временная область, занимаемая второй половиной матча, следует за временной об
ластью, занимаемой первой половиной матча.
А.1.3 Бинарные аналоги троичных отношений BFO 2020 для использования в BFO 2020-OWL
А.1.3.1 Continuant part of at some time (континуантная часть ... в определенный момент времени)
Определение: Ь continuant part of с at some time означает, что в определенный момент времени t: b суще
ствует в момент t, с существует в момент t, b является континуантной частью с в момент t, при этом t является
временной областью, а Ь и являются континуантами [221-BFO].
Примеры
—
Молочные зубы когда-то были континуатной частью человека, хирургически удален
ная опухоль когда-то была континуатной частью организма.
16