属性信息

definition source

Person:Alan Ruttenberg

editor preferred term

has associated axiom(fol)

elucidation

An axiom expressed in first order logic using CLIF syntax

term editor

Person:Alan Ruttenberg

属性关系