ГОСТ Р 59798—2021
экземпляром типа temporal region (временная область). Для применения в OWL предусмотрены двоичные версии
всех троичных отношений.
А.1.1.6 Двоичные версии троичных выражений отношения для применения в BFO 2020-OWL
Выражения отношения в А.1.3 представляются как двоичные аналоги соответствующих выражений отноше
ния BFO 2020 для применения в языке OWL, где все отношения должны быть бинарными. Предметная область и
диапазон во всех случаях аналогичны троичному представлению. Все двоичные версии имеют определения, даже
если базовому отношению дается пояснение только в А.1.2, поскольку это базовое отношение используется для
построения соответствующих определений.
А.1.2 BFO 2020 термины, определения и пояснения
А.1.2.1 Entity (сущность)
Пояснение: сущность — это все, что существует, существовало или будет существовать [001-BFO].
Пример
—
Юлий Цезарь, Вторая мировая война, ваш индекс массы тела, «Реквием» Верди.
А. 1.2.2 Is а (это)
Определение: A is а В означает, что для любых х и t, если х является экземпляром А в момент време
ни t, то х является экземпляром В в момент времени t [140-BFO]. Предметная область: универсалия
Диапазон: универсалия
Примеры— Дом
—
это здание, симфония
—
это музыкальное произведение искусства, прогулка
—
это танцевальный шаг, обещание
—
это речевой акт, деление клеток
—
это биологический процесс.
А.1.2.3 Instance of at (это экземпляр ... в момент ...)
Синоним: instantiates (создает)
Пояснение: отношение (3.2) между партикулярией (3.5) и универсалией (3.6) в определенный момент време
ни [200-BFO]. Предметная область: партикулярия
Диапазон: универсалия
Примеры
—
Джон
—
экземпляр человека, этот ноутбук
—
экземпляр ноутбука; 2012 год
—
экзем
пляр временной области; рождение Джона
—
экземпляр процесса, «all at time»: сейчас.
П р и м е ч а н и е — Отношения инстанцирования для оккурентов всегда выполняются тривиально.
А.1.2.4 Exists at (существует в)
Пояснение: exists at — это отношение между партикулярией и какой-то временной областью, в которой
партикулярия существует [118-BFO].
Предметная область: сущность
Диапазон: временная область
Примеры
—
Первая мировая война существует в 1914— 1916 годах, Мексика существует 1января
2000 года.
А.1.2.5 Continuant part of at (континуантная часть ... в момент ...)
Пояснение: Ь continuant part of с at t означает: Ь и с являются континуантами и Ь является частью с в
момент t и [002-BFO]. Предметная область: континуант
Диапазон: континуант
Примеры
—
Рука Мэри
—
континуантная часть Мэри во время ее жизни до операции; северное
полушарие планеты Земля
—
континуантная часть планеты Земля на протяжении всего срока суще
ствования планеты Земля.
П р и м е ч а н и е — Пояснения для А. 1.2.5 (а также А.1.2.6) приводятся, поскольку неформальное выраже
ние «часть» используется как в определителе, так и в определяемом.
А.1.2.6 Has continuant part at (имеет континуантную часть ... в момент ...)
Пояснение: b has continuant part с at t означает, что Ь и с являются континуантами, и Ьявляется частью с
в момент t [201-BFO]. Предметная область: континуант
Диапазон: континуант
Примеры
—
Планета Земля имеет континуантную часть «экватор».
А.1.2.7 Occurrent part of (оккурентная часть ...)
Пояснение: Ьoccurrent part of с означает, что Ь является частью с, а Ьи с являются оккурентами [003-BFO].
Предметная область: оккурент
Диапазон: оккурент
Примеры
—
Пятый день рождения Мэри
—
оккурентная часть ее жизни; первый сет теннисного
матча
—
оккурентная часть теннисного матча.
6