Matches in LOV for { <http://www.ontologydesignpatterns.org/ont/dul/IOLite.owl#hasFormalTerm> ?p ?o. }
Showing items 1 to 9 of
9
with 100 items per page.
- hasFormalTerm type ObjectProperty.
- hasFormalTerm comment "The relation between an InformationObject and a FormalExpression (constant, formula, term, sentence, proposition, axiom, etc.) that it is supposed to be given formal interpretation to formalize the InformationObject.\nNotice that FormalExpression(s) only are formal terms for InformationObject(s), not for Concept(s) or other for SocialObject(s). On their turn, information object can 'express' (see) SocialObject(s).\nE.g., the predicate (FormalExpression) 'TijuanaMariachi' isFormalTermFor the Term 'the mariachis in Tijuana' (that expresses the Collection of all mariachis in Tijuana); the Term 'equivalence relation' (that expresses the Concept of 'two entities having the same properties') hasFormalTerm the '<=>' symbol.".
- hasFormalTerm domain InformationObject.
- hasFormalTerm label "ha termine formale".
- hasFormalTerm label "has formal term".
- hasFormalTerm range FormalExpression.
- hasFormalTerm subPropertyOf isExpressedBy.
- hasFormalTerm subPropertyOf isEncodedBy.
- hasFormalTerm inverseOf isFormalTermFor.