Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
326 lines (325 sloc) 30.8 KB
<?xml version="1.0" encoding="ISO-8859-1"?>
<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore">
<ecore:EPackage name="sbvr">
<eClassifiers xsi:type="ecore:EClass" name="Actuality" eSuperTypes="/0/StateOfAffairs"/>
<eClassifiers xsi:type="ecore:EClass" name="StateOfAffairs" eSuperTypes="/0/Thing"/>
<eClassifiers xsi:type="ecore:EClass" name="Thing">
<eStructuralFeatures xsi:type="ecore:EReference" name="name" ordered="false" upperBound="-1" eType="/0/Name"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Name" eSuperTypes="/0/Designation"/>
<eClassifiers xsi:type="ecore:EClass" name="Designation" eSuperTypes="/0/Representation">
<eOperations name="getSignifierText" eType="/1/String"/>
<eOperations name="setSignifierText">
<eParameters name="value" eType="/1/String"/>
</eOperations>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="implicitlyIsUnderstood" ordered="false" unique="false" eType="/1/Boolean"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="signifier" ordered="false" lowerBound="1" eType="/0/Expression"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Representation" eSuperTypes="/0/Actuality">
<eStructuralFeatures xsi:type="ecore:EReference" name="meaning" ordered="false" lowerBound="1" eType="/0/Meaning"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="expression" ordered="false" lowerBound="1" eType="/0/Expression"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Meaning" eSuperTypes="/0/Thing">
<eStructuralFeatures xsi:type="ecore:EReference" name="representation" ordered="false" upperBound="-1" eType="/0/Representation"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Expression" eSuperTypes="/0/BindableTarget"/>
<eClassifiers xsi:type="ecore:EClass" name="BindableTarget" eSuperTypes="/0/Thing"/>
<eClassifiers xsi:type="ecore:EClass" name="AdoptedDefinition" eSuperTypes="/0/Definition"/>
<eClassifiers xsi:type="ecore:EClass" name="Definition" eSuperTypes="/0/Representation"/>
<eClassifiers xsi:type="ecore:EClass" name="Advice" eSuperTypes="/0/ElementOfGuidance"/>
<eClassifiers xsi:type="ecore:EClass" name="ElementOfGuidance" eSuperTypes="/0/Proposition">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="isPracticable" ordered="false" unique="false" eType="/1/Boolean"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Proposition" eSuperTypes="/0/Meaning">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="isFalse" ordered="false" unique="false" eType="/1/Boolean"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="isTrue" ordered="false" unique="false" eType="/1/Boolean"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="statement" ordered="false" upperBound="-1" eType="/0/Statement"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="isPossiblyTrue" ordered="false" unique="false" eType="/1/Boolean"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="isObligatedToBeTrue" ordered="false" unique="false" eType="/1/Boolean"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="isPermittedToBeTrue" ordered="false" unique="false" eType="/1/Boolean"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="isNecessarilyTrue" ordered="false" unique="false" eType="/1/Boolean"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Statement" eSuperTypes="/0/Representation"/>
<eClassifiers xsi:type="ecore:EClass" name="AdviceOfContingency" eSuperTypes="/0/AdviceOfPossibility"/>
<eClassifiers xsi:type="ecore:EClass" name="AdviceOfPossibility" eSuperTypes="/0/Advice"/>
<eClassifiers xsi:type="ecore:EClass" name="AdviceOfOptionality" eSuperTypes="/0/AdviceOfPermission"/>
<eClassifiers xsi:type="ecore:EClass" name="AdviceOfPermission" eSuperTypes="/0/Advice"/>
<eClassifiers xsi:type="ecore:EClass" name="AdviceStatement" eSuperTypes="/0/GuidanceStatement"/>
<eClassifiers xsi:type="ecore:EClass" name="GuidanceStatement" eSuperTypes="/0/Statement"/>
<eClassifiers xsi:type="ecore:EClass" name="AggregationFormulation" eSuperTypes="/0/ProjectingFormulation"/>
<eClassifiers xsi:type="ecore:EClass" name="ProjectingFormulation" eSuperTypes="/0/LogicalFormulation">
<eStructuralFeatures xsi:type="ecore:EReference" name="projection" ordered="false" lowerBound="1" eType="/0/Projection"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="LogicalFormulation" eSuperTypes="/0/SemanticFormulation"/>
<eClassifiers xsi:type="ecore:EClass" name="SemanticFormulation" eSuperTypes="/0/Thing"/>
<eClassifiers xsi:type="ecore:EClass" name="Projection" eSuperTypes="/0/SemanticFormulation">
<eStructuralFeatures xsi:type="ecore:EReference" name="constrainingFormulation" ordered="false" eType="/0/LogicalFormulation"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="projectionVariable" ordered="false" lowerBound="1" upperBound="-1" eType="/0/Variable"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="auxiliaryVariable" ordered="false" upperBound="-1" eType="/0/AuxiliaryVariable"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Variable" eSuperTypes="/0/BindableTarget">
<eStructuralFeatures xsi:type="ecore:EReference" name="restrictingFormulation" ordered="false" eType="/0/LogicalFormulation"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="projectionPosition" ordered="false" eType="/0/PositiveInteger"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="rangedoverConcept" ordered="false" eType="/0/Concept"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="isUnitary" ordered="false" unique="false" eType="/1/Boolean"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="PositiveInteger" eSuperTypes="/0/NonnegativeInteger"/>
<eClassifiers xsi:type="ecore:EClass" name="NonnegativeInteger" eSuperTypes="/0/Integer"/>
<eClassifiers xsi:type="ecore:EClass" name="Integer" eSuperTypes="/0/Number">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="value" ordered="false" unique="false" eType="/1/integer"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Number" eSuperTypes="/0/Quantity"/>
<eClassifiers xsi:type="ecore:EClass" name="Quantity" eSuperTypes="/0/NounConcept"/>
<eClassifiers xsi:type="ecore:EClass" name="NounConcept" eSuperTypes="/0/Concept"/>
<eClassifiers xsi:type="ecore:EClass" name="Concept" eSuperTypes="/0/Meaning">
<eStructuralFeatures xsi:type="ecore:EReference" name="attributiveNamespace" ordered="false" upperBound="-1" eType="/0/AttributiveNamespace"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="definition" ordered="false" upperBound="-1" eType="/0/Definition"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="moreGeneralConcept" ordered="false" upperBound="-1" eType="/0/Concept"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="category" ordered="false" upperBound="-1" eType="/0/Concept"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="essentialCharacteristic" ordered="false" upperBound="-1" eType="/0/Characteristic"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="instance" ordered="false" upperBound="-1" eType="/0/Thing"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="referenceScheme" ordered="false" upperBound="-1" eType="/0/ReferenceScheme"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="impliedCharacteristic" ordered="false" upperBound="-1" eType="/0/Characteristic"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="necessaryCharacteristic" ordered="false" upperBound="-1" eType="/0/Characteristic"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="designation" ordered="false" upperBound="-1" eType="/0/Designation"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="extension" ordered="false" lowerBound="1" eType="/0/Set"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="AttributiveNamespace" eSuperTypes="/0/Namespace"/>
<eClassifiers xsi:type="ecore:EClass" name="Namespace" eSuperTypes="/0/Thing">
<eStructuralFeatures xsi:type="ecore:EReference" name="uri" ordered="false" upperBound="-1" eType="/0/Uri"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Uri" eSuperTypes="/0/Text"/>
<eClassifiers xsi:type="ecore:EClass" name="Text" eSuperTypes="/0/Expression">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="value" ordered="false" unique="false" eType="/1/String"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Characteristic" eSuperTypes="/0/FactType"/>
<eClassifiers xsi:type="ecore:EClass" name="FactType" eSuperTypes="/0/Concept">
<eStructuralFeatures xsi:type="ecore:EReference" name="factTypeForm" ordered="false" upperBound="-1" eType="/0/FactTypeForm"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="role" ordered="false" lowerBound="1" upperBound="-1" eType="/0/FactTypeRole"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="FactTypeForm" eSuperTypes="/0/Representation">
<eStructuralFeatures xsi:type="ecore:EReference" name="placeholder" ordered="false" lowerBound="1" upperBound="-1" eType="/0/Placeholder"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Placeholder" eSuperTypes="/0/Designation">
<eStructuralFeatures xsi:type="ecore:EReference" name="startingCharacterPosition" ordered="false" eType="/0/PositiveInteger"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="FactTypeRole" eSuperTypes="/0/Role">
<eStructuralFeatures xsi:type="ecore:EReference" name="roleBinding" ordered="false" upperBound="-1" eType="/0/RoleBinding"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Role" eSuperTypes="/0/NounConcept"/>
<eClassifiers xsi:type="ecore:EClass" name="RoleBinding" eSuperTypes="/0/Thing"/>
<eClassifiers xsi:type="ecore:EClass" name="ReferenceScheme" eSuperTypes="/0/Thing">
<eStructuralFeatures xsi:type="ecore:EReference" name="simplyUsedRole" ordered="false" upperBound="-1" eType="/0/FactTypeRole"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="identifyingCharacteristic" ordered="false" upperBound="-1" eType="/0/Characteristic"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="extensionallyUsedRole" ordered="false" upperBound="-1" eType="/0/FactTypeRole"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Set" eSuperTypes="/0/Thing">
<eStructuralFeatures xsi:type="ecore:EReference" name="cardinality" ordered="false" eType="/0/NonnegativeInteger"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="element" ordered="false" upperBound="-1" eType="/0/Thing"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="AuxiliaryVariable" eSuperTypes="/0/Variable"/>
<eClassifiers xsi:type="ecore:EClass" name="AnswerNominalization" eSuperTypes="/0/ProjectingFormulation"/>
<eClassifiers xsi:type="ecore:EClass" name="AssociativeFactType" eSuperTypes="/0/FactType"/>
<eClassifiers xsi:type="ecore:EClass" name="AssortmentFactType" eSuperTypes="/0/FactType"/>
<eClassifiers xsi:type="ecore:EClass" name="AtleastnQuantification" eSuperTypes="/0/Quantification">
<eStructuralFeatures xsi:type="ecore:EReference" name="minimumCardinality" ordered="false" lowerBound="1" eType="/0/NonnegativeInteger"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Quantification" eSuperTypes="/0/LogicalFormulation">
<eStructuralFeatures xsi:type="ecore:EReference" name="scopeFormulation" ordered="false" eType="/0/LogicalFormulation"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="AtmostnQuantification" eSuperTypes="/0/Quantification">
<eStructuralFeatures xsi:type="ecore:EReference" name="maximumCardinality" ordered="false" lowerBound="1" eType="/0/NonnegativeInteger"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="AtmostoneQuantification" eSuperTypes="/0/AtmostnQuantification"/>
<eClassifiers xsi:type="ecore:EClass" name="AtomicFormulation" eSuperTypes="/0/LogicalFormulation">
<eStructuralFeatures xsi:type="ecore:EReference" name="roleBinding" ordered="false" upperBound="-1" eType="/0/RoleBinding"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="BagProjection" eSuperTypes="/0/Projection"/>
<eClassifiers xsi:type="ecore:EClass" name="BinaryFactType" eSuperTypes="/0/FactType"/>
<eClassifiers xsi:type="ecore:EClass" name="BinaryLogicalOperation" eSuperTypes="/0/LogicalOperation">
<eStructuralFeatures xsi:type="ecore:EReference" name="logicalOperand2" ordered="false" upperBound="-1" eType="/0/LogicalFormulation"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="logicalOperand1" ordered="false" upperBound="-1" eType="/0/LogicalFormulation"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="LogicalOperation" eSuperTypes="/0/LogicalFormulation">
<eStructuralFeatures xsi:type="ecore:EReference" name="logicalOperand" ordered="false" lowerBound="1" eType="/0/LogicalFormulation"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="BodyOfSharedConcepts" eSuperTypes="/0/Thing"/>
<eClassifiers xsi:type="ecore:EClass" name="BodyOfSharedGuidance" eSuperTypes="/0/Thing"/>
<eClassifiers xsi:type="ecore:EClass" name="BodyOfSharedMeanings" eSuperTypes="/0/Set">
<eStructuralFeatures xsi:type="ecore:EReference" name="elementaryFactType" ordered="false" upperBound="-1" eType="/0/FactType"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="BusinessPolicy" eSuperTypes="/0/ElementOfGovernance"/>
<eClassifiers xsi:type="ecore:EClass" name="ElementOfGovernance" eSuperTypes="/0/ElementOfGuidance">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="isDirectlyEnforceable" ordered="false" unique="false" eType="/1/Boolean"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="BusinessPolicyStatement" eSuperTypes="/0/GuidanceStatement"/>
<eClassifiers xsi:type="ecore:EClass" name="BusinessRule" eSuperTypes="/0/ElementOfGuidance /0/Rule"/>
<eClassifiers xsi:type="ecore:EClass" name="Rule" eSuperTypes="/0/Proposition"/>
<eClassifiers xsi:type="ecore:EClass" name="BusinessVocabulary" eSuperTypes="/0/Vocabulary"/>
<eClassifiers xsi:type="ecore:EClass" name="Vocabulary" eSuperTypes="/0/Set"/>
<eClassifiers xsi:type="ecore:EClass" name="CategorizationFactType" eSuperTypes="/0/SpecializationFactType"/>
<eClassifiers xsi:type="ecore:EClass" name="SpecializationFactType" eSuperTypes="/0/FactType"/>
<eClassifiers xsi:type="ecore:EClass" name="CategorizationScheme" eSuperTypes="/0/Thing"/>
<eClassifiers xsi:type="ecore:EClass" name="CategorizationType" eSuperTypes="/0/Concept"/>
<eClassifiers xsi:type="ecore:EClass" name="CharacteristicType" eSuperTypes="/0/ConceptType"/>
<eClassifiers xsi:type="ecore:EClass" name="ConceptType" eSuperTypes="/0/ObjectType"/>
<eClassifiers xsi:type="ecore:EClass" name="ObjectType" eSuperTypes="/0/Concept">
<eStructuralFeatures xsi:type="ecore:EReference" name="categorizationScheme" ordered="false" upperBound="-1" eType="/0/CategorizationScheme"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="categorizationType" ordered="false" upperBound="-1" eType="/0/CategorizationType"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="ClosedLogicalFormulation" eSuperTypes="/0/ClosedSemanticFormulation /0/LogicalFormulation"/>
<eClassifiers xsi:type="ecore:EClass" name="ClosedSemanticFormulation" eSuperTypes="/0/SemanticFormulation"/>
<eClassifiers xsi:type="ecore:EClass" name="ClosedProjection" eSuperTypes="/0/Projection"/>
<eClassifiers xsi:type="ecore:EClass" name="CommunicationContent" eSuperTypes="/0/Representation"/>
<eClassifiers xsi:type="ecore:EClass" name="Community" eSuperTypes="/0/Thing">
<eStructuralFeatures xsi:type="ecore:EReference" name="uri" ordered="false" upperBound="-1" eType="/0/Uri"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="subcommunity" ordered="false" upperBound="-1" eType="/0/Community"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="ConceptOfThingAsComposite" eSuperTypes="/0/Concept"/>
<eClassifiers xsi:type="ecore:EClass" name="ConceptOfThingAsContinuant" eSuperTypes="/0/Concept"/>
<eClassifiers xsi:type="ecore:EClass" name="ConceptOfThingAsDeveloped" eSuperTypes="/0/Concept"/>
<eClassifiers xsi:type="ecore:EClass" name="ConceptOfThingAsOccurrent" eSuperTypes="/0/Concept"/>
<eClassifiers xsi:type="ecore:EClass" name="ConceptOfThingAsPrimitive" eSuperTypes="/0/Concept"/>
<eClassifiers xsi:type="ecore:EClass" name="ConceptOfThingAsUnitary" eSuperTypes="/0/Concept"/>
<eClassifiers xsi:type="ecore:EClass" name="ConceptOfThingExistingDependently" eSuperTypes="/0/Concept"/>
<eClassifiers xsi:type="ecore:EClass" name="ConceptOfThingExistingIndependently" eSuperTypes="/0/Concept"/>
<eClassifiers xsi:type="ecore:EClass" name="ConceptualSchema" eSuperTypes="/0/Thing"/>
<eClassifiers xsi:type="ecore:EClass" name="Conjunction" eSuperTypes="/0/BinaryLogicalOperation"/>
<eClassifiers xsi:type="ecore:EClass" name="ContextOfThing" eSuperTypes="/0/Segmentation"/>
<eClassifiers xsi:type="ecore:EClass" name="Segmentation" eSuperTypes="/0/CategorizationScheme"/>
<eClassifiers xsi:type="ecore:EClass" name="ContextualizationFactType" eSuperTypes="/0/SpecializationFactType"/>
<eClassifiers xsi:type="ecore:EClass" name="ContextualizedConcept" eSuperTypes="/0/NounConcept"/>
<eClassifiers xsi:type="ecore:EClass" name="ContingencyStatement" eSuperTypes="/0/StatementOfAdviceOfPossibility"/>
<eClassifiers xsi:type="ecore:EClass" name="StatementOfAdviceOfPossibility" eSuperTypes="/0/AdviceStatement"/>
<eClassifiers xsi:type="ecore:EClass" name="DefiniteDescription" eSuperTypes="/0/IntensionalDefinition"/>
<eClassifiers xsi:type="ecore:EClass" name="IntensionalDefinition" eSuperTypes="/0/Definition"/>
<eClassifiers xsi:type="ecore:EClass" name="DerivableConcept" eSuperTypes="/0/Concept"/>
<eClassifiers xsi:type="ecore:EClass" name="Description" eSuperTypes="/0/Representation"/>
<eClassifiers xsi:type="ecore:EClass" name="DescriptiveExample" eSuperTypes="/0/Representation"/>
<eClassifiers xsi:type="ecore:EClass" name="Disjunction" eSuperTypes="/0/BinaryLogicalOperation"/>
<eClassifiers xsi:type="ecore:EClass" name="Equivalence" eSuperTypes="/0/BinaryLogicalOperation"/>
<eClassifiers xsi:type="ecore:EClass" name="ExactlynQuantification" eSuperTypes="/0/Quantification">
<eStructuralFeatures xsi:type="ecore:EReference" name="cardinality" ordered="false" lowerBound="1" eType="/0/NonnegativeInteger"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="ExactlyoneQuantification" eSuperTypes="/0/ExactlynQuantification"/>
<eClassifiers xsi:type="ecore:EClass" name="ExclusiveDisjunction" eSuperTypes="/0/BinaryLogicalOperation"/>
<eClassifiers xsi:type="ecore:EClass" name="ExistentialQuantification" eSuperTypes="/0/AtleastnQuantification"/>
<eClassifiers xsi:type="ecore:EClass" name="ExplicitnessOfRepresentation" eSuperTypes="/0/CategorizationScheme"/>
<eClassifiers xsi:type="ecore:EClass" name="ExtensionalDefinition" eSuperTypes="/0/Definition"/>
<eClassifiers xsi:type="ecore:EClass" name="Facet" eSuperTypes="/0/ContextualizedConcept"/>
<eClassifiers xsi:type="ecore:EClass" name="Fact" eSuperTypes="/0/Proposition"/>
<eClassifiers xsi:type="ecore:EClass" name="FactModel" eSuperTypes="/0/Thing"/>
<eClassifiers xsi:type="ecore:EClass" name="FactSymbol" eSuperTypes="/0/Designation"/>
<eClassifiers xsi:type="ecore:EClass" name="FactTypeHasFactInFactModel">
<eStructuralFeatures xsi:type="ecore:EReference" name="factType" ordered="false" lowerBound="1" eType="/0/FactType"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="fact" ordered="false" lowerBound="1" eType="/0/Fact"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="factModel" ordered="false" lowerBound="1" eType="/0/FactModel"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="FactTypeNominalization" eSuperTypes="/0/ProjectingFormulation"/>
<eClassifiers xsi:type="ecore:EClass" name="FactTypeRoleDesignation" eSuperTypes="/0/Designation"/>
<eClassifiers xsi:type="ecore:EClass" name="FactTypeTemplating" eSuperTypes="/0/CategorizationScheme"/>
<eClassifiers xsi:type="ecore:EClass" name="FormalRepresentation" eSuperTypes="/0/Representation"/>
<eClassifiers xsi:type="ecore:EClass" name="FundamentalConcept" eSuperTypes="/0/ObjectType"/>
<eClassifiers xsi:type="ecore:EClass" name="Icon" eSuperTypes="/0/NonverbalDesignation"/>
<eClassifiers xsi:type="ecore:EClass" name="NonverbalDesignation" eSuperTypes="/0/Designation"/>
<eClassifiers xsi:type="ecore:EClass" name="Implication" eSuperTypes="/0/BinaryLogicalOperation">
<eStructuralFeatures xsi:type="ecore:EReference" name="consequent" ordered="false" upperBound="-1" eType="/0/LogicalFormulation"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="antecedent" ordered="false" upperBound="-1" eType="/0/LogicalFormulation"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="ImpossibilityStatement" eSuperTypes="/0/StructuralRuleStatement"/>
<eClassifiers xsi:type="ecore:EClass" name="StructuralRuleStatement" eSuperTypes="/0/RuleStatement"/>
<eClassifiers xsi:type="ecore:EClass" name="RuleStatement" eSuperTypes="/0/GuidanceStatement"/>
<eClassifiers xsi:type="ecore:EClass" name="IndividualConcept" eSuperTypes="/0/NounConcept /0/BindableTarget"/>
<eClassifiers xsi:type="ecore:EClass" name="InformalRepresentation" eSuperTypes="/0/Representation"/>
<eClassifiers xsi:type="ecore:EClass" name="InstantiationFormulation" eSuperTypes="/0/LogicalFormulation"/>
<eClassifiers xsi:type="ecore:EClass" name="IsfacetofFactType" eSuperTypes="/0/ContextualizationFactType"/>
<eClassifiers xsi:type="ecore:EClass" name="IspropertyofFactType" eSuperTypes="/0/AssociativeFactType"/>
<eClassifiers xsi:type="ecore:EClass" name="IsroleofFactType" eSuperTypes="/0/FactType"/>
<eClassifiers xsi:type="ecore:EClass" name="KindOfGuidanceStatement" eSuperTypes="/0/CategorizationScheme"/>
<eClassifiers xsi:type="ecore:EClass" name="Language" eSuperTypes="/0/Thing"/>
<eClassifiers xsi:type="ecore:EClass" name="LevelOfEnforcement" eSuperTypes="/0/Thing"/>
<eClassifiers xsi:type="ecore:EClass" name="LogicalFormulationKind" eSuperTypes="/0/ObjectType"/>
<eClassifiers xsi:type="ecore:EClass" name="LogicalNegation" eSuperTypes="/0/LogicalOperation"/>
<eClassifiers xsi:type="ecore:EClass" name="ModalFormulation" eSuperTypes="/0/LogicalFormulation"/>
<eClassifiers xsi:type="ecore:EClass" name="NandFormulation" eSuperTypes="/0/BinaryLogicalOperation"/>
<eClassifiers xsi:type="ecore:EClass" name="NecessityFormulation" eSuperTypes="/0/ModalFormulation"/>
<eClassifiers xsi:type="ecore:EClass" name="NecessityStatement" eSuperTypes="/0/StructuralRuleStatement"/>
<eClassifiers xsi:type="ecore:EClass" name="NonnecessityStatement" eSuperTypes="/0/StatementOfAdviceOfPossibility"/>
<eClassifiers xsi:type="ecore:EClass" name="NonobligationStatement" eSuperTypes="/0/StatementOfAdviceOfPermission"/>
<eClassifiers xsi:type="ecore:EClass" name="StatementOfAdviceOfPermission" eSuperTypes="/0/AdviceStatement"/>
<eClassifiers xsi:type="ecore:EClass" name="NorFormulation" eSuperTypes="/0/BinaryLogicalOperation"/>
<eClassifiers xsi:type="ecore:EClass" name="Note" eSuperTypes="/0/Representation"/>
<eClassifiers xsi:type="ecore:EClass" name="NounConceptNominalization" eSuperTypes="/0/ProjectingFormulation"/>
<eClassifiers xsi:type="ecore:EClass" name="NounForm" eSuperTypes="/0/FactTypeForm"/>
<eClassifiers xsi:type="ecore:EClass" name="NumericRangeQuantification" eSuperTypes="/0/Quantification">
<eStructuralFeatures xsi:type="ecore:EReference" name="maximumCardinality" ordered="false" lowerBound="1" eType="/0/NonnegativeInteger"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="minimumCardinality" ordered="false" lowerBound="1" eType="/0/NonnegativeInteger"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Objectification" eSuperTypes="/0/LogicalFormulation"/>
<eClassifiers xsi:type="ecore:EClass" name="ObligationFormulation" eSuperTypes="/0/ModalFormulation"/>
<eClassifiers xsi:type="ecore:EClass" name="ObligationStatement" eSuperTypes="/0/OperativeBusinessRuleStatement"/>
<eClassifiers xsi:type="ecore:EClass" name="OperativeBusinessRuleStatement" eSuperTypes="/0/RuleStatement"/>
<eClassifiers xsi:type="ecore:EClass" name="OperativeBusinessRule" eSuperTypes="/0/ElementOfGovernance /0/BusinessRule">
<eStructuralFeatures xsi:type="ecore:EReference" name="levelOfEnforcement" ordered="false" upperBound="-1" eType="/0/LevelOfEnforcement"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="OptionalityStatement" eSuperTypes="/0/StatementOfAdviceOfPermission"/>
<eClassifiers xsi:type="ecore:EClass" name="OwnedDefinition" eSuperTypes="/0/Definition"/>
<eClassifiers xsi:type="ecore:EClass" name="PartitiveFactType" eSuperTypes="/0/BinaryFactType"/>
<eClassifiers xsi:type="ecore:EClass" name="PermissibilityFormulation" eSuperTypes="/0/ModalFormulation"/>
<eClassifiers xsi:type="ecore:EClass" name="PermissionStatement" eSuperTypes="/0/StatementOfAdviceOfPermission"/>
<eClassifiers xsi:type="ecore:EClass" name="PossibilityFormulation" eSuperTypes="/0/ModalFormulation"/>
<eClassifiers xsi:type="ecore:EClass" name="PossibilityStatement" eSuperTypes="/0/StatementOfAdviceOfPossibility"/>
<eClassifiers xsi:type="ecore:EClass" name="PreferredDesignation" eSuperTypes="/0/Designation"/>
<eClassifiers xsi:type="ecore:EClass" name="ProhibitedDesignation" eSuperTypes="/0/Designation"/>
<eClassifiers xsi:type="ecore:EClass" name="ProhibitionStatement" eSuperTypes="/0/OperativeBusinessRuleStatement"/>
<eClassifiers xsi:type="ecore:EClass" name="PropositionNominalization" eSuperTypes="/0/LogicalFormulation"/>
<eClassifiers xsi:type="ecore:EClass" name="Question" eSuperTypes="/0/Meaning"/>
<eClassifiers xsi:type="ecore:EClass" name="QuestionNominalization" eSuperTypes="/0/ProjectingFormulation"/>
<eClassifiers xsi:type="ecore:EClass" name="RealworldNumericalCorrespondence" eSuperTypes="/0/CategorizationScheme"/>
<eClassifiers xsi:type="ecore:EClass" name="Reference" eSuperTypes="/0/Representation"/>
<eClassifiers xsi:type="ecore:EClass" name="RepresentationFormality" eSuperTypes="/0/Segmentation"/>
<eClassifiers xsi:type="ecore:EClass" name="Res" eSuperTypes="/0/Thing"/>
<eClassifiers xsi:type="ecore:EClass" name="RestrictedPermissionStatement" eSuperTypes="/0/OperativeBusinessRuleStatement"/>
<eClassifiers xsi:type="ecore:EClass" name="RestrictedPossibilityStatement" eSuperTypes="/0/StructuralRuleStatement"/>
<eClassifiers xsi:type="ecore:EClass" name="Rulebook" eSuperTypes="/0/Set"/>
<eClassifiers xsi:type="ecore:EClass" name="SemanticCommunity" eSuperTypes="/0/Community">
<eStructuralFeatures xsi:type="ecore:EReference" name="speechCommunity" ordered="false" upperBound="-1" eType="/0/SpeechCommunity"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="SpeechCommunity" eSuperTypes="/0/Community"/>
<eClassifiers xsi:type="ecore:EClass" name="SententialForm" eSuperTypes="/0/FactTypeForm"/>
<eClassifiers xsi:type="ecore:EClass" name="SetProjection" eSuperTypes="/0/Projection"/>
<eClassifiers xsi:type="ecore:EClass" name="Situation" eSuperTypes="/0/Thing"/>
<eClassifiers xsi:type="ecore:EClass" name="SituationalRole" eSuperTypes="/0/ObjectType /0/Role"/>
<eClassifiers xsi:type="ecore:EClass" name="SpeechCommunityAdoptsAdoptedDefinitionCitingReference">
<eStructuralFeatures xsi:type="ecore:EReference" name="speechCommunity" ordered="false" lowerBound="1" eType="/0/SpeechCommunity"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="adoptedDefinition" ordered="false" lowerBound="1" eType="/0/AdoptedDefinition"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="reference" ordered="false" lowerBound="1" eType="/0/Reference"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="StateOfAffairsInvolvesThingInRole">
<eStructuralFeatures xsi:type="ecore:EReference" name="stateOfAffairs" ordered="false" lowerBound="1" eType="/0/StateOfAffairs"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="thing" ordered="false" lowerBound="1" eType="/0/Thing"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="role" ordered="false" lowerBound="1" eType="/0/Role"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="StructuralBusinessRule" eSuperTypes="/0/BusinessRule /0/StructuralRule"/>
<eClassifiers xsi:type="ecore:EClass" name="StructuralRule" eSuperTypes="/0/Rule"/>
<eClassifiers xsi:type="ecore:EClass" name="SubjectField" eSuperTypes="/0/Thing"/>
<eClassifiers xsi:type="ecore:EClass" name="Term" eSuperTypes="/0/Designation"/>
<eClassifiers xsi:type="ecore:EClass" name="TerminologicalDictionary" eSuperTypes="/0/Thing">
<eStructuralFeatures xsi:type="ecore:EReference" name="uri" ordered="false" upperBound="-1" eType="/0/Uri" containment="true"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="ThingInContext" eSuperTypes="/0/Segmentation"/>
<eClassifiers xsi:type="ecore:EClass" name="UniversalQuantification" eSuperTypes="/0/Quantification"/>
<eClassifiers xsi:type="ecore:EClass" name="Viewpoint" eSuperTypes="/0/Thing"/>
<eClassifiers xsi:type="ecore:EClass" name="VocabularyNamespace" eSuperTypes="/0/Namespace"/>
<eClassifiers xsi:type="ecore:EClass" name="WhetherornotFormulation" eSuperTypes="/0/BinaryLogicalOperation">
<eStructuralFeatures xsi:type="ecore:EReference" name="inconsequent" ordered="false" upperBound="-1" eType="/0/LogicalFormulation"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="consequent" ordered="false" upperBound="-1" eType="/0/LogicalFormulation"/>
</eClassifiers>
</ecore:EPackage>
<ecore:EPackage name="PrimitiveTypes">
<eClassifiers xsi:type="ecore:EDataType" name="Boolean"/>
<eClassifiers xsi:type="ecore:EDataType" name="integer"/>
<eClassifiers xsi:type="ecore:EDataType" name="String"/>
<eClassifiers xsi:type="ecore:EDataType" name="Double"/>
</ecore:EPackage>
</xmi:XMI>