Двадцатое столетие — это интервал времени. Интервалы представляют собой фрагменты пространства—времени, которые включают все пространство между двумя точками во времени. Функция Period(e) обозначает наименьший интервал, включающий событие е, а функция Duration(i) — это продолжительность времени, занятая некоторым интервалом i, поэтому можно сформулировать высказывание

Австралия — это место, т.е. фрагмент пространства—времени с некоторыми фиксированными пространственными границами. Границы могут изменяться во времени вследствие геологических или политических изменений. Для обозначения отношения с участием подсобытия, которое имеет место, если пространственная проекция одного события является частью PartOf другого события, используется предикат In:

In {Sydney, Australia)

Функция Location (e) обозначает наименьшее место, которое включает событие е.

Как и объекты любого другого рода, события могут быть сгруппированы по категориям. Например, WorldWarll принадлежит к категории войн Wars. Чтобы сформулировать утверждение, что гражданская война происходила в Англии в 1640-х годах, можно привести следующее высказывание:

Понятие категории событий позволяет найти ответ на вопрос, которого мы избегали при описании результатов действий в разделе 10.3: на что именно ссылаются такие логические термы, как Go ([1,1], [1,2])? Являются ли они событиями? Ответ на этот вопрос отрицателен, что на первый взгляд может показаться неожиданным. Но в этом можно убедиться, рассмотрев план с двумя "идентичными" действиями, такой как следующий:

В этом плане выражение Go( [1,1] , [1, 2] ) не может быть именем события, поскольку в нем представлены два разных события, происходящих в разное время. Вместо этого Go ( [ 1,1 ] , [ 1, 2 ] ) представляет собой имя категории событий — всех тех событий, в которых агент переходит из квадрата [1,1] в квадрат [1,2]. Приведенный выше трехшаговый план сообщает о том, что должны осуществиться экземпляры этих трех категорий событий.

Обратите внимание на то, что здесь мы впервые встретились с категориями, именованными с помощью сложных термов, а не просто константных символов. Это обстоятельство не должно стать источником новых затруднений, поскольку фактически мы можем использовать такую структуру параметров предикатов, которая является наиболее удобной. Устранение параметров позволяет создать более общую категорию:

Аналогичным образом можно добавлять параметры для создания более конкретных категорий. Например, чтобы описать действия, осуществляемые другими агентами, можно добавить параметр с обозначением агента. Поэтому, чтобы сформулировать утверждение, что знаменитый математик Шанкар вчера прилетел из Нью-Йорка в Нью-Дели, можно записать следующее:

Формулы в таком виде применяются настолько часто, что мы создадим для таких формул сокращение Е(с, i), которое будет означать, что элемент категории событий с является подсобытием события или интервала i:

Таким образом, переформулируем приведенное выше утверждение следующим образом:

Ε (Fly (Shankar, NewYork,NewDelhi) , Yesterday)