It is different from existing logics by using a term-oriented language, an experience-grounded semantics, and a set of syllogistic inference rules.

• 不同于现存的其它逻辑系统,它包含一个面向词项的语言、一个基于经验的语义学、和一组三段论推理规则。