**Last modified:***Tuesday, 27 September 1994***Source code: vt-domain.lisp****List of other known theories**

------------------Note: If you're viewing this from the WWW, see the

Sisyphus/VT documentationand

vt-changes.textfor

extensive, cross linked documentation.------------------ NEW VERSION!

This is a new version of VT-domain, reflecting changes suggested at the 1994 Banff workshop. The names have changed, among other things. In each definition where a constant has been renamed, the old name is provided as an annotation of the form (:formerly-named oldname). See the file vt-changes.text for the change history.

EVEN NEWER VERSION!

In September, 1994, we did another update based on feedback from the knowledge acquisition community. Changes to particular definitions are marked with annotations using the :issues keyword. See

vt-changes.textfor details.------------------

The VT-DOMAIN theory describes the declarative knowledge used by the elevator designer to configure an elevator. It consists of descriptions of components, which have attributes subparts, which are other components. The theory also specifies constraints on the possible subparts and attribute values of these components.

The vocabulary used in this theory is defined in the included theory VT-DESIGN and its included theories.

The contents of this domain theory were produced by translating from the DIDS knowledge base for VT, which was developed by Jay Runkel. Tom Gruber, Jay Runkel, Greg Olsen, and others designed the minimal ontology that could account for that domain theory. As a result, this ontology does not make many of the distinctions that one

mightmake about elevator parts and constraints.

Vt-Design

Vt-Example

Car Car1 Car_Buffer_Model Car_Buffer_Model_Oh1 Car_Buffer_Model_Om14 Car_Guiderail_Model Car_Guiderail_Model_M01 Car_Guiderail_Model_M02 Car_Guiderail_Model_M03 Car_Guiderail_Model_M04 Car_Guiderail_Model_M05 Car_Intercom Car_Intercom_M01 Car_Intercom_M02 Car_Lantern Car_Lantern_M01 Car_Lantern_M02 Car_Phone Car_Phone_M01 Car_Phone_M02 Car_Position_Indicator Car_Position_Indicator_M01 Car_Position_Indicator_M02 Compensation_Cable_Model Compensation_Cable_Model_M01 Compensation_Cable_Model_M02 Compensation_Cable_Model_M03 Compensation_Cable_Model_M04 Compensation_Cable_Model_M05 Compensation_Cable_Model_M06 Compensation_Cable_Model_M07 Control_Cable_Model Control_Cable_Model_M01 Control_Cable_Model_M02 Control_Cable_Model_M03 Counterweight_Between_Guiderails_M Counterweight_Between_Guiderails_M01 Counterweight_Between_Guiderails_M02 Counterweight_Between_Guiderails_M03 Counterweight_Buffer_Model Counterweight_Buffer_Model_M01 Counterweight_Buffer_Model_M02 Counterweight_Guard_Required Counterweight_Guard_Thickness_M01 Counterweight_Guard_Thickness_M02 Counterweight_Guiderail_Model Counterweight_Guiderail_Model_M01 Counterweight_Guiderail_Model_M02 Counterweight_Guiderail_Model_M03 Counterweight_Guiderail_Model_M04 Crosshead_Model Crosshead_Model_M01 Crosshead_Model_M02 Crosshead_Model_M03 Crosshead_Model_M04 Crosshead_Model_M05 Deflector_Sheave_Model Deflector_Sheave_Model_M01 Deflector_Sheave_Model_M02 Door_Model Door_Model_Code_M01 Door_Model_Code_M02 Door_Model_Code_M03 Door_Model_Code_M04 Door_Model_Code_M05 Door_Model_Code_M06 Elevator Governor_Cable_Model Governor_Cable_Model_M01 Governor_Model Governor_Model_M01 Hoist_Cable_Model Hoist_Cable_Model_M01 Hoist_Cable_Model_M02 Hoist_Cable_Model_M03 Hoist_Cable_Model_M04 Hoist_Cable_Model_M05 Hoist_Cable_Model_M06 Hoist_Cable_Model_M07 Hoist_Cable_Model_M08 Machine_Beam_Model Machine_Beam_Model_M01 Machine_Beam_Model_M02 Machine_Beam_Model_M03 Machine_Beam_Model_M04 Machine_Groove_Model Machine_Groove_Model_M01 Machine_Groove_Model_M02 Machine_Model Machine_Model_M01 Machine_Model_M02 Machine_Model_M03 Machine_Model_M04 Motor Motor_Model_M01 Motor_Model_M02 Motor_Model_M03 Motor_Model_M04 Motor_Model_M05 Motor_Model_M06 Motor_Generator_Model Motor_Generator_Model_M01 Motor_Generator_Model_M02 Motor_Generator_Model_M03 Motor_Generator_Model_M04 Platform_Model Platform_Model_M01 Platform_Model_M02 Platform_Model_M03 Safety_Beam_Model Safety_Beam_Model_M01 Safety_Beam_Model_M02 Safety_Beam_Model_M03 Sling_Model Sling_Model_M01 Sling_Model_M02 Sling_Model_M03 Sling_Model_M04 Sling_Model_M05

Cable_Load_Car_Side_Car_BottomCable_Load_Car_Side_Car_TopCable_Load_Counterweight_Side_Car_BottomCable_Load_Counterweight_Side_Car_TopCable_Load_Total_Car_Side_MaximumCable_Load_UnbalancedCarslingubCar_Buffer_Blocking_HeightCar_Buffer_Compressed_ClearanceCar_Buffer_Footing_Channel_HeightCar_Buffer_HeightCar_Buffer_LoadCar_Buffer_Load_MaximumCar_Buffer_Load_MinimumCar_Buffer_QuantityCar_Buffer_Striking_Speed_MaximumCar_Buffer_Striking_Speed_MinimumCar_Buffer_StrokeCar_Cable_Hanger_WeightCar_Cable_Hitch_To_Counterweight_Cable_HitchCar_Cable_Hitch_To_Platform_FrontCar_Cable_Hitch_To_Platform_RearCar_Cab_HeightCar_Cab_WeightCar_CapacityCar_Capacity_RangeCar_Duct_And_Wiring_WeightCar_Fixture_WeightCar_Guiderail_Vertical_ForceCar_Guiderail_Vertical_Force_MaximumCar_Guiderail_WeightCar_Guideshoe_WeightCar_Intercom_SpecCar_Intercom_WeightCar_Landing_Switch_WeightCar_Lantern_SpecCar_Lantern_WeightCar_Limit_Switch_Cam_WeightCar_Maintenance_Station_WeightCar_Misc_WeightCar_OvertravelCar_Phone_SpecCar_Phone_WeightCar_Position_Indicator_SpecCar_Position_Indicator_WeightCar_Return_LeftCar_Return_RightCar_RunbyCar_Saf_T_Edge_WeightCar_SpeedCar_Supplement_WeightCar_WeightCompensation_Cable_LengthCompensation_Cable_Load_Car_Side_Car_BottomCompensation_Cable_Load_Car_Side_Car_TopCompensation_Cable_Load_Counterweight_Side_Car_BottomCompensation_Cable_Load_Counterweight_Side_Car_TopCompensation_Cable_QuantityCompensation_Cable_Quantity_C02Compensation_Cable_Unit_WeightCompensation_Cable_Unit_Weight_OptimalControl_Cable_Load_AverageControl_Cable_Load_Car_Side_Car_BottomControl_Cable_Load_Car_Side_Car_TopControl_Cable_Loop_Below_Car_BottomControl_Cable_Unit_WeightCounterweight_Above_Top_Car_BottomCounterweight_Between_Guiderails_ValueCounterweight_Bottom_ReferenceCounterweight_Buffer_Blocking_HeightCounterweight_Buffer_Footing_Channel_HeightCounterweight_Buffer_HeightCounterweight_Buffer_Height_On_ElevatorCounterweight_Buffer_LoadCounterweight_Buffer_Load_MaximumCounterweight_Buffer_Load_MinimumCounterweight_Buffer_QuantityCounterweight_Buffer_StrokeCounterweight_Frame_ACounterweight_Frame_BCounterweight_Frame_HeightCounterweight_Frame_Height_SCounterweight_Frame_ThicknessCounterweight_Frame_WeightCounterweight_Frame_Weight_SCounterweight_Guard_ThicknessCounterweight_Guiderail_Unit_WeightCounterweight_OvertravelCounterweight_Plate_DepthCounterweight_Plate_QuantityCounterweight_Plate_ThicknessCounterweight_Plate_WeightCounterweight_RunbyCounterweight_SpaceCounterweight_Stack_HeightCounterweight_Stack_WeightCounterweight_Stack_Weight_DesiredCounterweight_System_WeightCounterweight_To_Hoistway_RearCounterweight_To_Platform_RearCounterweight_U_Bracket_ProtrusionCounterweight_WeightCounterweight_Weight_DesiredCounterweight_Weight_LimitCounterwtplatformwtCrosshead_Bending_MomentCrosshead_Deflection_IndexCrosshead_HeightDeflector_Sheave_DiameterDeflector_Sheave_Diameter_SDeflector_Sheave_ProtrusionDeflector_Sheave_WeightDoor_Opening_Strike_SideDoor_Opening_Strike_Side_SpecDoor_Opening_TypeDoor_Opening_Type_SDoor_Operator_ConstantDoor_Operator_Engine_WeightDoor_Operator_Header_WeightDoor_Operator_WeightDoor_SpaceDoor_SpeedDoor_Speed_CodeElevator.CarElevator.CarbufferElevator.CarguiderailElevator.CompensationcableElevator.ControlcableElevator.CounterweightbgElevator.CounterwtbufferElevator.CounterwtguardElevator.CounterwtguiderailElevator.CrossheadElevator.DeflectorsheaveElevator.DoorElevator.GovernorElevator.GovernorcableElevator.HoistcableElevator.IntercomElevator.LanternElevator.MachineElevator.MbeamElevator.MotgeneratorElevator.MotorElevator.MsheavegrooveElevator.PhoneElevator.PlatformElevator.PositionindElevator.SafetyElevator.SlingGovernor_Cable_DiameterGovernor_Cable_LengthHoistway_Bracket_SpacingHoistway_DepthHoistway_Floor_HeightHoistway_OverheadHoistway_Pit_DepthHoistway_Top_Landing_To_Underside_Machine_BeamHoistway_TravelHoistway_WidthHoist_Cable_Above_Counterweight_Car_BottomHoist_Cable_DiameterHoist_Cable_LengthHoist_Cable_Load_Car_Side_Car_BottomHoist_Cable_Load_Car_Side_Car_TopHoist_Cable_Load_Counterweight_Side_Car_BottomHoist_Cable_Load_Counterweight_Side_Car_TopHoist_Cable_QuantityHoist_Cable_Quantity_FHoist_Cable_Safety_FactorHoist_Cable_Safety_Factor_MinimumHoist_Cable_Traction_FactorHoist_Cable_Traction_RatioHoist_Cable_Traction_Ratio_Car_Bottom_EmptyHoist_Cable_Traction_Ratio_Car_Bottom_FullHoist_Cable_Traction_Ratio_Car_Top_EmptyHoist_Cable_Traction_Ratio_Car_Top_FullHoist_Cable_Ultimate_StrengthHoist_Cable_Unit_WeightMachine_Acceleration_MaximumMachine_Angle_Of_ContactMachine_Beam_Bearing_Plate_ThicknessMachine_Beam_Bending_Moment_Left_MaximumMachine_Beam_Bending_Moment_Right_MaximumMachine_Beam_Center_To_Machine_Sheave_CenterMachine_Beam_Impact_Load_LeftMachine_Beam_Impact_Load_RightMachine_Beam_Impact_Load_TotalMachine_Beam_LengthMachine_Beam_Load_Front_LeftMachine_Beam_Load_Front_RightMachine_Beam_Load_Rear_LeftMachine_Beam_Load_Rear_RightMachine_Beam_Reaction_Front_LeftMachine_Beam_Reaction_Front_RightMachine_Beam_Reaction_Rear_LeftMachine_Beam_Reaction_Rear_RightMachine_Beam_Safety_FactorMachine_Beam_Section_ModulusMachine_Beam_Section_Modulus_Left_MinimumMachine_Beam_Section_Modulus_Right_MinimumMachine_Beam_Support_Bottom_To_Machine_Room_TopMachine_Beam_Support_Bottom_To_Machine_Room_Top_SpecMachine_Beam_Support_DistanceMachine_Beam_Support_Front_To_HoistwayMachine_Beam_Support_To_Machine_Beam_CenterMachine_Beam_Support_TypeMachine_Beam_Total_Load_LeftMachine_Beam_Total_Load_RightMachine_Beam_Unit_WeightMachine_Beam_WeightMachine_EfficiencyMachine_Gear_Ratio_NumericMachine_Groove_PressureMachine_Groove_Pressure_Acceptable_MaximumMachine_Groove_Pressure_ConstantMachine_Left_OffsetMachine_Right_OffsetMachine_Sheave_Center_To_Front_Machine_Beam_SupportMachine_Sheave_DiameterMachine_Sheave_HeightMachine_Sheave_Height_FMachine_Sheave_To_Deflector_SheaveMachine_Sheave_To_Deflector_Sheave_DiagonalMachine_Sheave_To_Deflector_Sheave_HorizontalMachine_Suspended_LoadMachine_Suspended_Load_MaximumMachine_Total_WeightMachine_WeightMaxacceptablecarbuffstrokeMinacceptablembeammodulusMinacceptableopeningwModel-IdMotor_Current_MaximumMotor_Current_Supported_MaximumMotor_Generator_Current_MaximumMotor_HorsepowerMotor_Horsepower_RequiredMotor_Peak_Current_RequiredMotor_Torque_RelevelingMotor_WeightOpening_CountOpening_HeightOpening_To_Hoistway_LeftOpening_To_Hoistway_RightOpening_Width_BuildingOpening_Width_DoorPlatform_DepthPlatform_Depth_SpecPlatform_HeightPlatform_Running_ClearancePlatform_To_Hoistway_FrontPlatform_To_Hoistway_LeftPlatform_To_Hoistway_RightPlatform_WeightPlatform_Weight_Factor_ApPlatform_Weight_Factor_SPlatform_Weight_Factor_XPlatform_Weight_Factor_ZPlatform_WidthPlatform_Width_FSafety_Beam_ASafety_Beam_BSafety_Beam_Bending_MomentSafety_Beam_Bending_Moment_MaximumSafety_Beam_Between_GuiderailsSafety_Beam_BgSafety_Beam_ConstantSafety_Beam_HeightSafety_Beam_LoadSafety_Beam_Load_MaximumSafety_Beam_WeightSling_Bending_Moment_MaximumSling_Deflection_Index_MaximumSling_Stile_LengthSling_UnderbeamSling_Underbeam_SpaceSling_WeightSling_Weight_Factor_ASling_Weight_Factor_BSling_Weight_Factor_C

C-10C-11C-13C-14C-15C-16C-17C-18C-19C-2C-20C-21C-22C-23C-24_1C-24_2C-25C-26C-27C-28_1C-28_2C-28_3C-29_1C-29_2C-30_1C-30_2C-31C-32C-33_1C-33_2C-34_1C-34_2C-34_3C-34_4C-35C-36_1C-36_2C-36_3C-37C-38C-41C-44C-45C-46_1C-46_2C-46_3C-46_4C-47C-48_1C-48_2C-49C-4_1C-4_2C-50C-5_1C-5_2C-5_3C-6C-8C-9Cable_Load_Total_Car_Side_Car_BottomCable_Load_Total_Car_Side_Car_TopCable_Load_Total_Car_Side_Maximum_C01Cable_Load_Total_Car_Side_Maximum_C02Cable_Load_Total_Counterweight_Side_Car_C1Cable_Load_Total_Counterweight_Side_Car_C2Cable_Load_Unbalanced_CCarbufferblockh_Of_Elevator_ValuesCarbuffer_Cst7Car_Buffer_Blocking_Height_CCar_Buffer_Striking_Speed_Maximum_CCar_Buffer_Striking_Speed_Minimum_CCar_Buffer_Stroke_CCar_Cable_Hitch_Offset_C01Car_Cable_Hitch_Offset_C02Car_Cable_Hitch_Offset_C03Car_Cable_Hitch_To_Counterweight_Cable_Hitch_CCar_Cable_Hitch_To_Platform_Rear_CCar_Cab_Weight_CCar_Capacity_CCar_Capacity_Range_CCar_Cst5Car_Fixture_Weight_CCar_Guiderail_Vertical_Force_CCar_Guiderail_Vertical_Force_Maximum_C02Car_Guiderail_Vertical_Force_Maximum_C03Car_Guiderail_Vertical_Force_Maximum_C04Car_Guiderail_Vertical_Force_Maximum_C05Car_Guiderail_Vertical_Force_Maximum_C06Car_Guiderail_Vertical_Force_Maximum_C07Car_Guiderail_Vertical_Force_Maximum_C08Car_Guiderail_Vertical_Force_Maximum_C09Car_Guiderail_Vertical_Force_Maximum_C10Car_Guiderail_Vertical_Force_Maximum_C11Car_Intercom_C01Car_Intercom_C02Car_Intercom_C03Car_Lantern_C01Car_Lantern_C02Car_Lantern_C03Car_Misc_Weight_CCar_Phone_C01Car_Phone_C02Car_Phone_C03Car_Position_Indicator_C01Car_Position_Indicator_C02Car_Position_Indicator_C03Car_Return_Left_C01Car_Return_Left_C02Car_Return_Left_C03Car_Return_Left_C04Car_Return_Left_C05Car_Return_Left_C06Car_Return_Left_C07Car_Return_Left_C08Car_Return_Left_C09Car_Return_Right_CCar_Runby_CCar_Speed_CCar_Weight_CCompensation_Cable_Length_C01Compensation_Cable_Length_C02Compensation_Cable_Load_Car_TopCompensation_Cable_Load_Counterweight_Side_Car_Bottom_CCompensation_Cable_Load_Counterweight_Side_Car_Top_CCompensation_Cable_Load_Side_Car_BottomCompensation_Cable_Model_C01Compensation_Cable_Model_C02Compensation_Cable_Model_C03Compensation_Cable_Model_C04Compensation_Cable_Model_C05Compensation_Cable_Quantity_C01Compensation_Cable_Unit_Weight_Optimal_CControl_Cable_Load_Average_CControl_Cable_Load_Car_Side_Car_Bottom_CControl_Cable_Load_Car_Side_Car_Top_CControl_Cable_Loop_Below_Car_Bottom_CControl_Cable_Model_C01Control_Cable_Model_C02Control_Cable_Model_C03Counterweight_Above_Top_Car_Bottom_CCounterweight_Between_Guiderails_Possible_ValuesCounterweight_Bottom_Reference_CCounterweight_Buffer_Load_CCounterweight_Frame_Weight_CalcCounterweight_Guard_Required_CCounterweight_Guard_Required_C2Counterweight_Guiderail_Unit_Weight_CCounterweight_Overtravel_CCounterweight_Plate_Quantity_C01Counterweight_Plate_Quantity_C02Counterweight_Plate_Weight_CCounterweight_Runby_CCounterweight_Space_CCounterweight_Stack_Height_CCounterweight_Stack_Weight_CCounterweight_Stack_Weight_Desired_CCounterweight_System_Weight_CCounterweight_To_Hoistway_Rear_CCounterweight_To_Platform_Rear_CCounterweight_Weight_CCounterweight_Weight_Desired_CCrosshead_Bending_Moment_CCrosshead_Deflection_Index_CCrosshead_Model_C01Crosshead_Model_C02Crosshead_Model_C03Crosshead_Model_C04Crosshead_Model_C05Deflector_Sheave_Diameter_CDeflector_Sheave_Diameter_MinimumDeflector_Sheave_Protrusion_CDoor_Opening_Strike_Side_CDoor_Opening_Strike_Side_Spec_CDoor_Opening_Type_CDoor_Opening_Type_C01Door_Opening_Type_C02Door_Operator_Header_Weight_CDoor_Operator_Weight_CDoor_Space_C01Door_Space_C02Door_Speed_CDoor_Speed_C01Door_Speed_Code_C02Door_Speed_Code_C03Door_Speed_Code_C04Governor_Cable_Length_CHoistcable_QuantityHoistway_Bracket_Spacing_CHoistway_Top_Landing_To_Underside_Machine_Beam_CHoist_Cable_Above_Counterweight_Car_Bottom_CHoist_Cable_Length_CHoist_Cable_Load_Car_Side_Car_Bottom_CHoist_Cable_Load_Car_Side_Car_Top_CHoist_Cable_Load_Counterweight_Side_Car_Bottom_CHoist_Cable_Load_Counterweight_Side_Car_Top_CHoist_Cable_Safety_Factor_C01Hoist_Cable_Safety_Factor_C02Hoist_Cable_Safety_Factor_C03Hoist_Cable_Safety_Factor_C04Hoist_Cable_Safety_Factor_C05Hoist_Cable_Traction_Factor_CHoist_Cable_Traction_Ratio_C01Hoist_Cable_Traction_Ratio_C02Hoist_Cable_Traction_Ratio_C03Hoist_Cable_Traction_Ratio_C04Hoist_Cable_Traction_Ratio_Car_Bottom_Empty_CHoist_Cable_Traction_Ratio_Car_Bottom_Full_CHoist_Cable_Traction_Ratio_Car_Top_Empty_CHoist_Cable_Traction_Ratio_Car_Top_Full_CMachine_Angle_Of_Contact_CMachine_Beam_Bending_Moment_Left_Maximum_C01Machine_Beam_Bending_Moment_Left_Maximum_C02Machine_Beam_Bending_Moment_Right_Maximum_C01Machine_Beam_Bending_Moment_Right_Maximum_C02Machine_Beam_Center_To_Machine_Sheave_Center_CMachine_Beam_Impact_Load_Left_CMachine_Beam_Impact_Load_Right_CMachine_Beam_Impact_Load_Total_CMachine_Beam_Length_CMachine_Beam_Load_Front_Left_CMachine_Beam_Load_Front_Right_CMachine_Beam_Load_Rear_Left_CMachine_Beam_Load_Rear_Right_CMachine_Beam_Reaction_Front_Left_CMachine_Beam_Reaction_Front_Right_CMachine_Beam_Reaction_Rear_Left_CMachine_Beam_Reaction_Rear_Right_CMachine_Beam_Section_Modulus_Left_Minimum_CMachine_Beam_Section_Modulus_Right_Minimum_CMachine_Beam_Support_Bottom_To_Machine_Room_Top_CMachine_Beam_Support_To_Machine_Beam_Center_CMachine_Beam_Support_Type_CMachine_Beam_Support_Underside_To_Machine_Room_FloorMachine_Beam_Total_Load_Left_CMachine_Beam_Total_Load_Right_CMachine_Beam_Weight_CMachine_Efficiency_C01Machine_Efficiency_C02Machine_Efficiency_C03Machine_Efficiency_C04Machine_Efficiency_C05Machine_Efficiency_C06Machine_Efficiency_C07Machine_Efficiency_C08Machine_Efficiency_C09Machine_Efficiency_C10Machine_Efficiency_C11Machine_Efficiency_C12Machine_Efficiency_C13Machine_Efficiency_C14Machine_Efficiency_C15Machine_Efficiency_C16Machine_Efficiency_C17Machine_Efficiency_C18Machine_Efficiency_C19Machine_Efficiency_C20Machine_Efficiency_C21Machine_Gear_Ratio_Symbolic_C01Machine_Gear_Ratio_Symbolic_C02Machine_Gear_Ratio_Symbolic_C03Machine_Gear_Ratio_Symbolic_C04Machine_Gear_Ratio_Symbolic_C05Machine_Gear_Ratio_Symbolic_C06Machine_Gear_Ratio_Symbolic_C07Machine_Gear_Ratio_Symbolic_C08Machine_Gear_Ratio_Symbolic_C09Machine_Gear_Ratio_Symbolic_C10Machine_Gear_Ratio_Symbolic_C11Machine_Gear_Ratio_Symbolic_C12Machine_Gear_Ratio_Symbolic_C13Machine_Gear_Ratio_Symbolic_C14Machine_Gear_Ratio_Symbolic_C15Machine_Gear_Ratio_Symbolic_C16Machine_Gear_Ratio_Symbolic_C17Machine_Gear_Ratio_Symbolic_C18Machine_Gear_Ratio_Symbolic_C19Machine_Gear_Ratio_Symbolic_C20Machine_Groove_Pressure_Acceptable_Maximum_CMachine_Groove_Pressure_CMachine_Groove_Pressure_Constant_C01Machine_Groove_Pressure_Constant_C02Machine_Groove_Pressure_Constant_C03Machine_Groove_Pressure_Constant_C04Machine_Groove_Pressure_Constant_C05Machine_Groove_Pressure_Constant_C06Machine_Groove_Pressure_Constant_C07Machine_Groove_Pressure_Constant_C08Machine_Groove_Pressure_Constant_C09Machine_Groove_Pressure_Constant_C10Machine_Sheave_Center_To_Front_Machine_Beam_Support_CMachine_Sheave_Height_CMachine_Sheave_To_Deflector_Sheave_CMachine_Sheave_To_Deflector_Sheave_Diagonal_CMachine_Sheave_To_Deflector_Sheave_Horizontal_CMachine_Suspended_Load_CMachine_Total_Weight_CMotorscompatible_Machine18Motorscompatible_Machine28Motorscompatible_Machine58Motor_Horsepower_CMotor_Horsepower_Required_C01Motor_Horsepower_Required_C02Motor_Horsepower_Required_C03Motor_Torque_Releveling_CNoofhoistcables_Of_Elevator_ValuesOnebuffer_Whenless38Openingtype_Of_Door_ValuesOpening_To_Hoistway_Right_COpening_Width_CPeakmcur_Calc_10hp_1Peakmcur_Calc_10hp_2Peakmcur_Calc_10hp_3Peakmcur_Calc_15hp_1Peakmcur_Calc_15hp_2Peakmcur_Calc_15hp_3Peakmcur_Calc_20hp_1Peakmcur_Calc_20hp_2Peakmcur_Calc_25hp_1Peakmcur_Calc_25hp_2Peakmcur_Calc_25hp_3Peakmcur_Calc_30hp_1Peakmcur_Calc_30hp_2Peakmcur_Calc_40hp_1Peakmcur_Calc_40hp_2Platform_Depth_CPlatform_Model_C01Platform_Model_C02Platform_Model_C03Platform_Model_C04Platform_To_Hoistway_Front_CPlatform_To_Hoistway_Left_CPlatform_To_Hoistway_Right_CPlatform_Weight_C01Platform_Weight_C02Platform_Weight_C03Platform_Weight_Factor_Ap_C01Platform_Weight_Factor_Ap_C02Platform_Weight_Factor_Ap_C03Platform_Weight_Factor_Ap_C04Platform_Weight_Factor_Ap_C05Platform_Weight_Factor_Ap_C06Platform_Weight_Factor_Ap_C07Platform_Weight_Factor_Ap_C08Platform_Weight_Factor_Ap_C09Platform_Weight_Factor_Ap_C10Platform_Weight_Factor_Ap_C11Platform_Weight_Factor_S_C01Platform_Weight_Factor_S_C02Platform_Weight_Factor_S_C03Platform_Weight_Factor_X_C01Platform_Weight_Factor_X_C02Platform_Weight_Factor_X_C03Platform_Weight_Factor_X_C04Platform_Weight_Factor_X_C05Platform_Weight_Factor_Z_C01Platform_Weight_Factor_Z_C02Platform_Weight_Factor_Z_C03Platform_Width_C01Safety_Beam_Bending_Moment_CSafety_Beam_Between_Guiderails_CSafety_Beam_Load_CSafety_Beam_Model_C01Safety_Beam_Model_C02Safety_Beam_Model_C03Safety_Beam_Weight_CSling_Stile_Length_CSling_Underbeam_CSling_Weight_C

**The following constants were used from included theories:**

**Arity***defined as a***function***in theory***Frame-Ontology****Class***defined as a***class***in theory***Frame-Ontology****Constraint***defined as a***class***in theory***Parametric-Constraints****Constraint-On***defined as a***relation***in theory***Components-With-Constraints****Constraint.Expression***defined as a***function***in theory***Parametric-Constraints****Domain***defined as a***relation***in theory***Frame-Ontology****Function***defined as a***class***in theory***Kif-Relations****Has-Constraint***defined as a***relation***in theory***Components-With-Constraints****Has-Parameter-Slot***defined as a***relation***in theory***Components-With-Constraints****Has-Subpart-Slot***defined as a***relation***in theory***Component-Assemblies****Inherited-Slot-Value***defined as a***relation***in theory***Frame-Ontology****Integer***defined as a***class***in theory***Kif-Numbers****Parameter-Slot***defined as a***class***in theory***Components-With-Constraints****Parameter-Slot-Of***defined as a***relation***in theory***Components-With-Constraints****Range***defined as a***relation***in theory***Frame-Ontology****Real-Number***defined as a***class***in theory***Kif-Numbers****Slot-Cardinality***defined as a***function***in theory***Frame-Ontology****Slot-Value-Type***defined as a***relation***in theory***Frame-Ontology****String***defined as a***class***in theory***Kif-Extensions****Subclass-Of***defined as a***relation***in theory***Frame-Ontology****Subpart-Slot***defined as a***class***in theory***Component-Assemblies****Subpart-Slot-Of***defined as a***relation***in theory***Component-Assemblies****Unary-Function***defined as a***class***in theory***Kif-Relations****Used-In-Constraint***defined as a***relation***in theory***Components-With-Constraints****Vt-Component***defined as a***class***in theory***Vt-Design**

**All constants that were mentioned were defined.**

Formatting and translation code was written by