支持自然语言的任何知识表示系统的一个中心模块是对动词和时间的处理。很多语言涉及时间，包括隐含在时态中的时间信息、句子的体态以及由一些时间副词所表示的明显的时间信息（如“for five minutes”,“yesterday”,“at 3 o'clock”,“after they had left”)等。

在逻辑形式语言中，有好几种方式可以处理时间信息。一些模态运算符可以表示时态如“PAST”， “PRES” ， “PROG”，“FUT”）和时间连词（如“BEFORE”，“DURING”），所有谓词都可以用时间作为其参数。要处理这些语言现象，需要进一步扩充一阶谓词演算以便能够表示时间。

时间有不同的类型，例如时间点和时间段等。时间点表示的是瞬间时间，往往与世界中的变化相联系（如灯被打开了或某人找回了丢失的钢笔)；时间段表示事件发生的一段时间，并且有一定的持续期（如五分钟的时间），而时间点则没有。很多谓词只能定义在时间段上，例如，考虑某谓词断言“John drove his car to work at a certain time”(John 在一个特定的时间开车去上班)。这个谓词只有在一个时间段上才为真，而不是时间点，因为开车到一个地方需要一段时间。

因为在时间点和时间段之间有不同的关系，所以需要对这两种情况进行区分。例如，两个时间段可能有重叠，而时间点则不能重叠。另外，两个时间段可能相接，一个结束而另一个开始。一个时间点或时间段也可能在另一个时间段内部，而一个时间点内则不能包括任何时间。要表达时间关系，需要下面的谓词：

t1< t2   时间点/时间段t1在时间点/时间段t2的前面

t1:t2     时间段t1紧挨着时间段t2，或者时间点t1是时间段t2的开始，或者时间点t2是时间段t1的结束

t1⊆t2  时间点/时间段t1包含在时间段t2中

如前所述，一些谓词只能在时间段上为真，一些谓词只能在时间点上为真，也有一些谓词在时间点和时间段上都为真。谓词的分类对应于动词短语的不同体态类。

句子所描述的命题至少分为3类，包括描述状态（称为状态性命题），描述正在进行的活动(称为活动性命题），定义已经完成的事件(称为完成性命题）。状态性命题描述世界的一个瞬间或时间无限延长的某个属性（如下面的句子）：

Jack is happy. (Jack 很高兴。)

I believe the world is flat.（我相信世界是平的。）

状态性命题描述的情形缺少一个准确定义的结束点，因此不能出现在一些特定的语言上下文中。例如，不能出现在正在进行的形式中：

* Jack is being happy.

* I am believing that the world is flat.

活动性命题描述出现在一个时间段内的活动。活动经常用进行时来表达，如：

Jack is running. (Jack 在跑。)

The door was swinging to and fro. (这扇门在来回扇动。）