Theory VT-DOMAIN

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.

This theory uses the configuration-design ontology as it is specialized in the vt-design ontology.

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 might make about elevator parts and constraints.

The current version includes changes that correct bugs in the constraints on compensation cables and the constraint deflector_sheave_diameter_cst (December 15, 1993)

Theories included by Vt-Domain:

    Vt-Design
       Configuration-Design
          Frame-Ontology
             Kif-Relations
                Kif-Sets
                Kif-Lists
                   Kif-Numbers
          Kif-Meta
             Kif-Sets
             Kif-Lists ...
       Scalar-Quantities
          Physical-Quantities
             Frame-Ontology ...
             Abstract-Algebra
                Frame-Ontology ...
       Standard-Units
          Physical-Quantities ...
    Frame-Ontology ...

Theories that include Vt-Domain:

    Vt-Example

119 classes defined:

    Car
       Car1
    Carbuffer
       Carbuffer_Oh1
       Carbuffer_Om14
    Carguiderail
       Carguiderail_1
       Carguiderail_2
       Carguiderail_3
       Carguiderail_4
       Carguiderail_5
    Compensationcable
       Compensationcable1_2chain
       Compensationcable1_4chain
       Compensationcable3_16chain
       Compensationcable3_8chain
       Compensationcable5_16chain
       Compensationcable7_16chain
       Compensationcable_Nr
    Controlcable
       Controlcable1
       Controlcable2
       Controlcable3
    Counterweightbg
       Counterweightbg_1
       Counterweightbg_2
       Counterweightbg_3
    Counterwtbuffer
       Counterwtbuffer_Oh1
       Counterwtbuffer_Om14
    Counterwtguard
       Counterwtguard_Model0
       Counterwtguard_Model1
    Counterwtguiderail
       Counterwtguiderail_1
       Counterwtguiderail_2
       Counterwtguiderail_3
       Counterwtguiderail_4
    Crosshead
       Crosshead_C10x153
       Crosshead_C13x1655
       Crosshead_C8x115
       Crosshead_W8x18
       Crosshead_W8x21
    Deflectorsheave
       Ds_20
       Ds_25
    Door
       Door_2sco
       Door_2sso_Lh
       Door_2sso_Rh
       Door_Ssco
       Door_Ssso_Lh
       Door_Ssso_Rh
    Elevator
    Governor
       Governor_B5b
    Governorcable
       Govcable1
    Hoistcable
       Hoistcable3_5
       Hoistcable3_625
       Hoistcable4_5
       Hoistcable4_625
       Hoistcable5_5
       Hoistcable5_625
       Hoistcable6_5
       Hoistcable6_625
    Intercom
       Intercom0
       Intercom1
    Lantern
       Lantern0
       Lantern1
    Machine
       Machine18
       Machine28
       Machine38
       Machine58
    Mbeam
       Mbeam_S10x25_4
       Mbeam_S10x35_0
       Mbeam_S12x31_8
       Mbeam_S12x35_0
    Motgenerator
       Motgen_286_230v
       Motgen_3609_5a_240v
       Motgen_46_230v
       Motgen_64_260v
    Motor
       Motor10hp
       Motor15hp
       Motor20hp
       Motor25hp
       Motor30hp
       Motor40hp
    Msheavegroove
       Msheavegroove_K3140
       Msheavegroove_K3269
    Phone
       Phone0
       Phone1
    Platform
       Platform_25b
       Platform_4b
       Platform_6b
    Positionind
       Positionind0
       Positionind1
    Safety
       Safety_B1
       Safety_B4
       Safety_B6
    Sling
       Sling_25b_18
       Sling_25b_21
       Sling_4b_Gp
       Sling_4b_Hosp
       Sling_6c

251 relations defined:

No functions defined.

367 instances defined:

The following constants were used from included theories:

All constants that were mentioned were defined.

Class CAR

pg 26. The car supplement weight can be at most 500 pounds
Subclass-Of: Vt-component

Slots Of Instances:

Cablehangwt:
Slot-Value-Type: Integer
Carcondwirwt:
Slot-Value-Type: Integer
Carguideshoewt:
Slot-Value-Type: Integer
Has-Attribute:
Cablehangwt, Carcondwirwt, Carguideshoewt, Landswitchwt, Maintstwt, Supplementwt, Switchcamwt
Has-Constraint: Supplementwt_of_car_values
Landswitchwt:
Slot-Value-Type: Integer
Maintstwt:
Slot-Value-Type: Integer
Model-Id:
Slot-Value-Type: String
Supplementwt:
Slot-Value-Type: Integer
Switchcamwt:
Slot-Value-Type: Integer

Class CAR1

pg 15. The elevator car. The attributes describe the various weights of the elevator components, which do not have to be selected.
Subclass-Of: Car

Slots Of Instances:

Cablehangwt: 30
Slot-Value-Type: Integer
Carcondwirwt: 45
Slot-Value-Type: Integer
Carguideshoewt: 18
Slot-Value-Type: Integer
Has-Attribute:
Cablehangwt, Carcondwirwt, Carguideshoewt, Landswitchwt, Switchcamwt
Landswitchwt: 20
Slot-Value-Type: Integer
Maintstwt: 7
Slot-Value-Type: Integer
Model-Id: car1
Switchcamwt: 35
Slot-Value-Type: Integer

Class CARBUFFER

Subclass-Of: Vt-component

Slots Of Instances:

Carbuffheight:
Slot-Value-Type: Real-number
Carbuffmaxload:
Slot-Value-Type: Integer
Carbuffminload:
Slot-Value-Type: Integer
Carfooth:
Slot-Value-Type: Real-number
Carstroke:
Slot-Value-Type: Integer
Has-Attribute:
Carbuffheight, Carbuffmaxload, Carbuffminload, Carfooth, Carstroke
Model-Id:
Slot-Value-Type: String

Class CARBUFFER_OH1

pg 15. The characteristis of a carbuffer from Table 3. carfooth is the car footing channel height.
Subclass-Of: Carbuffer

Slots Of Instances:

Carbuffheight: 28.75
Slot-Value-Type: Real-number
Carbuffmaxload: 11000
Slot-Value-Type: Integer
Carbuffminload: 2900
Slot-Value-Type: Integer
Carfooth: 3.5
Slot-Value-Type: Real-number
Carstroke: 8.25
Slot-Value-Type: Real-number
Has-Attribute:
Carbuffheight, Carbuffmaxload, Carbuffminload, Carstroke
Model-Id: carbuffer_oh1

Class CARBUFFER_OM14

pg 15. The characteristis of a carbuffer from Table 3. carfooth is the car footing channel height.
Subclass-Of: Carbuffer

Slots Of Instances:

Carbuffheight: 38.5
Slot-Value-Type: Real-number
Carbuffmaxload: 11000
Slot-Value-Type: Integer
Carbuffminload: 2900
Slot-Value-Type: Integer
Carfooth: 3.5
Slot-Value-Type: Real-number
Carstroke: 14
Slot-Value-Type: Integer
Has-Attribute:
Carbuffheight, Carbuffmaxload, Carbuffminload, Carstroke
Model-Id: carbuffer_om14

Class CARGUIDERAIL

Subclass-Of: Vt-component

Slots Of Instances:

Has-Attribute: Weight
Model-Id:
Slot-Value-Type: String
Weight:
Slot-Value-Type: Integer

Class CARGUIDERAIL_1

pg 15. car guiderails that weight 8 pounds per foot.
Subclass-Of: Carguiderail

Slots Of Instances:

Has-Attribute: Weight
Model-Id: carguiderail_1
Weight: 8
Slot-Value-Type: Integer

Class CARGUIDERAIL_2

pg 15. car guiderails that weight 11 pounds per foot.
Subclass-Of: Carguiderail

Slots Of Instances:

Has-Attribute: Weight
Model-Id: carguiderail_2
Weight: 11
Slot-Value-Type: Integer

Class CARGUIDERAIL_3

pg 15. car guiderails that weight 16 pounds per foot.
Subclass-Of: Carguiderail

Slots Of Instances:

Has-Attribute: Weight
Model-Id: carguiderail_3
Weight: 16
Slot-Value-Type: Integer

Class CARGUIDERAIL_4

pg 15. car guiderails that weight 18.5 pounds per foot.
Subclass-Of: Carguiderail

Slots Of Instances:

Has-Attribute: Weight
Model-Id: carguiderail_4
Weight: 18.5
Slot-Value-Type: Real-number

Class CARGUIDERAIL_5

pg 15. car guiderails that weight 32 pounds per foot.
Subclass-Of: Carguiderail

Slots Of Instances:

Has-Attribute: Weight
Model-Id: carguiderail_5
Weight: 32
Slot-Value-Type: Integer

Class COMPENSATIONCABLE

pg 18.
Subclass-Of: Vt-component

Slots Of Instances:

Compcablewtperinch:
Slot-Value-Type: Real-number
Has-Attribute: Compcablewtperinch, Quantity
Model-Id:
Slot-Value-Type: String
Quantity:
Slot-Value-Type: Integer

Class COMPENSATIONCABLE1_2CHAIN

Subclass-Of: Compensationcable

Slots Of Instances:

Compcablewtperinch: 0.2657
Slot-Value-Type: Real-number
Has-Attribute: Quantity
Model-Id: compensationcable1_2chain
Quantity: 2
Slot-Value-Type: Integer

Class COMPENSATIONCABLE1_4CHAIN

Subclass-Of: Compensationcable

Slots Of Instances:

Compcablewtperinch: 0.0848
Slot-Value-Type: Real-number
Has-Attribute: Quantity
Model-Id: compensationcable1_4chain
Quantity: 2
Slot-Value-Type: Integer

Class COMPENSATIONCABLE3_16CHAIN

Subclass-Of: Compensationcable

Slots Of Instances:

Compcablewtperinch: 0.05
Slot-Value-Type: Real-number
Has-Attribute: Quantity
Model-Id: compensationcable3_16chain
Quantity: 2
Slot-Value-Type: Integer

Class COMPENSATIONCABLE3_8CHAIN

Subclass-Of: Compensationcable

Slots Of Instances:

Compcablewtperinch: 0.1617
Slot-Value-Type: Real-number
Has-Attribute: Quantity
Model-Id: compensationcable3_8chain
Quantity: 2
Slot-Value-Type: Integer

Class COMPENSATIONCABLE5_16CHAIN

Subclass-Of: Compensationcable

Slots Of Instances:

Compcablewtperinch: 0.1171
Slot-Value-Type: Real-number
Has-Attribute: Quantity
Model-Id: compensationcable5_16chain
Quantity: 2
Slot-Value-Type: Integer

Class COMPENSATIONCABLE7_16CHAIN

Subclass-Of: Compensationcable

Slots Of Instances:

Compcablewtperinch: 0.2117
Slot-Value-Type: Real-number
Has-Attribute: Compcablewtperinch
Model-Id: compensationcable7_16chain
Quantity: 2
Slot-Value-Type: Integer

Class COMPENSATIONCABLE_NR

Subclass-Of: Compensationcable

Slots Of Instances:

Compcablewtperinch: 0
Slot-Value-Type: Integer
Has-Attribute: Quantity
Model-Id: compensationcable_nr
Quantity: 0
Slot-Value-Type: Integer

Class CONTROLCABLE

pg 17.
Subclass-Of: Vt-component

Slots Of Instances:

Controlcablewtperinch:
Slot-Value-Type: Real-number
Has-Attribute: Controlcablewtperinch
Model-Id:
Slot-Value-Type: String

Class CONTROLCABLE1

Subclass-Of: Controlcable

Slots Of Instances:

Controlcablewtperinch: 0.167
Slot-Value-Type: Real-number
Has-Attribute: Controlcablewtperinch
Model-Id: controlcable1

Class CONTROLCABLE2

Subclass-Of: Controlcable

Slots Of Instances:

Controlcablewtperinch: 0.199
Slot-Value-Type: Real-number
Has-Attribute: Controlcablewtperinch
Model-Id: controlcable2

Class CONTROLCABLE3

Subclass-Of: Controlcable

Slots Of Instances:

Controlcablewtperinch: 0.209
Slot-Value-Type: Real-number
Has-Attribute: Controlcablewtperinch
Model-Id: controlcable3

Class COUNTERWEIGHTBG

pg 8. - figure 4 the counterwieght (bg stands for between guiderails).

Attributes: (1) stackheight - the height of the plates in the counterweight.
(2) frameheight - total height of the counterweight
(3) a - the thickness of the top portion of the frame
(4) b - the thickness of bottom portion of the frame
(5) framethickness - the sum of a and b
(6) noofplates - the number of plates forming the counterweight
(7) totalweight - the total weight of the counterweight assembly.

Subclass-Of: Vt-component

Slots Of Instances:

A:
Slot-Value-Type: Real-number
B:
Slot-Value-Type: Real-number
Frameheight:
Slot-Value-Type: Real-number
Framethickness:
Slot-Value-Type: Real-number
Frameweight:
Slot-Value-Type: Real-number
Has-Attribute:
A, B, Frameheight, Framethickness, Frameweight, Noofplates, Stackheight, Totalweight
Has-Constraint: Noofplates_of_counterweightbg_values
Model-Id:
Slot-Value-Type: String
Noofplates:
Slot-Value-Type: Integer
Stackheight:
Slot-Value-Type: Real-number
Totalweight:
Slot-Value-Type: Real-number

Class COUNTERWEIGHTBG_1

Subclass-Of: Counterweightbg

Slots Of Instances:

Model-Id: counterweightbg_1

Class COUNTERWEIGHTBG_2

Subclass-Of: Counterweightbg

Slots Of Instances:

Model-Id: counterweightbg_2

Class COUNTERWEIGHTBG_3

Subclass-Of: Counterweightbg

Slots Of Instances:

Model-Id: counterweightbg_3

Class COUNTERWTBUFFER

Subclass-Of: Vt-component

Slots Of Instances:

Counterwtbuffheight:
Slot-Value-Type: Real-number
Counterwtbuffmaxload:
Slot-Value-Type: Integer
Counterwtbuffminload:
Slot-Value-Type: Integer
Counterwtbuffstroke:
Slot-Value-Type: Real-number
Has-Attribute:
Counterwtbuffheight, Counterwtbuffmaxload, Counterwtbuffminload, Counterwtbuffstroke
Model-Id:
Slot-Value-Type: String

Class COUNTERWTBUFFER_OH1

Subclass-Of: Counterwtbuffer

Slots Of Instances:

Counterwtbuffheight: 28.75
Slot-Value-Type: Real-number
Counterwtbuffmaxload: 11000
Slot-Value-Type: Integer
Counterwtbuffminload: 2900
Slot-Value-Type: Integer
Counterwtbuffstroke: 8.25
Slot-Value-Type: Real-number
Has-Attribute: Counterwtbuffheight, Counterwtbuffmaxload, Counterwtbuffminload
Model-Id: counterwtbuffer_oh1

Class COUNTERWTBUFFER_OM14

Subclass-Of: Counterwtbuffer

Slots Of Instances:

Counterwtbuffheight: 38.5
Slot-Value-Type: Real-number
Counterwtbuffmaxload: 11000
Slot-Value-Type: Integer
Counterwtbuffminload: 2900
Slot-Value-Type: Integer
Counterwtbuffstroke: 14
Slot-Value-Type: Integer
Has-Attribute: Counterwtbuffheight, Counterwtbuffmaxload, Counterwtbuffminload
Model-Id: counterwtbuffer_om14

Class COUNTERWTGUARD

Subclass-Of: Vt-component

Slots Of Instances:

Counterwtguardthick:
Slot-Value-Type: Integer
Has-Attribute: Counterwtguardthick
Model-Id:
Slot-Value-Type: String

Class COUNTERWTGUARD_MODEL0

pg 16. The null part corresponding to not needing a counterwt guard.
Subclass-Of: Counterwtguard

Slots Of Instances:

Counterwtguardthick: 0
Slot-Value-Type: Integer
Has-Attribute: Counterwtguardthick
Model-Id: counterwtguard_model0

Class COUNTERWTGUARD_MODEL1

Subclass-Of: Counterwtguard

Slots Of Instances:

Counterwtguardthick: 0.75
Slot-Value-Type: Real-number
Has-Attribute: Counterwtguardthick
Model-Id: counterwtguard_model1

Class COUNTERWTGUIDERAIL

Subclass-Of: Vt-component

Slots Of Instances:

Counterwtrailunitwt:
Slot-Value-Type: Integer
Has-Attribute: Counterwtrailunitwt, Weightlimit
Model-Id:
Slot-Value-Type: String
Weightlimit:
Slot-Value-Type: Integer

Class COUNTERWTGUIDERAIL_1

Subclass-Of: Counterwtguiderail

Slots Of Instances:

Counterwtrailunitwt: 8
Slot-Value-Type: Integer
Has-Attribute: Weightlimit
Model-Id: counterwtguiderail_1
Weightlimit: 15000
Slot-Value-Type: Integer

Class COUNTERWTGUIDERAIL_2

Subclass-Of: Counterwtguiderail

Slots Of Instances:

Counterwtrailunitwt: 11
Slot-Value-Type: Integer
Has-Attribute: Weightlimit
Model-Id: counterwtguiderail_2
Weightlimit: 11
Slot-Value-Type: Integer

Class COUNTERWTGUIDERAIL_3

Subclass-Of: Counterwtguiderail

Slots Of Instances:

Counterwtrailunitwt: 16
Slot-Value-Type: Integer
Has-Attribute: Weightlimit
Model-Id: counterwtguiderail_3
Weightlimit: 40000
Slot-Value-Type: Integer

Class COUNTERWTGUIDERAIL_4

Subclass-Of: Counterwtguiderail

Slots Of Instances:

Counterwtrailunitwt: 18.5
Slot-Value-Type: Real-number
Has-Attribute: Weightlimit
Model-Id: counterwtguiderail_4
Weightlimit: 56000
Slot-Value-Type: Integer

Class CROSSHEAD

pg 14.

Attributes of Parts:

height: the hieght of the crosshead.

Subclass-Of: Vt-component

Slots Of Instances:

Has-Attribute: Height
Height:
Slot-Value-Type: Real-number
Model-Id:
Slot-Value-Type: String

Class CROSSHEAD_C10X153

Subclass-Of: Crosshead

Slots Of Instances:

Has-Attribute: Height
Height: 10.0
Slot-Value-Type: Real-number
Model-Id: crosshead_c10x153

Class CROSSHEAD_C13X1655

Subclass-Of: Crosshead

Slots Of Instances:

Has-Attribute: Height
Height: 13.5
Slot-Value-Type: Real-number
Model-Id: crosshead_c13x1655

Class CROSSHEAD_C8X115

Subclass-Of: Crosshead

Slots Of Instances:

Has-Attribute: Height
Height: 8.0
Slot-Value-Type: Real-number
Model-Id: crosshead_c8x115

Class CROSSHEAD_W8X18

Subclass-Of: Crosshead

Slots Of Instances:

Has-Attribute: Height
Height: 8.125
Slot-Value-Type: Real-number
Model-Id: crosshead_w8x18

Class CROSSHEAD_W8X21

Subclass-Of: Crosshead

Slots Of Instances:

Has-Attribute: Height
Height: 8.25
Slot-Value-Type: Real-number
Model-Id: crosshead_w8x21

Class DEFLECTORSHEAVE

pg 18.
Subclass-Of: Vt-component

Slots Of Instances:

Deflsheaved:
Slot-Value-Type: Integer
Deflsheavep:
Slot-Value-Type: Real-number
Deflsheavewt:
Slot-Value-Type: Integer
Has-Attribute: Deflsheaved, Deflsheavep, Deflsheavewt
Model-Id:
Slot-Value-Type: String

Class DOOR

pg. 11. The elevator doors and its attributes.

Attributes:

(1) doorspace (pg 8) - the spaced occupied by the doors.
(2) dooroperheaderwt - the weight of the door header, computed by

multiplying a constaint times the width of the door opening. (see

constraint door4 (3) openingtype - Does the door open from the center or from one side.
(4) openingside - If openingtype is side, then records which side
(5) doorspeed - the speed in which the door opens
(6) doorspace - ???

Subclass-Of: Vt-component

Slots Of Instances:

Dooroperconstant:
Slot-Value-Type: Real-number
Dooroperenginewt:
Slot-Value-Type: Integer
Dooroperheaderwt:
Slot-Value-Type: Real-number
Doorspace:
Slot-Value-Type: Real-number
Doorspeed:
Slot-Value-Type: String
Has-Attribute:
Dooroperconstant, Dooroperenginewt, Dooroperheaderwt, Doorspace, Doorspeed, Openingside, Openingtype, Safe_t_edgewt
Has-Constraint: Doorspeed_of_door_values, Openingside_of_door_values
Model-Id:
Slot-Value-Type: String
Openingside:
Slot-Value-Type: String
Openingtype:
Slot-Value-Type: String
Safe_T_Edgewt:
Slot-Value-Type: Integer

Class DOOR_2SCO

Subclass-Of: Door

Slots Of Instances:

Dooroperconstant: 2.083
Slot-Value-Type: Real-number
Dooroperenginewt: 135
Slot-Value-Type: Integer
Doorspeed: 2s
Slot-Value-Type: String
Has-Attribute:
Dooroperconstant, Dooroperenginewt, Openingtype, Safe_t_edgewt
Model-Id: door_2sco
Openingtype: center
Slot-Value-Type: String
Safe_T_Edgewt: 13
Slot-Value-Type: Integer

Class DOOR_2SSO_LH

Subclass-Of: Door

Slots Of Instances:

Dooroperconstant: 1.5
Slot-Value-Type: Real-number
Dooroperenginewt: 135
Slot-Value-Type: Integer
Doorspeed: 2s
Slot-Value-Type: String
Has-Attribute:
Dooroperconstant, Dooroperenginewt, Openingside, Openingtype, Safe_t_edgewt
Model-Id: door_2sso_lh
Openingside: lh
Slot-Value-Type: String
Openingtype: so
Slot-Value-Type: String
Safe_T_Edgewt: 7
Slot-Value-Type: Integer

Class DOOR_2SSO_RH

Subclass-Of: Door

Slots Of Instances:

Dooroperconstant: 1.5
Slot-Value-Type: Real-number
Dooroperenginewt: 135
Slot-Value-Type: Integer
Doorspeed: 2s
Slot-Value-Type: String
Has-Attribute:
Dooroperconstant, Dooroperenginewt, Openingside, Openingtype, Safe_t_edgewt
Model-Id: door_2sso_rh
Openingside: rh
Slot-Value-Type: String
Openingtype: so
Slot-Value-Type: String
Safe_T_Edgewt: 7
Slot-Value-Type: Integer

Class DOOR_SSCO

Subclass-Of: Door

Slots Of Instances:

Dooroperconstant: 1.33
Slot-Value-Type: Real-number
Dooroperenginewt: 135
Slot-Value-Type: Integer
Doorspeed: ss
Slot-Value-Type: String
Has-Attribute:
Dooroperconstant, Dooroperenginewt, Openingtype, Safe_t_edgewt
Model-Id: door_ssco
Openingtype: co
Slot-Value-Type: String
Safe_T_Edgewt: 13
Slot-Value-Type: Integer

Class DOOR_SSSO_LH

Subclass-Of: Door

Slots Of Instances:

Dooroperconstant: 1.25
Slot-Value-Type: Real-number
Dooroperenginewt: 135
Slot-Value-Type: Integer
Doorspeed: ss
Slot-Value-Type: String
Has-Attribute:
Dooroperconstant, Dooroperenginewt, Openingside, Openingtype, Safe_t_edgewt
Model-Id: door_ssso_lh
Openingside: lh
Slot-Value-Type: String
Openingtype: so
Slot-Value-Type: String
Safe_T_Edgewt: 7
Slot-Value-Type: Integer

Class DOOR_SSSO_RH

Subclass-Of: Door

Slots Of Instances:

Dooroperconstant: 1.25
Slot-Value-Type: Real-number
Dooroperenginewt: 135
Slot-Value-Type: Integer
Doorspeed: ss
Slot-Value-Type: String
Has-Attribute:
Dooroperconstant, Dooroperenginewt, Openingside, Openingtype, Safe_t_edgewt
Model-Id: door_ssso_rh
Openingside: rh
Slot-Value-Type: String
Openingtype: so
Slot-Value-Type: String
Safe_T_Edgewt: 7
Slot-Value-Type: Integer

Class DS_20

Subclass-Of: Deflectorsheave

Slots Of Instances:

Deflsheaved: 20
Slot-Value-Type: Integer
Deflsheavep: 15.125
Slot-Value-Type: Real-number
Deflsheavewt: 250
Slot-Value-Type: Integer
Has-Attribute: Deflsheavep, Deflsheavewt
Model-Id: ds_20

Class DS_25

Subclass-Of: Deflectorsheave

Slots Of Instances:

Deflsheaved: 25
Slot-Value-Type: Integer
Deflsheavep: 18.125
Slot-Value-Type: Real-number
Deflsheavewt: 350
Slot-Value-Type: Integer
Has-Attribute: Deflsheavep, Deflsheavewt
Model-Id: ds_25

Class ELEVATOR

Subclass-Of: Vt-component

Slots Of Instances:

A:
Slot-Value-Type: Real-number
Angleofcontact:
Slot-Value-Type: Real-number
Ap:
Slot-Value-Type: Integer
Avctrlcableload:
Slot-Value-Type: Real-number
B:
Slot-Value-Type: Real-number
Beamreaction_Frontleft:
Slot-Value-Type: Real-number
Beamreaction_Frontright:
Slot-Value-Type: Real-number
Beamreaction_Rearleft:
Slot-Value-Type: Real-number
Beamreaction_Rearright:
Slot-Value-Type: Real-number
Bldgwallopenwidth:
Slot-Value-Type: Real-number
Cabheight:
Slot-Value-Type: Real-number
Cabintercomspec:
Slot-Value-Type: String
Cablanternspec:
Slot-Value-Type: String
Cabwt:
Slot-Value-Type: Real-number
Carbottomload:
Slot-Value-Type: Real-number
Carbufferblockh:
Slot-Value-Type: Integer
Carbufferload:
Slot-Value-Type: Real-number
Carcapacity:
Slot-Value-Type: Real-number
Carfixwt:
Slot-Value-Type: Real-number
Carhitch_To_Counterhitch_Distance:
Slot-Value-Type: Real-number
Carovertravel:
Slot-Value-Type: Real-number
Carphonespec:
Slot-Value-Type: String
Carpositionindicatorspec:
Slot-Value-Type: String
Carreturnleft:
Slot-Value-Type: Real-number
Carreturnright:
Slot-Value-Type: Real-number
Carrunby:
Slot-Value-Type: Integer
Carslingub:
Slot-Value-Type: Real-number
Cartopload:
Slot-Value-Type: Real-number
Carwt:
Slot-Value-Type: Real-number
Cntrwtbottomload:
Slot-Value-Type: Real-number
Cntrwttopload:
Slot-Value-Type: Real-number
Compcablel:
Slot-Value-Type: Real-number
Compcarbottomload:
Slot-Value-Type: Real-number
Compcartopload:
Slot-Value-Type: Real-number
Compcntrwtbottomload:
Slot-Value-Type: Real-number
Compcntrwttopload:
Slot-Value-Type: Real-number
Compressedcarbuffclearance:
Slot-Value-Type: Real-number
Contcarbottomload:
Slot-Value-Type: Real-number
Contcartopload:
Slot-Value-Type: Real-number
Controlcableloopbelowcarl:
Slot-Value-Type: Real-number
Counterwt:
Slot-Value-Type: Real-number
Counterwtbottomref:
Slot-Value-Type: Real-number
Counterwtbuffblockh:
Slot-Value-Type: Real-number
Counterwtbuffh:
Slot-Value-Type: Real-number
Counterwtbuffload:
Slot-Value-Type: Real-number
Counterwtfooth: 1
Slot-Value-Type: Integer
Counterwtframeh:
Slot-Value-Type: Real-number
Counterwtovertravel:
Slot-Value-Type: Real-number
Counterwtplatewt:
Slot-Value-Type: Real-number
Counterwtplatformwt:
Slot-Value-Type: Real-number
Counterwtrunby:
Slot-Value-Type: Real-number
Counterwtstackwt:
Slot-Value-Type: Real-number
Counterwtsyswt:
Slot-Value-Type: Real-number
Crossheadbendmoment:
Slot-Value-Type: Real-number
Crossheaddeflindex:
Slot-Value-Type: Real-number
Cwtframeweight:
Slot-Value-Type: Real-number
Cwt_Bg:
Slot-Value-Type: Integer
Cwt_Space:
Slot-Value-Type: Real-number
Cwt_To_Hoistway_Rear:
Slot-Value-Type: Real-number
Cwt_To_Platform_Rear:
Slot-Value-Type: Real-number
Cwt_Ubracket_Protrusion:
Slot-Value-Type: Real-number
Deflectorsheavediameter:
Slot-Value-Type: Real-number
Deflsheavep:
Slot-Value-Type: Real-number
Desircounterstackwt:
Slot-Value-Type: Real-number
Desircounterwt:
Slot-Value-Type: Real-number
Dooropeningtype:
Slot-Value-Type: String
Dooropenwidth:
Slot-Value-Type: Real-number
Dooroperheaderwt:
Slot-Value-Type: Real-number
Dooroperwt:
Slot-Value-Type: Real-number
Doorspace:
Slot-Value-Type: Real-number
Doorspeed:
Slot-Value-Type: String
Doorspeedspec:
Slot-Value-Type: String
Efficiency:
Slot-Value-Type: Real-number
Elevatorspeed:
Slot-Value-Type: Integer
Floorheightspec:
Slot-Value-Type: Real-number
Frameheight:
Slot-Value-Type: Real-number
Framethickness: 31
Slot-Value-Type: Real-number
Frameweight:
Slot-Value-Type: Real-number
Gear_Ratio:
Slot-Value-Type: Real-number
Govcablel:
Slot-Value-Type: Real-number
Guiderail_Bracket_Spacing:
Slot-Value-Type: Real-number
Has-Attribute:
A, Angleofcontact, Ap, Avctrlcableload, B, Beamreaction_frontleft, Beamreaction_frontright, Beamreaction_rearleft, Beamreaction_rearright, Bldgwallopenwidth, Cabheight, Cabintercomspec, Cablanternspec, Cabwt, Carbottomload, Carbufferblockh, Carbufferload, Carcapacity, Carfixwt, Carhitch_to_counterhitch_distance, Carovertravel, Carphonespec, Carpositionindicatorspec, Carreturnleft, Carreturnright, Carrunby, Carslingub, Cartopload, Carwt, Cntrwtbottomload, Cntrwttopload, Compcablel, Compcarbottomload, Compcartopload, Compcntrwtbottomload, Compcntrwttopload, Compressedcarbuffclearance, Contcarbottomload, Contcartopload, Controlcableloopbelowcarl, Counterwt, Counterwtbottomref, Counterwtbuffblockh, Counterwtbuffh, Counterwtbuffload, Counterwtfooth, Counterwtframeh, Counterwtovertravel, Counterwtplatewt, Counterwtplatformwt, Counterwtrunby, Counterwtstackwt, Counterwtsyswt, Crossheadbendmoment, Crossheaddeflindex, Cwtframeweight, Cwt_bg, Cwt_space, Cwt_to_hoistway_rear, Cwt_to_platform_rear, Cwt_ubracket_protrusion, Deflectorsheavediameter, Deflsheavep, Desircounterstackwt, Desircounterwt, Dooropeningtype, Dooropenwidth, Dooroperheaderwt, Dooroperwt, Doorspace, Doorspeed, Doorspeedspec, Efficiency, Elevatorspeed, Floorheightspec, Frameheight, Framethickness, Frameweight, Gear_ratio, Govcablel, Guiderail_bracket_spacing, Hoistcablepressureconstant, Hoistcablesafetyfactor, Hoistcarbottomload, Hoistcartopload, Hoistcntrwtbottomload, Hoistcntrwttopload, Hoistlabovecounterwt, Hoistwaydepth, Hoistwaytofrontmbeam, Hoistwaywidth, Impactload_leftbeam, Impactload_rightbeam, Leftmbeammaxbendingmoment, Leftplatformedge_lefthoistwaywall, Lengthperhoistcable, Len_compcable_below_counterwt, Machinegreatestaccelerationordeceleration, Machineroommbeamspec, Machinesheavetodeflsheavediag, Machinesheavetodeflsheave_horz, Mach_she_cent_to_fro_mbeam_support, Masswt, Maxacceptablecarbuffstroke, Maxacceptablemachinegroovepressure, Maxacceptableverticalrailforce, Maxbldgload_frontleft, Maxbldgload_rearleft, Maxbldgload_rearright, Maxbuffstrikingspeed, Maxbuildingload_frontright, Maxcarcapacity, Maxmachinegroovepressure, Maxtotalloadcarside, Mbeambearingplatethick, Mbeamcenter_to_msheavecenter, Mbeaml, Mbeamsupportdistspec, Mbeamsupporttypespec, Mbeamsupport_to_mbeamcenter, Mbeamwt, Minacceptablecarbuffstroke, Minacceptablembeammodulus, Minacceptableopeningw, Minhoistcablesafetyfactor, Minleftmbeam_sectionmodulus, Minrightmbeam_sectionmodulus, Misccarcompwt, Motormaxcurrentsupported, Motrelevelingtorque, Mroomfloor_to_undermbeam, Msheavecenter_to_deflsheavecenter, Msheaveheight, Noofcarbuff, Noofcompcables, Noofcounterwtbuff, Noofhoistcables, Noofopenings, Noofplates, Openingheight, Openinghoistwayleftspec, Openingside, Openingstrikesidespec, Openingtype, Opening_hoistway_right, Optimalcompcablewtperinch, Overheadspec, Peakreqdmotorcurrent, Pitdepth, Platet, Plate_depth, Platformd, Platformfront_to_cablehitch, Platformheightspec, Platformrear_to_cablehitch, Platformtohoistway_front, Platformw, Platformwidthspec, Platformwt, Platform_clearance, Potentialsafetyload_cartop, Reqdmotorhp, Rightmbeammaxbendingmoment, Rightplatformedge_righthoistwaywall, S, Safetybeambendmoment, Safetyfactor, Safetylbetweenguiderails, Safetywt, Safety_bg, Slingub, Slingwt, Stackheight, Stilel, Supplementwt, Suspendedload, Toplandtobeam, Totalimpactload, Totalload_leftbeam, Totalload_rightbeam, Totalweight, Tractionratio, Tractionratio_carbottom_empty, Tractionratio_carbottom_full, Tractionratio_cartop_empty, Tractionratio_cartop_full, Travelspec, Trfactor, Ub_space, Unbalanced_cable_load, Verticalrailforce, X, Z
Has-Constraint:
Ap_of_elevator_values, Atleast38_when2buffers, Avctrlcableload_calc, Beamreaction_frontleft_calc, Beamreaction_frontright_calc, Beamreaction_rearleft_calc, Beamreaction_rearright_calc, C1, C10, C100, C101, C102, C103, C107, C108, C111, C112, C113, C114, C115, C116, C117, C118, C119, C120, C121, C122, C123, C124, C125a, C125b, C126, C128, C129, C131, C132, C134, C135, C136, C137, C138, C139a, C139b, C139c, C139d, C140, C140a, C142, C143, C2, C3, C30, C31, C39, C41, C44, C45b, C45c, C45d, C45e, C45f, C49, C52, C58, C59, C60, C61, C62, C63, C64, C67, C69, C70, C71, C72, C73, C82, C84, C86, C87, C88, C89, C9, C90, C91, C92, C94, Cabheight_of_elevator_values, Cabintercomspec_of_elevator_values, Cablanternspec_of_elevator_values, Carbufferblockh_of_elevator_values, Carbufferload_calc, Carbufferload_constraint, Carbuffer_cs1, Carbuffer_cst3, Carbuffer_cst4, Carbuffer_cst5, Carbuffer_cst6, Carbuffer_cst7, Carguiderail_cst1, Carguiderail_cst10, Carguiderail_cst11, Carguiderail_cst2, Carguiderail_cst3, Carguiderail_cst4, Carguiderail_cst5, Carguiderail_cst6, Carguiderail_cst7, Carguiderail_cst8, Carguiderail_cst9, Carhitch_to_counterhitch_dist_calc, Carphonespec_of_elevator_values, Carpositionindicatorspec_of_elevator_values, Carreturnleftbasedondooropeningtype3, Carreturnleftbasedondoortype, Carreturnleftbasedondoortype2, Carrunby_of_elevator_values, Car_cst1, Car_cst2, Car_cst3, Car_cst4, Car_cst5, Compressedcarbuffclearance_of_elevator_values, Counterweightbg_cst1, Counterweightbg_cst3, Counterweightbg_cst4, Counterweightbg_cst5, Counterweightbg_cst6, Counterweightbg_cst7, Counterweightbg_cst8, Counterweightbg_cst9, Counterwtbuffblockh_of_elevator_values, Counterwtframeh_of_elevator_values, Counterwtguiderail_cst1, Counterwtrunby_of_elevator_values, Crosshead1, Crosshead2, Crosshead3, Crosshead4, Crosshead5, Crosshead6, Crosshead7, Cwtframeweight_calc, Cwt_bg_of_elevator_values, Cwt_space_calc, Cwt_to_hoistway_rear_calc, Cwt_to_hoistway_rear_restriction, Cwt_to_platform_rear_calc, Cwt_to_platform_rear_minimum1, Cwt_to_platform_rear_minimum2, Deflectorsheavediameter_calc, Deflector_sheave_diameter_cst, Deflsheavep_calc, Dont_select_intercom_cst, Dont_select_lantern_cst, Dont_select_phone, Dont_select_position_ind_cst, Door.doorspeed_calc, Door.doorspeed_calc2, Door.doorspeed_calc3, Door1, Door2, Door3, Door4, Door5, Door6, Dooropeningtype_of_elevator_values, Dooropenwidth_of_elevator_values, Doorspace_double_calc, Doorspace_single_calc, Doorspeedspec_of_elevator_values, Door_2sco1, Door_2sso_lh1, Door_2sso_rh1, Door_ssco1, Door_ssso_lh1, Door_ssso_rh1, Elevatorspeed_of_elevator_values, Equal_maxcarcapacity_platformcap, Guiderail_bracket_spacing_calc, Hoistcablepressureconstant_1_1, Hoistcablepressureconstant_1_2, Hoistcablepressureconstant_1_3, Hoistcablepressureconstant_1_4, Hoistcablepressureconstant_1_5, Hoistcablepressureconstant_2_1, Hoistcablepressureconstant_2_2, Hoistcablepressureconstant_2_3, Hoistcablepressureconstant_2_4, Hoistcablepressureconstant_2_5, Hoistcables_consistent, Hoistlabovecounterwt_calc, Impactload_leftbeam_calc, Impactload_rightbeam_calc, Leftmaxbendingmoment_calc1, Leftmaxbendingmoment_calc2, Leftplatformedge_lefthoistwaywall_calc, Len_compcable_below_counterwt_calc, Macheff_18_200, Macheff_18_200_ratio, Macheff_18_250, Macheff_18_250_ratio, Macheff_18_300, Macheff_18_300_ratio, Macheff_18_350, Macheff_18_350_ratio, Macheff_18_400, Macheff_18_400_ratio, Macheff_28_200, Macheff_28_200_ratio, Macheff_28_250, Macheff_28_250_ratio, Macheff_28_300, Macheff_28_300_ratio, Macheff_28_350, Macheff_28_350_ratio, Macheff_28_400, Macheff_28_400_ratio, Macheff_38_200, Macheff_38_200_ratio, Macheff_38_250, Macheff_38_250_ratio, Macheff_38_300, Macheff_38_300_ratio, Macheff_38_350, Macheff_38_350_ratio, Macheff_38_400, Macheff_38_400_ratio, Macheff_58_200, Macheff_58_200_ratio, Macheff_58_250, Macheff_58_250_ratio, Macheff_58_300, Macheff_58_300_ratio, Macheff_58_350, Macheff_58_350_ratio, Macheff_58_400, Macheff_58_400_ratio, Machinesheavetodeflsheavediag_calc, Machinesheavetodeflsheave_horz_calc, Machine_beam_offsets_cst, Machshecent_tofrombeam_support_calc, Maxacceptablemachinegroovepressure_calc, Maxbldgload_frontleft_calc, Maxbldgload_frontright_calc, Maxbldgload_rearleft_calc, Maxbldgload_rearright_calc, Maxcarcapacity_of_elevator_values, Mbeamsupporttypespec_of_elevator_values, Mbeamsupport_to_mbeamcenter_calc, Minacceptablecarbuffstroke_of_elevator_values, Minacceptablembeammodules_calc2, Minacceptablembeammodulus_calc1, Minhoistcablesafetyfactor_calc1, Minhoistcablesafetyfactor_calc2, Minhoistcablesafetyfactor_calc3, Minhoistcablesafetyfactor_calc4, Minhoistcablesafetyfactor_calc5, Minimumopeningwith_25b, Minimumopeningwith_25b_side, Motorscompatible_machine18, Motorscompatible_machine28, Motorscompatible_machine58, Mroomfloor_to_undermbeam_calc, Mroomfloor_to_undermbeam_calc2, Msheavecenter_to_deflsheavecenter_calc, Msheaveheight_calc, Noofcarbuff_of_elevator_values, Noofcarbuff_restriction1, Noofcarbuff_restriction2, Noofcompcables_consistent, Noofcounterwtbuff_of_elevator_values, Noofhoistcables_of_elevator_values, No_guard_needed_cst, Onebuffer_whenless38, Openingheight_restriction, Openingstrikesidespec_of_elevator_values, Opening_hoistway_right_calc, Optimalcompcablewtperinch_calc, Overheadspec_of_elevator_values, Peakmcur_calc_10hp_1, Peakmcur_calc_10hp_2, Peakmcur_calc_10hp_3, Peakmcur_calc_15hp_1, Peakmcur_calc_15hp_2, Peakmcur_calc_15hp_3, Peakmcur_calc_20hp_1, Peakmcur_calc_20hp_2, Peakmcur_calc_25hp_1, Peakmcur_calc_25hp_2, Peakmcur_calc_25hp_3, Peakmcur_calc_30hp_1, Peakmcur_calc_30hp_2, Peakmcur_calc_40hp_1, Peakmcur_calc_40hp_2, Pitdepth_of_elevator_values, Plate_depth_of_elevator_values, Platform.platformd_calc, Platform.platformw_calc, Platform1, Platform2, Platform25b_compatible, Platform3, Platformfront_to_cablehitch_calc_offset2, Platformfront_to_cablehitch_offset25, Platformfront_to_cablehitch_offset4, Platformrear_to_cablehitch_calc, Platformtohoistway_calc, Platform_2.5b1, Platform_25b2, Platform_25b3, Platform_25b4, Platform_25b5, Platform_25b6, Platform_25b7, Platform_4b1, Platform_4b11, Platform_4b2, Platform_4b3, Platform_4b4, Platform_4b5, Platform_4b6, Platform_6b1, Platform_6b10, Platform_6b2, Platform_6b3, Platform_6b4, Platform_6b6, Platform_6b7, Platform_6b8, Platform_6b9, Potentialsafetyload_cartop1, Relevelingtorque_calc, Reqdmotorhp_of_elevator_values, Rightmaxbendingmoment_calc1, Rightmaxbendingmoment_calc2, Rightplatformedge_righthoistwayedge_calc, Safety1, Safety2, Safety3, Safetybeambendmoment1, Safetylbetweenguiderails1, Safetywt1, Select_intercom_cst, Select_lantern_cst, Select_phone_cst, Select_positionind, Slingub_calc, Slingwt1, Stackheight_calc, Stackheight_restriction, Stilel1, S_of_elevator_values, Toplandtobeam_calc, Totalimpactload_calc, Totalload_leftbeam_calc, Totalload_rightbeam_calc, Ub_space_of_elevator_values, Unbalanced_cable_load_calc
Has-Subpart:
Car, Carbuffer, Carguiderail, Compensationcable, Controlcable, Counterweightbg, Counterwtbuffer, Counterwtguard, Counterwtguiderail, Crosshead, Deflectorsheave, Door, Governor, Governorcable, Intercom, Lantern, Machine, Mbeam, Motgenerator, Motor, Msheavegroove, Phone, Platform, Positionind, Safety, Sling
Hoistcablepressureconstant:
Slot-Value-Type: Real-number
Hoistcablesafetyfactor:
Slot-Value-Type: Real-number
Hoistcarbottomload:
Slot-Value-Type: Real-number
Hoistcartopload:
Slot-Value-Type: Real-number
Hoistcntrwtbottomload:
Slot-Value-Type: Real-number
Hoistcntrwttopload:
Slot-Value-Type: Real-number
Hoistlabovecounterwt:
Slot-Value-Type: Real-number
Hoistwaydepth:
Slot-Value-Type: Real-number
Hoistwaytofrontmbeam:
Slot-Value-Type: Real-number
Hoistwaywidth:
Slot-Value-Type: Real-number
Impactload_Leftbeam:
Slot-Value-Type: Real-number
Impactload_Rightbeam:
Slot-Value-Type: Real-number
Leftmbeammaxbendingmoment:
Slot-Value-Type: Real-number
Leftplatformedge_Lefthoistwaywall:
Slot-Value-Type: Real-number
Lengthperhoistcable:
Slot-Value-Type: Real-number
Len_Compcable_Below_Counterwt:
Slot-Value-Type: Real-number
Machinegreatestaccelerationordeceleration: 4.25
Slot-Value-Type: Real-number
Machineroommbeamspec:
Slot-Value-Type: Real-number
Machinesheavetodeflsheavediag:
Slot-Value-Type: Real-number
Machinesheavetodeflsheave_Horz:
Slot-Value-Type: Real-number
Mach_She_Cent_To_Fro_Mbeam_Support:
Slot-Value-Type: Real-number
Masswt:
Slot-Value-Type: Real-number
Maxacceptablecarbuffstroke:
Slot-Value-Type: Real-number
Maxacceptablemachinegroovepressure:
Slot-Value-Type: Real-number
Maxacceptableverticalrailforce:
Slot-Value-Type: Real-number
Maxbldgload_Frontleft:
Slot-Value-Type: Real-number
Maxbldgload_Rearleft:
Slot-Value-Type: Real-number
Maxbldgload_Rearright:
Slot-Value-Type: Real-number
Maxbuffstrikingspeed:
Slot-Value-Type: Real-number
Maxbuildingload_Frontright:
Slot-Value-Type: Real-number
Maxcarcapacity:
Slot-Value-Type: Integer
Maxmachinegroovepressure:
Slot-Value-Type: Real-number
Maxtotalloadcarside:
Slot-Value-Type: Real-number
Mbeambearingplatethick: 1
Slot-Value-Type: Integer
Mbeamcenter_To_Msheavecenter:
Slot-Value-Type: Real-number
Mbeaml:
Slot-Value-Type: Real-number
Mbeamsupportdistspec:
Slot-Value-Type: Real-number
Mbeamsupporttypespec:
Slot-Value-Type: String
Mbeamsupport_To_Mbeamcenter:
Slot-Value-Type: Real-number
Mbeamwt:
Slot-Value-Type: Real-number
Minacceptablecarbuffstroke:
Slot-Value-Type: Real-number
Minacceptablembeammodulus:
Slot-Value-Type: Real-number
Minacceptableopeningw:
Slot-Value-Type: Real-number
Minhoistcablesafetyfactor:
Slot-Value-Type: Real-number
Minleftmbeam_Sectionmodulus:
Slot-Value-Type: Real-number
Minrightmbeam_Sectionmodulus:
Slot-Value-Type: Real-number
Misccarcompwt:
Slot-Value-Type: Real-number
Model-Id:
Slot-Value-Type: String
Motormaxcurrentsupported: 150
Slot-Value-Type: Integer
Motrelevelingtorque:
Slot-Value-Type: Real-number
Mroomfloor_To_Undermbeam:
Slot-Value-Type: Real-number
Msheavecenter_To_Deflsheavecenter:
Slot-Value-Type: Real-number
Msheaveheight:
Slot-Value-Type: Real-number
Noofcarbuff:
Slot-Value-Type: Integer
Noofcompcables:
Slot-Value-Type: Real-number
Noofcounterwtbuff:
Slot-Value-Type: Integer
Noofhoistcables:
Slot-Value-Type: Integer
Noofopenings:
Slot-Value-Type: Real-number
Noofplates:
Slot-Value-Type: Integer
Openingheight:
Slot-Value-Type: Real-number
Openinghoistwayleftspec:
Slot-Value-Type: Real-number
Openingside:
Slot-Value-Type: String
Openingstrikesidespec:
Slot-Value-Type: String
Openingtype:
Slot-Value-Type: String
Opening_Hoistway_Right:
Slot-Value-Type: Real-number
Optimalcompcablewtperinch:
Slot-Value-Type: Real-number
Overheadspec:
Slot-Value-Type: Real-number
Peakreqdmotorcurrent:
Slot-Value-Type: Real-number
Pitdepth:
Slot-Value-Type: Real-number
Platet: 1
Slot-Value-Type: Integer
Plate_Depth:
Slot-Value-Type: Real-number
Platformd:
Slot-Value-Type: Real-number
Platformfront_To_Cablehitch:
Slot-Value-Type: Real-number
Platformheightspec:
Slot-Value-Type: Real-number
Platformrear_To_Cablehitch:
Slot-Value-Type: Real-number
Platformtohoistway_Front:
Slot-Value-Type: Real-number
Platformw:
Slot-Value-Type: Real-number
Platformwidthspec:
Slot-Value-Type: Real-number
Platformwt:
Slot-Value-Type: Real-number
Platform_Clearance: 1.25
Slot-Value-Type: Real-number
Potentialsafetyload_Cartop:
Slot-Value-Type: Real-number
Reqdmotorhp:
Slot-Value-Type: Real-number
Rightmbeammaxbendingmoment:
Slot-Value-Type: Real-number
Rightplatformedge_Righthoistwaywall:
Slot-Value-Type: Real-number
S:
Slot-Value-Type: Integer
Safetybeambendmoment:
Slot-Value-Type: Real-number
Safetyfactor:
Slot-Value-Type: Real-number
Safetylbetweenguiderails:
Slot-Value-Type: Real-number
Safetywt:
Slot-Value-Type: Real-number
Safety_Bg:
Slot-Value-Type: Real-number
Slingub:
Slot-Value-Type: Real-number
Slingwt:
Slot-Value-Type: Real-number
Stackheight:
Slot-Value-Type: Real-number
Stilel:
Slot-Value-Type: Real-number
Supplementwt:
Slot-Value-Type: Integer
Suspendedload:
Slot-Value-Type: Real-number
Toplandtobeam:
Slot-Value-Type: Real-number
Totalimpactload:
Slot-Value-Type: Real-number
Totalload_Leftbeam:
Slot-Value-Type: Real-number
Totalload_Rightbeam:
Slot-Value-Type: Real-number
Totalweight:
Slot-Value-Type: Real-number
Tractionratio:
Slot-Value-Type: Real-number
Tractionratio_Carbottom_Empty:
Slot-Value-Type: Real-number
Tractionratio_Carbottom_Full:
Slot-Value-Type: Real-number
Tractionratio_Cartop_Empty:
Slot-Value-Type: Real-number
Tractionratio_Cartop_Full:
Slot-Value-Type: Real-number
Travelspec:
Slot-Value-Type: Real-number
Trfactor:
Slot-Value-Type: Real-number
Ub_Space:
Slot-Value-Type: Real-number
Unbalanced_Cable_Load:
Slot-Value-Type: Real-number
Verticalrailforce:
Slot-Value-Type: Real-number
X:
Slot-Value-Type: Real-number
Z:
Slot-Value-Type: Real-number

Class GOVERNOR

pg 1. The governor is always model B5B
Subclass-Of: Vt-component

Slots Of Instances:

Has-Attribute: Model-id
Model-Id:
Slot-Value-Type: String

Class GOVERNORCABLE

Subclass-Of: Vt-component

Slots Of Instances:

Govcablet:
Slot-Value-Type: Real-number
Has-Attribute: Govcablet
Model-Id:
Slot-Value-Type: String

Class GOVCABLE1

pg 18.

Attributes:

govcablet - the thickness of the governer cable.

Subclass-Of: Governorcable

Slots Of Instances:

Govcablet: 0.375
Slot-Value-Type: Real-number
Has-Attribute: Govcablet
Model-Id: govcable1

Class GOVERNOR_B5B

The only part that can be used for the governor pg 1.
Subclass-Of: Governor

Slots Of Instances:

Model-Id: governor_b5b

Class HOISTCABLE

Subclass-Of: Vt-component

Slots Of Instances:

Diameter:
Slot-Value-Type: Real-number
Has-Attribute:
Diameter, Noofcables, Ultimate_strength, Weightperinch
Model-Id:
Slot-Value-Type: String
Noofcables:
Slot-Value-Type: Integer
Ultimate_Strength:
Slot-Value-Type: Integer
Weightperinch:
Slot-Value-Type: Real-number

Class HOISTCABLE3_5

pg 17 Three .5 inch hoist cables.
Subclass-Of: Hoistcable

Slots Of Instances:

Diameter: 0.5
Slot-Value-Type: Real-number
Has-Attribute: Diameter, Noofcables, Ultimate_strength
Model-Id: hoistcable3_5
Noofcables: 3
Slot-Value-Type: Integer
Ultimate_Strength: 14500
Slot-Value-Type: Integer
Weightperinch: 0.03
Slot-Value-Type: Real-number

Class HOISTCABLE3_625

pg 17 Three .625 inch hoist cables.
Subclass-Of: Hoistcable

Slots Of Instances:

Diameter: 0.625
Slot-Value-Type: Real-number
Has-Attribute: Diameter, Noofcables, Ultimate_strength
Model-Id: hoistcable3_625
Noofcables: 3
Slot-Value-Type: Integer
Ultimate_Strength: 23000
Slot-Value-Type: Integer
Weightperinch: 0.048
Slot-Value-Type: Real-number

Class HOISTCABLE4_5

pg 17 Four .5 inch hoist cables.
Subclass-Of: Hoistcable

Slots Of Instances:

Diameter: 0.5
Slot-Value-Type: Real-number
Has-Attribute: Diameter, Noofcables, Ultimate_strength
Model-Id: hoistcable4_5
Noofcables: 4
Slot-Value-Type: Integer
Ultimate_Strength: 14500
Slot-Value-Type: Integer
Weightperinch: 0.03
Slot-Value-Type: Real-number

Class HOISTCABLE4_625

pg 17 Four .625 inch hoist cables.
Subclass-Of: Hoistcable

Slots Of Instances:

Diameter: 0.625
Slot-Value-Type: Real-number
Has-Attribute: Diameter, Noofcables, Ultimate_strength
Model-Id: hoistcable4_625
Noofcables: 4
Slot-Value-Type: Integer
Ultimate_Strength: 23000
Slot-Value-Type: Integer
Weightperinch: 0.048
Slot-Value-Type: Real-number

Class HOISTCABLE5_5

pg 17 Five .5 inch hoist cables.
Subclass-Of: Hoistcable

Slots Of Instances:

Diameter: 0.5
Slot-Value-Type: Real-number
Has-Attribute: Diameter, Noofcables, Ultimate_strength
Model-Id: hoistcable5_5
Noofcables: 5
Slot-Value-Type: Integer
Ultimate_Strength: 14500
Slot-Value-Type: Integer
Weightperinch: 0.03
Slot-Value-Type: Real-number

Class HOISTCABLE5_625

pg 17 Five .625 inch hoist cables.
Subclass-Of: Hoistcable

Slots Of Instances:

Diameter: 0.625
Slot-Value-Type: Real-number
Has-Attribute: Diameter, Noofcables, Ultimate_strength
Model-Id: hoistcable5_625
Noofcables: 5
Slot-Value-Type: Integer
Ultimate_Strength: 23000
Slot-Value-Type: Integer
Weightperinch: 0.048
Slot-Value-Type: Real-number

Class HOISTCABLE6_5

pg 17 Six .5 inch hoist cables.
Subclass-Of: Hoistcable

Slots Of Instances:

Diameter: 0.5
Slot-Value-Type: Real-number
Has-Attribute: Diameter, Noofcables, Ultimate_strength
Model-Id: hoistcable6_5
Noofcables: 6
Slot-Value-Type: Integer
Ultimate_Strength: 14500
Slot-Value-Type: Integer
Weightperinch: 0.03
Slot-Value-Type: Real-number

Class HOISTCABLE6_625

pg 17 Six .625 inch hoist cables.
Subclass-Of: Hoistcable

Slots Of Instances:

Diameter: 0.625
Slot-Value-Type: Real-number
Has-Attribute: Diameter, Noofcables, Ultimate_strength
Model-Id: hoistcable6_625
Noofcables: 6
Slot-Value-Type: Integer
Ultimate_Strength: 23000
Slot-Value-Type: Integer
Weightperinch: 0.048
Slot-Value-Type: Real-number

Class INTERCOM

Subclass-Of: Vt-component

Slots Of Instances:

Has-Attribute: Weight
Model-Id:
Slot-Value-Type: String
Weight:
Slot-Value-Type: Integer

Class INTERCOM0

pg 14. This part corresponds to not having an intercom in the elevator.
Subclass-Of: Intercom

Slots Of Instances:

Has-Attribute: Weight
Model-Id: intercom0
Weight: 0
Slot-Value-Type: Integer

Class INTERCOM1

Subclass-Of: Intercom

Slots Of Instances:

Has-Attribute: Weight
Model-Id: intercom1
Weight: 5
Slot-Value-Type: Integer

Class LANTERN

Subclass-Of: Vt-component

Slots Of Instances:

Has-Attribute: Weight
Model-Id:
Slot-Value-Type: String
Weight:
Slot-Value-Type: Integer

Class LANTERN0

Subclass-Of: Lantern

Slots Of Instances:

Has-Attribute: Weight
Model-Id: lantern0
Weight: 0
Slot-Value-Type: Integer

Class LANTERN1

Subclass-Of: Lantern

Slots Of Instances:

Has-Attribute: Weight
Model-Id: lantern1
Weight: 9
Slot-Value-Type: Integer

Class MACHINE

Subclass-Of: Vt-component

Slots Of Instances:

Efficiency:
Slot-Value-Type: Real-number
Gear_Ratio:
Slot-Value-Type: Real-number
Has-Attribute:
Efficiency, Gear_ratio, Mleftoffset, Mmaxsuspload, Mrightoffset, Msheaved, Msheaveh, Mwt
Has-Constraint: Efficiency_of_machine_values
Mleftoffset:
Slot-Value-Type: Real-number
Mmaxsuspload:
Slot-Value-Type: Integer
Model-Id:
Slot-Value-Type: String
Mrightoffset:
Slot-Value-Type: Real-number
Msheaved:
Slot-Value-Type: Integer
Msheaveh:
Slot-Value-Type: Integer
Mwt:
Slot-Value-Type: Integer

Class MACHINE18

Subclass-Of: Machine

Slots Of Instances:

Has-Attribute:
Mleftoffset, Mrightoffset, Msheaved, Msheaveh, Mwt
Mleftoffset: 4.4375
Slot-Value-Type: Real-number
Mmaxsuspload: 11500
Slot-Value-Type: Integer
Model-Id: machine18
Mrightoffset: 9.4375
Slot-Value-Type: Real-number
Msheaved: 24
Slot-Value-Type: Integer
Msheaveh: 19
Slot-Value-Type: Integer
Mwt: 1100
Slot-Value-Type: Integer

Class MACHINE28

Subclass-Of: Machine

Slots Of Instances:

Has-Attribute:
Mleftoffset, Mrightoffset, Msheaved, Msheaveh, Mwt
Mleftoffset: 8
Slot-Value-Type: Integer
Mmaxsuspload: 13200
Slot-Value-Type: Integer
Model-Id: machine28
Mrightoffset: 8
Slot-Value-Type: Integer
Msheaved: 300
Slot-Value-Type: Integer
Msheaveh: 26
Slot-Value-Type: Integer
Mwt: 1700
Slot-Value-Type: Integer

Class MACHINE38

Subclass-Of: Machine

Slots Of Instances:

Has-Attribute:
Mleftoffset, Mrightoffset, Msheaved, Msheaveh, Mwt
Mleftoffset: 8
Slot-Value-Type: Integer
Mmaxsuspload: 20000
Slot-Value-Type: Integer
Model-Id: machine38
Mrightoffset: 8
Slot-Value-Type: Integer
Msheaved: 30
Slot-Value-Type: Integer
Msheaveh: 30
Slot-Value-Type: Integer
Mwt: 2400
Slot-Value-Type: Integer

Class MACHINE58

Subclass-Of: Machine

Slots Of Instances:

Has-Attribute:
Mleftoffset, Mrightoffset, Msheaved, Msheaveh, Mwt
Mleftoffset: 14.75
Slot-Value-Type: Real-number
Mmaxsuspload: 24600
Slot-Value-Type: Integer
Model-Id: machine58
Mrightoffset: 14.75
Slot-Value-Type: Real-number
Msheaved: 32
Slot-Value-Type: Integer
Msheaveh: 33
Slot-Value-Type: Integer
Mwt: 2750
Slot-Value-Type: Integer

Class MBEAM

pg 20.
Subclass-Of: Vt-component

Slots Of Instances:

Has-Attribute: Mbeamsectionmodulus, Mbeamwtperft
Mbeamsectionmodulus:
Slot-Value-Type: Real-number
Mbeamwtperft:
Slot-Value-Type: Integer
Model-Id:
Slot-Value-Type: String

Class MBEAM_S10X25_4

Subclass-Of: Mbeam

Slots Of Instances:

Has-Attribute: Mbeamsectionmodulus
Mbeamsectionmodulus: 24.7
Slot-Value-Type: Real-number
Mbeamwtperft: 25.4
Slot-Value-Type: Real-number
Model-Id: mbeam_s10x25_4

Class MBEAM_S10X35_0

Subclass-Of: Mbeam

Slots Of Instances:

Has-Attribute: Mbeamsectionmodulus
Mbeamsectionmodulus: 29.4
Slot-Value-Type: Real-number
Mbeamwtperft: 35
Slot-Value-Type: Integer
Model-Id: mbeam_s10x35_0

Class MBEAM_S12X31_8

Subclass-Of: Mbeam

Slots Of Instances:

Has-Attribute: Mbeamsectionmodulus
Mbeamsectionmodulus: 36.4
Slot-Value-Type: Real-number
Mbeamwtperft: 31.8
Slot-Value-Type: Real-number
Model-Id: mbeam_s12x31_8

Class MBEAM_S12X35_0

Subclass-Of: Mbeam

Slots Of Instances:

Has-Attribute: Mbeamsectionmodulus
Mbeamsectionmodulus: 38.2
Slot-Value-Type: Real-number
Mbeamwtperft: 35
Slot-Value-Type: Integer
Model-Id: mbeam_s12x35_0

Class MOTGENERATOR

Subclass-Of: Vt-component

Slots Of Instances:

Has-Attribute: Motgenmaxcurr
Model-Id:
Slot-Value-Type: String
Motgenmaxcurr:
Slot-Value-Type: Integer

Class MOTGEN_286_230V

Subclass-Of: Motgenerator

Slots Of Instances:

Has-Attribute: Motgenmaxcurr
Model-Id: motgen_286_230v
Motgenmaxcurr: 143
Slot-Value-Type: Integer

Class MOTGEN_3609_5A_240V

Subclass-Of: Motgenerator

Slots Of Instances:

Has-Attribute: Motgenmaxcurr
Model-Id: motgen_3609_5a_240v
Motgenmaxcurr: 450
Slot-Value-Type: Integer

Class MOTGEN_46_230V

Subclass-Of: Motgenerator

Slots Of Instances:

Has-Attribute: Motgenmaxcurr
Model-Id: motgen_46_230v
Motgenmaxcurr: 238
Slot-Value-Type: Integer

Class MOTGEN_64_260V

Subclass-Of: Motgenerator

Slots Of Instances:

Has-Attribute: Motgenmaxcurr
Model-Id: motgen_64_260v
Motgenmaxcurr: 340
Slot-Value-Type: Integer

Class MOTOR

pg 21
Subclass-Of: Vt-component

Slots Of Instances:

Has-Attribute:
Mothp, Motmaxcurrent, Motormaxcurrentsupported, Motwt
Model-Id:
Slot-Value-Type: String
Mothp:
Slot-Value-Type: Integer
Motmaxcurrent:
Slot-Value-Type: Integer
Motormaxcurrentsupported: 150
Slot-Value-Type: Integer
Motwt:
Slot-Value-Type: Integer

Class MOTOR10HP

Subclass-Of: Motor

Slots Of Instances:

Has-Attribute: Motmaxcurrent, Motwt
Model-Id: motor10hp
Mothp: 10
Slot-Value-Type: Integer
Motmaxcurrent: 150
Slot-Value-Type: Integer
Motwt: 374
Slot-Value-Type: Integer

Class MOTOR15HP

Subclass-Of: Motor

Slots Of Instances:

Has-Attribute: Motmaxcurrent, Motwt
Model-Id: motor15hp
Mothp: 15
Slot-Value-Type: Integer
Motmaxcurrent: 250
Slot-Value-Type: Integer
Motwt: 473
Slot-Value-Type: Integer

Class MOTOR20HP

Subclass-Of: Motor

Slots Of Instances:

Has-Attribute: Motmaxcurrent, Motwt
Model-Id: motor20hp
Mothp: 20
Slot-Value-Type: Integer
Motmaxcurrent: 260
Slot-Value-Type: Integer
Motwt: 539
Slot-Value-Type: Integer

Class MOTOR25HP

Subclass-Of: Motor

Slots Of Instances:

Has-Attribute: Motmaxcurrent, Motwt
Model-Id: motor25hp
Mothp: 25
Slot-Value-Type: Integer
Motmaxcurrent: 340
Slot-Value-Type: Integer
Motwt: 615
Slot-Value-Type: Integer

Class MOTOR30HP

Subclass-Of: Motor

Slots Of Instances:

Has-Attribute: Motmaxcurrent, Motwt
Model-Id: motor30hp
Mothp: 30
Slot-Value-Type: Integer
Motmaxcurrent: 440
Slot-Value-Type: Integer
Motwt: 715
Slot-Value-Type: Integer

Class MOTOR40HP

Subclass-Of: Motor

Slots Of Instances:

Has-Attribute: Motmaxcurrent, Motwt
Model-Id: motor40hp
Mothp: 40
Slot-Value-Type: Integer
Motmaxcurrent: 530
Slot-Value-Type: Integer
Motwt: 990
Slot-Value-Type: Integer

Class MSHEAVEGROOVE

pg 19.
Subclass-Of: Vt-component

Slots Of Instances:

Has-Attribute: Model-id
Model-Id:
Slot-Value-Type: String

Class MSHEAVEGROOVE_K3140

Subclass-Of: Msheavegroove

Slots Of Instances:

Model-Id: msheavegroove_k3140

Class MSHEAVEGROOVE_K3269

Subclass-Of: Msheavegroove

Slots Of Instances:

Model-Id: msheavegroove_k3269

Class PHONE

pg 14. The phone in the cab.
Subclass-Of: Vt-component

Slots Of Instances:

Has-Attribute: Weight
Model-Id:
Slot-Value-Type: String
Weight:
Slot-Value-Type: Integer

Class PHONE0

Subclass-Of: Phone

Slots Of Instances:

Has-Attribute: Weight
Model-Id: phone0
Weight: 0
Slot-Value-Type: Integer

Class PHONE1

Subclass-Of: Phone

Slots Of Instances:

Has-Attribute: Weight
Model-Id: phone1
Weight: 10
Slot-Value-Type: Integer

Class PLATFORM

pg 12.

Attributes: (1) carcapacity - maximum weight capacity of the car.
(2) platformd - the depth of the platform in inches
(3) platformw - the width of the platform in inches.

Subclass-Of: Vt-component

Slots Of Instances:

Carcapacity:
Slot-Value-Type: Real-number
Has-Attribute:
Carcapacity, Platformd, Platformheight, Platformw
Has-Constraint: Platformw_of_platform_values
Model-Id:
Slot-Value-Type: String
Platformd:
Slot-Value-Type: Real-number
Platformheight:
Slot-Value-Type: Real-number
Platformw:
Slot-Value-Type: Real-number

Class PLATFORM_25B

pg 12 - 13. Platform model.

Attributes: (1) platformheight - The height of the platform

Subclass-Of: Platform

Slots Of Instances:

Has-Attribute: Platformheight
Model-Id: platform_25b
Platformheight: 6.625
Slot-Value-Type: Real-number

Class PLATFORM_4B

pg 12 - 13. Platform model.

Attributes: (1) platformheight - The height of the platform

Subclass-Of: Platform

Slots Of Instances:

Has-Attribute: Platformheight
Model-Id: platform_4b
Platformheight: 6.625
Slot-Value-Type: Real-number

Class PLATFORM_6B

pg 12 - 13. Platform model.

Attributes: (1) platformheight - The height of the platform

Subclass-Of: Platform

Slots Of Instances:

Has-Attribute: Platformheight
Model-Id: platform_6b
Platformheight: 6.6875
Slot-Value-Type: Real-number

Class POSITIONIND

Subclass-Of: Vt-component

Slots Of Instances:

Has-Attribute: Weight
Model-Id:
Slot-Value-Type: String
Weight:
Slot-Value-Type: Integer

Class POSITIONIND0

Subclass-Of: Positionind

Slots Of Instances:

Has-Attribute: Weight
Model-Id: positionind0
Weight: 0
Slot-Value-Type: Integer

Class POSITIONIND1

Subclass-Of: Positionind

Slots Of Instances:

Has-Attribute: Weight
Model-Id: positionind1
Weight: 12
Slot-Value-Type: Integer

Class SAFETY

pg 14.
Subclass-Of: Vt-component

Slots Of Instances:

Has-Attribute:
Maxacceptablepotentialsafetyload, Maxacceptablesafetybeambendmoment, Safetya, Safetyb, Safetyconstant, Safetyheight
Maxacceptablepotentialsafetyload:
Slot-Value-Type: Integer
Maxacceptablesafetybeambendmoment:
Slot-Value-Type: Integer
Model-Id:
Slot-Value-Type: String
Safetya:
Slot-Value-Type: Real-number
Safetyb:
Slot-Value-Type: Integer
Safetyconstant:
Slot-Value-Type: Real-number
Safetyheight:
Slot-Value-Type: Integer

Class SAFETY_B1

Subclass-Of: Safety

Slots Of Instances:

Has-Attribute:
Maxacceptablepotentialsafetyload, Maxacceptablesafetybeambendmoment, Safetya, Safetyb, Safetyheight
Maxacceptablepotentialsafetyload: 8000
Slot-Value-Type: Integer
Maxacceptablesafetybeambendmoment: 682500
Slot-Value-Type: Integer
Model-Id: safety_b1
Safetya: 1.69
Slot-Value-Type: Real-number
Safetyb: 1
Slot-Value-Type: Integer
Safetyconstant: 2.25
Slot-Value-Type: Real-number
Safetyheight: 9
Slot-Value-Type: Integer

Class SAFETY_B4

Subclass-Of: Safety

Slots Of Instances:

Has-Attribute:
Maxacceptablepotentialsafetyload, Maxacceptablesafetybeambendmoment, Safetya, Safetyb, Safetyheight
Maxacceptablepotentialsafetyload: 12000
Slot-Value-Type: Integer
Maxacceptablesafetybeambendmoment: 1233600
Slot-Value-Type: Integer
Model-Id: safety_b4
Safetya: 2.3
Slot-Value-Type: Real-number
Safetyb: 540
Slot-Value-Type: Integer
Safetyconstant: 2.25
Slot-Value-Type: Real-number
Safetyheight: 10
Slot-Value-Type: Integer

Class SAFETY_B6

Subclass-Of: Safety

Slots Of Instances:

Has-Attribute:
Maxacceptablepotentialsafetyload, Maxacceptablesafetybeambendmoment, Safetya, Safetyb, Safetyheight
Maxacceptablepotentialsafetyload: 20000
Slot-Value-Type: Integer
Maxacceptablesafetybeambendmoment: 1506000
Slot-Value-Type: Integer
Model-Id: safety_b6
Safetya: 2.6
Slot-Value-Type: Real-number
Safetyb: 1035
Slot-Value-Type: Integer
Safetyconstant: 2.625
Slot-Value-Type: Real-number
Safetyheight: 13
Slot-Value-Type: Integer

Class SLING

pg 13.

Design Note: Start with smallest sling model and then upgrade when necessary.

Subclass-Of: Vt-component

Slots Of Instances:

Has-Attribute:
Slinga, Slingb, Slingc, Slingratedbendmoment, Slingrateddeflindex
Model-Id:
Slot-Value-Type: String
Slinga:
Slot-Value-Type: Real-number
Slingb:
Slot-Value-Type: Real-number
Slingc:
Slot-Value-Type: Integer
Slingratedbendmoment:
Slot-Value-Type: Integer
Slingrateddeflindex:
Slot-Value-Type: Integer

Class SLING_25B_18

Subclass-Of: Sling

Slots Of Instances:

Has-Attribute:
Slinga, Slingb, Slingc, Slingratedbendmoment
Model-Id: sling_25b_18
Slinga: 1.5
Slot-Value-Type: Real-number
Slingb: 1.002
Slot-Value-Type: Real-number
Slingc: 56
Slot-Value-Type: Integer
Slingratedbendmoment: 705000
Slot-Value-Type: Integer
Slingrateddeflindex: 84600000
Slot-Value-Type: Integer

Class SLING_25B_21

Subclass-Of: Sling

Slots Of Instances:

Has-Attribute:
Slinga, Slingb, Slingc, Slingratedbendmoment
Model-Id: sling_25b_21
Slinga: 1.75
Slot-Value-Type: Real-number
Slingb: 1.002
Slot-Value-Type: Real-number
Slingc: 94
Slot-Value-Type: Integer
Slingratedbendmoment: 850000
Slot-Value-Type: Integer
Slingrateddeflindex: 103800000
Slot-Value-Type: Integer

Class SLING_4B_GP

Subclass-Of: Sling

Slots Of Instances:

Has-Attribute:
Slinga, Slingb, Slingc, Slingratedbendmoment
Model-Id: sling_4b_gp
Slinga: 2.5
Slot-Value-Type: Real-number
Slingb: 1.6
Slot-Value-Type: Real-number
Slingc: 223
Slot-Value-Type: Integer
Slingratedbendmoment: 1340000
Slot-Value-Type: Integer
Slingrateddeflindex: 200700000
Slot-Value-Type: Integer

Class SLING_4B_HOSP

Subclass-Of: Sling

Slots Of Instances:

Has-Attribute:
Slinga, Slingb, Slingc, Slingratedbendmoment
Model-Id: sling_4b_hosp
Slinga: 1.8
Slot-Value-Type: Real-number
Slingb: 1.2
Slot-Value-Type: Real-number
Slingc: 223
Slot-Value-Type: Integer
Slingratedbendmoment: 810000
Slot-Value-Type: Integer
Slingrateddeflindex: 96900000
Slot-Value-Type: Integer

Class SLING_6C

Subclass-Of: Sling

Slots Of Instances:

Has-Attribute:
Slinga, Slingb, Slingc, Slingratedbendmoment
Model-Id: sling_6c
Slinga: 3.1
Slot-Value-Type: Real-number
Slingb: 2.2
Slot-Value-Type: Real-number
Slingc: 317
Slot-Value-Type: Integer
Slingratedbendmoment: 1790000
Slot-Value-Type: Integer
Slingrateddeflindex: 200700000
Slot-Value-Type: Integer

Constraint AP_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Ap ?X) 3) (=< (Ap ?X) 10))

Constraint ATLEAST38_WHEN2BUFFERS

Instance-Of: Constraint
Constraint.Expression: 
'(=> (> (Noofcounterwtbuff ?X) 2) (>= (Cwt_Bg ?X) 38))

Constraint AVCTRLCABLELOAD_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Avctrlcableload ?X) 
    (/ (+ (Contcartopload ?X) (Contcarbottomload ?X)) 2) )

Constraint BEAMREACTION_FRONTLEFT_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Beamreaction_Frontleft ?X) 
    (- (Totalload_Leftbeam ?X) (Beamreaction_Rearleft ?X)) )

Constraint BEAMREACTION_FRONTRIGHT_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Beamreaction_Frontright ?X) 
    (- (Totalload_Rightbeam ?X) (Beamreaction_Rearright ?X)) )

Constraint BEAMREACTION_REARLEFT_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Beamreaction_Rearleft ?X) 
    (/ (* (Mbeamwt ?X) 
          (+ (Mbeamsupport_To_Mbeamcenter ?X) 
             (* (Impactload_Leftbeam ?X) 
                (Mach_She_Cent_To_Fro_Mbeam_Support ?X) )))
       (Mbeamsupportdistspec ?X) ))

Constraint BEAMREACTION_REARRIGHT_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Beamreaction_Rearright ?X) 
    (/ (* (Mbeamwt ?X) 
          (+ (Mbeamsupport_To_Mbeamcenter ?X) 
             (* (Impactload_Rightbeam ?X) 
                (Mach_She_Cent_To_Fro_Mbeam_Support ?X) )))
       (Mbeamsupportdistspec ?X) ))

Constraint C1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (< (Noofopenings ?X) 15) 
     (= (Model-Id (Controlcable ?X)) Controlcable1) )

Constraint C10

Instance-Of: Constraint
Constraint.Expression: 
'(=> (/= (Model-Id (Compensationcable ?X)) Compensationcable_Nr) 
     (= (Compcablel ?X) 
        (+ (Travelspec ?X) (* 2 (+ (Pitdepth ?X) 120))) ))

Constraint C100

Instance-Of: Constraint
Constraint.Expression: 
'(= (Counterwtbottomref ?X) 
    (* 0.1 
       (+ (Travelspec ?X) 
          (+ 6 
             (- (Pitdepth ?X) 
                (+ (Counterwtfooth ?X) 
                   (+ (Counterwtbuffblockh ?X) (Counterwtbuffh ?X)) ))))))

Constraint C101

Instance-Of: Constraint
Constraint.Expression: 
'(= (Counterwtrunby ?X) 
    (- (Counterwtbottomref ?X) 
       (- (Pitdepth ?X) 
          (+ (Counterwtfooth ?X) 
             (+ (Counterwtbuffblockh ?X) (Counterwtbuffh ?X)) ))))

Constraint C102

Instance-Of: Constraint
Constraint.Expression: 
'(= (Counterwtbuffload ?X) (/ (Counterwt ?X) (Noofcounterwtbuff ?X)))

Constraint C103

Instance-Of: Constraint
Constraint.Expression: 
'(= (Controlcableloopbelowcarl ?X) (+ (Carstroke (Carbuffer ?X)) 78))

Constraint C107

Instance-Of: Constraint
Constraint.Expression: 
'(= (Lengthperhoistcable ?X) 
    (- (Travelspec ?X) 
       (+ (Slingub ?X) 
          (+ (Overheadspec ?X) 
             (+ (Msheaveheight ?X) (+ (Hoistlabovecounterwt ?X) 120)) ))))

Constraint C108

Instance-Of: Constraint
Constraint.Expression: 
'(= (Hoistcablesafetyfactor ?X) 
    (/ (* (Ultimate_Strength (Hoistcable ?X)) (Noofhoistcables ?X)) 
       (Cartopload ?X) ))

Constraint C111

Instance-Of: Constraint
Constraint.Expression: 
'(= (Hoistcarbottomload ?X) 
    (* (* (Noofhoistcables ?X) (Weightperinch (Hoistcable ?X))) 
       (- (Overheadspec ?X) (+ (Slingub ?X) (+ (Travelspec ?X) 5))) ))

Constraint C112

Instance-Of: Constraint
Constraint.Expression: 
'(= (Hoistcartopload ?X) 
    (* (* (Noofhoistcables ?X) (Weightperinch (Hoistcable ?X))) 
       (- (Overheadspec ?X) (+ (Slingub ?X) 5)) ))

Constraint C113

Instance-Of: Constraint
Constraint.Expression: 
'(= (Compcarbottomload ?X) 
    (* (Noofhoistcables ?X) 
       (* (Weightperinch (Hoistcable ?X)) (Pitdepth ?X)) ))

Constraint C114

Instance-Of: Constraint
Constraint.Expression: 
'(= (Compcartopload ?X) 
    (* (* (Noofcompcables ?X) 
          (Compcablewtperinch (Compensationcable ?X)) )
       (+ (Pitdepth ?X) (Travelspec ?X)) ))

Constraint C115

Instance-Of: Constraint
Constraint.Expression: 
'(= (Contcarbottomload ?X) 
    (* (Controlcablewtperinch (Controlcable ?X)) 
       (Controlcableloopbelowcarl ?X) ))

Constraint C116

Instance-Of: Constraint
Constraint.Expression: 
'(= (Contcartopload ?X) 
    (* (Controlcablewtperinch (Controlcable ?X)) 
       (* 0.5 (+ (Travelspec ?X) (Controlcableloopbelowcarl ?X))) ))

Constraint C117

Instance-Of: Constraint
Constraint.Expression: 
'(= (Carbottomload ?X) 
    (+ (Hoistcarbottomload ?X) 
       (+ (Compcarbottomload ?X) 
          (+ (Contcarbottomload ?X) 
             (+ (Maxcarcapacity ?X) (Carwt ?X)) ))))

Constraint C118

Instance-Of: Constraint
Constraint.Expression: 
'(= (Cartopload ?X) 
    (+ (Hoistcartopload ?X) 
       (+ (Compcartopload ?X) 
          (+ (Contcartopload ?X) (+ (Maxcarcapacity ?X) (Carwt ?X))) )))

Constraint C119

Instance-Of: Constraint
Constraint.Expression: 
'(= (Hoistcntrwtbottomload ?X) 
    (* (Noofhoistcables ?X) 
       (* (Weightperinch (Hoistcable ?X)) (Hoistlabovecounterwt ?X)) ))

Constraint C120

Instance-Of: Constraint
Constraint.Expression: 
'(= (Hoistcntrwttopload ?X) 
    (* (* (Noofhoistcables ?X) (Weightperinch (Hoistcable ?X))) 
       (+ (Travelspec ?X) (Hoistlabovecounterwt ?X)) ))

Constraint C121

Instance-Of: Constraint
Constraint.Expression: 
'(= (Compcntrwtbottomload ?X) 
    (* (Noofcompcables ?X) 
       (* (Compcablewtperinch (Compensationcable ?X)) 
          (+ (Len_Compcable_Below_Counterwt ?X) (Travelspec ?X)) )))

Constraint C122

Instance-Of: Constraint
Constraint.Expression: 
'(= (Compcntrwttopload ?X) 
    (* (Noofcompcables ?X) 
       (* (Compcablewtperinch (Compensationcable ?X)) 
          (Len_Compcable_Below_Counterwt ?X) )))

Constraint C123

Instance-Of: Constraint
Constraint.Expression: 
'(= (Cntrwtbottomload ?X) 
    (+ (Hoistcntrwtbottomload ?X) 
       (+ (Compcntrwtbottomload ?X) (Counterwt ?X)) ))

Constraint C124

Instance-Of: Constraint
Constraint.Expression: 
'(= (Cntrwttopload ?X) 
    (+ (Hoistcntrwttopload ?X) 
       (+ (Compcntrwttopload ?X) (Counterwt ?X)) ))

Constraint C125A

Instance-Of: Constraint
Constraint.Expression: 
'(=> (> (Cartopload ?X) (Carbottomload ?X)) 
     (= (Maxtotalloadcarside ?X) (Cartopload ?X)) )

Constraint C125B

Instance-Of: Constraint
Constraint.Expression: 
'(=> (=< (Cartopload ?X) (Carbottomload ?X)) 
     (= (Maxtotalloadcarside ?X) (Carbottomload ?X)) )

Constraint C126

Instance-Of: Constraint
Constraint.Expression: 
'(= (Suspendedload ?X) (+ (Cartopload ?X) (Cntrwttopload ?X)))

Constraint C128

Instance-Of: Constraint
Constraint.Expression: 
'(= (Govcablel ?X) 
    (+ (* (+ (Travelspec ?X) (+ (Overheadspec ?X) (Pitdepth ?X))) 2) 
       144 ))

Constraint C129

Instance-Of: Constraint
Constraint.Expression: 
'(= (Masswt ?X) (+ (Mwt (Machine ?X)) (Motwt (Motor ?X))))

Constraint C131

Instance-Of: Constraint
Constraint.Expression: 
'(= (Angleofcontact ?X) 
    (+ 90 
       (+ (Invsin (/ (Msheavecenter_To_Deflsheavecenter ?X) 
                     (Machinesheavetodeflsheavediag ?X) ))
          (Invsin (/ (/ (Msheaved (Machine ?X)) 
                        (- 2 (/ (Deflectorsheavediameter ?X) 2)) )
                     (Machinesheavetodeflsheavediag ?X) )))))

Constraint C132

Instance-Of: Constraint
Constraint.Expression: 
'(= (Maxmachinegroovepressure ?X) 
    (/ (Cartopload ?X) 
       (* (/ (Msheaved (Machine ?X)) 2) (Noofhoistcables ?X)) ))

Constraint C134

Instance-Of: Constraint
Constraint.Expression: 
'(= (Trfactor ?X) 
    (/ (+ 32.2 (Angleofcontact ?X)) (- 32.2 (Angleofcontact ?X))) )

Constraint C135

Instance-Of: Constraint
Constraint.Expression: 
'(= (Tractionratio_Carbottom_Empty ?X) 
    (* (/ (Cntrwtbottomload ?X) 
          (- (Carbottomload ?X) (Maxcarcapacity ?X)) )
       (Trfactor ?X) ))

Constraint C136

Instance-Of: Constraint
Constraint.Expression: 
'(= (Tractionratio_Carbottom_Full ?X) 
    (* (/ (Carbottomload ?X) (Cntrwtbottomload ?X)) (Trfactor ?X)) )

Constraint C137

Instance-Of: Constraint
Constraint.Expression: 
'(= (Tractionratio_Cartop_Empty ?X) 
    (* (/ (Cntrwttopload ?X) (- (Cartopload ?X) (Maxcarcapacity ?X))) 
       (Trfactor ?X) ))

Constraint C138

Instance-Of: Constraint
Constraint.Expression: 
'(= (Tractionratio_Cartop_Full ?X) 
    (* (/ (Cartopload ?X) (Cntrwttopload ?X)) (Trfactor ?X)) )

Constraint C139A

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (>= (Tractionratio_Carbottom_Empty ?X) 
              (Tractionratio_Carbottom_Full ?X) )
          (And (>= (Tractionratio_Carbottom_Empty ?X) 
                   (Tractionratio_Cartop_Empty ?X) )
               (>= (Tractionratio_Carbottom_Empty ?X) 
                   (Tractionratio_Cartop_Full ?X) )))
     (= (Tractionratio ?X) (Tractionratio_Carbottom_Empty ?X)) )

Constraint C139B

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (>= (Tractionratio_Carbottom_Full ?X) 
              (Tractionratio_Carbottom_Empty ?X) )
          (And (>= (Tractionratio_Carbottom_Full ?X) 
                   (Tractionratio_Cartop_Empty ?X) )
               (>= (Tractionratio_Carbottom_Full ?X) 
                   (Tractionratio_Cartop_Full ?X) )))
     (= (Tractionratio ?X) (Tractionratio_Carbottom_Full ?X)) )

Constraint C139C

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (>= (Tractionratio_Cartop_Empty ?X) 
              (Tractionratio_Carbottom_Empty ?X) )
          (And (>= (Tractionratio_Cartop_Empty ?X) 
                   (Tractionratio_Carbottom_Full ?X) )
               (>= (Tractionratio_Cartop_Empty ?X) 
                   (Tractionratio_Cartop_Full ?X) )))
     (= (Tractionratio ?X) (Tractionratio_Cartop_Empty ?X)) )

Constraint C139D

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (>= (Tractionratio_Cartop_Full ?X) 
              (Tractionratio_Carbottom_Empty ?X) )
          (And (>= (Tractionratio_Cartop_Full ?X) 
                   (Tractionratio_Carbottom_Full ?X) )
               (>= (Tractionratio_Cartop_Full ?X) 
                   (Tractionratio_Cartop_Empty ?X) )))
     (= (Tractionratio ?X) (Tractionratio_Cartop_Full ?X)) )

Constraint C140

Instance-Of: Constraint
Constraint.Expression: 
'(= (Minrightmbeam_Sectionmodulus ?X) 
    (/ (* (Rightmbeammaxbendingmoment ?X) (Safetyfactor ?X)) 16000) )

Constraint C140A

Instance-Of: Constraint
Constraint.Expression: 
'(= (Minleftmbeam_Sectionmodulus ?X) 
    (/ (* (Leftmbeammaxbendingmoment ?X) (Safetyfactor ?X)) 16000) )

Constraint C142

Instance-Of: Constraint
Constraint.Expression: 
'(= (Mbeamwt ?X) (* (/ (Mbeaml ?X) 12) (Mbeamwtperft (Mbeam ?X))))

Constraint C143

Instance-Of: Constraint
Constraint.Expression: 
'(= (Reqdmotorhp ?X) 
    (/ (* (Maxcarcapacity ?X) (* (Elevatorspeed ?X) (- 1 0.4))) 
       (* 33000 (* (Efficiency (Machine ?X)) 0.95)) ))

Constraint C2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (> (Noofopenings ?X) 15) (=< (Noofopenings ?X) 25)) 
     (= (Model-Id (Controlcable ?X)) Controlcable2) )

Constraint C3

Instance-Of: Constraint
Constraint.Expression: 
'(=> (> (Noofopenings ?X) 25) 
     (= (Model-Id (Controlcable ?X)) Controlcable3) )

Constraint C30

Instance-Of: Constraint
Constraint.Expression: 
'(>= (Mothp (Motor ?X)) (Reqdmotorhp ?X))

Constraint C31

Instance-Of: Constraint
Constraint.Expression: 
'(>= (Motgenmaxcurr (Motgenerator ?X)) (Peakreqdmotorcurrent ?X))

Constraint C39

Instance-Of: Constraint
Constraint.Expression: 
'(>= (Carovertravel ?X) 
     (+ (Counterwtrunby ?X) 
        (* 1.5 (+ (Counterwtbuffstroke (Counterwtbuffer ?X)) 24)) ))

Constraint C41

Instance-Of: Constraint
Constraint.Expression: 
'(>= (Carreturnright ?X) 1)

Constraint C44

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Platform ?X)) Platform_25b) 
     (=< (Compcartopload ?X) 600) )

Constraint C45B

Instance-Of: Constraint
Constraint.Expression: 
'(=> (<= (Optimalcompcablewtperinch ?X) 0.05) 
     (Or (= (Model-Id (Compensationcable ?X)) Compensationcable_Nr) 
         (= (Model-Id (Compensationcable ?X)) 
            Compensationcable3_16chain )))

Constraint C45C

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (> (Optimalcompcablewtperinch ?X) 0.05) 
          (<= (Optimalcompcablewtperinch ?X) 0.0848) )
     (Or (= (Model-Id (Compensationcable ?X)) Compensationcable_Nr) 
         (= (Model-Id (Compensationcable ?X)) 
            Compensationcable3_16chain )
         (= (Model-Id (Compensationcable ?X)) 
            Compensationcable1_4chain )))

Constraint C45D

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (>= (Optimalcompcablewtperinch ?X) 0.0848) 
          (< (Optimalcompcablewtperinch ?X) 0.1171) )
     (Or (= (Model-Id (Compensationcable ?X)) Compensationcable_Nr) 
         (= (Model-Id (Compensationcable ?X)) 
            Compensationcable3_16chain )
         (= (Model-Id (Compensationcable ?X)) 
            Compensationcable1_4chain )
         (= (Model-Id (Compensationcable ?X)) 
            Compensationcable5_16chain )))

Constraint C45E

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (>= (Optimalcompcablewtperinch ?X) 0.1171) 
          (< (Optimalcompcablewtperinch ?X) 0.1617) )
     (Or (= (Model-Id (Compensationcable ?X)) Compensationcable_Nr) 
         (= (Model-Id (Compensationcable ?X)) 
            Compensationcable3_16chain )
         (= (Model-Id (Compensationcable ?X)) 
            Compensationcable1_4chain )
         (= (Model-Id (Compensationcable ?X)) 
            Compensationcable5_16chain )
         (= (Model-Id (Compensationcable ?X)) 
            Compensationcable3_8chain )))

Constraint C45F

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (>= (Optimalcompcablewtperinch ?X) 0.1617) 
          (< (Optimalcompcablewtperinch ?X) 0.2117) )
     (Or (= (Model-Id (Compensationcable ?X)) Compensationcable_Nr) 
         (= (Model-Id (Compensationcable ?X)) 
            Compensationcable3_16chain )
         (= (Model-Id (Compensationcable ?X)) 
            Compensationcable1_4chain )
         (= (Model-Id (Compensationcable ?X)) 
            Compensationcable5_16chain )
         (= (Model-Id (Compensationcable ?X)) 
            Compensationcable3_8chain )
         (= (Model-Id (Compensationcable ?X)) 
            Compensationcable7_16chain )))

Constraint C49

Instance-Of: Constraint
Constraint.Expression: 
'(And (=< (Counterwtbuffminload (Counterwtbuffer ?X)) 
          (Counterwtbuffload ?X) )
      (=< (Counterwtbuffload ?X) 
          (Counterwtbuffmaxload (Counterwtbuffer ?X)) ))

Constraint C52

Instance-Of: Constraint
Constraint.Expression: 
'(>= (Counterwtovertravel ?X) 
     (+ (Carrunby ?X) (* 1.5 (+ (Carstroke (Carbuffer ?X)) 6))) )

Constraint C58

Instance-Of: Constraint
Constraint.Expression: 
'(=< (Counterwt ?X) 56000)

Constraint C59

Instance-Of: Constraint
Constraint.Expression: 
'(=< (Crossheadbendmoment ?X) (Slingratedbendmoment (Sling ?X)))

Constraint C60

Instance-Of: Constraint
Constraint.Expression: 
'(=< (Crossheaddeflindex ?X) (Slingrateddeflindex (Sling ?X)))

Constraint C61

Instance-Of: Constraint
Constraint.Expression: 
'(=> (Member (Model-Id (Machine ?X)) (Setof Machine28 Machine38)) 
     (And (=< 3 (Noofhoistcables ?X)) (=< (Noofhoistcables ?X) 6)) )

Constraint C62

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Machine ?X)) Machine18) 
     (And (=< 3 (Noofhoistcables ?X)) (=< (Noofhoistcables ?X) 5)) )

Constraint C63

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Machine ?X)) Machine58) 
     (And (=< 5 (Noofhoistcables ?X)) (=< (Noofhoistcables ?X) 6)) )

Constraint C64

Instance-Of: Constraint
Constraint.Expression: 
'(>= (Hoistcablesafetyfactor ?X) (Minhoistcablesafetyfactor ?X))

Constraint C67

Instance-Of: Constraint
Constraint.Expression: 
'(=< (Maxmachinegroovepressure ?X) 
     (Maxacceptablemachinegroovepressure ?X) )

Constraint C69

Instance-Of: Constraint
Constraint.Expression: 
'(And (=< (Peakreqdmotorcurrent ?X) (Motmaxcurrent (Motor ?X))) 
      (=< (Peakreqdmotorcurrent ?X) 450) )

Constraint C70

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Machine ?X)) Machine18) 
     (Member (Model-Id (Motor ?X)) (Setof Motor10hp Motor15hp)) )

Constraint C71

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Machine ?X)) Machine28) 
     (Member (Model-Id (Motor ?X)) (Setof Motor15hp Motor20hp)) )

Constraint C72

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Machine ?X)) Machine38) 
     (Member (Model-Id (Motor ?X)) 
             (Setof Motor20hp Motor25hp Motor30hp Motor40hp) ))

Constraint C73

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Machine ?X)) Machine58) 
     (= (Model-Id (Motor ?X)) Motor40hp) )

Constraint C82

Instance-Of: Constraint
Constraint.Expression: 
'(=< (Reqdmotorhp ?X) 40)

Constraint C84

Instance-Of: Constraint
Constraint.Expression: 
'(=< (Potentialsafetyload_Cartop ?X) 
     (Maxacceptablepotentialsafetyload (Safety ?X)) )

Constraint C86

Instance-Of: Constraint
Constraint.Expression: 
'(=> (Member (Model-Id (Sling ?X)) (Setof Sling_25b_18 Sling_25b_21)) 
     (And (=< 108 (Slingub ?X)) (=< (Slingub ?X) 123)) )

Constraint C87

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Sling ?X)) Sling_4b_Hosp) (=< (Slingub ?X) 153))

Constraint C88

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Sling ?X)) Sling_4b_Gp) 
          (Member (Model-Id (Safety ?X)) (Setof Safety_B1 Safety_B4)) )
     (=< (Slingub ?X) 189.16) )

Constraint C89

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Sling ?X)) Sling_4b_Gp) 
          (= (Model-Id (Safety ?X)) Safety_B6) )
     (=< (Slingub ?X) 188.55) )

Constraint C9

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Compensationcable ?X)) Compensationcable_Nr) 
     (= (Compcablel ?X) 0) )

Constraint C90

Instance-Of: Constraint
Constraint.Expression: 
'(=< (Suspendedload ?X) (Mmaxsuspload (Machine ?X)))

Constraint C91

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Msheavegroove ?X)) Msheavegroove_K3140) 
     (=< (Tractionratio ?X) 
         (* 0.007888 (+ (Angleofcontact ?X) 0.675)) ))

Constraint C92

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Msheavegroove ?X)) Msheavegroove_K3269) 
     (=< (Tractionratio ?X) 
         (* 0.006555 (+ (Angleofcontact ?X) 0.755)) ))

Constraint C94

Instance-Of: Constraint
Constraint.Expression: 
'(=< (Verticalrailforce ?X) (Maxacceptableverticalrailforce ?X))

Constraint CABHEIGHT_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Cabheight ?X) 84.0) (=< (Cabheight ?X) 240.0))

Constraint CABINTERCOMSPEC_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(Member (Cabintercomspec ?X) (Setof Yes No))

Constraint CABLANTERNSPEC_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(Member (Cablanternspec ?X) (Setof Yes No))

Constraint CARBUFFERBLOCKH_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Carbufferblockh ?X) 6) (=< (Carbufferblockh ?X) 10000))

Constraint CARBUFFERLOAD_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Carbufferload ?X) 
    (/ (+ (Carwt ?X) (Maxcarcapacity ?X)) (Noofcarbuff ?X)) )

Constraint CARBUFFERLOAD_CONSTRAINT

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Carbufferload ?X) (Carbuffminload (Carbuffer ?X))) 
      (=< (Carbufferload ?X) (Carbuffmaxload (Carbuffer ?X))) )

Constraint CARBUFFER_CS1

Instance-Of: Constraint
Constraint.Expression: 
'(= (Maxbuffstrikingspeed ?X) (* 1.15 (Elevatorspeed ?X)))

Constraint CARBUFFER_CST3

Instance-Of: Constraint
Constraint.Expression: 
'(= (Minacceptablecarbuffstroke ?X) 
    (/ (* (Maxbuffstrikingspeed ?X) (Maxbuffstrikingspeed ?X)) 19320) )

Constraint CARBUFFER_CST4

Instance-Of: Constraint
Constraint.Expression: 
'(>= (Carstroke (Carbuffer ?X)) (Minacceptablecarbuffstroke ?X))

Constraint CARBUFFER_CST5

Instance-Of: Constraint
Constraint.Expression: 
'(= (Carbufferblockh ?X) 
    (- (Pitdepth ?X) 
       (+ 6 
          (+ (Platformheight (Platform ?X)) 
             (+ (Safetyheight (Safety ?X)) 
                (+ (Carbuffheight (Carbuffer ?X)) 
                   (Carfooth (Carbuffer ?X)) ))))))

Constraint CARBUFFER_CST6

Instance-Of: Constraint
Constraint.Expression: 
'(= (Carrunby ?X) 
    (- (Pitdepth ?X) 
       (+ (Platformheight (Platform ?X)) 
          (+ (Safetyheight (Safety ?X)) 
             (+ (Carbuffheight (Carbuffer ?X)) 
                (+ (Carbufferblockh ?X) (Carfooth (Carbuffer ?X))) )))))

Constraint CARBUFFER_CST7

Instance-Of: Constraint
Constraint.Expression: 
'(= (Compressedcarbuffclearance ?X) 
    (+ (Carfooth (Carbuffer ?X)) 
       (+ (Carbufferblockh ?X) 
          (- (Carbuffheight (Carbuffer ?X)) 
             (Carstroke (Carbuffer ?X)) ))))

Constraint CARGUIDERAIL_CST1

Instance-Of: Constraint
Constraint.Expression: 
'(= (Verticalrailforce ?X) 
    (+ (Carcapacity (Platform ?X)) 
       (+ (Carwt ?X) (+ (Compcartopload ?X) (Contcartopload ?X))) ))

Constraint CARGUIDERAIL_CST10

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Carguiderail ?X)) Carguiderail_5) 
          (=< (Guiderail_Bracket_Spacing ?X) 126) )
     (= (Maxacceptableverticalrailforce ?X) 41000) )

Constraint CARGUIDERAIL_CST11

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Carguiderail ?X)) Carguiderail_5) 
          (> (Guiderail_Bracket_Spacing ?X) 126) )
     (= (Maxacceptableverticalrailforce ?X) 
        (- 45500 (* 35.714 (Guiderail_Bracket_Spacing ?X))) ))

Constraint CARGUIDERAIL_CST2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Carguiderail ?X)) Carguiderail_1) 
          (=< (Guiderail_Bracket_Spacing ?X) 72) )
     (= (Maxacceptableverticalrailforce ?X) 5500) )

Constraint CARGUIDERAIL_CST3

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Carguiderail ?X)) Carguiderail_1) 
          (> (Guiderail_Bracket_Spacing ?X) 72) )
     (= (Maxacceptableverticalrailforce ?X) 
        (- 7750 (* 31.25 (Guiderail_Bracket_Spacing ?X))) ))

Constraint CARGUIDERAIL_CST4

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Carguiderail ?X)) Carguiderail_2) 
          (=< (Guiderail_Bracket_Spacing ?X) 126) )
     (= (Maxacceptableverticalrailforce ?X) 10000) )

Constraint CARGUIDERAIL_CST5

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Carguiderail ?X)) Carguiderail_2) 
          (> (Guiderail_Bracket_Spacing ?X) 126) )
     (= (Maxacceptableverticalrailforce ?X) 
        (- 16000 (* 47.619 (Guiderail_Bracket_Spacing ?X))) ))

Constraint CARGUIDERAIL_CST6

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Carguiderail ?X)) Carguiderail_3) 
          (=< (Guiderail_Bracket_Spacing ?X) 120) )
     (= (Maxacceptableverticalrailforce ?X) 15000) )

Constraint CARGUIDERAIL_CST7

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Carguiderail ?X)) Carguiderail_3) 
          (> (Guiderail_Bracket_Spacing ?X) 120) )
     (= (Maxacceptableverticalrailforce ?X) 
        (- 22500 (* 62.5 (Guiderail_Bracket_Spacing ?X))) ))

Constraint CARGUIDERAIL_CST8

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Carguiderail ?X)) Carguiderail_4) 
          (=< (Guiderail_Bracket_Spacing ?X) 108) )
     (= (Maxacceptableverticalrailforce ?X) 21000) )

Constraint CARGUIDERAIL_CST9

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Carguiderail ?X)) Carguiderail_4) 
          (> (Guiderail_Bracket_Spacing ?X) 108) )
     (= (Maxacceptableverticalrailforce ?X) 
        (- 26400 (* 50 (Guiderail_Bracket_Spacing ?X))) ))

Constraint CARHITCH_TO_COUNTERHITCH_DIST_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Carhitch_To_Counterhitch_Distance ?X) 
    (+ (Platformrear_To_Cablehitch ?X) 
       (+ (Cwt_To_Platform_Rear ?X) (/ (Plate_Depth ?X) 2)) ))

Constraint CARPHONESPEC_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(Member (Carphonespec ?X) (Setof Yes No))

Constraint CARPOSITIONINDICATORSPEC_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(Member (Carpositionindicatorspec ?X) (Setof Yes No))

Constraint CARRETURNLEFTBASEDONDOOROPENINGTYPE3

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Openingstrikesidespec ?X) Right) 
          (= (Dooropeningtype ?X) Side) )
     (= (Carreturnleft ?X) 
        (- (Platformw (Platform ?X)) (- (Bldgwallopenwidth ?X) 3)) ))

Constraint CARRETURNLEFTBASEDONDOORTYPE

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Dooropeningtype ?X) Center) 
     (= (Carreturnleft ?X) 
        (/ (- (Platformw (Platform ?X)) (Dooropenwidth ?X)) 2) ))

Constraint CARRETURNLEFTBASEDONDOORTYPE2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Dooropeningtype ?X) Side) 
          (= (Openingstrikesidespec ?X) Left) )
     (= (Carreturnleft ?X) 3) )

Constraint CARRUNBY_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Carrunby ?X) 6) (=< (Carrunby ?X) 24))

Constraint CAR_CST1

Instance-Of: Constraint
Constraint.Expression: 
'(= (Cabwt ?X) 
    (* 130 
       (/ (+ (Platformw (Platform ?X)) (Platformd (Platform ?X))) 12) ))

Constraint CAR_CST2

Instance-Of: Constraint
Constraint.Expression: 
'(= (Carfixwt ?X) 
    (+ (Weight (Intercom ?X)) 
       (+ (Weight (Phone ?X)) 
          (+ (Weight (Lantern ?X)) (Weight (Positionind ?X))) )))

Constraint CAR_CST3

Instance-Of: Constraint
Constraint.Expression: 
'(= (Misccarcompwt ?X) 
    (+ (Dooroperwt ?X) 
       (* (Carguideshoewt (Car ?X)) 
          (+ 4 
             (+ (Safe_T_Edgewt (Door ?X)) 
                (+ (Switchcamwt (Car ?X)) 
                   (+ (Cablehangwt (Car ?X)) 
                      (+ (Carcondwirwt (Car ?X)) 
                         (+ (Landswitchwt (Car ?X)) 
                            (Maintstwt (Car ?X)) )))))))))

Constraint CAR_CST4

Instance-Of: Constraint
Constraint.Expression: 
'(= (Carwt ?X) 
    (+ (Cabwt ?X) 
       (+ (Platformwt ?X) 
          (+ (Slingwt ?X) 
             (+ (Safetywt ?X) 
                (+ (Carfixwt ?X) 
                   (+ (Supplementwt (Car ?X)) (Misccarcompwt ?X)) ))))))

Constraint CAR_CST5

Instance-Of: Constraint
Constraint.Expression: 
'(= (Carovertravel ?X) 
    (- (Toplandtobeam ?X) (+ (Slingub ?X) (Height (Crosshead ?X)))) )

Constraint COMPRESSEDCARBUFFCLEARANCE_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Compressedcarbuffclearance ?X) 24.0) 
      (=< (Compressedcarbuffclearance ?X) 1000.0) )

Constraint COUNTERWEIGHTBG_CST1

Instance-Of: Constraint
Constraint.Expression: 
'(= (Desircounterwt ?X) 
    (+ (Carwt ?X) 
       (+ (Avctrlcableload ?X) (* 0.4 (Carcapacity (Platform ?X)))) ))

Constraint COUNTERWEIGHTBG_CST3

Instance-Of: Constraint
Constraint.Expression: 
'(= (Counterwtsyswt ?X) (+ (Cwtframeweight ?X) (* 4 7)))

Constraint COUNTERWEIGHTBG_CST4

Instance-Of: Constraint
Constraint.Expression: 
'(= (Desircounterstackwt ?X) 
    (- (Desircounterwt ?X) (Counterwtsyswt ?X)) )

Constraint COUNTERWEIGHTBG_CST5

Instance-Of: Constraint
Constraint.Expression: 
'(= (Counterwtplatewt ?X) 
    (* 0.2816 
       (* (Platet ?X) 
          (- (* (Plate_Depth ?X) (- (Cwt_Bg ?X) 2)) 
             (- (* 3.5 (- (Plate_Depth ?X) 5)) 
                (* 6 (- (Plate_Depth ?X) 7)) )))))

Constraint COUNTERWEIGHTBG_CST6

Instance-Of: Constraint
Constraint.Expression: 
'(= (Noofplates (Counterweightbg ?X)) 
    (/ (Desircounterstackwt ?X) (Counterwtplatewt ?X)) )

Constraint COUNTERWEIGHTBG_CST7

Instance-Of: Constraint
Constraint.Expression: 
'(= (Counterwtstackwt ?X) 
    (* (Noofplates (Counterweightbg ?X)) (Counterwtplatewt ?X)) )

Constraint COUNTERWEIGHTBG_CST8

Instance-Of: Constraint
Constraint.Expression: 
'(= (Counterwt ?X) (* (Counterwtstackwt ?X) (Counterwtsyswt ?X)))

Constraint COUNTERWEIGHTBG_CST9

Instance-Of: Constraint
Constraint.Expression: 
'(= (Counterwtovertravel ?X) 
    (- (Toplandtobeam ?X) 
       (+ (Deflsheavep ?X) 
          (+ (Counterwtfooth ?X) 
             (+ (Counterwtbuffblockh ?X) 
                (+ (Counterwtbuffh ?X) 
                   (+ (Counterwtrunby ?X) 
                      (- (Counterwtframeh ?X) (Pitdepth ?X)) )))))))

Constraint COUNTERWTBUFFBLOCKH_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Counterwtbuffblockh ?X) 0.0) 
      (=< (Counterwtbuffblockh ?X) 120.0) )

Constraint COUNTERWTFRAMEH_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Counterwtframeh ?X) 90.0) (=< (Counterwtframeh ?X) 174.0))

Constraint COUNTERWTGUIDERAIL_CST1

Instance-Of: Constraint
Constraint.Expression: 
'(>= (Weightlimit (Counterwtguiderail ?X)) (Counterwt ?X))

Constraint COUNTERWTRUNBY_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Counterwtrunby ?X) 6.0) (=< (Counterwtrunby ?X) 36.0))

Constraint CROSSHEAD1

Instance-Of: Constraint
Constraint.Expression: 
'(= (Crossheadbendmoment ?X) 
    (* (Potentialsafetyload_Cartop ?X) (Safetylbetweenguiderails ?X)) )

Constraint CROSSHEAD2

Instance-Of: Constraint
Constraint.Expression: 
'(= (Crossheaddeflindex ?X) 
    (* (Potentialsafetyload_Cartop ?X) 
       (* (Safetylbetweenguiderails ?X) 
          (Safetylbetweenguiderails ?X) )))

Constraint CROSSHEAD3

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Sling ?X)) Sling_25b_18) 
     (= (Model-Id (Crosshead ?X)) Crosshead_W8x18) )

Constraint CROSSHEAD4

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Sling ?X)) Sling_25b_21) 
     (= (Model-Id (Crosshead ?X)) Crosshead_W8x21) )

Constraint CROSSHEAD5

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Sling ?X)) Sling_4b_Hosp) 
     (= (Model-Id (Crosshead ?X)) Crosshead_C8x115) )

Constraint CROSSHEAD6

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Sling ?X)) Sling_4b_Gp) 
     (= (Model-Id (Crosshead ?X)) Crosshead_C10x153) )

Constraint CROSSHEAD7

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Sling ?X)) Sling_6c) 
     (= (Model-Id (Crosshead ?X)) Crosshead_C13x1655) )

Constraint CWTFRAMEWEIGHT_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Cwtframeweight ?X) 
    (* 6.2 
       (+ (- (Cwt_Bg ?X) 1.75) (+ (* 2 (Counterwtframeh ?X)) 70)) ))

Constraint CWT_BG_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(Member (Cwt_Bg ?X) (Setof 28 38 54))

Constraint CWT_SPACE_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Cwt_Space ?X) 
    (- (Hoistwaydepth ?X) 
       (+ (Platformd (Platform ?X)) (Platformtohoistway_Front ?X)) ))

Constraint CWT_TO_HOISTWAY_REAR_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Cwt_To_Hoistway_Rear ?X) 
    (- (Cwt_Space ?X) (+ (Plate_Depth ?X) (Cwt_To_Platform_Rear ?X))) )

Constraint CWT_TO_HOISTWAY_REAR_RESTRICTION

Instance-Of: Constraint
Constraint.Expression: 
'(>= (Cwt_To_Hoistway_Rear ?X) (+ 0.75 (Cwt_Ubracket_Protrusion ?X)))

Constraint CWT_TO_PLATFORM_REAR_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Cwt_To_Platform_Rear ?X) 
    (* 0.5 
       (- (Cwt_Space ?X) 
          (+ (Plate_Depth ?X) (Cwt_Ubracket_Protrusion ?X)) )))

Constraint CWT_TO_PLATFORM_REAR_MINIMUM1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Counterwtguard ?X)) Counterwtguard_Model0) 
     (>= (Cwt_To_Platform_Rear ?X) 1) )

Constraint CWT_TO_PLATFORM_REAR_MINIMUM2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (/= (Model-Id (Counterwtguard ?X)) Counterwtguard_Model0) 
     (>= (Cwt_To_Platform_Rear ?X) 
         (+ 1.5 (Counterwtguardthick (Counterwtguard ?X))) ))

Constraint DEFLECTORSHEAVEDIAMETER_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Deflectorsheavediameter ?X) (Deflsheaved (Deflectorsheave ?X)))

Constraint DEFLECTOR_SHEAVE_DIAMETER_CST

Instance-Of: Constraint
Constraint.Expression: 
'(< (* (Diameter (Hoistcable ?X)) 40) 
    (Deflsheaved (Deflectorsheave ?X)) )

Constraint DEFLSHEAVEP_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Deflsheavep ?X) (Deflsheavep (Deflectorsheave ?X)))

Constraint DONT_SELECT_INTERCOM_CST

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Cabintercomspec ?X) No) 
     (= (Model-Id (Intercom ?X)) Intercom0) )

Constraint DONT_SELECT_LANTERN_CST

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Cablanternspec ?X) No) (= (Model-Id (Lantern ?X)) Lantern0))

Constraint DONT_SELECT_PHONE

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Carphonespec ?X) No) (= (Model-Id (Phone ?X)) Phone0))

Constraint DONT_SELECT_POSITION_IND_CST

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Carpositionindicatorspec ?X) No) 
     (= (Model-Id (Positionind ?X)) Positionind0) )

Constraint DOOR.DOORSPEED_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Doorspeed (Door ?X)) (Doorspeed (Door ?X)))

Constraint DOOR.DOORSPEED_CALC2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Doorspeedspec ?X) Double) (= (Doorspeed (Door ?X)) 2s))

Constraint DOOR.DOORSPEED_CALC3

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Doorspeedspec ?X) Single) (= (Doorspeed (Door ?X)) Ss))

Constraint DOOR1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Openingtype (Door ?X)) So) (= (Openingside (Door ?X)) Na))

Constraint DOOR2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (/= (Openingtype (Door ?X)) So) (/= (Openingside (Door ?X)) Na))

Constraint DOOR3

Instance-Of: Constraint
Constraint.Expression: 
'(= (Dooropenwidth ?X) (Bldgwallopenwidth ?X))

Constraint DOOR4

Instance-Of: Constraint
Constraint.Expression: 
'(= (Dooroperheaderwt (Door ?X)) 
    (+ (Dooroperconstant (Door ?X)) (Dooropenwidth ?X)) )

Constraint DOOR5

Instance-Of: Constraint
Constraint.Expression: 
'(= (Dooroperwt ?X) 
    (+ (Dooroperenginewt (Door ?X)) (Dooroperheaderwt (Door ?X))) )

Constraint DOOR6

Instance-Of: Constraint
Constraint.Expression: 
'(= (Carreturnright ?X) 
    (- (Platformw (Platform ?X)) 
       (+ (Bldgwallopenwidth ?X) (Carreturnleft ?X)) ))

Constraint DOOROPENINGTYPE_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(Member (Dooropeningtype ?X) (Setof Side Center))

Constraint DOOROPENWIDTH_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Dooropenwidth ?X) 0.0) (=< (Dooropenwidth ?X) 72.0))

Constraint DOORSPACE_DOUBLE_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Doorspeed (Door ?X)) 2s) (= (Doorspace (Door ?X)) 6.5))

Constraint DOORSPACE_SINGLE_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Doorspeed (Door ?X)) Ss) (= (Doorspace (Door ?X)) 5.0))

Constraint DOORSPEEDSPEC_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(Member (Doorspeedspec ?X) (Setof Single Double))

Constraint DOORSPEED_OF_DOOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(Member (Doorspeed ?X) (Setof Ss 2s))

Constraint DOOR_2SCO1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Door ?X)) Door_2sco) 
     (= (Carreturnleft ?X) 
        (/ (- (Platformw (Platform ?X)) (Bldgwallopenwidth ?X)) 2) ))

Constraint DOOR_2SSO_LH1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Door ?X)) Door_2sso_Lh) (= (Carreturnleft ?X) 3))

Constraint DOOR_2SSO_RH1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Door ?X)) Door_2sso_Rh) 
     (= (Carreturnleft ?X) 
        (- (Platformw (Platform ?X)) (- (Bldgwallopenwidth ?X) 3)) ))

Constraint DOOR_SSCO1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Door ?X)) Door_Ssco) 
     (= (Carreturnleft ?X) 
        (/ (- (Platformw (Platform ?X)) (Bldgwallopenwidth ?X)) 2) ))

Constraint DOOR_SSSO_LH1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Door ?X)) Door_Ssso_Lh) (= (Carreturnleft ?X) 3))

Constraint DOOR_SSSO_RH1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Door ?X)) Door_Ssso_Rh) 
     (= (Carreturnleft ?X) 
        (- (Platformw (Platform ?X)) (- (Bldgwallopenwidth ?X) 3)) ))

Constraint EFFICIENCY_OF_MACHINE_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Efficiency ?X) 0.0) (=< (Efficiency ?X) 1.0))

Constraint ELEVATORSPEED_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(Member (Elevatorspeed ?X) (Setof 200 250 300 350 400))

Constraint EQUAL_MAXCARCAPACITY_PLATFORMCAP

Instance-Of: Constraint
Constraint.Expression: 
'(= (Carcapacity (Platform ?X)) (Maxcarcapacity ?X))

Constraint GUIDERAIL_BRACKET_SPACING_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Guiderail_Bracket_Spacing ?X) (Floorheightspec ?X))

Constraint HOISTCABLEPRESSURECONSTANT_1_1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Elevatorspeed ?X) 200) 
          (= (Model-Id (Msheavegroove ?X)) Msheavegroove_K3269) )
     (= (Hoistcablepressureconstant ?X) 264) )

Constraint HOISTCABLEPRESSURECONSTANT_1_2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Elevatorspeed ?X) 250) 
          (= (Model-Id (Msheavegroove ?X)) Msheavegroove_K3269) )
     (= (Hoistcablepressureconstant ?X) 238) )

Constraint HOISTCABLEPRESSURECONSTANT_1_3

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Elevatorspeed ?X) 300) 
          (= (Model-Id (Msheavegroove ?X)) Msheavegroove_K3269) )
     (= (Hoistcablepressureconstant ?X) 216) )

Constraint HOISTCABLEPRESSURECONSTANT_1_4

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Elevatorspeed ?X) 350) 
          (= (Model-Id (Msheavegroove ?X)) Msheavegroove_K3269) )
     (= (Hoistcablepressureconstant ?X) 202) )

Constraint HOISTCABLEPRESSURECONSTANT_1_5

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Elevatorspeed ?X) 400) 
          (= (Model-Id (Msheavegroove ?X)) Msheavegroove_K3269) )
     (= (Hoistcablepressureconstant ?X) 194) )

Constraint HOISTCABLEPRESSURECONSTANT_2_1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Elevatorspeed ?X) 200) 
          (= (Model-Id (Msheavegroove ?X)) Msheavegroove_K3140) )
     (= (Hoistcablepressureconstant ?X) 196) )

Constraint HOISTCABLEPRESSURECONSTANT_2_2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Elevatorspeed ?X) 250) 
          (= (Model-Id (Msheavegroove ?X)) Msheavegroove_K3140) )
     (= (Hoistcablepressureconstant ?X) 180) )

Constraint HOISTCABLEPRESSURECONSTANT_2_3

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Elevatorspeed ?X) 300) 
          (= (Model-Id (Msheavegroove ?X)) Msheavegroove_K3140) )
     (= (Hoistcablepressureconstant ?X) 164) )

Constraint HOISTCABLEPRESSURECONSTANT_2_4

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Elevatorspeed ?X) 350) 
          (= (Model-Id (Msheavegroove ?X)) Msheavegroove_K3140) )
     (= (Hoistcablepressureconstant ?X) 152) )

Constraint HOISTCABLEPRESSURECONSTANT_2_5

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Elevatorspeed ?X) 400) 
          (= (Model-Id (Msheavegroove ?X)) Msheavegroove_K3140) )
     (= (Hoistcablepressureconstant ?X) 142) )

Constraint HOISTCABLES_CONSISTENT

Instance-Of: Constraint
Constraint.Expression: 
'(= (Noofcables (Hoistcable ?X)) (Noofhoistcables ?X))

Constraint HOISTLABOVECOUNTERWT_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Hoistlabovecounterwt ?X) 
    (+ (Msheaveheight ?X) 
       (+ (Mroomfloor_To_Undermbeam ?X) 
          (+ (Deflsheavep ?X) (Counterwtovertravel ?X)) )))

Constraint IMPACTLOAD_LEFTBEAM_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Impactload_Leftbeam ?X) 
    (* (Totalimpactload ?X) 
       (/ (Mrightoffset (Machine ?X)) 
          (+ (Mleftoffset (Machine ?X)) (Mrightoffset (Machine ?X))) )))

Constraint IMPACTLOAD_RIGHTBEAM_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Impactload_Rightbeam ?X) 
    (* (Totalimpactload ?X) 
       (/ (Mleftoffset (Machine ?X)) 
          (+ (Mleftoffset (Machine ?X)) (Mrightoffset (Machine ?X))) )))

Constraint LEFTMAXBENDINGMOMENT_CALC1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (=< (Mbeamcenter_To_Msheavecenter ?X) 0) 
     (= (Leftmbeammaxbendingmoment ?X) 
        (* (Beamreaction_Frontleft ?X) 
           (Mbeamsupport_To_Mbeamcenter ?X) )))

Constraint LEFTMAXBENDINGMOMENT_CALC2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (> (Mbeamcenter_To_Msheavecenter ?X) 0) 
     (= (Leftmbeammaxbendingmoment ?X) 
        (* (Beamreaction_Frontleft ?X) 
           (+ (Mbeamsupport_To_Mbeamcenter ?X) 
              (* (Mbeamcenter_To_Msheavecenter ?X) 
                 (- (Beamreaction_Frontleft ?X) (Mbeamwt ?X)) )))))

Constraint LEFTPLATFORMEDGE_LEFTHOISTWAYWALL_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Leftplatformedge_Lefthoistwaywall ?X) 
    (- (Openinghoistwayleftspec ?X) (Carreturnleft ?X)) )

Constraint LEN_COMPCABLE_BELOW_COUNTERWT_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Len_Compcable_Below_Counterwt ?X) 
    (+ (Counterwtfooth ?X) 
       (+ (Counterwtbuffblockh ?X) 
          (+ (Counterwtbuffh ?X) (Counterwtrunby ?X)) )))

Constraint MACHEFF_18_200

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine18) 
          (= (Elevatorspeed ?X) 200) )
     (= (Efficiency (Machine ?X)) 0.78) )

Constraint MACHEFF_18_200_RATIO

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine18) 
          (= (Elevatorspeed ?X) 200) )
     (= (Gear_Ratio (Machine ?X)) 55) )

Constraint MACHEFF_18_250

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine18) 
          (= (Elevatorspeed ?X) 250) )
     (= (Efficiency (Machine ?X)) 0.81) )

Constraint MACHEFF_18_250_RATIO

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine18) 
          (= (Elevatorspeed ?X) 250) )
     (= (Gear_Ratio (Machine ?X)) 42.5) )

Constraint MACHEFF_18_300

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine18) 
          (= (Elevatorspeed ?X) 300) )
     (= (Efficiency (Machine ?X)) 0.84) )

Constraint MACHEFF_18_300_RATIO

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine18) 
          (= (Elevatorspeed ?X) 300) )
     (= (Gear_Ratio (Machine ?X)) 35.5) )

Constraint MACHEFF_18_350

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine18) 
          (= (Elevatorspeed ?X) 350) )
     (= (Efficiency (Machine ?X)) 0.86) )

Constraint MACHEFF_18_350_RATIO

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine18) 
          (= (Elevatorspeed ?X) 350) )
     (= (Gear_Ratio (Machine ?X)) 30.5) )

Constraint MACHEFF_18_400

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine18) 
          (= (Elevatorspeed ?X) 400) )
     (= (Efficiency (Machine ?X)) 0.87) )

Constraint MACHEFF_18_400_RATIO

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine18) 
          (= (Elevatorspeed ?X) 400) )
     (= (Gear_Ratio (Machine ?X)) 26.3) )

Constraint MACHEFF_28_200

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine28) 
          (= (Elevatorspeed ?X) 200) )
     (= (Efficiency (Machine ?X)) 0.73) )

Constraint MACHEFF_28_200_RATIO

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine28) 
          (= (Elevatorspeed ?X) 200) )
     (= (Gear_Ratio (Machine ?X)) 67.0) )

Constraint MACHEFF_28_250

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine28) 
          (= (Elevatorspeed ?X) 250) )
     (= (Efficiency (Machine ?X)) 0.76) )

Constraint MACHEFF_28_250_RATIO

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine28) 
          (= (Elevatorspeed ?X) 250) )
     (= (Gear_Ratio (Machine ?X)) 55) )

Constraint MACHEFF_28_300

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine28) 
          (= (Elevatorspeed ?X) 300) )
     (= (Efficiency (Machine ?X)) 0.8) )

Constraint MACHEFF_28_300_RATIO

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine28) 
          (= (Elevatorspeed ?X) 300) )
     (= (Gear_Ratio (Machine ?X)) 44.5) )

Constraint MACHEFF_28_350

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine28) 
          (= (Elevatorspeed ?X) 350) )
     (= (Efficiency (Machine ?X)) 0.81) )

Constraint MACHEFF_28_350_RATIO

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine28) 
          (= (Elevatorspeed ?X) 350) )
     (= (Gear_Ratio (Machine ?X)) 39.5) )

Constraint MACHEFF_28_400

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine28) 
          (= (Elevatorspeed ?X) 400) )
     (= (Efficiency (Machine ?X)) 0.84) )

Constraint MACHEFF_28_400_RATIO

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine28) 
          (= (Elevatorspeed ?X) 400) )
     (= (Gear_Ratio (Machine ?X)) 33.5) )

Constraint MACHEFF_38_200

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine38) 
          (= (Elevatorspeed ?X) 200) )
     (= (Efficiency (Machine ?X)) 0.73) )

Constraint MACHEFF_38_200_RATIO

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine38) 
          (= (Elevatorspeed ?X) 200) )
     (= (Gear_Ratio (Machine ?X)) 67) )

Constraint MACHEFF_38_250

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine38) 
          (= (Elevatorspeed ?X) 250) )
     (= (Efficiency (Machine ?X)) 0.76) )

Constraint MACHEFF_38_250_RATIO

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine38) 
          (= (Elevatorspeed ?X) 250) )
     (= (Gear_Ratio (Machine ?X)) 55) )

Constraint MACHEFF_38_300

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine38) 
          (= (Elevatorspeed ?X) 300) )
     (= (Efficiency (Machine ?X)) 0.8) )

Constraint MACHEFF_38_300_RATIO

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine38) 
          (= (Elevatorspeed ?X) 300) )
     (= (Gear_Ratio (Machine ?X)) 44.5) )

Constraint MACHEFF_38_350

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine38) 
          (= (Elevatorspeed ?X) 350) )
     (= (Efficiency (Machine ?X)) 0.81) )

Constraint MACHEFF_38_350_RATIO

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine38) 
          (= (Elevatorspeed ?X) 350) )
     (= (Gear_Ratio (Machine ?X)) 39.5) )

Constraint MACHEFF_38_400

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine38) 
          (= (Elevatorspeed ?X) 400) )
     (= (Efficiency (Machine ?X)) 0.84) )

Constraint MACHEFF_38_400_RATIO

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine38) 
          (= (Elevatorspeed ?X) 400) )
     (= (Gear_Ratio (Machine ?X)) 33.5) )

Constraint MACHEFF_58_200

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine58) 
          (= (Elevatorspeed ?X) 200) )
     (= (Efficiency (Machine ?X)) 0.815) )

Constraint MACHEFF_58_200_RATIO

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine58) 
          (= (Elevatorspeed ?X) 200) )
     (= (Gear_Ratio (Machine ?X)) 47.5) )

Constraint MACHEFF_58_250

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine58) 
          (= (Elevatorspeed ?X) 250) )
     (= (Efficiency (Machine ?X)) 0.842) )

Constraint MACHEFF_58_250_RATIO

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine58) 
          (= (Elevatorspeed ?X) 250) )
     (= (Gear_Ratio (Machine ?X)) 35.5) )

Constraint MACHEFF_58_300

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine58) 
          (= (Elevatorspeed ?X) 300) )
     (= (Efficiency (Machine ?X)) 0.871) )

Constraint MACHEFF_58_300_RATIO

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine58) 
          (= (Elevatorspeed ?X) 300) )
     (= (Gear_Ratio (Machine ?X)) 31.7) )

Constraint MACHEFF_58_350

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine58) 
          (= (Elevatorspeed ?X) 350) )
     (= (Efficiency (Machine ?X)) 0.88) )

Constraint MACHEFF_58_350_RATIO

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine58) 
          (= (Elevatorspeed ?X) 350) )
     (= (Gear_Ratio (Machine ?X)) 28.3) )

Constraint MACHEFF_58_400

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine58) 
          (= (Elevatorspeed ?X) 400) )
     (= (Efficiency (Machine ?X)) 0.89) )

Constraint MACHEFF_58_400_RATIO

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Machine ?X)) Machine58) 
          (= (Elevatorspeed ?X) 400) )
     (= (Gear_Ratio (Machine ?X)) 26.7) )

Constraint MACHINESHEAVETODEFLSHEAVEDIAG_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Machinesheavetodeflsheavediag ?X) 
    (Sqrt (+ (Square (Machinesheavetodeflsheave_Horz ?X)) 
             (Square (Msheavecenter_To_Deflsheavecenter ?X)) )))

Constraint MACHINESHEAVETODEFLSHEAVE_HORZ_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Machinesheavetodeflsheave_Horz ?X) 
    (- (Carhitch_To_Counterhitch_Distance ?X) 
       (/ (Msheaved (Machine ?X)) 
          (- 2 (/ (Deflectorsheavediameter ?X) 2)) )))

Constraint MACHINE_BEAM_OFFSETS_CST

Instance-Of: Constraint
Constraint.Expression: 
'(= (Mbeamcenter_To_Msheavecenter ?X) 
    (- (Mach_She_Cent_To_Fro_Mbeam_Support ?X) 
       (Mbeamsupport_To_Mbeamcenter ?X) ))

Constraint MACHSHECENT_TOFROMBEAM_SUPPORT_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Mach_She_Cent_To_Fro_Mbeam_Support ?X) 
    (+ (Platformfront_To_Cablehitch ?X) 
       (+ (Platformtohoistway_Front ?X) (Hoistwaytofrontmbeam ?X)) ))

Constraint MAXACCEPTABLEMACHINEGROOVEPRESSURE_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Maxacceptablemachinegroovepressure ?X) 
    (* (Diameter (Hoistcable ?X)) (Hoistcablepressureconstant ?X)) )

Constraint MAXBLDGLOAD_FRONTLEFT_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Maxbldgload_Frontleft ?X) 
    (* (Safetyfactor ?X) (Beamreaction_Frontleft ?X)) )

Constraint MAXBLDGLOAD_FRONTRIGHT_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Maxbuildingload_Frontright ?X) 
    (* (Beamreaction_Frontright ?X) (Safetyfactor ?X)) )

Constraint MAXBLDGLOAD_REARLEFT_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Maxbldgload_Rearleft ?X) 
    (* (Safetyfactor ?X) (Beamreaction_Rearleft ?X)) )

Constraint MAXBLDGLOAD_REARRIGHT_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Maxbldgload_Rearright ?X) 
    (* (Beamreaction_Rearright ?X) (Safetyfactor ?X)) )

Constraint MAXCARCAPACITY_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Maxcarcapacity ?X) 2000) (=< (Maxcarcapacity ?X) 4000))

Constraint MBEAMSUPPORTTYPESPEC_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(Member (Mbeamsupporttypespec ?X) (Setof Pocket Steel))

Constraint MBEAMSUPPORT_TO_MBEAMCENTER_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Mbeamsupport_To_Mbeamcenter ?X) (/ (Mbeamsupportdistspec ?X) 2))

Constraint MINACCEPTABLECARBUFFSTROKE_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Minacceptablecarbuffstroke ?X) 0.0) 
      (=< (Minacceptablecarbuffstroke ?X) 14.0) )

Constraint MINACCEPTABLEMBEAMMODULES_CALC2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (=< (Minrightmbeam_Sectionmodulus ?X) 
         (Minleftmbeam_Sectionmodulus ?X) )
     (= (Minacceptablembeammodulus ?X) 
        (Minleftmbeam_Sectionmodulus ?X) ))

Constraint MINACCEPTABLEMBEAMMODULUS_CALC1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (> (Minrightmbeam_Sectionmodulus ?X) 
        (Minleftmbeam_Sectionmodulus ?X) )
     (= (Minacceptablembeammodulus ?X) 
        (Minrightmbeam_Sectionmodulus ?X) ))

Constraint MINHOISTCABLESAFETYFACTOR_CALC1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Elevatorspeed ?X) 200) 
     (= (Minhoistcablesafetyfactor ?X) 8.75) )

Constraint MINHOISTCABLESAFETYFACTOR_CALC2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Elevatorspeed ?X) 250) 
     (= (Minhoistcablesafetyfactor ?X) 9.2) )

Constraint MINHOISTCABLESAFETYFACTOR_CALC3

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Elevatorspeed ?X) 300) 
     (= (Minhoistcablesafetyfactor ?X) 9.5) )

Constraint MINHOISTCABLESAFETYFACTOR_CALC4

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Elevatorspeed ?X) 350) 
     (= (Minhoistcablesafetyfactor ?X) 9.75) )

Constraint MINHOISTCABLESAFETYFACTOR_CALC5

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Elevatorspeed ?X) 400) 
     (= (Minhoistcablesafetyfactor ?X) 10.0) )

Constraint MINIMUMOPENINGWITH_25B

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Platform ?X)) Platform_25b) 
          (= (Dooropeningtype ?X) Center) )
     (=< (Dooropenwidth ?X) (- (/ (Platformwidthspec ?X) 2) 12)) )

Constraint MINIMUMOPENINGWITH_25B_SIDE

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Platform ?X)) Platform_25b) 
          (= (Dooropeningtype ?X) Side) )
     (=< (Dooropenwidth ?X) (- (/ (Platformwidthspec ?X) 2) 6)) )

Constraint MOTORSCOMPATIBLE_MACHINE18

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Machine ?X)) Machine18) 
     (Member (Model-Id (Motor ?X)) (Setof Motor10hp Motor20hp)) )

Constraint MOTORSCOMPATIBLE_MACHINE28

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Machine ?X)) Machine28) 
     (Member (Model-Id (Motor ?X)) 
             (Setof Motor20hp Motor25hp Motor30hp Motor40hp) ))

Constraint MOTORSCOMPATIBLE_MACHINE58

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Machine ?X)) Machine58) 
     (= (Model-Id (Motor ?X)) Motor40hp) )

Constraint MROOMFLOOR_TO_UNDERMBEAM_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Mbeamsupporttypespec ?X) Steel) 
     (= (Mroomfloor_To_Undermbeam ?X) (Machineroommbeamspec ?X)) )

Constraint MROOMFLOOR_TO_UNDERMBEAM_CALC2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Mbeamsupporttypespec ?X) Pocket) 
     (= (Mroomfloor_To_Undermbeam ?X) 
        (- (Machineroommbeamspec ?X) (Mbeambearingplatethick ?X)) ))

Constraint MSHEAVECENTER_TO_DEFLSHEAVECENTER_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Msheavecenter_To_Deflsheavecenter ?X) 
    (+ (Msheaveheight ?X) 
       (+ (Mroomfloor_To_Undermbeam ?X) 
          (- (Deflsheavep ?X) (* 0.5 (Deflectorsheavediameter ?X))) )))

Constraint MSHEAVEHEIGHT_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Msheaveheight ?X) (Msheaveh (Machine ?X)))

Constraint NOOFCARBUFF_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Noofcarbuff ?X) 1) (=< (Noofcarbuff ?X) 100))

Constraint NOOFCARBUFF_RESTRICTION1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Safety ?X)) Safety_B1) 
          (= (Model-Id (Safety ?X)) Safety_B4) )
     (= (Noofcarbuff ?X) 1) )

Constraint NOOFCARBUFF_RESTRICTION2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Safety ?X)) Safety_B6) (=< (Noofcarbuff ?X) 2))

Constraint NOOFCOMPCABLES_CONSISTENT

Instance-Of: Constraint
Constraint.Expression: 
'(= (Noofcompcables ?X) (Quantity (Compensationcable ?X)))

Constraint NOOFCOUNTERWTBUFF_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Noofcounterwtbuff ?X) 1) (=< (Noofcounterwtbuff ?X) 2))

Constraint NOOFHOISTCABLES_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Noofhoistcables ?X) 3) (=< (Noofhoistcables ?X) 6))

Constraint NOOFPLATES_OF_COUNTERWEIGHTBG_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Noofplates ?X) 7) (=< (Noofplates ?X) 12))

Constraint NO_GUARD_NEEDED_CST

Instance-Of: Constraint
Constraint.Expression: 
'(=> (> (Noofcompcables ?X) 0) 
     (= (Model-Id (Counterwtguard ?X)) Counterwtguard_Model0) )

Constraint ONEBUFFER_WHENLESS38

Instance-Of: Constraint
Constraint.Expression: 
'(=> (< (Cwt_Bg ?X) 38) (= (Noofcounterwtbuff ?X) 1))

Constraint OPENINGHEIGHT_RESTRICTION

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Openingheight ?X) 78) 
      (=< (Openingheight ?X) (Cabheight ?X)) )

Constraint OPENINGSIDE_OF_DOOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(Member (Openingside ?X) (Setof Left Right Na))

Constraint OPENINGSTRIKESIDESPEC_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(Member (Openingstrikesidespec ?X) (Setof Left Right))

Constraint OPENINGTYPE_OF_DOOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(Member (Openingtype ?X) (Setof Side Center))

Constraint OPENING_HOISTWAY_RIGHT_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Opening_Hoistway_Right ?X) 
    (- (Hoistwaywidth ?X) 
       (- (Dooropenwidth ?X) (Openinghoistwayleftspec ?X)) ))

Constraint OPTIMALCOMPCABLEWTPERINCH_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Optimalcompcablewtperinch ?X) 
    (- (* (Noofhoistcables ?X) (Weightperinch (Hoistcable ?X))) 
       (* 0.25 (Controlcablewtperinch (Controlcable ?X))) ))

Constraint OVERHEADSPEC_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Overheadspec ?X) 0.0) (=< (Overheadspec ?X) 360.0))

Constraint PEAKMCUR_CALC_10HP_1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (=< (Motrelevelingtorque ?X) 40) 
          (= (Model-Id (Motor ?X)) Motor10hp) )
     (= (Peakreqdmotorcurrent ?X) (* 1.25 (Motrelevelingtorque ?X))) )

Constraint PEAKMCUR_CALC_10HP_2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (> (Motrelevelingtorque ?X) 40) 
          (And (=< (Motrelevelingtorque ?X) 62.5) 
               (= (Model-Id (Motor ?X)) Motor10hp) ))
     (= (Peakreqdmotorcurrent ?X) 
        (* 1.333 (- (Motrelevelingtorque ?X) 3.333)) ))

Constraint PEAKMCUR_CALC_10HP_3

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (> (Motrelevelingtorque ?X) 62.5) 
          (= (Model-Id (Motor ?X)) Motor10hp) )
     (= (Peakreqdmotorcurrent ?X) 
        (* 1.6 (- (Motrelevelingtorque ?X) 20)) ))

Constraint PEAKMCUR_CALC_15HP_1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (=< (Motrelevelingtorque ?X) 70) 
          (= (Model-Id (Motor ?X)) Motor15hp) )
     (= (Peakreqdmotorcurrent ?X) (* 1.286 (Motrelevelingtorque ?X))) )

Constraint PEAKMCUR_CALC_15HP_2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (> (Motrelevelingtorque ?X) 70) 
          (And (=< (Motrelevelingtorque ?X) 120) 
               (= (Model-Id (Motor ?X)) Motor15hp) ))
     (= (Peakreqdmotorcurrent ?X) 
        (* 1.4 (- (Motrelevelingtorque ?X) 8)) ))

Constraint PEAKMCUR_CALC_15HP_3

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (> (Motrelevelingtorque ?X) 120) 
          (= (Model-Id (Motor ?X)) Motor15hp) )
     (= (Peakreqdmotorcurrent ?X) 
        (* 1.6 (+ (Motrelevelingtorque ?X) 60)) ))

Constraint PEAKMCUR_CALC_20HP_1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (=< (Motrelevelingtorque ?X) 83) 
          (= (Model-Id (Motor ?X)) Motor20hp) )
     (= (Peakreqdmotorcurrent ?X) (* 1.205 (Motrelevelingtorque ?X))) )

Constraint PEAKMCUR_CALC_20HP_2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (> (Motrelevelingtorque ?X) 83) 
          (= (Model-Id (Motor ?X)) Motor20hp) )
     (= (Peakreqdmotorcurrent ?X) 
        (* 1.739 (- (Motrelevelingtorque ?X) 66.087)) ))

Constraint PEAKMCUR_CALC_25HP_1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (=< (Motrelevelingtorque ?X) 170) 
          (= (Model-Id (Motor ?X)) Motor25hp) )
     (= (Peakreqdmotorcurrent ?X) (* 1.176 (Motrelevelingtorque ?X))) )

Constraint PEAKMCUR_CALC_25HP_2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (> (Motrelevelingtorque ?X) 170) 
          (And (=< (Motrelevelingtorque ?X) 230) 
               (= (Model-Id (Motor ?X)) Motor25hp) ))
     (= (Peakreqdmotorcurrent ?X) 
        (* 1.25 (- (Motrelevelingtorque ?X) 12.5)) ))

Constraint PEAKMCUR_CALC_25HP_3

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (> (Motrelevelingtorque ?X) 230) 
          (= (Model-Id (Motor ?X)) Motor25hp) )
     (= (Peakreqdmotorcurrent ?X) 
        (* 1.667 (- (Motrelevelingtorque ?X) 108.333)) ))

Constraint PEAKMCUR_CALC_30HP_1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (=< (Motrelevelingtorque ?X) 200) 
          (= (Model-Id (Motor ?X)) Motor30hp) )
     (= (Peakreqdmotorcurrent ?X) (* 1.2 (Motrelevelingtorque ?X))) )

Constraint PEAKMCUR_CALC_30HP_2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (> (Motrelevelingtorque ?X) 200) 
          (= (Model-Id (Motor ?X)) Motor30hp) )
     (= (Peakreqdmotorcurrent ?X) 
        (* 1.455 (- (Motrelevelingtorque ?X) 50.909)) ))

Constraint PEAKMCUR_CALC_40HP_1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (=< (Motrelevelingtorque ?X) 270) 
          (= (Model-Id (Motor ?X)) Motor40hp) )
     (= (Peakreqdmotorcurrent ?X) (* 1.296 (Motrelevelingtorque ?X))) )

Constraint PEAKMCUR_CALC_40HP_2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (> (Motrelevelingtorque ?X) 270) 
          (= (Model-Id (Motor ?X)) Motor40hp) )
     (= (Peakreqdmotorcurrent ?X) (+ (Motrelevelingtorque ?X) 80)) )

Constraint PITDEPTH_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Pitdepth ?X) 0.0) (=< (Pitdepth ?X) 240.0))

Constraint PLATE_DEPTH_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Plate_Depth ?X) 7.0) (=< (Plate_Depth ?X) 12.0))

Constraint PLATFORM.PLATFORMD_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Platformd (Platform ?X)) (Platformheightspec ?X))

Constraint PLATFORM.PLATFORMW_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Platformw (Platform ?X)) (Platformwidthspec ?X))

Constraint PLATFORM1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (=< (Carcapacity (Platform ?X)) 2500) 
          (And (=< (Platformd (Platform ?X)) 60) 
               (=< (Platformw (Platform ?X)) 84) ))
     (= (Model-Id (Platform ?X)) Platform_25b) )

Constraint PLATFORM2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (> (Carcapacity (Platform ?X)) 2500) 
          (And (=< (Platformd (Platform ?X)) 108) 
               (=< (Platformw (Platform ?X)) 128) ))
     (= (Model-Id (Platform ?X)) Platform_4b) )

Constraint PLATFORM25B_COMPATIBLE

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Platform ?X)) Platform_25b) 
     (Member (Model-Id (Sling ?X)) (Setof Sling_25b_18 Sling_25b_21)) )

Constraint PLATFORM3

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (> (Carcapacity (Platform ?X)) 2500) 
          (And (=< (Platformd (Platform ?X)) 115) 
               (=< (Platformw (Platform ?X)) 126) ))
     (= (Model-Id (Platform ?X)) Platform_4b) )

Constraint PLATFORMFRONT_TO_CABLEHITCH_CALC_OFFSET2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (=< (Platformd (Platform ?X)) 60) 
     (= (Platformfront_To_Cablehitch ?X) 
        (- (/ (Platformd (Platform ?X)) 2) 2) ))

Constraint PLATFORMFRONT_TO_CABLEHITCH_OFFSET25

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (> (Platformd (Platform ?X)) 60) 
          (=< (Platformd (Platform ?X)) 66) )
     (= (Platformfront_To_Cablehitch ?X) 
        (- (/ (Platformd (Platform ?X)) 2) 2.5) ))

Constraint PLATFORMFRONT_TO_CABLEHITCH_OFFSET4

Instance-Of: Constraint
Constraint.Expression: 
'(=> (> (Platformd (Platform ?X)) 66) 
     (= (Platformfront_To_Cablehitch ?X) 
        (- (/ (Platformd (Platform ?X)) 2) 4) ))

Constraint PLATFORMREAR_TO_CABLEHITCH_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Platformrear_To_Cablehitch ?X) 
    (- (Platformd (Platform ?X)) (Platformfront_To_Cablehitch ?X)) )

Constraint PLATFORMTOHOISTWAY_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Platformtohoistway_Front ?X) 
    (+ (Doorspace (Door ?X)) (Platform_Clearance ?X)) )

Constraint PLATFORMW_OF_PLATFORM_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Platformw ?X) 60.0) (=< (Platformw ?X) 1000.0))

Constraint PLATFORM_2.5B1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (=< (Platformw (Platform ?X)) 60) 
          (= (Model-Id (Platform ?X)) Platform_25b) )
     (= (Ap ?X) 3) )

Constraint PLATFORM_25B2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (> (Platformw (Platform ?X)) 60) 
          (And (=< (Platformw (Platform ?X)) 76) 
               (= (Model-Id (Platform ?X)) Platform_25b) ))
     (= (Ap ?X) 4) )

Constraint PLATFORM_25B3

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (> (Platformw (Platform ?X)) 76) 
          (= (Model-Id (Platform ?X)) Platform_25b) )
     (= (Ap ?X) 5) )

Constraint PLATFORM_25B4

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Carcapacity (Platform ?X)) 2000) 
          (And (=< (Platformd (Platform ?X)) 53) 
               (= (Model-Id (Platform ?X)) Platform_25b) ))
     (= (S ?X) 63) )

Constraint PLATFORM_25B5

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (Or (/= (Carcapacity (Platform ?X)) 2000) 
              (> (Platformd (Platform ?X)) 53) )
          (= (Model-Id (Platform ?X)) Platform_25b) )
     (= (S ?X) 71) )

Constraint PLATFORM_25B6

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Platform ?X)) Platform_25b) 
     (= (Platformwt ?X) 
        (+ (S ?X) 
           (* 0.318 
              (+ (* 5.06 (Platformw (Platform ?X))) 
                 (+ (* 0.11 
                       (* (Platformw (Platform ?X)) 
                          (Platformd (Platform ?X)) ))
                    (* (- (Platformd (Platform ?X)) 7.6) 
                       (+ 3.14 (* 0.8 (Ap ?X))) )))))))

Constraint PLATFORM_25B7

Instance-Of: Constraint
Constraint.Expression: 
'(And (= (Openingtype (Door ?X)) Co) 
      (= (Model-Id (Platform ?X)) Platform_25b) )

Constraint PLATFORM_4B1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Platform ?X)) Platform_4b) 
     (= (Ap ?X) (Floor (/ (- (Platformw (Platform ?X)) 0.125) 9))) )

Constraint PLATFORM_4B11

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Platform ?X)) Platform_6b) 
     (= (Platformwt ?X) 
        (+ 35 
           (+ (* (Platformw (Platform ?X)) (X ?X)) 
              (+ (* 3.228 (Platformd (Platform ?X))) 
                 (+ (* 0.034 (Dooropenwidth ?X)) 
                    (* (Ap ?X) 
                       (- (* 0.226 (Platformd (Platform ?X))) (Z ?X)) )))))))

Constraint PLATFORM_4B2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Platform ?X)) Platform_4b) 
          (= (Doorspeed (Door ?X)) Ss) )
     (= (X ?X) 2.26) )

Constraint PLATFORM_4B3

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Platform ?X)) Platform_4b) 
          (= (Doorspeed (Door ?X)) 2s) )
     (= (X ?X) 2.354) )

Constraint PLATFORM_4B4

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Platform ?X)) Platform_4b) 
          (= (Doorspeed (Door ?X)) Ss) )
     (= (Z ?X) 1.72) )

Constraint PLATFORM_4B5

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Platform ?X)) Platform_4b) 
          (= (Doorspeed (Door ?X)) 2s) )
     (= (Z ?X) 2.0) )

Constraint PLATFORM_4B6

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Model-Id (Platform ?X)) Platform_4b) 
     (= (Platformwt ?X) 
        (+ 35 
           (+ (* (Platformw (Platform ?X)) (X ?X)) 
              (+ (* 2.774 (Platformd (Platform ?X))) 
                 (+ (* 0.03 
                       (* (Platformw (Platform ?X)) 
                          (Platformd (Platform ?X)) ))
                    (+ (* 0.226 (Dooropenwidth ?X)) 
                       (* (Ap ?X) 
                          (- (* 0.226 (Platformd (Platform ?X))) 
                             (Z ?X) )))))))))

Constraint PLATFORM_6B1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (=< (Platformw (Platform ?X)) 67) 
          (= (Model-Id (Platform ?X)) Platform_6b) )
     (= (Ap ?X) 5) )

Constraint PLATFORM_6B10

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Doorspeed (Door ?X)) 2s) (= (Z ?X) 2.0))

Constraint PLATFORM_6B2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (> (Platformw (Platform ?X)) 67) 
          (And (=< (Platformw (Platform ?X)) 76.5) 
               (= (Model-Id (Platform ?X)) Platform_6b) ))
     (= (Ap ?X) 6) )

Constraint PLATFORM_6B3

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (> (Platformw (Platform ?X)) 76.5) 
          (And (=< (Platformw (Platform ?X)) 86) 
               (= (Model-Id (Platform ?X)) Platform_6b) ))
     (= (Ap ?X) 7) )

Constraint PLATFORM_6B4

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (> (Platformw (Platform ?X)) 86) 
          (And (=< (Platformw (Platform ?X)) 96.5) 
               (= (Model-Id (Platform ?X)) Platform_6b) ))
     (= (Ap ?X) 8) )

Constraint PLATFORM_6B5

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (> (Platformw (Platform ?X)) 96.5) 
          (And (=< (Platformw (Platform ?X)) 105) 
               (= (Model-Id (Platform ?X)) Platform_6b) ))
     (= (Ap ?X) 9) )

Constraint PLATFORM_6B6

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (> (Platformw (Platform ?X)) 105) 
          (= (Model-Id (Platform ?X)) Platform_6b) )
     (= (Ap ?X) 10) )

Constraint PLATFORM_6B7

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Platform ?X)) Platform_6b) 
          (= (Doorspeed (Door ?X)) Ss) )
     (= (X ?X) 2.441) )

Constraint PLATFORM_6B8

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (= (Model-Id (Platform ?X)) Platform_6b) 
          (= (Doorspeed (Door ?X)) 2s) )
     (= (X ?X) 2.394) )

Constraint PLATFORM_6B9

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Doorspeed (Door ?X)) Ss) (= (Z ?X) 1.72))

Constraint POTENTIALSAFETYLOAD_CARTOP1

Instance-Of: Constraint
Constraint.Expression: 
'(= (Potentialsafetyload_Cartop ?X) 
    (+ (Carwt ?X) 
       (+ (Carcapacity (Platform ?X)) 
          (+ (Compcartopload ?X) (Contcartopload ?X)) )))

Constraint RELEVELINGTORQUE_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Motrelevelingtorque ?X) 
    (* (/ (Msheaved (Machine ?X)) 
          (* 24 (* 0.95 (Gear_Ratio (Machine ?X)))) )
       (* 2 
          (+ (Unbalanced_Cable_Load ?X) 
             (* (Maxcarcapacity ?X) 
                (+ (/ (- 1 0.4) 0.95) (- 1.5 0.6)) )))))

Constraint REQDMOTORHP_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Reqdmotorhp ?X) 0.0) (=< (Reqdmotorhp ?X) 40.0))

Constraint RIGHTMAXBENDINGMOMENT_CALC1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (=< (Mbeamcenter_To_Msheavecenter ?X) 0) 
     (= (Rightmbeammaxbendingmoment ?X) 
        (* (Beamreaction_Frontright ?X) 
           (Mach_She_Cent_To_Fro_Mbeam_Support ?X) )))

Constraint RIGHTMAXBENDINGMOMENT_CALC2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (> (Mbeamcenter_To_Msheavecenter ?X) 0) 
     (= (Rightmbeammaxbendingmoment ?X) 
        (* (Beamreaction_Frontright ?X) 
           (+ (Mbeamsupport_To_Mbeamcenter ?X) 
              (* (Mbeamcenter_To_Msheavecenter ?X) 
                 (- (Beamreaction_Frontright ?X) (Mbeamwt ?X)) )))))

Constraint RIGHTPLATFORMEDGE_RIGHTHOISTWAYEDGE_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Rightplatformedge_Righthoistwaywall ?X) 
    (- (Opening_Hoistway_Right ?X) (Carreturnright ?X)) )

Constraint SAFETY1

Instance-Of: Constraint
Constraint.Expression: 
'(=> (=< (Platformw (Platform ?X)) 93) 
     (= (Model-Id (Safety ?X)) Safety_B1) )

Constraint SAFETY2

Instance-Of: Constraint
Constraint.Expression: 
'(=> (And (>= (Platformw (Platform ?X)) 93) 
          (=< (Platformw (Platform ?X)) 114) )
     (= (Model-Id (Safety ?X)) Safety_B4) )

Constraint SAFETY3

Instance-Of: Constraint
Constraint.Expression: 
'(=> (> (Platformw (Platform ?X)) 114) 
     (= (Model-Id (Safety ?X)) Safety_B6) )

Constraint SAFETYBEAMBENDMOMENT1

Instance-Of: Constraint
Constraint.Expression: 
'(= (Safetybeambendmoment ?X) 
    (+ (Potentialsafetyload_Cartop ?X) 
       (- (Safetylbetweenguiderails ?X) 8) ))

Constraint SAFETYLBETWEENGUIDERAILS1

Instance-Of: Constraint
Constraint.Expression: 
'(= (Safetylbetweenguiderails ?X) 
    (+ (Platformw (Platform ?X)) (Safetyconstant (Safety ?X))) )

Constraint SAFETYWT1

Instance-Of: Constraint
Constraint.Expression: 
'(= (Safetywt ?X) 
    (+ (* (Safetya (Safety ?X)) (Platformw (Platform ?X))) 
       (Safetyb (Safety ?X)) ))

Constraint SELECT_INTERCOM_CST

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Cabintercomspec ?X) Yes) 
     (= (Model-Id (Intercom ?X)) Intercom1) )

Constraint SELECT_LANTERN_CST

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Cablanternspec ?X) Yes) 
     (= (Model-Id (Lantern ?X)) Lantern1) )

Constraint SELECT_PHONE_CST

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Carphonespec ?X) Yes) (= (Model-Id (Phone ?X)) Phone1))

Constraint SELECT_POSITIONIND

Instance-Of: Constraint
Constraint.Expression: 
'(=> (= (Carpositionindicatorspec ?X) Yes) 
     (= (Model-Id (Positionind ?X)) Positionind1) )

Constraint SLINGUB_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Slingub ?X) (+ (Cabheight ?X) (Ub_Space ?X)))

Constraint SLINGWT1

Instance-Of: Constraint
Constraint.Expression: 
'(= (Slingwt ?X) 
    (+ (* (Slinga (Sling ?X)) (Platformw (Platform ?X))) 
       (+ (* (Slingb (Sling ?X)) (Stilel ?X)) (Slingc (Sling ?X))) ))

Constraint STACKHEIGHT_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Stackheight (Counterweightbg ?X)) 
    (* (Noofplates (Counterweightbg ?X)) 1) )

Constraint STACKHEIGHT_RESTRICTION

Instance-Of: Constraint
Constraint.Expression: 
'(> (Stackheight (Counterweightbg ?X)) 
    (- (Counterwtframeh ?X) (Framethickness ?X)) )

Constraint STILEL1

Instance-Of: Constraint
Constraint.Expression: 
'(= (Stilel ?X) 
    (+ (Slingub ?X) 
       (+ (Height (Crosshead ?X)) 
          (- (Platformheight (Platform ?X)) 0.81) )))

Constraint SUPPLEMENTWT_OF_CAR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Supplementwt ?X) 0) (=< (Supplementwt ?X) 500))

Constraint S_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(Member (S ?X) (Setof 63 71))

Constraint TOPLANDTOBEAM_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Toplandtobeam ?X) 
    (- (Overheadspec ?X) (Mroomfloor_To_Undermbeam ?X)) )

Constraint TOTALIMPACTLOAD_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Totalimpactload ?X) 
    (+ (Masswt ?X) 
       (+ (Deflsheavewt (Deflectorsheave ?X)) 
          (* 2 (Suspendedload ?X)) )))

Constraint TOTALLOAD_LEFTBEAM_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Totalload_Leftbeam ?X) 
    (+ (Mbeamwt ?X) (Impactload_Leftbeam ?X)) )

Constraint TOTALLOAD_RIGHTBEAM_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Totalload_Rightbeam ?X) 
    (+ (Mbeamwt ?X) (Impactload_Rightbeam ?X)) )

Constraint UB_SPACE_OF_ELEVATOR_VALUES

Instance-Of: Constraint
Constraint.Expression: 
'(And (>= (Ub_Space ?X) 12.0) (=< (Ub_Space ?X) 1000.0))

Constraint UNBALANCED_CABLE_LOAD_CALC

Instance-Of: Constraint
Constraint.Expression: 
'(= (Unbalanced_Cable_Load ?X) 
    (* (Travelspec ?X) 
       (* (Noofcables (Hoistcable ?X)) 
          (- (Weightperinch (Hoistcable ?X)) 
             (* (Quantity (Compensationcable ?X)) 
                (- (Compcablewtperinch (Compensationcable ?X)) 
                   (* 0.25 (Controlcablewtperinch (Controlcable ?X))) ))))))

Relation SLINGRATEDDEFLINDEX

SLINGRATEDDEFLINDEX is an implicitly defined slot on the classes

Sling_6c, Sling_4b_Hosp, Sling_4b_Gp, Sling_25b_21, Sling_25b_18, and Sling.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation SLINGRATEDBENDMOMENT

SLINGRATEDBENDMOMENT is an implicitly defined slot on the classes

Sling_6c, Sling_4b_Hosp, Sling_4b_Gp, Sling_25b_21, Sling_25b_18, and Sling.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation SLINGC

SLINGC is an implicitly defined slot on the classes

Sling_6c, Sling_4b_Hosp, Sling_4b_Gp, Sling_25b_21, Sling_25b_18, and Sling.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation SLINGB

SLINGB is an implicitly defined slot on the classes

Sling_6c, Sling_4b_Hosp, Sling_4b_Gp, Sling_25b_21, Sling_25b_18, and Sling.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation SLINGA

SLINGA is an implicitly defined slot on the classes

Sling_6c, Sling_4b_Hosp, Sling_4b_Gp, Sling_25b_21, Sling_25b_18, and Sling.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation SAFETYHEIGHT

SAFETYHEIGHT is an implicitly defined slot on the classes

Safety_B6, Safety_B4, Safety_B1, and Safety.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation SAFETYCONSTANT

SAFETYCONSTANT is an implicitly defined slot on the classes

Safety_B6, Safety_B4, Safety_B1, and Safety.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation SAFETYB

SAFETYB is an implicitly defined slot on the classes

Safety_B6, Safety_B4, Safety_B1, and Safety.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation SAFETYA

SAFETYA is an implicitly defined slot on the classes

Safety_B6, Safety_B4, Safety_B1, and Safety.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation MAXACCEPTABLESAFETYBEAMBENDMOMENT

MAXACCEPTABLESAFETYBEAMBENDMOMENT is an implicitly defined slot on the classes

Safety_B6, Safety_B4, Safety_B1, and Safety.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation MAXACCEPTABLEPOTENTIALSAFETYLOAD

MAXACCEPTABLEPOTENTIALSAFETYLOAD is an implicitly defined slot on the classes

Safety_B6, Safety_B4, Safety_B1, and Safety.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation PLATFORMHEIGHT

PLATFORMHEIGHT is an implicitly defined slot on the classes

Platform_6b, Platform_4b, Platform_25b, and Platform.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation MOTWT

MOTWT is an implicitly defined slot on the classes

Motor40hp, Motor30hp, Motor25hp, Motor20hp, Motor15hp, Motor10hp, and Motor.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation MOTMAXCURRENT

MOTMAXCURRENT is an implicitly defined slot on the classes

Motor40hp, Motor30hp, Motor25hp, Motor20hp, Motor15hp, Motor10hp, and Motor.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation MOTHP

MOTHP is an implicitly defined slot on the classes

Motor40hp, Motor30hp, Motor25hp, Motor20hp, Motor15hp, Motor10hp, and Motor.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation MOTGENMAXCURR

MOTGENMAXCURR is an implicitly defined slot on the classes

Motgen_64_260v, Motgen_46_230v, Motgen_3609_5a_240v, Motgen_286_230v, and Motgenerator.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation MBEAMWTPERFT

MBEAMWTPERFT is an implicitly defined slot on the classes

Mbeam_S12x35_0, Mbeam_S12x31_8, Mbeam_S10x35_0, Mbeam_S10x25_4, and Mbeam.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation MBEAMSECTIONMODULUS

MBEAMSECTIONMODULUS is an implicitly defined slot on the classes

Mbeam_S12x35_0, Mbeam_S12x31_8, Mbeam_S10x35_0, Mbeam_S10x25_4, and Mbeam.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation MWT

MWT is an implicitly defined slot on the classes

Machine58, Machine38, Machine28, Machine18, and Machine.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation MSHEAVEH

MSHEAVEH is an implicitly defined slot on the classes

Machine58, Machine38, Machine28, Machine18, and Machine.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation MSHEAVED

MSHEAVED is an implicitly defined slot on the classes

Machine58, Machine38, Machine28, Machine18, and Machine.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation MRIGHTOFFSET

MRIGHTOFFSET is an implicitly defined slot on the classes

Machine58, Machine38, Machine28, Machine18, and Machine.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation MMAXSUSPLOAD

MMAXSUSPLOAD is an implicitly defined slot on the classes

Machine58, Machine38, Machine28, Machine18, and Machine.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation MLEFTOFFSET

MLEFTOFFSET is an implicitly defined slot on the classes

Machine58, Machine38, Machine28, Machine18, and Machine.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation WEIGHTPERINCH

WEIGHTPERINCH is an implicitly defined slot on the classes

Hoistcable6_625, Hoistcable6_5, Hoistcable5_625, Hoistcable5_5, Hoistcable4_625, Hoistcable4_5, Hoistcable3_625, Hoistcable3_5, and Hoistcable.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation ULTIMATE_STRENGTH

ULTIMATE_STRENGTH is an implicitly defined slot on the classes

Hoistcable6_625, Hoistcable6_5, Hoistcable5_625, Hoistcable5_5, Hoistcable4_625, Hoistcable4_5, Hoistcable3_625, Hoistcable3_5, and Hoistcable.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation NOOFCABLES

NOOFCABLES is an implicitly defined slot on the classes

Hoistcable6_625, Hoistcable6_5, Hoistcable5_625, Hoistcable5_5, Hoistcable4_625, Hoistcable4_5, Hoistcable3_625, Hoistcable3_5, and Hoistcable.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation DIAMETER

DIAMETER is an implicitly defined slot on the classes

Hoistcable6_625, Hoistcable6_5, Hoistcable5_625, Hoistcable5_5, Hoistcable4_625, Hoistcable4_5, Hoistcable3_625, Hoistcable3_5, and Hoistcable.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation GOVCABLET

GOVCABLET is an implicitly defined slot on the classes Govcable1 and Governorcable.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation Z

Z is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation X

X is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation VERTICALRAILFORCE

VERTICALRAILFORCE is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation UNBALANCED_CABLE_LOAD

UNBALANCED_CABLE_LOAD is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation UB_SPACE

UB_SPACE is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation TRFACTOR

TRFACTOR is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation TRAVELSPEC

TRAVELSPEC is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation TRACTIONRATIO_CARTOP_FULL

TRACTIONRATIO_CARTOP_FULL is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation TRACTIONRATIO_CARTOP_EMPTY

TRACTIONRATIO_CARTOP_EMPTY is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation TRACTIONRATIO_CARBOTTOM_FULL

TRACTIONRATIO_CARBOTTOM_FULL is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation TRACTIONRATIO_CARBOTTOM_EMPTY

TRACTIONRATIO_CARBOTTOM_EMPTY is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation TRACTIONRATIO

TRACTIONRATIO is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation TOTALLOAD_RIGHTBEAM

TOTALLOAD_RIGHTBEAM is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation TOTALLOAD_LEFTBEAM

TOTALLOAD_LEFTBEAM is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation TOTALIMPACTLOAD

TOTALIMPACTLOAD is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation TOPLANDTOBEAM

TOPLANDTOBEAM is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation SUSPENDEDLOAD

SUSPENDEDLOAD is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation STILEL

STILEL is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation SLINGWT

SLINGWT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation SLINGUB

SLINGUB is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation SAFETY_BG

SAFETY_BG is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation SAFETYWT

SAFETYWT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation SAFETYLBETWEENGUIDERAILS

SAFETYLBETWEENGUIDERAILS is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation SAFETYFACTOR

SAFETYFACTOR is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation SAFETYBEAMBENDMOMENT

SAFETYBEAMBENDMOMENT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation S

S is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation RIGHTPLATFORMEDGE_RIGHTHOISTWAYWALL

RIGHTPLATFORMEDGE_RIGHTHOISTWAYWALL is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation RIGHTMBEAMMAXBENDINGMOMENT

RIGHTMBEAMMAXBENDINGMOMENT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation REQDMOTORHP

REQDMOTORHP is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation POTENTIALSAFETYLOAD_CARTOP

POTENTIALSAFETYLOAD_CARTOP is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation PLATFORM_CLEARANCE

PLATFORM_CLEARANCE is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation PLATFORMWT

PLATFORMWT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation PLATFORMWIDTHSPEC

PLATFORMWIDTHSPEC is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation PLATFORMW

PLATFORMW is an implicitly defined slot on the classes Platform and Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation PLATFORMTOHOISTWAY_FRONT

PLATFORMTOHOISTWAY_FRONT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation PLATFORMREAR_TO_CABLEHITCH

PLATFORMREAR_TO_CABLEHITCH is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation PLATFORMHEIGHTSPEC

PLATFORMHEIGHTSPEC is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation PLATFORMFRONT_TO_CABLEHITCH

PLATFORMFRONT_TO_CABLEHITCH is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation PLATFORMD

PLATFORMD is an implicitly defined slot on the classes Platform and Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation PLATE_DEPTH

PLATE_DEPTH is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation PLATET

PLATET is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation PITDEPTH

PITDEPTH is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation PEAKREQDMOTORCURRENT

PEAKREQDMOTORCURRENT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation OVERHEADSPEC

OVERHEADSPEC is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation OPTIMALCOMPCABLEWTPERINCH

OPTIMALCOMPCABLEWTPERINCH is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation OPENING_HOISTWAY_RIGHT

OPENING_HOISTWAY_RIGHT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation OPENINGSTRIKESIDESPEC

OPENINGSTRIKESIDESPEC is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation OPENINGHOISTWAYLEFTSPEC

OPENINGHOISTWAYLEFTSPEC is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation OPENINGHEIGHT

OPENINGHEIGHT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation NOOFOPENINGS

NOOFOPENINGS is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation NOOFHOISTCABLES

NOOFHOISTCABLES is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation NOOFCOUNTERWTBUFF

NOOFCOUNTERWTBUFF is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation NOOFCOMPCABLES

NOOFCOMPCABLES is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation NOOFCARBUFF

NOOFCARBUFF is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MSHEAVEHEIGHT

MSHEAVEHEIGHT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MSHEAVECENTER_TO_DEFLSHEAVECENTER

MSHEAVECENTER_TO_DEFLSHEAVECENTER is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MROOMFLOOR_TO_UNDERMBEAM

MROOMFLOOR_TO_UNDERMBEAM is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MOTRELEVELINGTORQUE

MOTRELEVELINGTORQUE is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MOTORMAXCURRENTSUPPORTED

MOTORMAXCURRENTSUPPORTED is an implicitly defined slot on the classes Motor and Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MISCCARCOMPWT

MISCCARCOMPWT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MINRIGHTMBEAM_SECTIONMODULUS

MINRIGHTMBEAM_SECTIONMODULUS is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MINLEFTMBEAM_SECTIONMODULUS

MINLEFTMBEAM_SECTIONMODULUS is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MINHOISTCABLESAFETYFACTOR

MINHOISTCABLESAFETYFACTOR is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MINACCEPTABLEOPENINGW

MINACCEPTABLEOPENINGW is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MINACCEPTABLEMBEAMMODULUS

MINACCEPTABLEMBEAMMODULUS is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MINACCEPTABLECARBUFFSTROKE

MINACCEPTABLECARBUFFSTROKE is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MBEAMWT

MBEAMWT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MBEAMSUPPORT_TO_MBEAMCENTER

MBEAMSUPPORT_TO_MBEAMCENTER is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MBEAMSUPPORTTYPESPEC

MBEAMSUPPORTTYPESPEC is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MBEAMSUPPORTDISTSPEC

MBEAMSUPPORTDISTSPEC is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MBEAML

MBEAML is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MBEAMCENTER_TO_MSHEAVECENTER

MBEAMCENTER_TO_MSHEAVECENTER is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MBEAMBEARINGPLATETHICK

MBEAMBEARINGPLATETHICK is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MAXTOTALLOADCARSIDE

MAXTOTALLOADCARSIDE is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MAXMACHINEGROOVEPRESSURE

MAXMACHINEGROOVEPRESSURE is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MAXCARCAPACITY

MAXCARCAPACITY is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MAXBUILDINGLOAD_FRONTRIGHT

MAXBUILDINGLOAD_FRONTRIGHT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MAXBUFFSTRIKINGSPEED

MAXBUFFSTRIKINGSPEED is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MAXBLDGLOAD_REARRIGHT

MAXBLDGLOAD_REARRIGHT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MAXBLDGLOAD_REARLEFT

MAXBLDGLOAD_REARLEFT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MAXBLDGLOAD_FRONTLEFT

MAXBLDGLOAD_FRONTLEFT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MAXACCEPTABLEVERTICALRAILFORCE

MAXACCEPTABLEVERTICALRAILFORCE is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MAXACCEPTABLEMACHINEGROOVEPRESSURE

MAXACCEPTABLEMACHINEGROOVEPRESSURE is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MAXACCEPTABLECARBUFFSTROKE

MAXACCEPTABLECARBUFFSTROKE is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MASSWT

MASSWT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MACH_SHE_CENT_TO_FRO_MBEAM_SUPPORT

MACH_SHE_CENT_TO_FRO_MBEAM_SUPPORT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MACHINESHEAVETODEFLSHEAVE_HORZ

MACHINESHEAVETODEFLSHEAVE_HORZ is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MACHINESHEAVETODEFLSHEAVEDIAG

MACHINESHEAVETODEFLSHEAVEDIAG is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MACHINEROOMMBEAMSPEC

MACHINEROOMMBEAMSPEC is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MACHINEGREATESTACCELERATIONORDECELERATION

MACHINEGREATESTACCELERATIONORDECELERATION is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation LEN_COMPCABLE_BELOW_COUNTERWT

LEN_COMPCABLE_BELOW_COUNTERWT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation LENGTHPERHOISTCABLE

LENGTHPERHOISTCABLE is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation LEFTPLATFORMEDGE_LEFTHOISTWAYWALL

LEFTPLATFORMEDGE_LEFTHOISTWAYWALL is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation LEFTMBEAMMAXBENDINGMOMENT

LEFTMBEAMMAXBENDINGMOMENT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation IMPACTLOAD_RIGHTBEAM

IMPACTLOAD_RIGHTBEAM is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation IMPACTLOAD_LEFTBEAM

IMPACTLOAD_LEFTBEAM is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation HOISTWAYWIDTH

HOISTWAYWIDTH is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation HOISTWAYTOFRONTMBEAM

HOISTWAYTOFRONTMBEAM is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation HOISTWAYDEPTH

HOISTWAYDEPTH is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation HOISTLABOVECOUNTERWT

HOISTLABOVECOUNTERWT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation HOISTCNTRWTTOPLOAD

HOISTCNTRWTTOPLOAD is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation HOISTCNTRWTBOTTOMLOAD

HOISTCNTRWTBOTTOMLOAD is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation HOISTCARTOPLOAD

HOISTCARTOPLOAD is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation HOISTCARBOTTOMLOAD

HOISTCARBOTTOMLOAD is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation HOISTCABLESAFETYFACTOR

HOISTCABLESAFETYFACTOR is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation HOISTCABLEPRESSURECONSTANT

HOISTCABLEPRESSURECONSTANT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation GUIDERAIL_BRACKET_SPACING

GUIDERAIL_BRACKET_SPACING is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation GOVCABLEL

GOVCABLEL is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation GEAR_RATIO

GEAR_RATIO is an implicitly defined slot on the classes Machine and Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation FLOORHEIGHTSPEC

FLOORHEIGHTSPEC is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation ELEVATORSPEED

ELEVATORSPEED is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation EFFICIENCY

EFFICIENCY is an implicitly defined slot on the classes Machine and Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation DOORSPEEDSPEC

DOORSPEEDSPEC is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation DOOROPERWT

DOOROPERWT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation DOOROPENWIDTH

DOOROPENWIDTH is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation DOOROPENINGTYPE

DOOROPENINGTYPE is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation DESIRCOUNTERWT

DESIRCOUNTERWT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation DESIRCOUNTERSTACKWT

DESIRCOUNTERSTACKWT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation DEFLECTORSHEAVEDIAMETER

DEFLECTORSHEAVEDIAMETER is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CWT_UBRACKET_PROTRUSION

CWT_UBRACKET_PROTRUSION is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CWT_TO_PLATFORM_REAR

CWT_TO_PLATFORM_REAR is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CWT_TO_HOISTWAY_REAR

CWT_TO_HOISTWAY_REAR is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CWT_SPACE

CWT_SPACE is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CWT_BG

CWT_BG is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CWTFRAMEWEIGHT

CWTFRAMEWEIGHT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CROSSHEADDEFLINDEX

CROSSHEADDEFLINDEX is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CROSSHEADBENDMOMENT

CROSSHEADBENDMOMENT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation COUNTERWTSYSWT

COUNTERWTSYSWT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation COUNTERWTSTACKWT

COUNTERWTSTACKWT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation COUNTERWTRUNBY

COUNTERWTRUNBY is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation COUNTERWTPLATFORMWT

COUNTERWTPLATFORMWT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation COUNTERWTPLATEWT

COUNTERWTPLATEWT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation COUNTERWTOVERTRAVEL

COUNTERWTOVERTRAVEL is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation COUNTERWTFRAMEH

COUNTERWTFRAMEH is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation COUNTERWTFOOTH

COUNTERWTFOOTH is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation COUNTERWTBUFFLOAD

COUNTERWTBUFFLOAD is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation COUNTERWTBUFFH

COUNTERWTBUFFH is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation COUNTERWTBUFFBLOCKH

COUNTERWTBUFFBLOCKH is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation COUNTERWTBOTTOMREF

COUNTERWTBOTTOMREF is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation COUNTERWT

COUNTERWT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CONTROLCABLELOOPBELOWCARL

CONTROLCABLELOOPBELOWCARL is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CONTCARTOPLOAD

CONTCARTOPLOAD is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CONTCARBOTTOMLOAD

CONTCARBOTTOMLOAD is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation COMPRESSEDCARBUFFCLEARANCE

COMPRESSEDCARBUFFCLEARANCE is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation COMPCNTRWTTOPLOAD

COMPCNTRWTTOPLOAD is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation COMPCNTRWTBOTTOMLOAD

COMPCNTRWTBOTTOMLOAD is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation COMPCARTOPLOAD

COMPCARTOPLOAD is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation COMPCARBOTTOMLOAD

COMPCARBOTTOMLOAD is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation COMPCABLEL

COMPCABLEL is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CNTRWTTOPLOAD

CNTRWTTOPLOAD is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CNTRWTBOTTOMLOAD

CNTRWTBOTTOMLOAD is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CARWT

CARWT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CARTOPLOAD

CARTOPLOAD is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CARSLINGUB

CARSLINGUB is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CARRUNBY

CARRUNBY is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CARRETURNRIGHT

CARRETURNRIGHT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CARRETURNLEFT

CARRETURNLEFT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CARPOSITIONINDICATORSPEC

CARPOSITIONINDICATORSPEC is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CARPHONESPEC

CARPHONESPEC is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CAROVERTRAVEL

CAROVERTRAVEL is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CARHITCH_TO_COUNTERHITCH_DISTANCE

CARHITCH_TO_COUNTERHITCH_DISTANCE is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CARFIXWT

CARFIXWT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CARCAPACITY

CARCAPACITY is an implicitly defined slot on the classes Platform and Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CARBUFFERLOAD

CARBUFFERLOAD is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CARBUFFERBLOCKH

CARBUFFERBLOCKH is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CARBOTTOMLOAD

CARBOTTOMLOAD is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CABWT

CABWT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CABLANTERNSPEC

CABLANTERNSPEC is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CABINTERCOMSPEC

CABINTERCOMSPEC is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CABHEIGHT

CABHEIGHT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation BLDGWALLOPENWIDTH

BLDGWALLOPENWIDTH is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation BEAMREACTION_REARRIGHT

BEAMREACTION_REARRIGHT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation BEAMREACTION_REARLEFT

BEAMREACTION_REARLEFT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation BEAMREACTION_FRONTRIGHT

BEAMREACTION_FRONTRIGHT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation BEAMREACTION_FRONTLEFT

BEAMREACTION_FRONTLEFT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation AVCTRLCABLELOAD

AVCTRLCABLELOAD is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation AP

AP is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation ANGLEOFCONTACT

ANGLEOFCONTACT is an implicitly defined slot on the class Elevator.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation SAFE_T_EDGEWT

SAFE_T_EDGEWT is an implicitly defined slot on the classes

Door_Ssso_Rh, Door_Ssso_Lh, Door_Ssco, Door_2sso_Rh, Door_2sso_Lh, Door_2sco, and Door.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation OPENINGTYPE

OPENINGTYPE is an implicitly defined slot on the classes

Elevator, Door_Ssso_Rh, Door_Ssso_Lh, Door_Ssco, Door_2sso_Rh, Door_2sso_Lh, Door_2sco, and Door.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation OPENINGSIDE

OPENINGSIDE is an implicitly defined slot on the classes

Elevator, Door_Ssso_Rh, Door_Ssso_Lh, Door_2sso_Rh, Door_2sso_Lh, and Door.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation DOORSPEED

DOORSPEED is an implicitly defined slot on the classes

Elevator, Door_Ssso_Rh, Door_Ssso_Lh, Door_Ssco, Door_2sso_Rh, Door_2sso_Lh, Door_2sco, and Door.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation DOORSPACE

DOORSPACE is an implicitly defined slot on the classes Elevator and Door.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation DOOROPERHEADERWT

DOOROPERHEADERWT is an implicitly defined slot on the classes Elevator and Door.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation DOOROPERENGINEWT

DOOROPERENGINEWT is an implicitly defined slot on the classes

Door_Ssso_Rh, Door_Ssso_Lh, Door_Ssco, Door_2sso_Rh, Door_2sso_Lh, Door_2sco, and Door.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation DOOROPERCONSTANT

DOOROPERCONSTANT is an implicitly defined slot on the classes

Door_Ssso_Rh, Door_Ssso_Lh, Door_Ssco, Door_2sso_Rh, Door_2sso_Lh, Door_2sco, and Door.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation DEFLSHEAVEWT

DEFLSHEAVEWT is an implicitly defined slot on the classes

Ds_25, Ds_20, and Deflectorsheave.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation DEFLSHEAVEP

DEFLSHEAVEP is an implicitly defined slot on the classes

Elevator, Ds_25, Ds_20, and Deflectorsheave.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation DEFLSHEAVED

DEFLSHEAVED is an implicitly defined slot on the classes

Ds_25, Ds_20, and Deflectorsheave.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation HEIGHT

HEIGHT is an implicitly defined slot on the classes

Crosshead_W8x21, Crosshead_W8x18, Crosshead_C8x115, Crosshead_C13x1655, Crosshead_C10x153, and Crosshead.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation WEIGHTLIMIT

WEIGHTLIMIT is an implicitly defined slot on the classes

Counterwtguiderail_4, Counterwtguiderail_3, Counterwtguiderail_2, Counterwtguiderail_1, and Counterwtguiderail.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation COUNTERWTRAILUNITWT

COUNTERWTRAILUNITWT is an implicitly defined slot on the classes

Counterwtguiderail_4, Counterwtguiderail_3, Counterwtguiderail_2, Counterwtguiderail_1, and Counterwtguiderail.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation COUNTERWTGUARDTHICK

COUNTERWTGUARDTHICK is an implicitly defined slot on the classes

Counterwtguard_Model1, Counterwtguard_Model0, and Counterwtguard.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation COUNTERWTBUFFSTROKE

COUNTERWTBUFFSTROKE is an implicitly defined slot on the classes

Counterwtbuffer_Om14, Counterwtbuffer_Oh1, and Counterwtbuffer.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation COUNTERWTBUFFMINLOAD

COUNTERWTBUFFMINLOAD is an implicitly defined slot on the classes

Counterwtbuffer_Om14, Counterwtbuffer_Oh1, and Counterwtbuffer.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation COUNTERWTBUFFMAXLOAD

COUNTERWTBUFFMAXLOAD is an implicitly defined slot on the classes

Counterwtbuffer_Om14, Counterwtbuffer_Oh1, and Counterwtbuffer.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation COUNTERWTBUFFHEIGHT

COUNTERWTBUFFHEIGHT is an implicitly defined slot on the classes

Counterwtbuffer_Om14, Counterwtbuffer_Oh1, and Counterwtbuffer.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation TOTALWEIGHT

TOTALWEIGHT is an implicitly defined slot on the classes Elevator and Counterweightbg.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation STACKHEIGHT

STACKHEIGHT is an implicitly defined slot on the classes Elevator and Counterweightbg.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation NOOFPLATES

NOOFPLATES is an implicitly defined slot on the classes Elevator and Counterweightbg.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation FRAMEWEIGHT

FRAMEWEIGHT is an implicitly defined slot on the classes Elevator and Counterweightbg.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation FRAMETHICKNESS

FRAMETHICKNESS is an implicitly defined slot on the classes Elevator and Counterweightbg.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation FRAMEHEIGHT

FRAMEHEIGHT is an implicitly defined slot on the classes Elevator and Counterweightbg.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation B

B is an implicitly defined slot on the classes Elevator and Counterweightbg.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation A

A is an implicitly defined slot on the classes Elevator and Counterweightbg.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CONTROLCABLEWTPERINCH

CONTROLCABLEWTPERINCH is an implicitly defined slot on the classes

Controlcable3, Controlcable2, Controlcable1, and Controlcable.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation QUANTITY

QUANTITY is an implicitly defined slot on the classes

Compensationcable_Nr, Compensationcable7_16chain, Compensationcable5_16chain, Compensationcable3_8chain, Compensationcable3_16chain, Compensationcable1_4chain, Compensationcable1_2chain, and Compensationcable.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation COMPCABLEWTPERINCH

COMPCABLEWTPERINCH is an implicitly defined slot on the classes

Compensationcable_Nr, Compensationcable7_16chain, Compensationcable5_16chain, Compensationcable3_8chain, Compensationcable3_16chain, Compensationcable1_4chain, Compensationcable1_2chain, and Compensationcable.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation WEIGHT

WEIGHT is an implicitly defined slot on the classes

Positionind1, Positionind0, Positionind, Phone1, Phone0, Phone, Lantern1, Lantern0, Lantern, Intercom1, Intercom0, Intercom, Carguiderail_5, Carguiderail_4, Carguiderail_3, Carguiderail_2, Carguiderail_1, and Carguiderail.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation CARSTROKE

CARSTROKE is an implicitly defined slot on the classes

Carbuffer_Om14, Carbuffer_Oh1, and Carbuffer.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation CARFOOTH

CARFOOTH is an implicitly defined slot on the classes

Carbuffer_Om14, Carbuffer_Oh1, and Carbuffer.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation CARBUFFMINLOAD

CARBUFFMINLOAD is an implicitly defined slot on the classes

Carbuffer_Om14, Carbuffer_Oh1, and Carbuffer.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation CARBUFFMAXLOAD

CARBUFFMAXLOAD is an implicitly defined slot on the classes

Carbuffer_Om14, Carbuffer_Oh1, and Carbuffer.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation CARBUFFHEIGHT

CARBUFFHEIGHT is an implicitly defined slot on the classes

Carbuffer_Om14, Carbuffer_Oh1, and Carbuffer.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation SWITCHCAMWT

SWITCHCAMWT is an implicitly defined slot on the classes Car1 and Car.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation SUPPLEMENTWT

SUPPLEMENTWT is an implicitly defined slot on the classes Elevator and Car.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation MODEL-ID

MODEL-ID is an implicitly defined slot on the classes

Sling_6c, Sling_4b_Hosp, Sling_4b_Gp, Sling_25b_21, Sling_25b_18, Sling, Safety_B6, Safety_B4, Safety_B1, Safety, Positionind1, Positionind0, Positionind, Platform_6b, Platform_4b, Platform_25b, Platform, Phone1, Phone0, Phone, Msheavegroove_K3269, Msheavegroove_K3140, Msheavegroove, Motor40hp, Motor30hp, Motor25hp, Motor20hp, Motor15hp, Motor10hp, Motor, Motgen_64_260v, Motgen_46_230v, Motgen_3609_5a_240v, Motgen_286_230v, Motgenerator, Mbeam_S12x35_0, Mbeam_S12x31_8, Mbeam_S10x35_0, Mbeam_S10x25_4, Mbeam, Machine58, Machine38, Machine28, Machine18, Machine, Lantern1, Lantern0, Lantern, Intercom1, Intercom0, Intercom, Hoistcable6_625, Hoistcable6_5, Hoistcable5_625, Hoistcable5_5, Hoistcable4_625, Hoistcable4_5, Hoistcable3_625, Hoistcable3_5, Hoistcable, Governor_B5b, Govcable1, Governorcable, Governor, Elevator, Ds_25, Ds_20, Door_Ssso_Rh, Door_Ssso_Lh, Door_Ssco, Door_2sso_Rh, Door_2sso_Lh, Door_2sco, Door, Deflectorsheave, Crosshead_W8x21, Crosshead_W8x18, Crosshead_C8x115, Crosshead_C13x1655, Crosshead_C10x153, Crosshead, Counterwtguiderail_4, Counterwtguiderail_3, Counterwtguiderail_2, Counterwtguiderail_1, Counterwtguiderail, Counterwtguard_Model1, Counterwtguard_Model0, Counterwtguard, Counterwtbuffer_Om14, Counterwtbuffer_Oh1, Counterwtbuffer, Counterweightbg_3, Counterweightbg_2, Counterweightbg_1, Counterweightbg, Controlcable3, Controlcable2, Controlcable1, Controlcable, Compensationcable_Nr, Compensationcable7_16chain, Compensationcable5_16chain, Compensationcable3_8chain, Compensationcable3_16chain, Compensationcable1_4chain, Compensationcable1_2chain, Compensationcable, Carguiderail_5, Carguiderail_4, Carguiderail_3, Carguiderail_2, Carguiderail_1, Carguiderail, Carbuffer_Om14, Carbuffer_Oh1, Carbuffer, Car1, and Car.

Instance-Of: Binary-relation, Relation
Arity: 2

Relation MAINTSTWT

MAINTSTWT is an implicitly defined slot on the classes Car1 and Car.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation LANDSWITCHWT

LANDSWITCHWT is an implicitly defined slot on the classes Car1 and Car.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CARGUIDESHOEWT

CARGUIDESHOEWT is an implicitly defined slot on the classes Car1 and Car.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CARCONDWIRWT

CARCONDWIRWT is an implicitly defined slot on the classes Car1 and Car.
Instance-Of: Binary-relation, Relation
Arity: 2

Relation CABLEHANGWT

CABLEHANGWT is an implicitly defined slot on the classes Car1 and Car.
Instance-Of: Binary-relation, Relation
Arity: 2

This document was generated using Ontolingua.
Formatting and translation code was written by
François Gerbaux and Tom Gruber