JSON

has associated axiom(fol)

Go to external page http://purl.obolibrary.org/obo/IAO_0000602

-

属性信息
-

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

属性关系
-