Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: dsl/business/sbvr/v1.0/eclipse/extracted
Source used for this grammar: Eclipse, sbvrEclipse.ecore, 2009 [Wiki]
Actuality, StateOfAffairs, Thing, Name, Designation, Representation, Meaning, Expression, BindableTarget, AdoptedDefinition, Definition, Advice, ElementOfGuidance, Proposition, Statement, AdviceOfContingency, AdviceOfPossibility, AdviceOfOptionality, AdviceOfPermission, AdviceStatement, GuidanceStatement, AggregationFormulation, ProjectingFormulation, LogicalFormulation, SemanticFormulation, Projection, Variable, PositiveInteger, NonnegativeInteger, Integer, Number, Quantity, NounConcept, Concept, AttributiveNamespace, Namespace, Uri, Text, Characteristic, FactType, FactTypeForm, Placeholder, FactTypeRole, Role, RoleBinding, ReferenceScheme, Set, AuxiliaryVariable, AnswerNominalization, AssociativeFactType, AssortmentFactType, AtleastnQuantification, Quantification, AtmostnQuantification, AtmostoneQuantification, AtomicFormulation, BagProjection, BinaryFactType, BinaryLogicalOperation, LogicalOperation, BodyOfSharedConcepts, BodyOfSharedGuidance, BodyOfSharedMeanings, BusinessPolicy, ElementOfGovernance, BusinessPolicyStatement, BusinessRule, Rule, BusinessVocabulary, Vocabulary, CategorizationFactType, SpecializationFactType, CategorizationScheme, CategorizationType, CharacteristicType, ConceptType, ObjectType, ClosedLogicalFormulation, ClosedSemanticFormulation, ClosedProjection, CommunicationContent, Community, ConceptOfThingAsComposite, ConceptOfThingAsContinuant, ConceptOfThingAsDeveloped, ConceptOfThingAsOccurrent, ConceptOfThingAsPrimitive, ConceptOfThingAsUnitary, ConceptOfThingExistingDependently, ConceptOfThingExistingIndependently, ConceptualSchema, Conjunction, ContextOfThing, Segmentation, ContextualizationFactType, ContextualizedConcept, ContingencyStatement, StatementOfAdviceOfPossibility, DefiniteDescription, IntensionalDefinition, DerivableConcept, Description, DescriptiveExample, Disjunction, Equivalence, ExactlynQuantification, ExactlyoneQuantification, ExclusiveDisjunction, ExistentialQuantification, ExplicitnessOfRepresentation, ExtensionalDefinition, Facet, Fact, FactModel, FactSymbol, FactTypeHasFactInFactModel, FactTypeNominalization, FactTypeRoleDesignation, FactTypeTemplating, FormalRepresentation, FundamentalConcept, Icon, NonverbalDesignation, Implication, ImpossibilityStatement, StructuralRuleStatement, RuleStatement, IndividualConcept, InformalRepresentation, InstantiationFormulation, IsfacetofFactType, IspropertyofFactType, IsroleofFactType, KindOfGuidanceStatement, Language, LevelOfEnforcement, LogicalFormulationKind, LogicalNegation, ModalFormulation, NandFormulation, NecessityFormulation, NecessityStatement, NonnecessityStatement, NonobligationStatement, StatementOfAdviceOfPermission, NorFormulation, Note, NounConceptNominalization, NounForm, NumericRangeQuantification, Objectification, ObligationFormulation, ObligationStatement, OperativeBusinessRuleStatement, OperativeBusinessRule, OptionalityStatement, OwnedDefinition, PartitiveFactType, PermissibilityFormulation, PermissionStatement, PossibilityFormulation, PossibilityStatement, PreferredDesignation, ProhibitedDesignation, ProhibitionStatement, PropositionNominalization, Question, QuestionNominalization, RealworldNumericalCorrespondence, Reference, RepresentationFormality, Res, RestrictedPermissionStatement, RestrictedPossibilityStatement, Rulebook, SemanticCommunity, SpeechCommunity, SententialForm, SetProjection, Situation, SituationalRole, SpeechCommunityAdoptsAdoptedDefinitionCitingReference, StateOfAffairsInvolvesThingInRole, StructuralBusinessRule, StructuralRule, SubjectField, Term, TerminologicalDictionary, ThingInContext, UniversalQuantification, Viewpoint, VocabularyNamespace, WhetherornotFormulation, AtleastnQuantificationHasMinimumCardinality, AtmostnQuantificationHasMaximumCardinality, AtomicFormulationIsBasedOnFactType, AttributiveNamespaceIsForSubjectConcept, AttributiveNamespaceIsWithinVocabularyNamespace, BinaryLogicalOperationHasLogicalOperand1, BinaryLogicalOperationHasLogicalOperand2, BodyOfSharedMeaningsIncludesBodyOfSharedConcepts, BodyOfSharedMeaningsIncludesBodyOfSharedGuidance, BodyOfSharedMeaningsUnitesSemanticCommunity, BodyOfSharedMeanings1ContainsBodyOfSharedMeanings2, BusinessPolicyIsBasisForAdvice, BusinessRuleIsDerivedFromBusinessPolicy, CategorizationSchemeContainsCategory, CategorizationSchemeIsForGeneralConcept, CategorizationTypeIsForGeneralConcept, ClosedLogicalFormulationFormalizesStatement, ClosedLogicalFormulationMeansProposition, ClosedProjectionDefinesFactType, ClosedProjectionDefinesNounConcept, ClosedProjectionFormalizesDefinition, ClosedProjectionMeansQuestion, ClosedSemanticFormulationFormulatesMeaning, CommunicationContentIsComposedOfRepresentation, CommunityHasSubcommunity, CommunityHasUri, ConceptHasDefinition, ConceptHasDesignation, ConceptHasExtension, ConceptHasImpliedCharacteristic, ConceptHasInstance, ConceptHasNecessaryCharacteristic, ConceptHasSharedUnderstandingBySemanticCommunity, ConceptIncorporatesCharacteristic, ConceptIsClosedInConceptualSchema, ConceptIsIncludedInBodyOfSharedConcepts, Concept1IsCoextensiveWithConcept2, Concept1SpecializesConcept2, ConceptualSchemaIncludesConcept, ConceptualSchemaIncludesFact, DefinitionServesAsDesignation, DescriptionPortraysMeaning, DescriptiveExampleIllustratesMeaning, DesignationHasSignifier, DesignationIsInNamespace, ElementOfGuidanceAuthorizesStateOfAffairs, ElementOfGuidanceIsIncludedInBodyOfSharedGuidance, ElementOfGuidanceObligatesStateOfAffairs, ElementOfGuidanceProhibitsStateOfAffairs, ExactlynQuantificationHasCardinality, ExpressionRepresentsMeaning, FactModelIncludesFact, FactModelIsBasedOnConceptualSchema, FactTypeFormDemonstratesDesignation, FactTypeFormIncorporatesFactSymbol, FactTypeFormIsInNamespace, FactTypeHasFactTypeForm, FactTypeInternallyIsClosedInConceptualSchema, FactTypeIsElementaryInBodyOfSharedMeanings, FactTypeRoleHasRoleBinding, FactTypeRoleIsInFactType, ImplicationHasAntecedent, ImplicationHasConsequent, InstantiationFormulationBindsToBindableTarget, InstantiationFormulationConsidersConcept, IntensionalDefinitionUsesDelimitingCharacteristic, LogicalFormulationConstrainsProjection, LogicalFormulationRestrictsVariable, LogicalOperationHasLogicalOperand, MeaningCorrespondsToThing, ModalFormulationEmbedsLogicalFormulation, NameReferencesThing, NamespaceHasUri, Namespace1IncorporatesNamespace2, NoteCommentsOnMeaning, NumericRangeQuantificationHasMaximumCardinality, NumericRangeQuantificationHasMinimumCardinality, ObjectificationBindsToBindableTarget, ObjectificationConsidersLogicalFormulation, OperativeBusinessRuleHasLevelOfEnforcement, PlaceholderIsAtStartingCharacterPosition, PlaceholderIsInFactTypeForm, PlaceholderUsesDesignation, ProjectingFormulationBindsToBindableTarget, ProjectingFormulationHasProjection, ProjectionHasAuxiliaryVariable, ProjectionIsOnVariable, PropositionIsBasedOnFactType, PropositionNominalizationBindsToBindableTarget, PropositionNominalizationConsidersLogicalFormulation, QuantificationIntroducesVariable, QuantificationScopesOverLogicalFormulation, Quantity1EqualsQuantity2, Quantity1IsLessThanQuantity2, ReferencePointsToInformationSource, ReferenceSchemeExtensionallyUsesFactTypeRole, ReferenceSchemeIsForConcept, ReferenceSchemeSimplyUsesFactTypeRole, ReferenceSchemeUsesCharacteristic, ReferenceSupportsMeaning, RepresentationHasExpression, RepresentationIsInDesignationContext, RepresentationIsInSubjectField, RepresentationRepresentsMeaning, RepresentationUsesVocabulary, ResIsSensoryManifestationOfSignifier, RoleBindingBindsToBindableTarget, RoleBindingOccursInAtomicFormulation, RoleRangesOverObjectType, RulebookIncludesRepresentation, SemanticCommunityHasSpeechCommunity, SetHasCardinality, SpeechCommunityDeterminesRulebook, SpeechCommunityOwnsOwnedDefinition, SpeechCommunityOwnsVocabulary, SpeechCommunityRegulatesItsUsageOfSignifier, SpeechCommunityUsesLanguage, SpeechCommunityUsesVocabulary, StatementExpressesProposition, TermDenotesThing, TerminologicalDictionaryExpressesBodyOfSharedMeanings, TerminologicalDictionaryHasUri, TerminologicalDictionaryPresentsVocabulary, ThingIsInSet, Thing1IsThing2, VariableHasProjectionPosition, VariableIsFreesWithinSemanticFormulation, VariableMapsToFactTypeRole, VariableRangesOverConcept, VocabularyIsDesignedForSpeechCommunity, VocabularyIsExpressedInLanguage, VocabularyIsUsedToExpressBodyOfSharedMeanings, VocabularyNamespaceIsDerivedFromVocabulary, VocabularyNamespaceIsForLanguage, VocabularyNamespaceIsSpecificToDesignationContext, VocabularyNamespaceIsSpecificToSubjectField, Vocabulary1IncorporatesVocabulary2, WhetherornotFormulationHasConsequent, WhetherornotFormulationHasInconsequent, Boolean, String), 0 root (—), 142 top (FactTypeHasFactInFactModel, SpeechCommunityAdoptsAdoptedDefinitionCitingReference, StateOfAffairsInvolvesThingInRole, AtleastnQuantificationHasMinimumCardinality, AtmostnQuantificationHasMaximumCardinality, AtomicFormulationIsBasedOnFactType, AttributiveNamespaceIsForSubjectConcept, AttributiveNamespaceIsWithinVocabularyNamespace, BinaryLogicalOperationHasLogicalOperand1, BinaryLogicalOperationHasLogicalOperand2, BodyOfSharedMeaningsIncludesBodyOfSharedConcepts, BodyOfSharedMeaningsIncludesBodyOfSharedGuidance, BodyOfSharedMeaningsUnitesSemanticCommunity, BodyOfSharedMeanings1ContainsBodyOfSharedMeanings2, BusinessPolicyIsBasisForAdvice, BusinessRuleIsDerivedFromBusinessPolicy, CategorizationSchemeContainsCategory, CategorizationSchemeIsForGeneralConcept, CategorizationTypeIsForGeneralConcept, ClosedLogicalFormulationFormalizesStatement, ClosedLogicalFormulationMeansProposition, ClosedProjectionDefinesFactType, ClosedProjectionDefinesNounConcept, ClosedProjectionFormalizesDefinition, ClosedProjectionMeansQuestion, ClosedSemanticFormulationFormulatesMeaning, CommunicationContentIsComposedOfRepresentation, CommunityHasSubcommunity, CommunityHasUri, ConceptHasDefinition, ConceptHasDesignation, ConceptHasExtension, ConceptHasImpliedCharacteristic, ConceptHasInstance, ConceptHasNecessaryCharacteristic, ConceptHasSharedUnderstandingBySemanticCommunity, ConceptIncorporatesCharacteristic, ConceptIsClosedInConceptualSchema, ConceptIsIncludedInBodyOfSharedConcepts, Concept1IsCoextensiveWithConcept2, Concept1SpecializesConcept2, ConceptualSchemaIncludesConcept, ConceptualSchemaIncludesFact, DefinitionServesAsDesignation, DescriptionPortraysMeaning, DescriptiveExampleIllustratesMeaning, DesignationHasSignifier, DesignationIsInNamespace, ElementOfGuidanceAuthorizesStateOfAffairs, ElementOfGuidanceIsIncludedInBodyOfSharedGuidance, ElementOfGuidanceObligatesStateOfAffairs, ElementOfGuidanceProhibitsStateOfAffairs, ExactlynQuantificationHasCardinality, ExpressionRepresentsMeaning, FactModelIncludesFact, FactModelIsBasedOnConceptualSchema, FactTypeFormDemonstratesDesignation, FactTypeFormIncorporatesFactSymbol, FactTypeFormIsInNamespace, FactTypeHasFactTypeForm, FactTypeInternallyIsClosedInConceptualSchema, FactTypeIsElementaryInBodyOfSharedMeanings, FactTypeRoleHasRoleBinding, FactTypeRoleIsInFactType, ImplicationHasAntecedent, ImplicationHasConsequent, InstantiationFormulationBindsToBindableTarget, InstantiationFormulationConsidersConcept, IntensionalDefinitionUsesDelimitingCharacteristic, LogicalFormulationConstrainsProjection, LogicalFormulationRestrictsVariable, LogicalOperationHasLogicalOperand, MeaningCorrespondsToThing, ModalFormulationEmbedsLogicalFormulation, NameReferencesThing, NamespaceHasUri, Namespace1IncorporatesNamespace2, NoteCommentsOnMeaning, NumericRangeQuantificationHasMaximumCardinality, NumericRangeQuantificationHasMinimumCardinality, ObjectificationBindsToBindableTarget, ObjectificationConsidersLogicalFormulation, OperativeBusinessRuleHasLevelOfEnforcement, PlaceholderIsAtStartingCharacterPosition, PlaceholderIsInFactTypeForm, PlaceholderUsesDesignation, ProjectingFormulationBindsToBindableTarget, ProjectingFormulationHasProjection, ProjectionHasAuxiliaryVariable, ProjectionIsOnVariable, PropositionIsBasedOnFactType, PropositionNominalizationBindsToBindableTarget, PropositionNominalizationConsidersLogicalFormulation, QuantificationIntroducesVariable, QuantificationScopesOverLogicalFormulation, Quantity1EqualsQuantity2, Quantity1IsLessThanQuantity2, ReferencePointsToInformationSource, ReferenceSchemeExtensionallyUsesFactTypeRole, ReferenceSchemeIsForConcept, ReferenceSchemeSimplyUsesFactTypeRole, ReferenceSchemeUsesCharacteristic, ReferenceSupportsMeaning, RepresentationHasExpression, RepresentationIsInDesignationContext, RepresentationIsInSubjectField, RepresentationRepresentsMeaning, RepresentationUsesVocabulary, ResIsSensoryManifestationOfSignifier, RoleBindingBindsToBindableTarget, RoleBindingOccursInAtomicFormulation, RoleRangesOverObjectType, RulebookIncludesRepresentation, SemanticCommunityHasSpeechCommunity, SetHasCardinality, SpeechCommunityDeterminesRulebook, SpeechCommunityOwnsOwnedDefinition, SpeechCommunityOwnsVocabulary, SpeechCommunityRegulatesItsUsageOfSignifier, SpeechCommunityUsesLanguage, SpeechCommunityUsesVocabulary, StatementExpressesProposition, TermDenotesThing, TerminologicalDictionaryExpressesBodyOfSharedMeanings, TerminologicalDictionaryHasUri, TerminologicalDictionaryPresentsVocabulary, ThingIsInSet, Thing1IsThing2, VariableHasProjectionPosition, VariableIsFreesWithinSemanticFormulation, VariableMapsToFactTypeRole, VariableRangesOverConcept, VocabularyIsDesignedForSpeechCommunity, VocabularyIsExpressedInLanguage, VocabularyIsUsedToExpressBodyOfSharedMeanings, VocabularyNamespaceIsDerivedFromVocabulary, VocabularyNamespaceIsForLanguage, VocabularyNamespaceIsSpecificToDesignationContext, VocabularyNamespaceIsSpecificToSubjectField, Vocabulary1IncorporatesVocabulary2, WhetherornotFormulationHasConsequent, WhetherornotFormulationHasInconsequent), 1 bottom (integer).[name] 13, [implicitlyIsUnderstood] 7, [signifier] 10, [meaning] 16, [expression] 10, [representation] 9, [isPracticable] 2, [isFalse] 2, [isTrue] 2, [statement] 4, [isPossiblyTrue] 2, [isObligatedToBeTrue] 2, [isPermittedToBeTrue] 2, [isNecessarilyTrue] 2, [projection] 10, [constrainingFormulation] 4, [projectionVariable] 4, [auxiliaryVariable] 5, [restrictingFormulation] 2, [projectionPosition] 3, [rangedoverConcept] 2, [isUnitary] 2, [value] 3, [attributiveNamespace] 13, [definition] 14, [moreGeneralConcept] 11, [category] 12, [essentialCharacteristic] 11, [instance] 12, [referenceScheme] 15, [impliedCharacteristic] 12, [necessaryCharacteristic] 12, [designation] 17, [extension] 12, [uri] 9, [factTypeForm] 9, [role] 6, [placeholder] 6, [startingCharacterPosition] 2, [roleBinding] 5, [simplyUsedRole], [identifyingCharacteristic], [extensionallyUsedRole], [cardinality] 6, [element] 2, [minimumCardinality] 5, [scopeFormulation] 2, [maximumCardinality] 5, [logicalOperand2] 8, [logicalOperand1] 8, [logicalOperand] 3, [elementaryFactType], [isDirectlyEnforceable] 2, [categorizationScheme] 6, [categorizationType] 5, [subcommunity] 3, [factType] 8, [fact] 3, [factModel] 3, [consequent] 4, [antecedent] 2, [levelOfEnforcement] 2, [speechCommunity] 10, [adoptedDefinition], [reference] 3, [stateOfAffairs] 4, [thing] 5, [inconsequent] 2, [atleastnQuantification], [atmostnQuantification], [atomicFormulation] 2, [subjectConcept], [vocabularyNamespace] 5, [binaryLogicalOperation] 2, [bodyOfSharedMeanings] 6, [bodyOfSharedConcepts] 2, [bodyOfSharedGuidance] 2, [semanticCommunity] 3, [bodyOfSharedMeanings1], [bodyOfSharedMeanings2], [businessPolicy] 2, [advice], [businessRule], [generalConcept] 2, [closedLogicalFormulation] 2, [proposition] 3, [closedProjection] 4, [nounConcept], [question], [closedSemanticFormulation], [communicationContent], [community] 2, [concept] 14, [characteristic] 2, [conceptualSchema] 5, [concept1] 2, [concept2] 2, [description], [descriptiveExample], [namespace] 3, [elementOfGuidance] 4, [exactlynQuantification], [factSymbol], [factTypeRole] 5, [implication] 2, [instantiationFormulation] 2, [bindableTarget] 5, [intensionalDefinition], [delimitingCharacteristic], [logicalFormulation] 6, [variable] 7, [logicalOperation], [modalFormulation], [namespace1], [namespace2], [note], [numericRangeQuantification] 2, [objectification] 2, [operativeBusinessRule], [projectingFormulation] 2, [propositionNominalization] 2, [quantification] 2, [quantity1] 2, [quantity2] 2, [informationSource], [designationContext] 2, [subjectField] 2, [vocabulary] 8, [res], [objectType], [rulebook] 2, [set] 2, [ownedDefinition], [language] 3, [term], [terminologicalDictionary] 3, [thing1], [thing2], [semanticFormulation], [vocabulary1], [vocabulary2], [whetherornotFormulation] 2.Actuality ::= Representation
StateOfAffairs ::= Actuality
Thing ::= StateOfAffairs
Thing ::= Meaning
Thing ::= BindableTarget
Thing ::= SemanticFormulation
Thing ::= Namespace
Thing ::= RoleBinding
Thing ::= ReferenceScheme
Thing ::= Set
Thing ::= BodyOfSharedConcepts
Thing ::= BodyOfSharedGuidance
Thing ::= CategorizationScheme
Thing ::= Community
Thing ::= ConceptualSchema
Thing ::= FactModel
Thing ::= Language
Thing ::= LevelOfEnforcement
Thing ::= Res
Thing ::= Situation
Thing ::= SubjectField
Thing ::= TerminologicalDictionary
Thing ::= Viewpoint
Thing ::=
[name]::NameName ::= [implicitlyIsUnderstood]::Boolean [signifier]::Expression
Designation ::= Name
Designation ::= Placeholder
Designation ::= FactSymbol
Designation ::= FactTypeRoleDesignation
Designation ::= NonverbalDesignation
Designation ::= PreferredDesignation
Designation ::= ProhibitedDesignation
Designation ::= Term
Designation ::= [implicitlyIsUnderstood]::Boolean [signifier]::Expression
Representation ::= Designation
Representation ::= Definition
Representation ::= Statement
Representation ::= FactTypeForm
Representation ::= CommunicationContent
Representation ::= Description
Representation ::= DescriptiveExample
Representation ::= FormalRepresentation
Representation ::= InformalRepresentation
Representation ::= Note
Representation ::= Reference
Representation ::= [meaning]::Meaning [expression]::Expression
Meaning ::= Proposition
Meaning ::= Concept
Meaning ::= Question
Meaning ::=
[representation]::RepresentationExpression ::= Text
BindableTarget ::= Expression
BindableTarget ::= Variable
BindableTarget ::= IndividualConcept
BindableTarget ::= Expression Variable
AdoptedDefinition ::= ε
Definition ::= AdoptedDefinition
Definition ::= IntensionalDefinition
Definition ::= ExtensionalDefinition
Definition ::= OwnedDefinition
Definition ::= AdoptedDefinition IntensionalDefinition ExtensionalDefinition OwnedDefinition
Advice ::= AdviceOfPossibility
Advice ::= AdviceOfPermission
Advice ::= AdviceOfPossibility AdviceOfPermission
ElementOfGuidance ::= Advice
ElementOfGuidance ::= ElementOfGovernance
ElementOfGuidance ::= BusinessRule
ElementOfGuidance ::= [isPracticable]::Boolean
Proposition ::= ElementOfGuidance
Proposition ::= Rule
Proposition ::= Fact
Proposition ::=
[isFalse]::Boolean [isTrue]::Boolean [statement]::Statement [isPossiblyTrue]::Boolean [isObligatedToBeTrue]::Boolean [isPermittedToBeTrue]::Boolean [isNecessarilyTrue]::BooleanStatement ::= GuidanceStatement
AdviceOfContingency ::= ε
AdviceOfPossibility ::= AdviceOfContingency
AdviceOfOptionality ::= ε
AdviceOfPermission ::= AdviceOfOptionality
AdviceStatement ::= StatementOfAdviceOfPossibility
AdviceStatement ::= StatementOfAdviceOfPermission
AdviceStatement ::= StatementOfAdviceOfPossibility StatementOfAdviceOfPermission
GuidanceStatement ::= AdviceStatement
GuidanceStatement ::= BusinessPolicyStatement
GuidanceStatement ::= RuleStatement
GuidanceStatement ::= AdviceStatement BusinessPolicyStatement RuleStatement
AggregationFormulation ::= [projection]::Projection
ProjectingFormulation ::= AggregationFormulation
ProjectingFormulation ::= AnswerNominalization
ProjectingFormulation ::= FactTypeNominalization
ProjectingFormulation ::= NounConceptNominalization
ProjectingFormulation ::= QuestionNominalization
ProjectingFormulation ::= [projection]::Projection
LogicalFormulation ::= ProjectingFormulation
LogicalFormulation ::= Quantification
LogicalFormulation ::= AtomicFormulation
LogicalFormulation ::= LogicalOperation
LogicalFormulation ::= InstantiationFormulation
LogicalFormulation ::= ModalFormulation
LogicalFormulation ::= Objectification
LogicalFormulation ::= PropositionNominalization
LogicalFormulation ::= ClosedLogicalFormulation
LogicalFormulation ::= ProjectingFormulation Quantification AtomicFormulation LogicalOperation InstantiationFormulation ModalFormulation Objectification PropositionNominalization
SemanticFormulation ::= LogicalFormulation
SemanticFormulation ::= Projection
SemanticFormulation ::= ClosedSemanticFormulation
SemanticFormulation ::= LogicalFormulation Projection ClosedSemanticFormulation
Projection ::= BagProjection
Projection ::= ClosedProjection
Projection ::= SetProjection
Projection ::= [constrainingFormulation]::LogicalFormulation [projectionVariable]::Variable [auxiliaryVariable]::AuxiliaryVariable
Variable ::= AuxiliaryVariable
Variable ::= [restrictingFormulation]::LogicalFormulation [projectionPosition]::PositiveInteger [rangedoverConcept]::Concept [isUnitary]::Boolean
PositiveInteger ::= ε
NonnegativeInteger ::= PositiveInteger
Integer ::= NonnegativeInteger
Integer ::= [value]::integer
Number ::= Integer
Quantity ::= Number
NounConcept ::= Quantity
NounConcept ::= Role
NounConcept ::= ContextualizedConcept
NounConcept ::= IndividualConcept
NounConcept ::= Quantity Role ContextualizedConcept
Concept ::= NounConcept
Concept ::= FactType
Concept ::= CategorizationType
Concept ::= ObjectType
Concept ::= ConceptOfThingAsComposite
Concept ::= ConceptOfThingAsContinuant
Concept ::= ConceptOfThingAsDeveloped
Concept ::= ConceptOfThingAsOccurrent
Concept ::= ConceptOfThingAsPrimitive
Concept ::= ConceptOfThingAsUnitary
Concept ::= ConceptOfThingExistingDependently
Concept ::= ConceptOfThingExistingIndependently
Concept ::= DerivableConcept
Concept ::= [attributiveNamespace]::AttributiveNamespace [definition]::Definition [moreGeneralConcept]::Concept [category]::Concept [essentialCharacteristic]::Characteristic [instance]::Thing [referenceScheme]::ReferenceScheme [impliedCharacteristic]::Characteristic [necessaryCharacteristic]::Characteristic [designation]::Designation [extension]::Set
AttributiveNamespace ::=
[uri]::UriNamespace ::= AttributiveNamespace
Namespace ::= VocabularyNamespace
Namespace ::=
[uri]::UriUri ::= [value]::String
Text ::= Uri
Text ::= [value]::String
Characteristic ::= [factTypeForm]::FactTypeForm [role]::FactTypeRole
FactType ::= Characteristic
FactType ::= AssociativeFactType
FactType ::= AssortmentFactType
FactType ::= BinaryFactType
FactType ::= SpecializationFactType
FactType ::= IsroleofFactType
FactType ::= [factTypeForm]::FactTypeForm [role]::FactTypeRole
FactTypeForm ::= NounForm
FactTypeForm ::= SententialForm
FactTypeForm ::=
[placeholder]::PlaceholderPlaceholder ::= [startingCharacterPosition]::PositiveInteger
FactTypeRole ::=
[roleBinding]::RoleBindingRole ::= FactTypeRole
Role ::= SituationalRole
RoleBinding ::=
[name]::NameReferenceScheme ::= [simplyUsedRole]::FactTypeRole [identifyingCharacteristic]::Characteristic [extensionallyUsedRole]::FactTypeRole
Set ::= BodyOfSharedMeanings
Set ::= Vocabulary
Set ::= Rulebook
Set ::=
[cardinality]::NonnegativeInteger [element]::ThingAuxiliaryVariable ::= [restrictingFormulation]::LogicalFormulation [projectionPosition]::PositiveInteger [rangedoverConcept]::Concept [isUnitary]::Boolean
AnswerNominalization ::= [projection]::Projection
AssociativeFactType ::= IspropertyofFactType
AssortmentFactType ::= [factTypeForm]::FactTypeForm [role]::FactTypeRole
AtleastnQuantification ::= ExistentialQuantification
AtleastnQuantification ::= [minimumCardinality]::NonnegativeInteger
Quantification ::= AtleastnQuantification
Quantification ::= AtmostnQuantification
Quantification ::= ExactlynQuantification
Quantification ::= NumericRangeQuantification
Quantification ::= UniversalQuantification
Quantification ::= [scopeFormulation]::LogicalFormulation
AtmostnQuantification ::= AtmostoneQuantification
AtmostnQuantification ::= [maximumCardinality]::NonnegativeInteger
AtmostoneQuantification ::= [maximumCardinality]::NonnegativeInteger
AtomicFormulation ::=
[roleBinding]::RoleBindingBagProjection ::= [constrainingFormulation]::LogicalFormulation [projectionVariable]::Variable [auxiliaryVariable]::AuxiliaryVariable
BinaryFactType ::= PartitiveFactType
BinaryLogicalOperation ::= Conjunction
BinaryLogicalOperation ::= Disjunction
BinaryLogicalOperation ::= Equivalence
BinaryLogicalOperation ::= ExclusiveDisjunction
BinaryLogicalOperation ::= Implication
BinaryLogicalOperation ::= NandFormulation
BinaryLogicalOperation ::= NorFormulation
BinaryLogicalOperation ::= WhetherornotFormulation
BinaryLogicalOperation ::= [logicalOperand2]::LogicalFormulation [logicalOperand1]::LogicalFormulation
LogicalOperation ::= BinaryLogicalOperation
LogicalOperation ::= LogicalNegation
LogicalOperation ::= [logicalOperand]::LogicalFormulation
BodyOfSharedConcepts ::=
[name]::NameBodyOfSharedGuidance ::=
[name]::NameBodyOfSharedMeanings ::=
[elementaryFactType]::FactTypeBusinessPolicy ::= [isDirectlyEnforceable]::Boolean
ElementOfGovernance ::= BusinessPolicy
ElementOfGovernance ::= OperativeBusinessRule
ElementOfGovernance ::= [isDirectlyEnforceable]::Boolean
BusinessPolicyStatement ::= ε
BusinessRule ::= StructuralBusinessRule
BusinessRule ::= OperativeBusinessRule
BusinessRule ::= [isPracticable]::Boolean
Rule ::= StructuralRule
Rule ::= BusinessRule
BusinessVocabulary ::= ε
Vocabulary ::= BusinessVocabulary
CategorizationFactType ::= ε
SpecializationFactType ::= CategorizationFactType
SpecializationFactType ::= ContextualizationFactType
SpecializationFactType ::= CategorizationFactType ContextualizationFactType
CategorizationScheme ::= Segmentation
CategorizationScheme ::= ExplicitnessOfRepresentation
CategorizationScheme ::= FactTypeTemplating
CategorizationScheme ::= KindOfGuidanceStatement
CategorizationScheme ::= RealworldNumericalCorrespondence
CategorizationScheme ::= Segmentation ExplicitnessOfRepresentation FactTypeTemplating KindOfGuidanceStatement RealworldNumericalCorrespondence
CategorizationType ::= [attributiveNamespace]::AttributiveNamespace [definition]::Definition [moreGeneralConcept]::Concept [category]::Concept [essentialCharacteristic]::Characteristic [instance]::Thing [referenceScheme]::ReferenceScheme [impliedCharacteristic]::Characteristic [necessaryCharacteristic]::Characteristic [designation]::Designation [extension]::Set
CharacteristicType ::= ε
ConceptType ::= CharacteristicType
ObjectType ::= ConceptType
ObjectType ::= FundamentalConcept
ObjectType ::= LogicalFormulationKind
ObjectType ::= SituationalRole
ObjectType ::= [categorizationScheme]::CategorizationScheme [categorizationType]::CategorizationType
ClosedLogicalFormulation ::= ε
ClosedSemanticFormulation ::= ClosedLogicalFormulation
ClosedSemanticFormulation ::= ε
ClosedProjection ::= [constrainingFormulation]::LogicalFormulation [projectionVariable]::Variable [auxiliaryVariable]::AuxiliaryVariable
CommunicationContent ::= [meaning]::Meaning [expression]::Expression
Community ::= SemanticCommunity
Community ::= SpeechCommunity
Community ::= [uri]::Uri [subcommunity]::Community
ConceptOfThingAsComposite ::= [attributiveNamespace]::AttributiveNamespace [definition]::Definition [moreGeneralConcept]::Concept [category]::Concept [essentialCharacteristic]::Characteristic [instance]::Thing [referenceScheme]::ReferenceScheme [impliedCharacteristic]::Characteristic [necessaryCharacteristic]::Characteristic [designation]::Designation [extension]::Set
ConceptOfThingAsContinuant ::= [attributiveNamespace]::AttributiveNamespace [definition]::Definition [moreGeneralConcept]::Concept [category]::Concept [essentialCharacteristic]::Characteristic [instance]::Thing [referenceScheme]::ReferenceScheme [impliedCharacteristic]::Characteristic [necessaryCharacteristic]::Characteristic [designation]::Designation [extension]::Set
ConceptOfThingAsDeveloped ::= [attributiveNamespace]::AttributiveNamespace [definition]::Definition [moreGeneralConcept]::Concept [category]::Concept [essentialCharacteristic]::Characteristic [instance]::Thing [referenceScheme]::ReferenceScheme [impliedCharacteristic]::Characteristic [necessaryCharacteristic]::Characteristic [designation]::Designation [extension]::Set
ConceptOfThingAsOccurrent ::= [attributiveNamespace]::AttributiveNamespace [definition]::Definition [moreGeneralConcept]::Concept [category]::Concept [essentialCharacteristic]::Characteristic [instance]::Thing [referenceScheme]::ReferenceScheme [impliedCharacteristic]::Characteristic [necessaryCharacteristic]::Characteristic [designation]::Designation [extension]::Set
ConceptOfThingAsPrimitive ::= [attributiveNamespace]::AttributiveNamespace [definition]::Definition [moreGeneralConcept]::Concept [category]::Concept [essentialCharacteristic]::Characteristic [instance]::Thing [referenceScheme]::ReferenceScheme [impliedCharacteristic]::Characteristic [necessaryCharacteristic]::Characteristic [designation]::Designation [extension]::Set
ConceptOfThingAsUnitary ::= [attributiveNamespace]::AttributiveNamespace [definition]::Definition [moreGeneralConcept]::Concept [category]::Concept [essentialCharacteristic]::Characteristic [instance]::Thing [referenceScheme]::ReferenceScheme [impliedCharacteristic]::Characteristic [necessaryCharacteristic]::Characteristic [designation]::Designation [extension]::Set
ConceptOfThingExistingDependently ::= [attributiveNamespace]::AttributiveNamespace [definition]::Definition [moreGeneralConcept]::Concept [category]::Concept [essentialCharacteristic]::Characteristic [instance]::Thing [referenceScheme]::ReferenceScheme [impliedCharacteristic]::Characteristic [necessaryCharacteristic]::Characteristic [designation]::Designation [extension]::Set
ConceptOfThingExistingIndependently ::= [attributiveNamespace]::AttributiveNamespace [definition]::Definition [moreGeneralConcept]::Concept [category]::Concept [essentialCharacteristic]::Characteristic [instance]::Thing [referenceScheme]::ReferenceScheme [impliedCharacteristic]::Characteristic [necessaryCharacteristic]::Characteristic [designation]::Designation [extension]::Set
ConceptualSchema ::=
[name]::NameConjunction ::= [logicalOperand2]::LogicalFormulation [logicalOperand1]::LogicalFormulation
ContextOfThing ::= ε
Segmentation ::= ContextOfThing
Segmentation ::= RepresentationFormality
Segmentation ::= ThingInContext
Segmentation ::= ContextOfThing RepresentationFormality ThingInContext
ContextualizationFactType ::= IsfacetofFactType
ContextualizedConcept ::= Facet
ContingencyStatement ::= ε
StatementOfAdviceOfPossibility ::= ContingencyStatement
StatementOfAdviceOfPossibility ::= NonnecessityStatement
StatementOfAdviceOfPossibility ::= PossibilityStatement
StatementOfAdviceOfPossibility ::= ContingencyStatement NonnecessityStatement PossibilityStatement
DefiniteDescription ::= ε
IntensionalDefinition ::= DefiniteDescription
DerivableConcept ::= [attributiveNamespace]::AttributiveNamespace [definition]::Definition [moreGeneralConcept]::Concept [category]::Concept [essentialCharacteristic]::Characteristic [instance]::Thing [referenceScheme]::ReferenceScheme [impliedCharacteristic]::Characteristic [necessaryCharacteristic]::Characteristic [designation]::Designation [extension]::Set
Description ::= [meaning]::Meaning [expression]::Expression
DescriptiveExample ::= [meaning]::Meaning [expression]::Expression
Disjunction ::= [logicalOperand2]::LogicalFormulation [logicalOperand1]::LogicalFormulation
Equivalence ::= [logicalOperand2]::LogicalFormulation [logicalOperand1]::LogicalFormulation
ExactlynQuantification ::= ExactlyoneQuantification
ExactlynQuantification ::= [cardinality]::NonnegativeInteger
ExactlyoneQuantification ::= [cardinality]::NonnegativeInteger
ExclusiveDisjunction ::= [logicalOperand2]::LogicalFormulation [logicalOperand1]::LogicalFormulation
ExistentialQuantification ::= [minimumCardinality]::NonnegativeInteger
ExplicitnessOfRepresentation ::= ε
ExtensionalDefinition ::= ε
Facet ::= ε
Fact ::=
[isFalse]::Boolean [isTrue]::Boolean [statement]::Statement [isPossiblyTrue]::Boolean [isObligatedToBeTrue]::Boolean [isPermittedToBeTrue]::Boolean [isNecessarilyTrue]::BooleanFactModel ::=
[name]::NameFactSymbol ::= [implicitlyIsUnderstood]::Boolean [signifier]::Expression
FactTypeHasFactInFactModel ::= [factType]::FactType [fact]::Fact [factModel]::FactModel
FactTypeNominalization ::= [projection]::Projection
FactTypeRoleDesignation ::= [implicitlyIsUnderstood]::Boolean [signifier]::Expression
FactTypeTemplating ::= ε
FormalRepresentation ::= [meaning]::Meaning [expression]::Expression
FundamentalConcept ::= [categorizationScheme]::CategorizationScheme [categorizationType]::CategorizationType
Icon ::= ε
NonverbalDesignation ::= Icon
Implication ::= [consequent]::LogicalFormulation [antecedent]::LogicalFormulation
ImpossibilityStatement ::= ε
StructuralRuleStatement ::= ImpossibilityStatement
StructuralRuleStatement ::= NecessityStatement
StructuralRuleStatement ::= RestrictedPossibilityStatement
StructuralRuleStatement ::= ImpossibilityStatement NecessityStatement RestrictedPossibilityStatement
RuleStatement ::= StructuralRuleStatement
RuleStatement ::= OperativeBusinessRuleStatement
RuleStatement ::= StructuralRuleStatement OperativeBusinessRuleStatement
IndividualConcept ::= ε
InformalRepresentation ::= [meaning]::Meaning [expression]::Expression
InstantiationFormulation ::= ε
IsfacetofFactType ::= ε
IspropertyofFactType ::= ε
IsroleofFactType ::= [factTypeForm]::FactTypeForm [role]::FactTypeRole
KindOfGuidanceStatement ::= ε
Language ::=
[name]::NameLevelOfEnforcement ::=
[name]::NameLogicalFormulationKind ::= [categorizationScheme]::CategorizationScheme [categorizationType]::CategorizationType
LogicalNegation ::= [logicalOperand]::LogicalFormulation
ModalFormulation ::= NecessityFormulation
ModalFormulation ::= ObligationFormulation
ModalFormulation ::= PermissibilityFormulation
ModalFormulation ::= PossibilityFormulation
ModalFormulation ::= NecessityFormulation ObligationFormulation PermissibilityFormulation PossibilityFormulation
NandFormulation ::= [logicalOperand2]::LogicalFormulation [logicalOperand1]::LogicalFormulation
NecessityFormulation ::= ε
NecessityStatement ::= ε
NonnecessityStatement ::= ε
NonobligationStatement ::= ε
StatementOfAdviceOfPermission ::= NonobligationStatement
StatementOfAdviceOfPermission ::= OptionalityStatement
StatementOfAdviceOfPermission ::= PermissionStatement
StatementOfAdviceOfPermission ::= NonobligationStatement OptionalityStatement PermissionStatement
NorFormulation ::= [logicalOperand2]::LogicalFormulation [logicalOperand1]::LogicalFormulation
Note ::= [meaning]::Meaning [expression]::Expression
NounConceptNominalization ::= [projection]::Projection
NounForm ::=
[placeholder]::PlaceholderNumericRangeQuantification ::= [maximumCardinality]::NonnegativeInteger [minimumCardinality]::NonnegativeInteger
Objectification ::= ε
ObligationFormulation ::= ε
ObligationStatement ::= ε
OperativeBusinessRuleStatement ::= ObligationStatement
OperativeBusinessRuleStatement ::= ProhibitionStatement
OperativeBusinessRuleStatement ::= RestrictedPermissionStatement
OperativeBusinessRuleStatement ::= ObligationStatement ProhibitionStatement RestrictedPermissionStatement
OperativeBusinessRule ::=
[levelOfEnforcement]::LevelOfEnforcementOptionalityStatement ::= ε
OwnedDefinition ::= ε
PartitiveFactType ::= ε
PermissibilityFormulation ::= ε
PermissionStatement ::= ε
PossibilityFormulation ::= ε
PossibilityStatement ::= ε
PreferredDesignation ::= [implicitlyIsUnderstood]::Boolean [signifier]::Expression
ProhibitedDesignation ::= [implicitlyIsUnderstood]::Boolean [signifier]::Expression
ProhibitionStatement ::= ε
PropositionNominalization ::= ε
Question ::=
[representation]::RepresentationQuestionNominalization ::= [projection]::Projection
RealworldNumericalCorrespondence ::= ε
Reference ::= [meaning]::Meaning [expression]::Expression
RepresentationFormality ::= ε
Res ::=
[name]::NameRestrictedPermissionStatement ::= ε
RestrictedPossibilityStatement ::= ε
Rulebook ::=
[cardinality]::NonnegativeInteger [element]::ThingSemanticCommunity ::=
[speechCommunity]::SpeechCommunitySpeechCommunity ::= [uri]::Uri [subcommunity]::Community
SententialForm ::=
[placeholder]::PlaceholderSetProjection ::= [constrainingFormulation]::LogicalFormulation [projectionVariable]::Variable [auxiliaryVariable]::AuxiliaryVariable
Situation ::=
[name]::NameSituationalRole ::= [categorizationScheme]::CategorizationScheme [categorizationType]::CategorizationType
SpeechCommunityAdoptsAdoptedDefinitionCitingReference ::= [speechCommunity]::SpeechCommunity [adoptedDefinition]::AdoptedDefinition [reference]::Reference
StateOfAffairsInvolvesThingInRole ::= [stateOfAffairs]::StateOfAffairs [thing]::Thing [role]::Role
StructuralBusinessRule ::= ε
StructuralRule ::= StructuralBusinessRule
StructuralRule ::= ε
SubjectField ::=
[name]::NameTerm ::= [implicitlyIsUnderstood]::Boolean [signifier]::Expression
TerminologicalDictionary ::=
[uri]::UriThingInContext ::= ε
UniversalQuantification ::= [scopeFormulation]::LogicalFormulation
Viewpoint ::=
[name]::NameVocabularyNamespace ::=
[uri]::UriWhetherornotFormulation ::= [inconsequent]::LogicalFormulation [consequent]::LogicalFormulation
AtleastnQuantificationHasMinimumCardinality ::= [atleastnQuantification]::AtleastnQuantification [minimumCardinality]::NonnegativeInteger
AtmostnQuantificationHasMaximumCardinality ::= [atmostnQuantification]::AtmostnQuantification [maximumCardinality]::NonnegativeInteger
AtomicFormulationIsBasedOnFactType ::= [atomicFormulation]::AtomicFormulation [factType]::FactType
AttributiveNamespaceIsForSubjectConcept ::= [attributiveNamespace]::AttributiveNamespace [subjectConcept]::Concept
AttributiveNamespaceIsWithinVocabularyNamespace ::= [attributiveNamespace]::AttributiveNamespace [vocabularyNamespace]::VocabularyNamespace
BinaryLogicalOperationHasLogicalOperand1 ::= [binaryLogicalOperation]::BinaryLogicalOperation [logicalOperand1]::LogicalFormulation
BinaryLogicalOperationHasLogicalOperand2 ::= [binaryLogicalOperation]::BinaryLogicalOperation [logicalOperand2]::LogicalFormulation
BodyOfSharedMeaningsIncludesBodyOfSharedConcepts ::= [bodyOfSharedMeanings]::BodyOfSharedMeanings [bodyOfSharedConcepts]::BodyOfSharedConcepts
BodyOfSharedMeaningsIncludesBodyOfSharedGuidance ::= [bodyOfSharedMeanings]::BodyOfSharedMeanings [bodyOfSharedGuidance]::BodyOfSharedGuidance
BodyOfSharedMeaningsUnitesSemanticCommunity ::= [bodyOfSharedMeanings]::BodyOfSharedMeanings [semanticCommunity]::SemanticCommunity
BodyOfSharedMeanings1ContainsBodyOfSharedMeanings2 ::= [bodyOfSharedMeanings1]::BodyOfSharedMeanings [bodyOfSharedMeanings2]::BodyOfSharedMeanings
BusinessPolicyIsBasisForAdvice ::= [businessPolicy]::BusinessPolicy [advice]::Advice
BusinessRuleIsDerivedFromBusinessPolicy ::= [businessRule]::BusinessRule [businessPolicy]::BusinessPolicy
CategorizationSchemeContainsCategory ::= [categorizationScheme]::CategorizationScheme [category]::Concept
CategorizationSchemeIsForGeneralConcept ::= [categorizationScheme]::CategorizationScheme [generalConcept]::ObjectType
CategorizationTypeIsForGeneralConcept ::= [categorizationType]::CategorizationType [generalConcept]::ObjectType
ClosedLogicalFormulationFormalizesStatement ::= [closedLogicalFormulation]::ClosedLogicalFormulation [statement]::Statement
ClosedLogicalFormulationMeansProposition ::= [closedLogicalFormulation]::ClosedLogicalFormulation [proposition]::Proposition
ClosedProjectionDefinesFactType ::= [closedProjection]::ClosedProjection [factType]::FactType
ClosedProjectionDefinesNounConcept ::= [closedProjection]::ClosedProjection [nounConcept]::NounConcept
ClosedProjectionFormalizesDefinition ::= [closedProjection]::ClosedProjection [definition]::Definition
ClosedProjectionMeansQuestion ::= [closedProjection]::ClosedProjection [question]::Question
ClosedSemanticFormulationFormulatesMeaning ::= [closedSemanticFormulation]::ClosedSemanticFormulation [meaning]::Meaning
CommunicationContentIsComposedOfRepresentation ::= [communicationContent]::CommunicationContent [representation]::Representation
CommunityHasSubcommunity ::= [community]::Community [subcommunity]::Community
CommunityHasUri ::= [community]::Community [uri]::Uri
ConceptHasDefinition ::= [concept]::Concept [definition]::Definition
ConceptHasDesignation ::= [concept]::Concept [designation]::Designation
ConceptHasExtension ::= [concept]::Concept [extension]::Set
ConceptHasImpliedCharacteristic ::= [concept]::Concept [impliedCharacteristic]::Characteristic
ConceptHasInstance ::= [concept]::Concept [instance]::Thing
ConceptHasNecessaryCharacteristic ::= [concept]::Concept [necessaryCharacteristic]::Characteristic
ConceptHasSharedUnderstandingBySemanticCommunity ::= [concept]::Concept [semanticCommunity]::SemanticCommunity
ConceptIncorporatesCharacteristic ::= [concept]::Concept [characteristic]::Characteristic
ConceptIsClosedInConceptualSchema ::= [concept]::Concept [conceptualSchema]::ConceptualSchema
ConceptIsIncludedInBodyOfSharedConcepts ::= [concept]::Concept [bodyOfSharedConcepts]::BodyOfSharedConcepts
Concept1IsCoextensiveWithConcept2 ::= [concept1]::Concept [concept2]::Concept
Concept1SpecializesConcept2 ::= [concept1]::Concept [concept2]::Concept
ConceptualSchemaIncludesConcept ::= [conceptualSchema]::ConceptualSchema [concept]::Concept
ConceptualSchemaIncludesFact ::= [conceptualSchema]::ConceptualSchema [fact]::Fact
DefinitionServesAsDesignation ::= [definition]::Definition [designation]::Designation
DescriptionPortraysMeaning ::= [description]::Description [meaning]::Meaning
DescriptiveExampleIllustratesMeaning ::= [descriptiveExample]::DescriptiveExample [meaning]::Meaning
DesignationHasSignifier ::= [designation]::Designation [signifier]::Expression
DesignationIsInNamespace ::= [designation]::Designation [namespace]::Namespace
ElementOfGuidanceAuthorizesStateOfAffairs ::= [elementOfGuidance]::ElementOfGuidance [stateOfAffairs]::StateOfAffairs
ElementOfGuidanceIsIncludedInBodyOfSharedGuidance ::= [elementOfGuidance]::ElementOfGuidance [bodyOfSharedGuidance]::BodyOfSharedGuidance
ElementOfGuidanceObligatesStateOfAffairs ::= [elementOfGuidance]::ElementOfGuidance [stateOfAffairs]::StateOfAffairs
ElementOfGuidanceProhibitsStateOfAffairs ::= [elementOfGuidance]::ElementOfGuidance [stateOfAffairs]::StateOfAffairs
ExactlynQuantificationHasCardinality ::= [exactlynQuantification]::ExactlynQuantification [cardinality]::NonnegativeInteger
ExpressionRepresentsMeaning ::= [expression]::Expression [meaning]::Meaning
FactModelIncludesFact ::= [factModel]::FactModel [fact]::Fact
FactModelIsBasedOnConceptualSchema ::= [factModel]::FactModel [conceptualSchema]::ConceptualSchema
FactTypeFormDemonstratesDesignation ::= [factTypeForm]::FactTypeForm [designation]::Designation
FactTypeFormIncorporatesFactSymbol ::= [factTypeForm]::FactTypeForm [factSymbol]::FactSymbol
FactTypeFormIsInNamespace ::= [factTypeForm]::FactTypeForm [namespace]::Namespace
FactTypeHasFactTypeForm ::= [factType]::FactType [factTypeForm]::FactTypeForm
FactTypeInternallyIsClosedInConceptualSchema ::= [factType]::FactType [conceptualSchema]::ConceptualSchema
FactTypeIsElementaryInBodyOfSharedMeanings ::= [factType]::FactType [bodyOfSharedMeanings]::BodyOfSharedMeanings
FactTypeRoleHasRoleBinding ::= [factTypeRole]::FactTypeRole [roleBinding]::RoleBinding
FactTypeRoleIsInFactType ::= [factTypeRole]::FactTypeRole [factType]::FactType
ImplicationHasAntecedent ::= [implication]::Implication [antecedent]::LogicalFormulation
ImplicationHasConsequent ::= [implication]::Implication [consequent]::LogicalFormulation
InstantiationFormulationBindsToBindableTarget ::= [instantiationFormulation]::InstantiationFormulation [bindableTarget]::BindableTarget
InstantiationFormulationConsidersConcept ::= [instantiationFormulation]::InstantiationFormulation [concept]::Concept
IntensionalDefinitionUsesDelimitingCharacteristic ::= [intensionalDefinition]::IntensionalDefinition [delimitingCharacteristic]::Characteristic
LogicalFormulationConstrainsProjection ::= [logicalFormulation]::LogicalFormulation [projection]::Projection
LogicalFormulationRestrictsVariable ::= [logicalFormulation]::LogicalFormulation [variable]::Variable
LogicalOperationHasLogicalOperand ::= [logicalOperation]::LogicalOperation [logicalOperand]::LogicalFormulation
MeaningCorrespondsToThing ::= [meaning]::Meaning [thing]::Thing
ModalFormulationEmbedsLogicalFormulation ::= [modalFormulation]::ModalFormulation [logicalFormulation]::LogicalFormulation
NameReferencesThing ::= [name]::Name [thing]::Thing
NamespaceHasUri ::= [namespace]::Namespace [uri]::Uri
Namespace1IncorporatesNamespace2 ::= [namespace1]::Namespace [namespace2]::Namespace
NoteCommentsOnMeaning ::= [note]::Note [meaning]::Meaning
NumericRangeQuantificationHasMaximumCardinality ::= [numericRangeQuantification]::NumericRangeQuantification [maximumCardinality]::NonnegativeInteger
NumericRangeQuantificationHasMinimumCardinality ::= [numericRangeQuantification]::NumericRangeQuantification [minimumCardinality]::NonnegativeInteger
ObjectificationBindsToBindableTarget ::= [objectification]::Objectification [bindableTarget]::BindableTarget
ObjectificationConsidersLogicalFormulation ::= [objectification]::Objectification [logicalFormulation]::LogicalFormulation
OperativeBusinessRuleHasLevelOfEnforcement ::= [operativeBusinessRule]::OperativeBusinessRule [levelOfEnforcement]::LevelOfEnforcement
PlaceholderIsAtStartingCharacterPosition ::= [placeholder]::Placeholder [startingCharacterPosition]::PositiveInteger
PlaceholderIsInFactTypeForm ::= [placeholder]::Placeholder [factTypeForm]::FactTypeForm
PlaceholderUsesDesignation ::= [placeholder]::Placeholder [designation]::Designation
ProjectingFormulationBindsToBindableTarget ::= [projectingFormulation]::ProjectingFormulation [bindableTarget]::BindableTarget
ProjectingFormulationHasProjection ::= [projectingFormulation]::ProjectingFormulation [projection]::Projection
ProjectionHasAuxiliaryVariable ::= [projection]::Projection [auxiliaryVariable]::AuxiliaryVariable
ProjectionIsOnVariable ::= [projection]::Projection [variable]::Variable
PropositionIsBasedOnFactType ::= [proposition]::Proposition [factType]::FactType
PropositionNominalizationBindsToBindableTarget ::= [propositionNominalization]::PropositionNominalization [bindableTarget]::BindableTarget
PropositionNominalizationConsidersLogicalFormulation ::= [propositionNominalization]::PropositionNominalization [logicalFormulation]::LogicalFormulation
QuantificationIntroducesVariable ::= [quantification]::Quantification [variable]::Variable
QuantificationScopesOverLogicalFormulation ::= [quantification]::Quantification [logicalFormulation]::LogicalFormulation
Quantity1EqualsQuantity2 ::= [quantity1]::Quantity [quantity2]::Quantity
Quantity1IsLessThanQuantity2 ::= [quantity1]::Quantity [quantity2]::Quantity
ReferencePointsToInformationSource ::= [reference]::Reference [informationSource]::CommunicationContent
ReferenceSchemeExtensionallyUsesFactTypeRole ::= [referenceScheme]::ReferenceScheme [factTypeRole]::FactTypeRole
ReferenceSchemeIsForConcept ::= [referenceScheme]::ReferenceScheme [concept]::Concept
ReferenceSchemeSimplyUsesFactTypeRole ::= [referenceScheme]::ReferenceScheme [factTypeRole]::FactTypeRole
ReferenceSchemeUsesCharacteristic ::= [referenceScheme]::ReferenceScheme [characteristic]::Characteristic
ReferenceSupportsMeaning ::= [reference]::Reference [meaning]::Meaning
RepresentationHasExpression ::= [representation]::Representation [expression]::Expression
RepresentationIsInDesignationContext ::= [representation]::Representation [designationContext]::Concept
RepresentationIsInSubjectField ::= [representation]::Representation [subjectField]::SubjectField
RepresentationRepresentsMeaning ::= [representation]::Representation [meaning]::Meaning
RepresentationUsesVocabulary ::= [representation]::Representation [vocabulary]::Vocabulary
ResIsSensoryManifestationOfSignifier ::= [res]::Res [signifier]::Expression
RoleBindingBindsToBindableTarget ::= [roleBinding]::RoleBinding [bindableTarget]::BindableTarget
RoleBindingOccursInAtomicFormulation ::= [roleBinding]::RoleBinding [atomicFormulation]::AtomicFormulation
RoleRangesOverObjectType ::= [role]::Role [objectType]::ObjectType
RulebookIncludesRepresentation ::= [rulebook]::Rulebook [representation]::Representation
SemanticCommunityHasSpeechCommunity ::= [semanticCommunity]::SemanticCommunity [speechCommunity]::SpeechCommunity
SetHasCardinality ::= [set]::Set [cardinality]::NonnegativeInteger
SpeechCommunityDeterminesRulebook ::= [speechCommunity]::SpeechCommunity [rulebook]::Rulebook
SpeechCommunityOwnsOwnedDefinition ::= [speechCommunity]::SpeechCommunity [ownedDefinition]::OwnedDefinition
SpeechCommunityOwnsVocabulary ::= [speechCommunity]::SpeechCommunity [vocabulary]::Vocabulary
SpeechCommunityRegulatesItsUsageOfSignifier ::= [speechCommunity]::SpeechCommunity [signifier]::Expression
SpeechCommunityUsesLanguage ::= [speechCommunity]::SpeechCommunity [language]::Language
SpeechCommunityUsesVocabulary ::= [speechCommunity]::SpeechCommunity [vocabulary]::Vocabulary
StatementExpressesProposition ::= [statement]::Statement [proposition]::Proposition
TermDenotesThing ::= [term]::Term [thing]::Thing
TerminologicalDictionaryExpressesBodyOfSharedMeanings ::= [terminologicalDictionary]::TerminologicalDictionary [bodyOfSharedMeanings]::BodyOfSharedMeanings
TerminologicalDictionaryHasUri ::= [terminologicalDictionary]::TerminologicalDictionary [uri]::Uri
TerminologicalDictionaryPresentsVocabulary ::= [terminologicalDictionary]::TerminologicalDictionary [vocabulary]::Vocabulary
ThingIsInSet ::= [thing]::Thing [set]::Set
Thing1IsThing2 ::= [thing1]::Thing [thing2]::Thing
VariableHasProjectionPosition ::= [variable]::Variable [projectionPosition]::PositiveInteger
VariableIsFreesWithinSemanticFormulation ::= [variable]::Variable [semanticFormulation]::SemanticFormulation
VariableMapsToFactTypeRole ::= [variable]::Variable [factTypeRole]::FactTypeRole
VariableRangesOverConcept ::= [variable]::Variable [concept]::Concept
VocabularyIsDesignedForSpeechCommunity ::= [vocabulary]::Vocabulary [speechCommunity]::SpeechCommunity
VocabularyIsExpressedInLanguage ::= [vocabulary]::Vocabulary [language]::Language
VocabularyIsUsedToExpressBodyOfSharedMeanings ::= [vocabulary]::Vocabulary [bodyOfSharedMeanings]::BodyOfSharedMeanings
VocabularyNamespaceIsDerivedFromVocabulary ::= [vocabularyNamespace]::VocabularyNamespace [vocabulary]::Vocabulary
VocabularyNamespaceIsForLanguage ::= [vocabularyNamespace]::VocabularyNamespace [language]::Language
VocabularyNamespaceIsSpecificToDesignationContext ::= [vocabularyNamespace]::VocabularyNamespace [designationContext]::Concept
VocabularyNamespaceIsSpecificToSubjectField ::= [vocabularyNamespace]::VocabularyNamespace [subjectField]::SubjectField
Vocabulary1IncorporatesVocabulary2 ::= [vocabulary1]::Vocabulary [vocabulary2]::Vocabulary
WhetherornotFormulationHasConsequent ::= [whetherornotFormulation]::WhetherornotFormulation [consequent]::LogicalFormulation
WhetherornotFormulationHasInconsequent ::= [whetherornotFormulation]::WhetherornotFormulation [inconsequent]::LogicalFormulation
Boolean ::= "true" "false"
String ::= string
