自然语言中,if-条件句有时可以和when-时间句互相转换,有时却不行。两种句式能否互相转换与条件句的语义内容有关。这个特点也应该在条件句的形式语义描写中反映出来。首先,条件句的内容表现为一定的客观性和可实现性。条件内容的客观性指的是条件内容的命题性,以此为标准,条件范畴是从极度客观到极度主观的连续统。可实现性指条件内容是否可以实现,以可实现性为标准,条件范畴是从反事实条件到已实现事实的连续统。再者,条件句的语义内容具有模态性,模态谓词不仅统辖条件命题,还统辖逐句命题。相对于条件句出现的语境,条件模态和每一个具体的语境相关联,其结果是进一步限制条件所描写的可能世界,指出该语境中哪些可能世界里,条件命题和结论命题都是真的。在条件的内涵定义中,语境确定条件在这两个连续统的位置。因此if-条件句的形式表达中,模态不是单纯意义上的可能世界之间的可及关系,而是相对于语境的可能世界之间的可及关系。自然语言中,when-句式也可以用来表示两种事态的时序关系,类似于条件句式。在内涵逻辑中,条件句与时间句的相似性在于if和when都是模态谓词,他们的形式作用都是挑选出那些从句命题为真的可能世界,并且在这些可能世界中,主句命题为真。