Terminology Service for NFDI4Health
first order logic expression
Go to external page
http://purl.obolibrary.org/obo/IAO_0000426
An assertion that holds between an OWL Object Property and a string or literal, where the value of the string or literal is a Common Logic sentence of collection of sentences that define the Object Property.
Property info
Property relations
Parents