has associated axiom(fol)
http://purl.obolibrary.org/obo/IAO_0000602
Property info
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
term editor
Person:Alan Ruttenberg
Property relations
Parents