Κ(Sam, On(A,B))
由Κ和术语Sam以及公式On(A,B)组合形成了一个新公式，其所表达的含义是：Sam知道积木A在B的上面。
我们还可以用缩写Κα(φ)，来代替Κ(α,φ)，α表示一个智能体，φ表示一个公式。
使用算子Κ的语言称为一种一阶模式语言。这个语言中的公式句法如下：
1． 所有的普通一阶谓词演算公式子句也是模式语言的子句
2． 如果φ是模式语言的一个封闭子句（没有未量化的自由变量集，即没有x、y等变量），α是一个基本项，那么Κ(α,φ)是模式语言的一个子句。
3． 同样地，如果φ和ψ是子句，那么由φ和ψ通过常用的命题连接词构造的任何表达式也是子句。
如下是一些子句的例子：
・Κ[Agent1, Κ(Agent2, On(A, B))]，
表示Agent1知道Agent2知道A在B上。
・Κ(Agent1, On(A, B )∨Κ(Agent1, On(A, C)))，
表示Agent1知道A在B上，或者Agent1知道A在C上。
・Κ[Agent1, On(A,B)∨On(A,C)]，
表示Agent1知道A在B上或者A在C上。
・Κ(Agent1, On(A,B)∨Κ(Agent1, ～On(A,B))，
表示Agent1知道A是否在B上。
・～Κ(Agent1, On(A,B))，
表示Agent1不知道A在B上。
注意：根据上述句法，表达式(
x)
Κ(Agent1, On(x,B))不是一个合法的子句。表达式On(x,B)在模式算子内是不封闭的，它包含一个在模式算子外量化的自由变量x。