Forward_chaining

Production_rule_arm

ENTITY Forward_chaining_rule
SUBTYPE OF (Rule_definition);
premise : clause_select;
conclusion : Literal_conjunction;
WHERE
WR1: local_vars_of(SELF.conclusion) <= local_vars_of(SELF.premise);
END_ENTITY; -- Forward_chaining_rule

Entity data types and their attributes

Product_view_definition
(OPT) id: STRING;
(OPT) name: STRING;
(OPT) additional_characterization: STRING;
initial_context: View_definition_context;
additional_contexts: SET [0:?] OF View_definition_context;
defined_version: Product_version;
Information_definition
(RT) defined_version: Information_version;
Software_definition
(RT) defined_version: Software_version;
Rule_software_definition
(RT) defined_version: Rule_version;
Rule_definition
-
Forward_chaining_rule
premise: clause_select;
conclusion: Literal_conjunction;

Users: by entity attributes

Product_view_definition
Add_design_object_management_relationship.current_design_object
managed_design_object
ap210_managed_design_object
Affected_items_assignment.items
affected_item_select
pdm_affected_item_select
Analysis_assignment.applied_to
analysed_item
ds_analysed_item
Applied_activity_assignment.items
activity_item
ss_activity_item
pmpb_activity_item
Applied_activity_method_assignment.items
activity_method_item
ss_activity_method_item
pmpb_activity_method_item
Applied_information_usage_right.item
information_usage_right_item
design_pdm_information_usage_right_item
design_pdm_classification_item
classified_element_select
Applied_state_definition_assignment.assigned_to
state_definition_of_item
prjm_state_definition_of_item
Approval_assignment.items
approval_item
im_approval_item
Assembly_component.assemblies
Assembly_component.described_element
shapeable_item
Assembly_item_number.assembly
Assigned_property.described_element
property_assignment_select
syss_property_assignment_select
Attachment_slot_on_product.product
Attribute_classification.classified_entity
classified_attribute_select
ap239_padi_classified_attribute_select
Attribute_translation_assignment.considered_instance
string_select
pdm_string_select
Breakdown_of.of_view
Certification_assignment.items
certification_item
pmpb_certification_item
Change_design_object_management_relationship.current_design_object
managed_design_object
Change_design_object_management_relationship.previous_design_object
managed_design_object
Classification_assignment.items
classification_item
design_pdm_classification_item
classified_element_select
Composite_material_identification.composite_items
material_item_select
dma_material_item_select
Condition_evaluation_parameter.evaluation_parameter
condition_evaluation_parameter_item
ap239_padi_condition_evaluation_parameter_item
Condition_parameter.parameter
condition_parameter_item
ap239_padi_condition_parameter_item
Contextual_item_shape.shaped_product
Contract_assignment.items
contract_item
prjm_contract_item
organization_or_person_in_organization_item
prjm_organization_or_person_in_organization_item
Date_or_date_time_assignment.items
date_or_date_time_item
im_date_or_date_time_item
Definition_based_product_occurrence.derived_from
Delete_design_object_management_relationship.previous_design_object
managed_design_object
ap210_managed_design_object
Description_text_assignment.items
description_item
sysm_description_item
analysed_item
ds_analysed_item
Document_assignment.is_assigned_to
documented_element_select
requirement_documented_element_select
Effectivity_assignment.items
effectivity_item
requirement_effectivity_item
Evaluation_view_definition.evaluated_product_definition
Event_assignment.items
event_item
risk_event_item
rm_event_item
Frozen_assignment.frozen_item
managed_design_object
ap210_managed_design_object
Functional_unit_definition.described_element
shapeable_item
Identification_assignment.items
identification_item
sbb_identification_item
In_zone.located_item
in_zone_item
syss_in_zone_item
Information_packet_definition.contains
information_packet_element
pmpb_information_packet_element
Interface_connection.connected
connection_items
connection_definition_items
Interface_connection.connecting
connection_items
connection_definition_items
Interface_connector_definition.connector_on
Interface_connector_occurrence.connector_on
connector_on_item
Interface_definition_connection.connected
connection_definition_items
Interface_definition_connection.connecting
connection_definition_items
Interface_definition_for.interface_component
interface_definition_item
Issue_reference.item
issue_reference_item
prgm_issue_reference_item
Item_design_association.design
version_or_definition
Item_shape.described_element
shapeable_item
Justification_assignment.item
justification_item
ds_justification_item
Justification_support_assignment.support_item
justification_support_item
prjm_justification_support_item
Language_indication.considered_instance
string_select
ds_string_select
Location_assignment.entity_for_location
location_assignment_select
pmri_location_assignment_select
Material_identification.items
material_item_select
dma_material_item_select
Mating_connector_usage.definition
Name_assignment.items
assigned_name_select
syss_assigned_name_select
Nominal_design_shape.design_view
Observation.in_context
observed_context
prjm_observed_context
Organization_or_person_in_organization_assignment.items
organization_or_person_in_organization_item
prjm_organization_or_person_in_organization_item
Parameter_value_representation_item.parameter_value
parameter_value_select
sbb_parameter_value_select
Part_design_view.described_element
shapeable_item
Part_usage_view.described_element
shapeable_item
Physical_unit_network_definition.assembly
Position_assignment.items
position_item
pmpb_position_item
Position_group_assignment.items
position_group_item
tsr_position_group_item
Position_type_assignment.items
position_type_item
tsr_position_type_item
Presentation_set_assignment.is_describing
presentation_association_select
presentation_association_select_203e2
Product_definition_element_relationship.product
product_item
syss_product_item
Product_in_attachment_slot.product
Product_occurrence_definition_relationship.related_view
Product_occurrence_definition_relationship.relating_view
Project_assignment.items
project_item
syss_project_item
Required_resource_assignment.item
required_resource_item
sysm_required_resource_item
Requirement_assignment.assigned_to
requirement_assignment_item
ap239_padi_requirement_assignment_item
Requirement_source.source
requirement_source_item
ap239_padi_requirement_source_item
Resource_as_realized_assignment.item
resource_as_realized_item
prjm_resource_as_realized_item
Resource_item.resource_items
resource_item_select
prjm_resource_item_select
Resource_item_assignment.item
resource_assignment_item
prjm_resource_assignment_item
Risk_identification_inputs.items
risk_perception_source_item
prgm_risk_perception_source_item
Risk_impact_assignment.items
risk_impact_item
rm_risk_impact_item
Risk_perception_source_assignment.items
risk_perception_source_item
prgm_risk_perception_source_item
Scheme_subject_assignment.items
scheme_subject_select
wd_scheme_subject_select
Scheme_version_assignment.items
scheme_version_select
wd_scheme_version_select
Security_classification_assignment.items
security_classification_item
ds_security_classification_item
Stratum.described_element
shapeable_item
Task_element_assignment.items
task_item
fbb_task_item
Task_method_assignment.items
task_item
tsr_task_item
Task_method_version_assignment.items
task_item
tsr_task_item
Time_interval_assignment.items
time_interval_item
pmpb_time_interval_item
Verification_evidence.items
verification_evidence_item
ds_verification_evidence_item
View_area_assignment.is_describing
presentation_association_select
presentation_association_select_203e2
View_based_constraint_occurrence.constraining_part
View_definition_relationship.related_view
View_definition_relationship.relating_view
View_dependent_design_object_management_relationship.current_design
View_dependent_design_object_management_relationship.previous_design
Work_output.output_item
work_output_item
tsr_work_output_item
Information_definition
Software_definition
Rule_software_definition
Rule_definition
Abstract_variable.scope
scope_select
Rule_based_evaluated_characteristic.evaluating_rule
Rule_priority.prioritized_rule
Forward_chaining_rule

Users: by defined types, not used by any entity attribute

Forward_chaining_rule
-

Production_rule_arm

Entity data types and their attributes

Users: by entity attributes

Users: by defined types, not used by any entity attribute

Global rules for this entity data type