Terminology Service for NFDI4Health

has associated axiom(fol)

Go to external page 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