Matches in LOV for { <http://www.ontologydesignpatterns.org/ont/dul/IOLite.owl#isFormallyRepresentedIn> ?p ?o. }
Showing items 1 to 8 of
8
with 100 items per page.
- isFormallyRepresentedIn type ObjectProperty.
- isFormallyRepresentedIn comment "The relation between formal expressions, and anything that they are supposed to represent.\nE.g., 'the predicate 'MariachiInTijuana' formallyRepresents the dul:Collection of all mariachis in Tijuana'; 'the equivalence relation '<=>' formallyRepresents the concept of two entities having the same properties', 'the constant 'John' formallyRepresents the dul:NaturalPerson John.\nNotice that formal expressions are formally interpreted by instances of dul:FormalEntity".
- isFormallyRepresentedIn domain Entity.
- isFormallyRepresentedIn label "is formally represented in".
- isFormallyRepresentedIn label "è rappresentato formalmente in".
- isFormallyRepresentedIn range FormalExpression.
- isFormallyRepresentedIn subPropertyOf isReferenceOf.
- isFormallyRepresentedIn inverseOf formallyRepresents.