Terminology Service for NFDI4Health

logical macro assertion on a class

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


Property info

definition

A logical macro assertion whose domain is an IRI for a class

editor note

The domain for this class can be considered to be owl:Class, but we cannot assert this in OWL2-DL

Property relations