JSON

has associated axiom(fol)

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

Property information

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

Property relations