JSON

has associated axiom(fol)

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

Property information

definition editor

Person:Alan Ruttenberg

definition source

Person:Alan Ruttenberg

editor preferred term

has associated axiom(fol)

elucidation

An axiom expressed in first order logic using CLIF syntax

isDefinedBy

http://purl.obolibrary.org/obo/iao.owl

Property relations