本体描述领域内存在什么和能发生什么，闸门检查这一次是否被允许，闸门必须独立于本体。