缩写	全称	中文释义
LFOL	Language of First Order Logic	一阶逻辑语言