has associated axiom(fol)
Go to external page
http://purl.obolibrary.org/obo/IAO_0000602
Synonyms: has associated axiom(fol)
Property info
definition source
Person:Alan Ruttenberg
editor preferred label
has associated axiom(fol)
elucidation
An axiom expressed in first order logic using CLIF syntax
rdfs:isDefinedBy
http://purl.obolibrary.org/obo/iao.owl
term editor
Person:Alan Ruttenberg
Property relations
Parents