"InContext,ConceptIsIdentifiedByTermAndDefinedByConceptDefinition"
Fact Type ↑
Summary

*In context, concept is identified by term and defined by concept definition if and only if
some glossary entry provides a definition for that concept
where that glossary entry is scoped by that context
and uses that term
and has that concept definition.


PermanentFact = False
HiddenFact = False
Role Players
Constraints
InternalUniquenessConstraint68
Type:
InternalUniquenessConstraint
Verbalization:

It is possible that for some context, concept, and term, in that context, that concept is identified by that term and defined by more than one concept definition
and that for some context, concept, and concept definition, in that context, that concept is identified by more than one term and defined by that concept definition

and that for some context, term, and concept definition, in that context, more than one concept is identified by that term and defined by that concept definition

and that for some concept, term, and concept definition, in more than one context, that concept is identified by that term and defined by that concept definition.

In each population of in context, concept is identified by term and defined by concept definition, each context, concept, term, concept definition combination occurs at most once.
SimpleMandatoryConstraint39
Type:
SimpleMandatoryConstraint
Verbalization:

For each concept,
in some context, that concept is identified by some term and defined by some concept definition.