EFO | Instances | AgroPortal

ID	http://purl.obolibrary.org/obo/IAO_0000421 http://purl.obolibrary.org/obo/IAO_0000421 https://agroportal.lirmm.fr/ontologies/EFO/IAO_0000421 Loading
Label	named class expression
IAO_0000115	A named class expression is a logical expression that is given a name. The name can be used in place of the expression.
IAO_0000117	Alan Ruttenberg
IAO_0000111	named class expression
IAO_0000116	named class expressions are used in order to have more concise logical definition but their extensions may not be interesting classes on their own. In languages such as OWL, with no provisions for macros, these show up as actuall classes. Tools may with to not show them as such, and to replace uses of the macros with their expansions