;;;-*- Mode:Lisp; Package:ONTOLINGUA-USER; Syntax:COMMON-LISP; Base:10 -*-
;;;
;;; The VT DOMAIN THEORY
;;; Based on translation from the DIDS knowledge base for VT,
;;; by Jay Runkel and Tom Gruber
;;;
;;; Modifications:
;;;
;;; [12/14/93] JTR
;;; Fixed bug in constraints describing how to select a compensation
;;; cable. Modified constraints C45B, C45C, C45D, C45E, C45F. Deleted
;;; constraints C45A,
;;; C45G, C45H
;;;
;;; [12/14/93] JTR
;;; Fixed error in deflector_sheave_diameter_cst. Constraint was not
;;; syntactically correct nor did it correctly correspond to the DIDS
;;; constraint from which it was generated.
;;;
(in-package "ONTOLINGUA-USER")
(define-theory VT-DOMAIN (vt-design frame-ontology)
"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)")
(in-theory 'VT-DOMAIN)
;; renamings to be consistent with KIF and Ontolingua:
;;; real --> real-number (what is real anyway?)
;;; name --> model-id ("name" in KIF is an unquoting operator)
;;; <= --> =< (the less-than-or-equal-to relation)
;; Sort order: class before instance, alphabetical
#|
This file uses the syntax of generic-frame, a new extension to Ontolingua.
It is designed to make it easy to map into object-oriented representations.
The syntax is:
(define-frame <frame-name>
:own-slots ((<own-slot-spec>)*)
:template-slots ((<template-slot-spec>)*)
:axioms (<KIF sentence mentioning frame-name>*)
)
<own-slot-spec> :== (<slot-name> <value-spec>+)
<template-slot-spec> :== (<slot-name> <facet-or-value-spec>+)
<frame-name> :== symbol naming a class, relation, function, or object
<slot-name> :== symbol naming a binary relation or unary function
<value-spec> :== <constant> | (SETOF <constant>*) | (LISTOF <constant>*)
| (QUOTE <lisp s-expression>)
<constant> :== <string> | <symbol> | <number>
<facet-or-value-spec> :== <value-spec> | (<facet> <value-spec>*)
<facet> :== symbol naming a slot constraint relation, such as VALUE-TYPE
In this syntax, all named objects are frames. Whether a frame is a class,
relation, function, or other kind of object is given by the values of the
INSTANCE-OF slot. :Own-slots are binary relations applied to frames, with
the frame inserted as a first argument. Thus, for a frame named X
the own-slot spec (instance-of class) translates to the KIF sentence
(instance-of X class).
The value of a slot may be either a constant like a number or symbol, or
it may be a list beginning with one of the KIF operators SETOF, LISTOF, and
QUOTE.
The expression (SETOF a b c) denotes the set containing a, b, and c.
The expression (LISTOF d e f) denotes the sequence d,e,f.
The expression (QUOTE x) denotes the expression x, where x may be any lisp
expression.
:Template-slots only make sense if the frame is an instance of CLASS.
In that case, template slots describe properties of instances of
the class. For example, the template slot spec (slot (SLOT-VALUE-TYPE type))
for the frame C translates to the KIF sentence
(slot-value-type C slot type)
which is a second-order way of saying
(forall ?c (=> (and (instance-of ?c C)
(defined (foo ?c)))
(instance-of (foo ?c) bar)))
A value of a template slot is a downward inherited value (it is a slot
value for all instances of the class). For frame C, the template slot
spec (slot value) translates into the KIF sentence
(inherited-slot-value C slot value)
The value of :axioms is a list of KIF sentences mentioning <frame-name>.
These axioms can be used to say things that can't be expressed in the
restricted slot/value format.
|#
(in-package :ONTOLINGUA-USER)
(in-theory 'VT-DOMAIN)
(define-frame CAR
:own-slots (
(DOCUMENTATION
"pg 26.
The car supplement weight can be at most 500 pounds")
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(CABLEHANGWT
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(CARCONDWIRWT
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(CARGUIDESHOEWT
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(HAS-ATTRIBUTE
cablehangwt carcondwirwt carguideshoewt landswitchwt maintstwt
supplementwt switchcamwt)
(HAS-CONSTRAINT supplementwt_of_car_values)
(LANDSWITCHWT
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MAINTSTWT
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))
(SUPPLEMENTWT
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(SWITCHCAMWT
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame CAR1
:own-slots (
(DOCUMENTATION
"pg 15.
The elevator car. The attributes describe the various weights of the
elevator components, which do not have to be selected.")
(INSTANCE-OF class)
(SUBCLASS-OF car))
:template-slots (
(CABLEHANGWT 30
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(CARCONDWIRWT 45
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(CARGUIDESHOEWT 18
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(HAS-ATTRIBUTE
cablehangwt carcondwirwt carguideshoewt landswitchwt switchcamwt)
(LANDSWITCHWT 20
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MAINTSTWT 7
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MODEL-ID "car1")
(SWITCHCAMWT 35
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame CARBUFFER
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(CARBUFFHEIGHT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CARBUFFMAXLOAD
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(CARBUFFMINLOAD
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(CARFOOTH
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CARSTROKE
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(HAS-ATTRIBUTE
carbuffheight carbuffmaxload carbuffminload carfooth carstroke)
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))))
(define-frame CARBUFFER_OH1
:own-slots (
(DOCUMENTATION
"pg 15.
The characteristis of a carbuffer from Table 3.
carfooth is the car footing channel height.")
(INSTANCE-OF class)
(SUBCLASS-OF carbuffer))
:template-slots (
(CARBUFFHEIGHT 28.75
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CARBUFFMAXLOAD 11000
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(CARBUFFMINLOAD 2900
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(CARFOOTH 3.5
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CARSTROKE 8.25
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE
carbuffheight carbuffmaxload carbuffminload carstroke)
(MODEL-ID "carbuffer_oh1")))
(define-frame CARBUFFER_OM14
:own-slots (
(DOCUMENTATION
"pg 15.
The characteristis of a carbuffer from Table 3.
carfooth is the car footing channel height.")
(INSTANCE-OF class)
(SUBCLASS-OF carbuffer))
:template-slots (
(CARBUFFHEIGHT 38.5
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CARBUFFMAXLOAD 11000
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(CARBUFFMINLOAD 2900
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(CARFOOTH 3.5
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CARSTROKE 14
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(HAS-ATTRIBUTE
carbuffheight carbuffmaxload carbuffminload carstroke)
(MODEL-ID "carbuffer_om14")))
(define-frame CARGUIDERAIL
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(HAS-ATTRIBUTE weight)
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))
(WEIGHT
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame CARGUIDERAIL_1
:own-slots (
(DOCUMENTATION
"pg 15.
car guiderails that weight 8 pounds per foot.")
(INSTANCE-OF class)
(SUBCLASS-OF carguiderail))
:template-slots (
(HAS-ATTRIBUTE weight)
(MODEL-ID "carguiderail_1")
(WEIGHT 8
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame CARGUIDERAIL_2
:own-slots (
(DOCUMENTATION
"pg 15.
car guiderails that weight 11 pounds per foot.")
(INSTANCE-OF class)
(SUBCLASS-OF carguiderail))
:template-slots (
(HAS-ATTRIBUTE weight)
(MODEL-ID "carguiderail_2")
(WEIGHT 11
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame CARGUIDERAIL_3
:own-slots (
(DOCUMENTATION
"pg 15.
car guiderails that weight 16 pounds per foot.")
(INSTANCE-OF class)
(SUBCLASS-OF carguiderail))
:template-slots (
(HAS-ATTRIBUTE weight)
(MODEL-ID "carguiderail_3")
(WEIGHT 16
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame CARGUIDERAIL_4
:own-slots (
(DOCUMENTATION
"pg 15.
car guiderails that weight 18.5 pounds per foot.")
(INSTANCE-OF class)
(SUBCLASS-OF carguiderail))
:template-slots (
(HAS-ATTRIBUTE weight)
(MODEL-ID "carguiderail_4")
(WEIGHT 18.5
(Slot-Cardinality 1)
(Slot-Value-Type real-number))))
(define-frame CARGUIDERAIL_5
:own-slots (
(DOCUMENTATION
"pg 15.
car guiderails that weight 32 pounds per foot.")
(INSTANCE-OF class)
(SUBCLASS-OF carguiderail))
:template-slots (
(HAS-ATTRIBUTE weight)
(MODEL-ID "carguiderail_5")
(WEIGHT 32
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame COMPENSATIONCABLE
:own-slots (
(DOCUMENTATION "pg 18.
")
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(COMPCABLEWTPERINCH
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE
compcablewtperinch quantity)
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))
(QUANTITY
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame COMPENSATIONCABLE1_2CHAIN
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF compensationcable))
:template-slots (
(COMPCABLEWTPERINCH 0.2657
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE quantity)
(MODEL-ID "compensationcable1_2chain")
(QUANTITY 2
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame COMPENSATIONCABLE1_4CHAIN
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF compensationcable))
:template-slots (
(COMPCABLEWTPERINCH 0.0848
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE quantity)
(MODEL-ID "compensationcable1_4chain")
(QUANTITY 2
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame COMPENSATIONCABLE3_16CHAIN
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF compensationcable))
:template-slots (
(COMPCABLEWTPERINCH 0.05
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE quantity)
(MODEL-ID "compensationcable3_16chain")
(QUANTITY 2
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame COMPENSATIONCABLE3_8CHAIN
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF compensationcable))
:template-slots (
(COMPCABLEWTPERINCH 0.1617
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE quantity)
(MODEL-ID "compensationcable3_8chain")
(QUANTITY 2
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame COMPENSATIONCABLE5_16CHAIN
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF compensationcable))
:template-slots (
(COMPCABLEWTPERINCH 0.1171
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE quantity)
(MODEL-ID "compensationcable5_16chain")
(QUANTITY 2
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame COMPENSATIONCABLE7_16CHAIN
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF compensationcable))
:template-slots (
(COMPCABLEWTPERINCH 0.2117
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE compcablewtperinch)
(MODEL-ID "compensationcable7_16chain")
(QUANTITY 2
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame COMPENSATIONCABLE_NR
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF compensationcable))
:template-slots (
(COMPCABLEWTPERINCH 0
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(HAS-ATTRIBUTE quantity)
(MODEL-ID "compensationcable_nr")
(QUANTITY 0
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame CONTROLCABLE
:own-slots (
(DOCUMENTATION "pg 17.")
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(CONTROLCABLEWTPERINCH
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE controlcablewtperinch)
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))))
(define-frame CONTROLCABLE1
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF controlcable))
:template-slots (
(CONTROLCABLEWTPERINCH 0.167
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE controlcablewtperinch)
(MODEL-ID "controlcable1")))
(define-frame CONTROLCABLE2
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF controlcable))
:template-slots (
(CONTROLCABLEWTPERINCH 0.199
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE controlcablewtperinch)
(MODEL-ID "controlcable2")))
(define-frame CONTROLCABLE3
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF controlcable))
:template-slots (
(CONTROLCABLEWTPERINCH 0.209
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE controlcablewtperinch)
(MODEL-ID "controlcable3")))
(define-frame COUNTERWEIGHTBG
:own-slots (
(DOCUMENTATION
"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.")
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(A
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(B
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(FRAMEHEIGHT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(FRAMETHICKNESS
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(FRAMEWEIGHT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE
a b frameheight framethickness frameweight noofplates stackheight
totalweight)
(HAS-CONSTRAINT noofplates_of_counterweightbg_values)
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))
(NOOFPLATES
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(STACKHEIGHT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(TOTALWEIGHT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))))
(define-frame COUNTERWEIGHTBG_1
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF counterweightbg))
:template-slots (
(MODEL-ID "counterweightbg_1")))
(define-frame COUNTERWEIGHTBG_2
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF counterweightbg))
:template-slots (
(MODEL-ID "counterweightbg_2")))
(define-frame COUNTERWEIGHTBG_3
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF counterweightbg))
:template-slots (
(MODEL-ID "counterweightbg_3")))
(define-frame COUNTERWTBUFFER
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(COUNTERWTBUFFHEIGHT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(COUNTERWTBUFFMAXLOAD
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(COUNTERWTBUFFMINLOAD
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(COUNTERWTBUFFSTROKE
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE
counterwtbuffheight counterwtbuffmaxload counterwtbuffminload
counterwtbuffstroke)
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))))
(define-frame COUNTERWTBUFFER_OH1
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF counterwtbuffer))
:template-slots (
(COUNTERWTBUFFHEIGHT 28.75
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(COUNTERWTBUFFMAXLOAD 11000
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(COUNTERWTBUFFMINLOAD 2900
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(COUNTERWTBUFFSTROKE 8.25
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE
counterwtbuffheight counterwtbuffmaxload counterwtbuffminload)
(MODEL-ID "counterwtbuffer_oh1")))
(define-frame COUNTERWTBUFFER_OM14
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF counterwtbuffer))
:template-slots (
(COUNTERWTBUFFHEIGHT 38.5
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(COUNTERWTBUFFMAXLOAD 11000
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(COUNTERWTBUFFMINLOAD 2900
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(COUNTERWTBUFFSTROKE 14
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(HAS-ATTRIBUTE
counterwtbuffheight counterwtbuffmaxload counterwtbuffminload)
(MODEL-ID "counterwtbuffer_om14")))
(define-frame COUNTERWTGUARD
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(COUNTERWTGUARDTHICK
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(HAS-ATTRIBUTE counterwtguardthick)
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))))
(define-frame COUNTERWTGUARD_MODEL0
:own-slots (
(DOCUMENTATION
"pg 16.
The null part corresponding to not needing a counterwt guard.")
(INSTANCE-OF class)
(SUBCLASS-OF counterwtguard))
:template-slots (
(COUNTERWTGUARDTHICK 0
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(HAS-ATTRIBUTE counterwtguardthick)
(MODEL-ID "counterwtguard_model0")))
(define-frame COUNTERWTGUARD_MODEL1
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF counterwtguard))
:template-slots (
(COUNTERWTGUARDTHICK 0.75
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE counterwtguardthick)
(MODEL-ID "counterwtguard_model1")))
(define-frame COUNTERWTGUIDERAIL
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(COUNTERWTRAILUNITWT
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(HAS-ATTRIBUTE
counterwtrailunitwt weightlimit)
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))
(WEIGHTLIMIT
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame COUNTERWTGUIDERAIL_1
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF counterwtguiderail))
:template-slots (
(COUNTERWTRAILUNITWT 8
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(HAS-ATTRIBUTE weightlimit)
(MODEL-ID "counterwtguiderail_1")
(WEIGHTLIMIT 15000
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame COUNTERWTGUIDERAIL_2
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF counterwtguiderail))
:template-slots (
(COUNTERWTRAILUNITWT 11
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(HAS-ATTRIBUTE weightlimit)
(MODEL-ID "counterwtguiderail_2")
(WEIGHTLIMIT 11
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame COUNTERWTGUIDERAIL_3
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF counterwtguiderail))
:template-slots (
(COUNTERWTRAILUNITWT 16
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(HAS-ATTRIBUTE weightlimit)
(MODEL-ID "counterwtguiderail_3")
(WEIGHTLIMIT 40000
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame COUNTERWTGUIDERAIL_4
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF counterwtguiderail))
:template-slots (
(COUNTERWTRAILUNITWT 18.5
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE weightlimit)
(MODEL-ID "counterwtguiderail_4")
(WEIGHTLIMIT 56000
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame CROSSHEAD
:own-slots (
(DOCUMENTATION
"pg 14.
Attributes of Parts:
height: the hieght of the crosshead.")
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(HAS-ATTRIBUTE height)
(HEIGHT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))))
(define-frame CROSSHEAD_C10X153
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF crosshead))
:template-slots (
(HAS-ATTRIBUTE height)
(HEIGHT 10.0
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MODEL-ID "crosshead_c10x153")))
(define-frame CROSSHEAD_C13X1655
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF crosshead))
:template-slots (
(HAS-ATTRIBUTE height)
(HEIGHT 13.5
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MODEL-ID "crosshead_c13x1655")))
(define-frame CROSSHEAD_C8X115
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF crosshead))
:template-slots (
(HAS-ATTRIBUTE height)
(HEIGHT 8.0
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MODEL-ID "crosshead_c8x115")))
(define-frame CROSSHEAD_W8X18
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF crosshead))
:template-slots (
(HAS-ATTRIBUTE height)
(HEIGHT 8.125
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MODEL-ID "crosshead_w8x18")))
(define-frame CROSSHEAD_W8X21
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF crosshead))
:template-slots (
(HAS-ATTRIBUTE height)
(HEIGHT 8.25
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MODEL-ID "crosshead_w8x21")))
(define-frame DEFLECTORSHEAVE
:own-slots (
(DOCUMENTATION "pg 18.")
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(DEFLSHEAVED
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(DEFLSHEAVEP
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(DEFLSHEAVEWT
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(HAS-ATTRIBUTE
deflsheaved deflsheavep deflsheavewt)
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))))
(define-frame DOOR
:own-slots (
(DOCUMENTATION
"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 - ???")
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(DOOROPERCONSTANT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(DOOROPERENGINEWT
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(DOOROPERHEADERWT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(DOORSPACE
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(DOORSPEED
(Slot-Cardinality 1)
(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-Cardinality 1)
(Slot-Value-Type string))
(OPENINGSIDE
(Slot-Cardinality 1)
(Slot-Value-Type string))
(OPENINGTYPE
(Slot-Cardinality 1)
(Slot-Value-Type string))
(SAFE_T_EDGEWT
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame DOOR_2SCO
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF door))
:template-slots (
(DOOROPERCONSTANT 2.083
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(DOOROPERENGINEWT 135
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(DOORSPEED "2s"
(Slot-Cardinality 1)
(Slot-Value-Type string))
(HAS-ATTRIBUTE
dooroperconstant dooroperenginewt openingtype safe_t_edgewt)
(MODEL-ID "door_2sco")
(OPENINGTYPE "center"
(Slot-Cardinality 1)
(Slot-Value-Type string))
(SAFE_T_EDGEWT 13
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame DOOR_2SSO_LH
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF door))
:template-slots (
(DOOROPERCONSTANT 1.5
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(DOOROPERENGINEWT 135
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(DOORSPEED "2s"
(Slot-Cardinality 1)
(Slot-Value-Type string))
(HAS-ATTRIBUTE
dooroperconstant dooroperenginewt openingside openingtype safe_t_edgewt)
(MODEL-ID "door_2sso_lh")
(OPENINGSIDE "lh"
(Slot-Cardinality 1)
(Slot-Value-Type string))
(OPENINGTYPE "so"
(Slot-Cardinality 1)
(Slot-Value-Type string))
(SAFE_T_EDGEWT 7
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame DOOR_2SSO_RH
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF door))
:template-slots (
(DOOROPERCONSTANT 1.5
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(DOOROPERENGINEWT 135
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(DOORSPEED "2s"
(Slot-Cardinality 1)
(Slot-Value-Type string))
(HAS-ATTRIBUTE
dooroperconstant dooroperenginewt openingside openingtype safe_t_edgewt)
(MODEL-ID "door_2sso_rh")
(OPENINGSIDE "rh"
(Slot-Cardinality 1)
(Slot-Value-Type string))
(OPENINGTYPE "so"
(Slot-Cardinality 1)
(Slot-Value-Type string))
(SAFE_T_EDGEWT 7
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame DOOR_SSCO
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF door))
:template-slots (
(DOOROPERCONSTANT 1.33
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(DOOROPERENGINEWT 135
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(DOORSPEED "ss"
(Slot-Cardinality 1)
(Slot-Value-Type string))
(HAS-ATTRIBUTE
dooroperconstant dooroperenginewt openingtype safe_t_edgewt)
(MODEL-ID "door_ssco")
(OPENINGTYPE "co"
(Slot-Cardinality 1)
(Slot-Value-Type string))
(SAFE_T_EDGEWT 13
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame DOOR_SSSO_LH
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF door))
:template-slots (
(DOOROPERCONSTANT 1.25
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(DOOROPERENGINEWT 135
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(DOORSPEED "ss"
(Slot-Cardinality 1)
(Slot-Value-Type string))
(HAS-ATTRIBUTE
dooroperconstant dooroperenginewt openingside openingtype safe_t_edgewt)
(MODEL-ID "door_ssso_lh")
(OPENINGSIDE "lh"
(Slot-Cardinality 1)
(Slot-Value-Type string))
(OPENINGTYPE "so"
(Slot-Cardinality 1)
(Slot-Value-Type string))
(SAFE_T_EDGEWT 7
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame DOOR_SSSO_RH
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF door))
:template-slots (
(DOOROPERCONSTANT 1.25
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(DOOROPERENGINEWT 135
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(DOORSPEED "ss"
(Slot-Cardinality 1)
(Slot-Value-Type string))
(HAS-ATTRIBUTE
dooroperconstant dooroperenginewt openingside openingtype safe_t_edgewt)
(MODEL-ID "door_ssso_rh")
(OPENINGSIDE "rh"
(Slot-Cardinality 1)
(Slot-Value-Type string))
(OPENINGTYPE "so"
(Slot-Cardinality 1)
(Slot-Value-Type string))
(SAFE_T_EDGEWT 7
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame DS_20
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF deflectorsheave))
:template-slots (
(DEFLSHEAVED 20
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(DEFLSHEAVEP 15.125
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(DEFLSHEAVEWT 250
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(HAS-ATTRIBUTE
deflsheavep deflsheavewt)
(MODEL-ID "ds_20")))
(define-frame DS_25
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF deflectorsheave))
:template-slots (
(DEFLSHEAVED 25
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(DEFLSHEAVEP 18.125
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(DEFLSHEAVEWT 350
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(HAS-ATTRIBUTE
deflsheavep deflsheavewt)
(MODEL-ID "ds_25")))
(define-frame ELEVATOR
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(A
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(ANGLEOFCONTACT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(AP
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(AVCTRLCABLELOAD
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(B
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(BEAMREACTION_FRONTLEFT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(BEAMREACTION_FRONTRIGHT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(BEAMREACTION_REARLEFT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(BEAMREACTION_REARRIGHT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(BLDGWALLOPENWIDTH
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CABHEIGHT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CABINTERCOMSPEC
(Slot-Cardinality 1)
(Slot-Value-Type string))
(CABLANTERNSPEC
(Slot-Cardinality 1)
(Slot-Value-Type string))
(CABWT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CARBOTTOMLOAD
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CARBUFFERBLOCKH
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(CARBUFFERLOAD
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CARCAPACITY
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CARFIXWT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CARHITCH_TO_COUNTERHITCH_DISTANCE
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CAROVERTRAVEL
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CARPHONESPEC
(Slot-Cardinality 1)
(Slot-Value-Type string))
(CARPOSITIONINDICATORSPEC
(Slot-Cardinality 1)
(Slot-Value-Type string))
(CARRETURNLEFT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CARRETURNRIGHT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CARRUNBY
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(CARSLINGUB
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CARTOPLOAD
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CARWT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CNTRWTBOTTOMLOAD
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CNTRWTTOPLOAD
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(COMPCABLEL
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(COMPCARBOTTOMLOAD
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(COMPCARTOPLOAD
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(COMPCNTRWTBOTTOMLOAD
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(COMPCNTRWTTOPLOAD
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(COMPRESSEDCARBUFFCLEARANCE
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CONTCARBOTTOMLOAD
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CONTCARTOPLOAD
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CONTROLCABLELOOPBELOWCARL
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(COUNTERWT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(COUNTERWTBOTTOMREF
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(COUNTERWTBUFFBLOCKH
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(COUNTERWTBUFFH
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(COUNTERWTBUFFLOAD
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(COUNTERWTFOOTH 1
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(COUNTERWTFRAMEH
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(COUNTERWTOVERTRAVEL
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(COUNTERWTPLATEWT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(COUNTERWTPLATFORMWT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(COUNTERWTRUNBY
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(COUNTERWTSTACKWT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(COUNTERWTSYSWT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CROSSHEADBENDMOMENT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CROSSHEADDEFLINDEX
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CWTFRAMEWEIGHT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CWT_BG
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(CWT_SPACE
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CWT_TO_HOISTWAY_REAR
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CWT_TO_PLATFORM_REAR
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(CWT_UBRACKET_PROTRUSION
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(DEFLECTORSHEAVEDIAMETER
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(DEFLSHEAVEP
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(DESIRCOUNTERSTACKWT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(DESIRCOUNTERWT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(DOOROPENINGTYPE
(Slot-Cardinality 1)
(Slot-Value-Type string))
(DOOROPENWIDTH
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(DOOROPERHEADERWT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(DOOROPERWT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(DOORSPACE
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(DOORSPEED
(Slot-Cardinality 1)
(Slot-Value-Type string))
(DOORSPEEDSPEC
(Slot-Cardinality 1)
(Slot-Value-Type string))
(EFFICIENCY
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(ELEVATORSPEED
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(FLOORHEIGHTSPEC
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(FRAMEHEIGHT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(FRAMETHICKNESS 31
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(FRAMEWEIGHT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(GEAR_RATIO
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(GOVCABLEL
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(GUIDERAIL_BRACKET_SPACING
(Slot-Cardinality 1)
(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
cwt_bg
cwt_space cwt_to_hoistway_rear cwt_to_platform_rear cwt_ubracket_protrusion
cwtframeweight 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 len_compcable_below_counterwt
lengthperhoistcable mach_she_cent_to_fro_mbeam_support
machinegreatestaccelerationordeceleration machineroommbeamspec
machinesheavetodeflsheave_horz machinesheavetodeflsheavediag masswt
maxacceptablecarbuffstroke maxacceptablemachinegroovepressure
maxacceptableverticalrailforce maxbldgload_frontleft maxbldgload_rearleft
maxbldgload_rearright maxbuffstrikingspeed maxbuildingload_frontright
maxcarcapacity maxmachinegroovepressure maxtotalloadcarside
mbeambearingplatethick mbeamcenter_to_msheavecenter mbeaml
mbeamsupport_to_mbeamcenter mbeamsupportdistspec mbeamsupporttypespec
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 opening_hoistway_right openingheight
openinghoistwayleftspec openingside openingstrikesidespec openingtype
optimalcompcablewtperinch overheadspec peakreqdmotorcurrent pitdepth
plate_depth platet platform_clearance platformd platformfront_to_cablehitch
platformheightspec platformrear_to_cablehitch platformtohoistway_front
platformw platformwidthspec platformwt potentialsafetyload_cartop
reqdmotorhp
rightmbeammaxbendingmoment rightplatformedge_righthoistwaywall s safety_bg
safetybeambendmoment safetyfactor safetylbetweenguiderails safetywt 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 car_cst1 car_cst2 car_cst3 car_cst4
car_cst5
carbuffer_cs1 carbuffer_cst3 carbuffer_cst4 carbuffer_cst5 carbuffer_cst6
carbuffer_cst7 carbufferblockh_of_elevator_values carbufferload_calc
carbufferload_constraint 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
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 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 cwtframeweight_calc
deflector_sheave_diameter_cst deflectorsheavediameter_calc 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 door_2sco1
door_2sso_lh1 door_2sso_rh1 door_ssco1 door_ssso_lh1 door_ssso_rh1
dooropeningtype_of_elevator_values dooropenwidth_of_elevator_values
doorspace_double_calc doorspace_single_calc
doorspeedspec_of_elevator_values
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
machine_beam_offsets_cst machinesheavetodeflsheave_horz_calc
machinesheavetodeflsheavediag_calc machshecent_tofrombeam_support_calc
maxacceptablemachinegroovepressure_calc maxbldgload_frontleft_calc
maxbldgload_frontright_calc maxbldgload_rearleft_calc
maxbldgload_rearright_calc maxcarcapacity_of_elevator_values
mbeamsupport_to_mbeamcenter_calc mbeamsupporttypespec_of_elevator_values
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
no_guard_needed_cst
noofcarbuff_of_elevator_values noofcarbuff_restriction1
noofcarbuff_restriction2 noofcompcables_consistent
noofcounterwtbuff_of_elevator_values noofhoistcables_of_elevator_values
onebuffer_whenless38 opening_hoistway_right_calc openingheight_restriction
openingstrikesidespec_of_elevator_values 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 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
platformfront_to_cablehitch_calc_offset2 platformfront_to_cablehitch_offset25
platformfront_to_cablehitch_offset4 platformrear_to_cablehitch_calc
platformtohoistway_calc potentialsafetyload_cartop1 relevelingtorque_calc
reqdmotorhp_of_elevator_values rightmaxbendingmoment_calc1
rightmaxbendingmoment_calc2 rightplatformedge_righthoistwayedge_calc
s_of_elevator_values 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 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-Cardinality 1)
(Slot-Value-Type real-number))
(HOISTCABLESAFETYFACTOR
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HOISTCARBOTTOMLOAD
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HOISTCARTOPLOAD
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HOISTCNTRWTBOTTOMLOAD
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HOISTCNTRWTTOPLOAD
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HOISTLABOVECOUNTERWT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HOISTWAYDEPTH
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HOISTWAYTOFRONTMBEAM
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HOISTWAYWIDTH
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(IMPACTLOAD_LEFTBEAM
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(IMPACTLOAD_RIGHTBEAM
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(LEFTMBEAMMAXBENDINGMOMENT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(LEFTPLATFORMEDGE_LEFTHOISTWAYWALL
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(LENGTHPERHOISTCABLE
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(LEN_COMPCABLE_BELOW_COUNTERWT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MACHINEGREATESTACCELERATIONORDECELERATION 4.25
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MACHINEROOMMBEAMSPEC
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MACHINESHEAVETODEFLSHEAVEDIAG
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MACHINESHEAVETODEFLSHEAVE_HORZ
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MACH_SHE_CENT_TO_FRO_MBEAM_SUPPORT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MASSWT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MAXACCEPTABLECARBUFFSTROKE
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MAXACCEPTABLEMACHINEGROOVEPRESSURE
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MAXACCEPTABLEVERTICALRAILFORCE
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MAXBLDGLOAD_FRONTLEFT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MAXBLDGLOAD_REARLEFT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MAXBLDGLOAD_REARRIGHT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MAXBUFFSTRIKINGSPEED
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MAXBUILDINGLOAD_FRONTRIGHT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MAXCARCAPACITY
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MAXMACHINEGROOVEPRESSURE
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MAXTOTALLOADCARSIDE
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MBEAMBEARINGPLATETHICK 1
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MBEAMCENTER_TO_MSHEAVECENTER
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MBEAML
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MBEAMSUPPORTDISTSPEC
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MBEAMSUPPORTTYPESPEC
(Slot-Cardinality 1)
(Slot-Value-Type string))
(MBEAMSUPPORT_TO_MBEAMCENTER
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MBEAMWT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MINACCEPTABLECARBUFFSTROKE
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MINACCEPTABLEMBEAMMODULUS
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MINACCEPTABLEOPENINGW
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MINHOISTCABLESAFETYFACTOR
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MINLEFTMBEAM_SECTIONMODULUS
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MINRIGHTMBEAM_SECTIONMODULUS
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MISCCARCOMPWT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))
(MOTORMAXCURRENTSUPPORTED 150
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MOTRELEVELINGTORQUE
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MROOMFLOOR_TO_UNDERMBEAM
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MSHEAVECENTER_TO_DEFLSHEAVECENTER
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MSHEAVEHEIGHT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(NOOFCARBUFF
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(NOOFCOMPCABLES
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(NOOFCOUNTERWTBUFF
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(NOOFHOISTCABLES
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(NOOFOPENINGS
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(NOOFPLATES
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(OPENINGHEIGHT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(OPENINGHOISTWAYLEFTSPEC
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(OPENINGSIDE
(Slot-Cardinality 1)
(Slot-Value-Type string))
(OPENINGSTRIKESIDESPEC
(Slot-Cardinality 1)
(Slot-Value-Type string))
(OPENINGTYPE
(Slot-Cardinality 1)
(Slot-Value-Type string))
(OPENING_HOISTWAY_RIGHT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(OPTIMALCOMPCABLEWTPERINCH
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(OVERHEADSPEC
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(PEAKREQDMOTORCURRENT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(PITDEPTH
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(PLATET 1
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(PLATE_DEPTH
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(PLATFORMD
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(PLATFORMFRONT_TO_CABLEHITCH
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(PLATFORMHEIGHTSPEC
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(PLATFORMREAR_TO_CABLEHITCH
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(PLATFORMTOHOISTWAY_FRONT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(PLATFORMW
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(PLATFORMWIDTHSPEC
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(PLATFORMWT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(PLATFORM_CLEARANCE 1.25
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(POTENTIALSAFETYLOAD_CARTOP
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(REQDMOTORHP
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(RIGHTMBEAMMAXBENDINGMOMENT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(RIGHTPLATFORMEDGE_RIGHTHOISTWAYWALL
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(S
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(SAFETYBEAMBENDMOMENT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SAFETYFACTOR
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SAFETYLBETWEENGUIDERAILS
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SAFETYWT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SAFETY_BG
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SLINGUB
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SLINGWT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(STACKHEIGHT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(STILEL
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SUPPLEMENTWT
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(SUSPENDEDLOAD
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(TOPLANDTOBEAM
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(TOTALIMPACTLOAD
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(TOTALLOAD_LEFTBEAM
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(TOTALLOAD_RIGHTBEAM
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(TOTALWEIGHT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(TRACTIONRATIO
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(TRACTIONRATIO_CARBOTTOM_EMPTY
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(TRACTIONRATIO_CARBOTTOM_FULL
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(TRACTIONRATIO_CARTOP_EMPTY
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(TRACTIONRATIO_CARTOP_FULL
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(TRAVELSPEC
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(TRFACTOR
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(UB_SPACE
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(UNBALANCED_CABLE_LOAD
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(VERTICALRAILFORCE
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(X
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(Z
(Slot-Cardinality 1)
(Slot-Value-Type real-number))))
(define-frame GOVERNOR
:own-slots (
(DOCUMENTATION "pg 1. The governor is always model B5B")
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(HAS-ATTRIBUTE model-id)
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))))
(define-frame GOVERNORCABLE
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(GOVCABLET
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE govcablet)
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))))
(define-frame GOVCABLE1
:own-slots (
(DOCUMENTATION
"pg 18.
Attributes:
govcablet - the thickness of the governer cable.")
(INSTANCE-OF class)
(SUBCLASS-OF governorcable))
:template-slots (
(GOVCABLET 0.375
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE govcablet)
(MODEL-ID "govcable1")))
(define-frame GOVERNOR_B5B
:own-slots (
(DOCUMENTATION
"The only part that can be used for the governor
pg 1.")
(INSTANCE-OF class)
(SUBCLASS-OF governor))
:template-slots (
(MODEL-ID "governor_b5b")))
(define-frame HOISTCABLE
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(DIAMETER
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE
diameter noofcables ultimate_strength weightperinch)
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))
(NOOFCABLES
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(ULTIMATE_STRENGTH
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(WEIGHTPERINCH
(Slot-Cardinality 1)
(Slot-Value-Type real-number))))
(define-frame HOISTCABLE3_5
:own-slots (
(DOCUMENTATION "pg 17
Three .5 inch hoist cables.")
(INSTANCE-OF class)
(SUBCLASS-OF hoistcable))
:template-slots (
(DIAMETER 0.5
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE
diameter noofcables ultimate_strength)
(MODEL-ID "hoistcable3_5")
(NOOFCABLES 3
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(ULTIMATE_STRENGTH 14500
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(WEIGHTPERINCH 0.03
(Slot-Cardinality 1)
(Slot-Value-Type real-number))))
(define-frame HOISTCABLE3_625
:own-slots (
(DOCUMENTATION "pg 17
Three .625 inch hoist cables.")
(INSTANCE-OF class)
(SUBCLASS-OF hoistcable))
:template-slots (
(DIAMETER 0.625
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE
diameter noofcables ultimate_strength)
(MODEL-ID "hoistcable3_625")
(NOOFCABLES 3
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(ULTIMATE_STRENGTH 23000
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(WEIGHTPERINCH 0.048
(Slot-Cardinality 1)
(Slot-Value-Type real-number))))
(define-frame HOISTCABLE4_5
:own-slots (
(DOCUMENTATION "pg 17
Four .5 inch hoist cables.")
(INSTANCE-OF class)
(SUBCLASS-OF hoistcable))
:template-slots (
(DIAMETER 0.5
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE
diameter noofcables ultimate_strength)
(MODEL-ID "hoistcable4_5")
(NOOFCABLES 4
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(ULTIMATE_STRENGTH 14500
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(WEIGHTPERINCH 0.03
(Slot-Cardinality 1)
(Slot-Value-Type real-number))))
(define-frame HOISTCABLE4_625
:own-slots (
(DOCUMENTATION "pg 17
Four .625 inch hoist cables.")
(INSTANCE-OF class)
(SUBCLASS-OF hoistcable))
:template-slots (
(DIAMETER 0.625
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE
diameter noofcables ultimate_strength)
(MODEL-ID "hoistcable4_625")
(NOOFCABLES 4
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(ULTIMATE_STRENGTH 23000
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(WEIGHTPERINCH 0.048
(Slot-Cardinality 1)
(Slot-Value-Type real-number))))
(define-frame HOISTCABLE5_5
:own-slots (
(DOCUMENTATION "pg 17
Five .5 inch hoist cables.")
(INSTANCE-OF class)
(SUBCLASS-OF hoistcable))
:template-slots (
(DIAMETER 0.5
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE
diameter noofcables ultimate_strength)
(MODEL-ID "hoistcable5_5")
(NOOFCABLES 5
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(ULTIMATE_STRENGTH 14500
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(WEIGHTPERINCH 0.03
(Slot-Cardinality 1)
(Slot-Value-Type real-number))))
(define-frame HOISTCABLE5_625
:own-slots (
(DOCUMENTATION "pg 17
Five .625 inch hoist cables.")
(INSTANCE-OF class)
(SUBCLASS-OF hoistcable))
:template-slots (
(DIAMETER 0.625
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE
diameter noofcables ultimate_strength)
(MODEL-ID "hoistcable5_625")
(NOOFCABLES 5
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(ULTIMATE_STRENGTH 23000
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(WEIGHTPERINCH 0.048
(Slot-Cardinality 1)
(Slot-Value-Type real-number))))
(define-frame HOISTCABLE6_5
:own-slots (
(DOCUMENTATION "pg 17
Six .5 inch hoist cables.")
(INSTANCE-OF class)
(SUBCLASS-OF hoistcable))
:template-slots (
(DIAMETER 0.5
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE
diameter noofcables ultimate_strength)
(MODEL-ID "hoistcable6_5")
(NOOFCABLES 6
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(ULTIMATE_STRENGTH 14500
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(WEIGHTPERINCH 0.03
(Slot-Cardinality 1)
(Slot-Value-Type real-number))))
(define-frame HOISTCABLE6_625
:own-slots (
(DOCUMENTATION "pg 17
Six .625 inch hoist cables.")
(INSTANCE-OF class)
(SUBCLASS-OF hoistcable))
:template-slots (
(DIAMETER 0.625
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE
diameter noofcables ultimate_strength)
(MODEL-ID "hoistcable6_625")
(NOOFCABLES 6
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(ULTIMATE_STRENGTH 23000
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(WEIGHTPERINCH 0.048
(Slot-Cardinality 1)
(Slot-Value-Type real-number))))
(define-frame INTERCOM
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(HAS-ATTRIBUTE weight)
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))
(WEIGHT
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame INTERCOM0
:own-slots (
(DOCUMENTATION
"pg 14.
This part corresponds to not having an intercom in the elevator.")
(INSTANCE-OF class)
(SUBCLASS-OF intercom))
:template-slots (
(HAS-ATTRIBUTE weight)
(MODEL-ID "intercom0")
(WEIGHT 0
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame INTERCOM1
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF intercom))
:template-slots (
(HAS-ATTRIBUTE weight)
(MODEL-ID "intercom1")
(WEIGHT 5
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame LANTERN
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(HAS-ATTRIBUTE weight)
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))
(WEIGHT
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame LANTERN0
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF lantern))
:template-slots (
(HAS-ATTRIBUTE weight)
(MODEL-ID "lantern0")
(WEIGHT 0
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame LANTERN1
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF lantern))
:template-slots (
(HAS-ATTRIBUTE weight)
(MODEL-ID "lantern1")
(WEIGHT 9
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame MACHINE
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(EFFICIENCY
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(GEAR_RATIO
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE
efficiency gear_ratio mleftoffset mmaxsuspload mrightoffset msheaved
msheaveh mwt)
(HAS-CONSTRAINT efficiency_of_machine_values)
(MLEFTOFFSET
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MMAXSUSPLOAD
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))
(MRIGHTOFFSET
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MSHEAVED
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MSHEAVEH
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MWT
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame MACHINE18
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF machine))
:template-slots (
(HAS-ATTRIBUTE
mleftoffset mrightoffset msheaved msheaveh mwt)
(MLEFTOFFSET 4.4375
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MMAXSUSPLOAD 11500
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MODEL-ID "machine18")
(MRIGHTOFFSET 9.4375
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MSHEAVED 24
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MSHEAVEH 19
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MWT 1100
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame MACHINE28
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF machine))
:template-slots (
(HAS-ATTRIBUTE
mleftoffset mrightoffset msheaved msheaveh mwt)
(MLEFTOFFSET 8
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MMAXSUSPLOAD 13200
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MODEL-ID "machine28")
(MRIGHTOFFSET 8
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MSHEAVED 300
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MSHEAVEH 26
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MWT 1700
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame MACHINE38
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF machine))
:template-slots (
(HAS-ATTRIBUTE
mleftoffset mrightoffset msheaved msheaveh mwt)
(MLEFTOFFSET 8
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MMAXSUSPLOAD 20000
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MODEL-ID "machine38")
(MRIGHTOFFSET 8
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MSHEAVED 30
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MSHEAVEH 30
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MWT 2400
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame MACHINE58
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF machine))
:template-slots (
(HAS-ATTRIBUTE
mleftoffset mrightoffset msheaved msheaveh mwt)
(MLEFTOFFSET 14.75
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MMAXSUSPLOAD 24600
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MODEL-ID "machine58")
(MRIGHTOFFSET 14.75
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MSHEAVED 32
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MSHEAVEH 33
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MWT 2750
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame MBEAM
:own-slots (
(DOCUMENTATION "pg 20.")
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(HAS-ATTRIBUTE
mbeamsectionmodulus mbeamwtperft)
(MBEAMSECTIONMODULUS
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MBEAMWTPERFT
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))))
(define-frame MBEAM_S10X25_4
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF mbeam))
:template-slots (
(HAS-ATTRIBUTE mbeamsectionmodulus)
(MBEAMSECTIONMODULUS 24.7
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MBEAMWTPERFT 25.4
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MODEL-ID "mbeam_s10x25_4")))
(define-frame MBEAM_S10X35_0
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF mbeam))
:template-slots (
(HAS-ATTRIBUTE mbeamsectionmodulus)
(MBEAMSECTIONMODULUS 29.4
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MBEAMWTPERFT 35
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MODEL-ID "mbeam_s10x35_0")))
(define-frame MBEAM_S12X31_8
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF mbeam))
:template-slots (
(HAS-ATTRIBUTE mbeamsectionmodulus)
(MBEAMSECTIONMODULUS 36.4
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MBEAMWTPERFT 31.8
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MODEL-ID "mbeam_s12x31_8")))
(define-frame MBEAM_S12X35_0
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF mbeam))
:template-slots (
(HAS-ATTRIBUTE mbeamsectionmodulus)
(MBEAMSECTIONMODULUS 38.2
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(MBEAMWTPERFT 35
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MODEL-ID "mbeam_s12x35_0")))
(define-frame MOTGENERATOR
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(HAS-ATTRIBUTE motgenmaxcurr)
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))
(MOTGENMAXCURR
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame MOTGEN_286_230V
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF motgenerator))
:template-slots (
(HAS-ATTRIBUTE motgenmaxcurr)
(MODEL-ID "motgen_286_230v")
(MOTGENMAXCURR 143
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame MOTGEN_3609_5A_240V
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF motgenerator))
:template-slots (
(HAS-ATTRIBUTE motgenmaxcurr)
(MODEL-ID "motgen_3609_5a_240v")
(MOTGENMAXCURR 450
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame MOTGEN_46_230V
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF motgenerator))
:template-slots (
(HAS-ATTRIBUTE motgenmaxcurr)
(MODEL-ID "motgen_46_230v")
(MOTGENMAXCURR 238
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame MOTGEN_64_260V
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF motgenerator))
:template-slots (
(HAS-ATTRIBUTE motgenmaxcurr)
(MODEL-ID "motgen_64_260v")
(MOTGENMAXCURR 340
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame MOTOR
:own-slots (
(DOCUMENTATION "pg 21")
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(HAS-ATTRIBUTE
mothp motmaxcurrent motormaxcurrentsupported motwt)
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))
(MOTHP
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MOTMAXCURRENT
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MOTORMAXCURRENTSUPPORTED 150
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MOTWT
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame MOTOR10HP
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF motor))
:template-slots (
(HAS-ATTRIBUTE
motmaxcurrent motwt)
(MODEL-ID "motor10hp")
(MOTHP 10
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MOTMAXCURRENT 150
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MOTWT 374
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame MOTOR15HP
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF motor))
:template-slots (
(HAS-ATTRIBUTE
motmaxcurrent motwt)
(MODEL-ID "motor15hp")
(MOTHP 15
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MOTMAXCURRENT 250
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MOTWT 473
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame MOTOR20HP
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF motor))
:template-slots (
(HAS-ATTRIBUTE
motmaxcurrent motwt)
(MODEL-ID "motor20hp")
(MOTHP 20
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MOTMAXCURRENT 260
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MOTWT 539
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame MOTOR25HP
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF motor))
:template-slots (
(HAS-ATTRIBUTE
motmaxcurrent motwt)
(MODEL-ID "motor25hp")
(MOTHP 25
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MOTMAXCURRENT 340
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MOTWT 615
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame MOTOR30HP
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF motor))
:template-slots (
(HAS-ATTRIBUTE
motmaxcurrent motwt)
(MODEL-ID "motor30hp")
(MOTHP 30
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MOTMAXCURRENT 440
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MOTWT 715
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame MOTOR40HP
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF motor))
:template-slots (
(HAS-ATTRIBUTE
motmaxcurrent motwt)
(MODEL-ID "motor40hp")
(MOTHP 40
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MOTMAXCURRENT 530
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MOTWT 990
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame MSHEAVEGROOVE
:own-slots (
(DOCUMENTATION "pg 19.")
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(HAS-ATTRIBUTE model-id)
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))))
(define-frame MSHEAVEGROOVE_K3140
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF msheavegroove))
:template-slots (
(MODEL-ID "msheavegroove_k3140")))
(define-frame MSHEAVEGROOVE_K3269
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF msheavegroove))
:template-slots (
(MODEL-ID "msheavegroove_k3269")))
(define-frame PHONE
:own-slots (
(DOCUMENTATION "pg 14.
The phone in the cab.")
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(HAS-ATTRIBUTE weight)
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))
(WEIGHT
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame PHONE0
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF phone))
:template-slots (
(HAS-ATTRIBUTE weight)
(MODEL-ID "phone0")
(WEIGHT 0
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame PHONE1
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF phone))
:template-slots (
(HAS-ATTRIBUTE weight)
(MODEL-ID "phone1")
(WEIGHT 10
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame PLATFORM
:own-slots (
(DOCUMENTATION
"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.")
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(CARCAPACITY
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(HAS-ATTRIBUTE
carcapacity platformd platformheight platformw)
(HAS-CONSTRAINT platformw_of_platform_values)
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))
(PLATFORMD
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(PLATFORMHEIGHT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(PLATFORMW
(Slot-Cardinality 1)
(Slot-Value-Type real-number))))
(define-frame PLATFORM_25B
:own-slots (
(DOCUMENTATION
"pg 12 - 13.
Platform model.
Attributes:
(1) platformheight - The height of the platform")
(INSTANCE-OF class)
(SUBCLASS-OF platform))
:template-slots (
(HAS-ATTRIBUTE platformheight)
(MODEL-ID "platform_25b")
(PLATFORMHEIGHT 6.625
(Slot-Cardinality 1)
(Slot-Value-Type real-number))))
(define-frame PLATFORM_4B
:own-slots (
(DOCUMENTATION
"pg 12 - 13.
Platform model.
Attributes:
(1) platformheight - The height of the platform")
(INSTANCE-OF class)
(SUBCLASS-OF platform))
:template-slots (
(HAS-ATTRIBUTE platformheight)
(MODEL-ID "platform_4b")
(PLATFORMHEIGHT 6.625
(Slot-Cardinality 1)
(Slot-Value-Type real-number))))
(define-frame PLATFORM_6B
:own-slots (
(DOCUMENTATION
"pg 12 - 13.
Platform model.
Attributes:
(1) platformheight - The height of the platform")
(INSTANCE-OF class)
(SUBCLASS-OF platform))
:template-slots (
(HAS-ATTRIBUTE platformheight)
(MODEL-ID "platform_6b")
(PLATFORMHEIGHT 6.6875
(Slot-Cardinality 1)
(Slot-Value-Type real-number))))
(define-frame POSITIONIND
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(HAS-ATTRIBUTE weight)
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))
(WEIGHT
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame POSITIONIND0
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF positionind))
:template-slots (
(HAS-ATTRIBUTE weight)
(MODEL-ID "positionind0")
(WEIGHT 0
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame POSITIONIND1
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF positionind))
:template-slots (
(HAS-ATTRIBUTE weight)
(MODEL-ID "positionind1")
(WEIGHT 12
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame SAFETY
:own-slots (
(DOCUMENTATION "pg 14.
")
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(HAS-ATTRIBUTE
maxacceptablepotentialsafetyload maxacceptablesafetybeambendmoment
safetya safetyb safetyconstant safetyheight)
(MAXACCEPTABLEPOTENTIALSAFETYLOAD
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MAXACCEPTABLESAFETYBEAMBENDMOMENT
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))
(SAFETYA
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SAFETYB
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(SAFETYCONSTANT
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SAFETYHEIGHT
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame SAFETY_B1
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF safety))
:template-slots (
(HAS-ATTRIBUTE
maxacceptablepotentialsafetyload maxacceptablesafetybeambendmoment
safetya safetyb safetyheight)
(MAXACCEPTABLEPOTENTIALSAFETYLOAD 8000
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MAXACCEPTABLESAFETYBEAMBENDMOMENT 682500
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MODEL-ID "safety_b1")
(SAFETYA 1.69
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SAFETYB 1
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(SAFETYCONSTANT 2.25
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SAFETYHEIGHT 9
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame SAFETY_B4
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF safety))
:template-slots (
(HAS-ATTRIBUTE
maxacceptablepotentialsafetyload maxacceptablesafetybeambendmoment
safetya safetyb safetyheight)
(MAXACCEPTABLEPOTENTIALSAFETYLOAD 12000
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MAXACCEPTABLESAFETYBEAMBENDMOMENT 1233600
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MODEL-ID "safety_b4")
(SAFETYA 2.3
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SAFETYB 540
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(SAFETYCONSTANT 2.25
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SAFETYHEIGHT 10
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame SAFETY_B6
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF safety))
:template-slots (
(HAS-ATTRIBUTE
maxacceptablepotentialsafetyload maxacceptablesafetybeambendmoment
safetya safetyb safetyheight)
(MAXACCEPTABLEPOTENTIALSAFETYLOAD 20000
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MAXACCEPTABLESAFETYBEAMBENDMOMENT 1506000
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(MODEL-ID "safety_b6")
(SAFETYA 2.6
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SAFETYB 1035
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(SAFETYCONSTANT 2.625
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SAFETYHEIGHT 13
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame SLING
:own-slots (
(DOCUMENTATION
"pg 13.
Design Note: Start with smallest sling model and then upgrade when
necessary.")
(INSTANCE-OF class)
(SUBCLASS-OF vt-component))
:template-slots (
(HAS-ATTRIBUTE
slinga slingb slingc slingratedbendmoment slingrateddeflindex)
(MODEL-ID
(Slot-Cardinality 1)
(Slot-Value-Type string))
(SLINGA
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SLINGB
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SLINGC
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(SLINGRATEDBENDMOMENT
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(SLINGRATEDDEFLINDEX
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame SLING_25B_18
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF sling))
:template-slots (
(HAS-ATTRIBUTE
slinga slingb slingc slingratedbendmoment)
(MODEL-ID "sling_25b_18")
(SLINGA 1.5
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SLINGB 1.002
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SLINGC 56
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(SLINGRATEDBENDMOMENT 705000
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(SLINGRATEDDEFLINDEX 84600000
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame SLING_25B_21
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF sling))
:template-slots (
(HAS-ATTRIBUTE
slinga slingb slingc slingratedbendmoment)
(MODEL-ID "sling_25b_21")
(SLINGA 1.75
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SLINGB 1.002
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SLINGC 94
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(SLINGRATEDBENDMOMENT 850000
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(SLINGRATEDDEFLINDEX 103800000
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame SLING_4B_GP
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF sling))
:template-slots (
(HAS-ATTRIBUTE
slinga slingb slingc slingratedbendmoment)
(MODEL-ID "sling_4b_gp")
(SLINGA 2.5
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SLINGB 1.6
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SLINGC 223
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(SLINGRATEDBENDMOMENT 1340000
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(SLINGRATEDDEFLINDEX 200700000
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame SLING_4B_HOSP
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF sling))
:template-slots (
(HAS-ATTRIBUTE
slinga slingb slingc slingratedbendmoment)
(MODEL-ID "sling_4b_hosp")
(SLINGA 1.8
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SLINGB 1.2
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SLINGC 223
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(SLINGRATEDBENDMOMENT 810000
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(SLINGRATEDDEFLINDEX 96900000
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame SLING_6C
:own-slots (
(INSTANCE-OF class)
(SUBCLASS-OF sling))
:template-slots (
(HAS-ATTRIBUTE
slinga slingb slingc slingratedbendmoment)
(MODEL-ID "sling_6c")
(SLINGA 3.1
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SLINGB 2.2
(Slot-Cardinality 1)
(Slot-Value-Type real-number))
(SLINGC 317
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(SLINGRATEDBENDMOMENT 1790000
(Slot-Cardinality 1)
(Slot-Value-Type integer))
(SLINGRATEDDEFLINDEX 200700000
(Slot-Cardinality 1)
(Slot-Value-Type integer))))
(define-frame AP_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (ap ?x) 3) (=< (ap ?x) 10)))))
(define-frame ATLEAST38_WHEN2BUFFERS
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (> (noofcounterwtbuff ?x) 2) (>= (cwt_bg ?x) 38)))))
(define-frame AVCTRLCABLELOAD_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (avctrlcableload ?x) (/ (+ (contcartopload ?x) (contcarbottomload
?x)) 2)))))
(define-frame BEAMREACTION_FRONTLEFT_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (beamreaction_frontleft ?x) (- (totalload_leftbeam ?x)
(beamreaction_rearleft ?x))))))
(define-frame BEAMREACTION_FRONTRIGHT_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (beamreaction_frontright ?x) (- (totalload_rightbeam ?x)
(beamreaction_rearright ?x))))))
(define-frame BEAMREACTION_REARLEFT_CALC
:own-slots (
(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))))))
(define-frame BEAMREACTION_REARRIGHT_CALC
:own-slots (
(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))))))
(define-frame C1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (< (noofopenings ?x) 15) (= (model-id (controlcable ?x))
"controlcable1")))))
(define-frame C10
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (/= (model-id (compensationcable ?x)) "compensationcable_nr")
(= (compcablel ?x) (+ (travelspec ?x) (* 2 (+ (pitdepth ?x) 120))))))))
(define-frame C100
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (counterwtbottomref ?x)
(* 0.1
(+ (travelspec ?x)
(+ 6
(- (pitdepth ?x)
(+ (counterwtfooth ?x) (+ (counterwtbuffblockh ?x) (counterwtbuffh
?x)))))))))))
(define-frame C101
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (counterwtrunby ?x)
(- (counterwtbottomref ?x)
(- (pitdepth ?x) (+ (counterwtfooth ?x) (+ (counterwtbuffblockh
?x) (counterwtbuffh ?x)))))))))
(define-frame C102
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (counterwtbuffload ?x) (/ (counterwt ?x) (noofcounterwtbuff ?x))))))
(define-frame C103
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (controlcableloopbelowcarl ?x) (+ (carstroke (carbuffer ?x)) 78)))))
(define-frame C107
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (lengthperhoistcable ?x)
(- (travelspec ?x)
(+ (slingub ?x)
(+ (overheadspec ?x) (+ (msheaveheight ?x) (+
(hoistlabovecounterwt ?x) 120)))))))))
(define-frame C108
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (hoistcablesafetyfactor ?x)
(/ (* (ultimate_strength (hoistcable ?x)) (noofhoistcables ?x))
(cartopload ?x))))))
(define-frame C111
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (hoistcarbottomload ?x)
(* (* (noofhoistcables ?x) (weightperinch (hoistcable ?x)))
(- (overheadspec ?x) (+ (slingub ?x) (+ (travelspec ?x) 5))))))))
(define-frame C112
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (hoistcartopload ?x)
(* (* (noofhoistcables ?x) (weightperinch (hoistcable ?x)))
(- (overheadspec ?x) (+ (slingub ?x) 5)))))))
(define-frame C113
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (compcarbottomload ?x)
(* (noofhoistcables ?x) (* (weightperinch (hoistcable ?x))
(pitdepth ?x)))))))
(define-frame C114
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (compcartopload ?x)
(* (* (noofcompcables ?x) (compcablewtperinch (compensationcable ?x)))
(+ (pitdepth ?x) (travelspec ?x)))))))
(define-frame C115
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (contcarbottomload ?x)
(* (controlcablewtperinch (controlcable ?x))
(controlcableloopbelowcarl ?x))))))
(define-frame C116
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (contcartopload ?x)
(* (controlcablewtperinch (controlcable ?x))
(* 0.5 (+ (travelspec ?x) (controlcableloopbelowcarl ?x))))))))
(define-frame C117
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (carbottomload ?x)
(+ (hoistcarbottomload ?x)
(+ (compcarbottomload ?x) (+ (contcarbottomload ?x) (+
(maxcarcapacity ?x) (carwt ?x)))))))))
(define-frame C118
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (cartopload ?x)
(+ (hoistcartopload ?x)
(+ (compcartopload ?x) (+ (contcartopload ?x) (+ (maxcarcapacity
?x) (carwt ?x)))))))))
(define-frame C119
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (hoistcntrwtbottomload ?x)
(* (noofhoistcables ?x) (* (weightperinch (hoistcable ?x))
(hoistlabovecounterwt ?x)))))))
(define-frame C120
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (hoistcntrwttopload ?x)
(* (* (noofhoistcables ?x) (weightperinch (hoistcable ?x)))
(+ (travelspec ?x) (hoistlabovecounterwt ?x)))))))
(define-frame C121
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (compcntrwtbottomload ?x)
(* (noofcompcables ?x)
(* (compcablewtperinch (compensationcable ?x))
(+ (len_compcable_below_counterwt ?x) (travelspec ?x))))))))
(define-frame C122
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (compcntrwttopload ?x)
(* (noofcompcables ?x)
(* (compcablewtperinch (compensationcable ?x))
(len_compcable_below_counterwt ?x)))))))
(define-frame C123
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (cntrwtbottomload ?x)
(+ (hoistcntrwtbottomload ?x) (+ (compcntrwtbottomload ?x)
(counterwt ?x)))))))
(define-frame C124
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (cntrwttopload ?x) (+ (hoistcntrwttopload ?x) (+ (compcntrwttopload
?x) (counterwt ?x)))))))
(define-frame C125A
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (> (cartopload ?x) (carbottomload ?x)) (= (maxtotalloadcarside ?x) (cartopload ?x))))))
(define-frame C125B
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (=< (cartopload ?x) (carbottomload ?x)) (= (maxtotalloadcarside
?x) (carbottomload ?x))))))
(define-frame C126
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (suspendedload ?x) (+ (cartopload ?x) (cntrwttopload ?x))))))
(define-frame C128
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (govcablel ?x) (+ (* (+ (travelspec ?x) (+ (overheadspec ?x)
(pitdepth ?x))) 2) 144)))))
(define-frame C129
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (masswt ?x) (+ (mwt (machine ?x)) (motwt (motor ?x)))))))
(define-frame C131
:own-slots (
(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)))))))))
(define-frame C132
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (maxmachinegroovepressure ?x)
(/ (cartopload ?x) (* (/ (msheaved (machine ?x)) 2)
(noofhoistcables ?x)))))))
(define-frame C134
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (trfactor ?x) (/ (+ 32.2 (angleofcontact ?x)) (- 32.2
(angleofcontact ?x)))))))
(define-frame C135
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (tractionratio_carbottom_empty ?x)
(* (/ (cntrwtbottomload ?x) (- (carbottomload ?x) (maxcarcapacity
?x))) (trfactor ?x))))))
(define-frame C136
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (tractionratio_carbottom_full ?x)
(* (/ (carbottomload ?x) (cntrwtbottomload ?x)) (trfactor ?x))))))
(define-frame C137
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (tractionratio_cartop_empty ?x)
(* (/ (cntrwttopload ?x) (- (cartopload ?x) (maxcarcapacity ?x)))
(trfactor ?x))))))
(define-frame C138
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (tractionratio_cartop_full ?x) (* (/ (cartopload ?x) (cntrwttopload
?x)) (trfactor ?x))))))
(define-frame C139A
:own-slots (
(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))))))
(define-frame C139B
:own-slots (
(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))))))
(define-frame C139C
:own-slots (
(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))))))
(define-frame C139D
:own-slots (
(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))))))
(define-frame C140
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (minrightmbeam_sectionmodulus ?x)
(/ (* (rightmbeammaxbendingmoment ?x) (safetyfactor ?x)) 16000)))))
(define-frame C140A
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (minleftmbeam_sectionmodulus ?x)
(/ (* (leftmbeammaxbendingmoment ?x) (safetyfactor ?x)) 16000)))))
(define-frame C142
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (mbeamwt ?x) (* (/ (mbeaml ?x) 12) (mbeamwtperft (mbeam ?x)))))))
(define-frame C143
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (reqdmotorhp ?x)
(/ (* (maxcarcapacity ?x) (* (elevatorspeed ?x) (- 1 0.4)))
(* 33000 (* (efficiency (machine ?x)) 0.95)))))))
(define-frame C2
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (> (noofopenings ?x) 15) (=< (noofopenings ?x) 25))
(= (model-id (controlcable ?x)) "controlcable2")))))
(define-frame C3
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (> (noofopenings ?x) 25) (= (model-id (controlcable ?x))
"controlcable3")))))
(define-frame C30
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(>= (mothp (motor ?x)) (reqdmotorhp ?x)))))
(define-frame C31
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(>= (motgenmaxcurr (motgenerator ?x)) (peakreqdmotorcurrent ?x)))))
(define-frame C39
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(>= (carovertravel ?x)
(+ (counterwtrunby ?x) (* 1.5 (+ (counterwtbuffstroke
(counterwtbuffer ?x)) 24)))))))
(define-frame C41
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(>= (carreturnright ?x) 1))))
(define-frame C44
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (platform ?x)) "platform_25b") (=< (compcartopload
?x) 600)))))
(define-frame C45B
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (<= (optimalcompcablewtperinch ?x) 0.05)
(or (= (model-id (compensationcable ?x)) "compensationcable_nr")
(= (model-id (compensationcable ?x))
"compensationcable3_16chain"))))))
(define-frame C45C
:own-slots (
(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"))))))
(define-frame C45D
:own-slots (
(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"))))))
(define-frame C45E
:own-slots (
(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"))))))
(define-frame C45F
:own-slots (
(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"))))))
(define-frame C49
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (=< (counterwtbuffminload (counterwtbuffer ?x))
(counterwtbuffload ?x))
(=< (counterwtbuffload ?x) (counterwtbuffmaxload (counterwtbuffer
?x)))))))
(define-frame C52
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(>= (counterwtovertravel ?x) (+ (carrunby ?x) (* 1.5 (+ (carstroke
(carbuffer ?x)) 6)))))))
(define-frame C58
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=< (counterwt ?x) 56000))))
(define-frame C59
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=< (crossheadbendmoment ?x) (slingratedbendmoment (sling ?x))))))
(define-frame C60
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=< (crossheaddeflindex ?x) (slingrateddeflindex (sling ?x))))))
(define-frame C61
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (member (model-id (machine ?x)) (setof "machine28" "machine38"))
(and (=< 3 (noofhoistcables ?x)) (=< (noofhoistcables ?x) 6))))))
(define-frame C62
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (machine ?x)) "machine18")
(and (=< 3 (noofhoistcables ?x)) (=< (noofhoistcables ?x) 5))))))
(define-frame C63
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (machine ?x)) "machine58")
(and (=< 5 (noofhoistcables ?x)) (=< (noofhoistcables ?x) 6))))))
(define-frame C64
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(>= (hoistcablesafetyfactor ?x) (minhoistcablesafetyfactor ?x)))))
(define-frame C67
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=< (maxmachinegroovepressure ?x) (maxacceptablemachinegroovepressure
?x)))))
(define-frame C69
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (=< (peakreqdmotorcurrent ?x) (motmaxcurrent (motor ?x)))
(=< (peakreqdmotorcurrent ?x) 450)))))
(define-frame C70
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (machine ?x)) "machine18")
(member (model-id (motor ?x)) (setof "motor10hp" "motor15hp"))))))
(define-frame C71
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (machine ?x)) "machine28")
(member (model-id (motor ?x)) (setof "motor15hp" "motor20hp"))))))
(define-frame C72
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (machine ?x)) "machine38")
(member (model-id (motor ?x)) (setof "motor20hp" "motor25hp"
"motor30hp" "motor40hp"))))))
(define-frame C73
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (machine ?x)) "machine58") (= (model-id (motor ?x))
"motor40hp")))))
(define-frame C82
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=< (reqdmotorhp ?x) 40))))
(define-frame C84
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=< (potentialsafetyload_cartop ?x) (maxacceptablepotentialsafetyload
(safety ?x))))))
(define-frame C86
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (member (model-id (sling ?x)) (setof "sling_25b_18" "sling_25b_21"))
(and (=< 108 (slingub ?x)) (=< (slingub ?x) 123))))))
(define-frame C87
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (sling ?x)) "sling_4b_hosp") (=< (slingub ?x) 153)))))
(define-frame C88
:own-slots (
(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)))))
(define-frame C89
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (sling ?x)) "sling_4b_gp") (= (model-id (safety
?x)) "safety_b6"))
(=< (slingub ?x) 188.55)))))
(define-frame C9
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (compensationcable ?x)) "compensationcable_nr") (=
(compcablel ?x) 0)))))
(define-frame C90
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=< (suspendedload ?x) (mmaxsuspload (machine ?x))))))
(define-frame C91
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (msheavegroove ?x)) "msheavegroove_k3140")
(=< (tractionratio ?x) (* 0.007888 (+ (angleofcontact ?x) 0.675)))))))
(define-frame C92
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (msheavegroove ?x)) "msheavegroove_k3269")
(=< (tractionratio ?x) (* 0.006555 (+ (angleofcontact ?x) 0.755)))))))
(define-frame C94
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=< (verticalrailforce ?x) (maxacceptableverticalrailforce ?x)))))
(define-frame CABHEIGHT_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (cabheight ?x) 84.0) (=< (cabheight ?x) 240.0)))))
(define-frame CABINTERCOMSPEC_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(member (cabintercomspec ?x) (setof "yes" "no")))))
(define-frame CABLANTERNSPEC_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(member (cablanternspec ?x) (setof "yes" "no")))))
(define-frame CARBUFFERBLOCKH_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (carbufferblockh ?x) 6) (=< (carbufferblockh ?x) 10000)))))
(define-frame CARBUFFERLOAD_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (carbufferload ?x) (/ (+ (carwt ?x) (maxcarcapacity ?x))
(noofcarbuff ?x))))))
(define-frame CARBUFFERLOAD_CONSTRAINT
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (carbufferload ?x) (carbuffminload (carbuffer ?x)))
(=< (carbufferload ?x) (carbuffmaxload (carbuffer ?x)))))))
(define-frame CARBUFFER_CS1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (maxbuffstrikingspeed ?x) (* 1.15 (elevatorspeed ?x))))))
(define-frame CARBUFFER_CST3
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (minacceptablecarbuffstroke ?x)
(/ (* (maxbuffstrikingspeed ?x) (maxbuffstrikingspeed ?x)) 19320)))))
(define-frame CARBUFFER_CST4
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(>= (carstroke (carbuffer ?x)) (minacceptablecarbuffstroke ?x)))))
(define-frame CARBUFFER_CST5
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (carbufferblockh ?x)
(- (pitdepth ?x)
(+ 6
(+ (platformheight (platform ?x))
(+ (safetyheight (safety ?x))
(+ (carbuffheight (carbuffer ?x)) (carfooth (carbuffer
?x)))))))))))
(define-frame CARBUFFER_CST6
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (carrunby ?x)
(- (pitdepth ?x)
(+ (platformheight (platform ?x))
(+ (safetyheight (safety ?x))
(+ (carbuffheight (carbuffer ?x))
(+ (carbufferblockh ?x) (carfooth (carbuffer ?x)))))))))))
(define-frame CARBUFFER_CST7
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (compressedcarbuffclearance ?x)
(+ (carfooth (carbuffer ?x))
(+ (carbufferblockh ?x) (- (carbuffheight (carbuffer ?x))
(carstroke (carbuffer ?x)))))))))
(define-frame CARGUIDERAIL_CST1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (verticalrailforce ?x)
(+ (carcapacity (platform ?x)) (+ (carwt ?x) (+ (compcartopload ?x)
(contcartopload ?x))))))))
(define-frame CARGUIDERAIL_CST10
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=>
(and (= (model-id (carguiderail ?x)) "carguiderail_5") (=<
(guiderail_bracket_spacing ?x) 126))
(= (maxacceptableverticalrailforce ?x) 41000)))))
(define-frame CARGUIDERAIL_CST11
:own-slots (
(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))))))))
(define-frame CARGUIDERAIL_CST2
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=>
(and (= (model-id (carguiderail ?x)) "carguiderail_1") (=<
(guiderail_bracket_spacing ?x) 72))
(= (maxacceptableverticalrailforce ?x) 5500)))))
(define-frame CARGUIDERAIL_CST3
:own-slots (
(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))))))))
(define-frame CARGUIDERAIL_CST4
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=>
(and (= (model-id (carguiderail ?x)) "carguiderail_2") (=<
(guiderail_bracket_spacing ?x) 126))
(= (maxacceptableverticalrailforce ?x) 10000)))))
(define-frame CARGUIDERAIL_CST5
:own-slots (
(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))))))))
(define-frame CARGUIDERAIL_CST6
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=>
(and (= (model-id (carguiderail ?x)) "carguiderail_3") (=<
(guiderail_bracket_spacing ?x) 120))
(= (maxacceptableverticalrailforce ?x) 15000)))))
(define-frame CARGUIDERAIL_CST7
:own-slots (
(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))))))))
(define-frame CARGUIDERAIL_CST8
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=>
(and (= (model-id (carguiderail ?x)) "carguiderail_4") (=<
(guiderail_bracket_spacing ?x) 108))
(= (maxacceptableverticalrailforce ?x) 21000)))))
(define-frame CARGUIDERAIL_CST9
:own-slots (
(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))))))))
(define-frame CARHITCH_TO_COUNTERHITCH_DIST_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (carhitch_to_counterhitch_distance ?x)
(+ (platformrear_to_cablehitch ?x) (+ (cwt_to_platform_rear ?x) (/
(plate_depth ?x) 2)))))))
(define-frame CARPHONESPEC_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(member (carphonespec ?x) (setof "yes" "no")))))
(define-frame CARPOSITIONINDICATORSPEC_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(member (carpositionindicatorspec ?x) (setof "yes" "no")))))
(define-frame CARRETURNLEFTBASEDONDOOROPENINGTYPE3
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (openingstrikesidespec ?x) "right") (= (dooropeningtype
?x) "side"))
(= (carreturnleft ?x) (- (platformw (platform ?x)) (-
(bldgwallopenwidth ?x) 3)))))))
(define-frame CARRETURNLEFTBASEDONDOORTYPE
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (dooropeningtype ?x) "center")
(= (carreturnleft ?x) (/ (- (platformw (platform ?x))
(dooropenwidth ?x)) 2))))))
(define-frame CARRETURNLEFTBASEDONDOORTYPE2
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (dooropeningtype ?x) "side") (= (openingstrikesidespec ?x)
"left"))
(= (carreturnleft ?x) 3)))))
(define-frame CARRUNBY_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (carrunby ?x) 6) (=< (carrunby ?x) 24)))))
(define-frame CAR_CST1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (cabwt ?x) (* 130 (/ (+ (platformw (platform ?x)) (platformd
(platform ?x))) 12))))))
(define-frame CAR_CST2
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (carfixwt ?x)
(+ (weight (intercom ?x))
(+ (weight (phone ?x)) (+ (weight (lantern ?x)) (weight
(positionind ?x)))))))))
(define-frame CAR_CST3
:own-slots (
(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))))))))))))))
(define-frame CAR_CST4
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (carwt ?x)
(+ (cabwt ?x)
(+ (platformwt ?x)
(+ (slingwt ?x)
(+ (safetywt ?x) (+ (carfixwt ?x) (+ (supplementwt (car
?x)) (misccarcompwt ?x)))))))))))
(define-frame CAR_CST5
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (carovertravel ?x) (- (toplandtobeam ?x) (+ (slingub ?x) (height
(crosshead ?x))))))))
(define-frame COMPRESSEDCARBUFFCLEARANCE_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (compressedcarbuffclearance ?x) 24.0) (=<
(compressedcarbuffclearance ?x) 1000.0)))))
(define-frame COUNTERWEIGHTBG_CST1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (desircounterwt ?x)
(+ (carwt ?x) (+ (avctrlcableload ?x) (* 0.4 (carcapacity (platform
?x)))))))))
(define-frame COUNTERWEIGHTBG_CST3
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (counterwtsyswt ?x) (+ (cwtframeweight ?x) (* 4 7))))))
(define-frame COUNTERWEIGHTBG_CST4
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (desircounterstackwt ?x) (- (desircounterwt ?x) (counterwtsyswt ?x))))))
(define-frame COUNTERWEIGHTBG_CST5
:own-slots (
(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))))))))))
(define-frame COUNTERWEIGHTBG_CST6
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (noofplates (counterweightbg ?x)) (/ (desircounterstackwt ?x)
(counterwtplatewt ?x))))))
(define-frame COUNTERWEIGHTBG_CST7
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (counterwtstackwt ?x) (* (noofplates (counterweightbg ?x))
(counterwtplatewt ?x))))))
(define-frame COUNTERWEIGHTBG_CST8
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (counterwt ?x) (* (counterwtstackwt ?x) (counterwtsyswt ?x))))))
(define-frame COUNTERWEIGHTBG_CST9
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (counterwtovertravel ?x)
(- (toplandtobeam ?x)
(+ (deflsheavep ?x)
(+ (counterwtfooth ?x)
(+ (counterwtbuffblockh ?x)
(+ (counterwtbuffh ?x)
(+ (counterwtrunby ?x) (- (counterwtframeh ?x)
(pitdepth ?x))))))))))))
(define-frame COUNTERWTBUFFBLOCKH_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (counterwtbuffblockh ?x) 0.0) (=< (counterwtbuffblockh ?x)
120.0)))))
(define-frame COUNTERWTFRAMEH_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (counterwtframeh ?x) 90.0) (=< (counterwtframeh ?x) 174.0)))))
(define-frame COUNTERWTGUIDERAIL_CST1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(>= (weightlimit (counterwtguiderail ?x)) (counterwt ?x)))))
(define-frame COUNTERWTRUNBY_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (counterwtrunby ?x) 6.0) (=< (counterwtrunby ?x) 36.0)))))
(define-frame CROSSHEAD1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (crossheadbendmoment ?x) (* (potentialsafetyload_cartop ?x)
(safetylbetweenguiderails ?x))))))
(define-frame CROSSHEAD2
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (crossheaddeflindex ?x)
(* (potentialsafetyload_cartop ?x)
(* (safetylbetweenguiderails ?x) (safetylbetweenguiderails ?x)))))))
(define-frame CROSSHEAD3
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (sling ?x)) "sling_25b_18") (= (model-id (crosshead
?x)) "crosshead_w8x18")))))
(define-frame CROSSHEAD4
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (sling ?x)) "sling_25b_21") (= (model-id (crosshead
?x)) "crosshead_w8x21")))))
(define-frame CROSSHEAD5
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (sling ?x)) "sling_4b_hosp") (= (model-id (crosshead
?x)) "crosshead_c8x115")))))
(define-frame CROSSHEAD6
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (sling ?x)) "sling_4b_gp") (= (model-id (crosshead
?x)) "crosshead_c10x153")))))
(define-frame CROSSHEAD7
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (sling ?x)) "sling_6c") (= (model-id (crosshead ?x))
"crosshead_c13x1655")))))
(define-frame CWTFRAMEWEIGHT_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (cwtframeweight ?x) (* 6.2 (+ (- (cwt_bg ?x) 1.75) (+ (* 2
(counterwtframeh ?x)) 70)))))))
(define-frame CWT_BG_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(member (cwt_bg ?x) (setof 28 38 54)))))
(define-frame CWT_SPACE_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (cwt_space ?x)
(- (hoistwaydepth ?x) (+ (platformd (platform ?x))
(platformtohoistway_front ?x)))))))
(define-frame CWT_TO_HOISTWAY_REAR_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (cwt_to_hoistway_rear ?x) (- (cwt_space ?x) (+ (plate_depth ?x)
(cwt_to_platform_rear ?x)))))))
(define-frame CWT_TO_HOISTWAY_REAR_RESTRICTION
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(>= (cwt_to_hoistway_rear ?x) (+ 0.75 (cwt_ubracket_protrusion ?x))))))
(define-frame CWT_TO_PLATFORM_REAR_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (cwt_to_platform_rear ?x)
(* 0.5 (- (cwt_space ?x) (+ (plate_depth ?x)
(cwt_ubracket_protrusion ?x))))))))
(define-frame CWT_TO_PLATFORM_REAR_MINIMUM1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (counterwtguard ?x)) "counterwtguard_model0") (>=
(cwt_to_platform_rear ?x) 1)))))
(define-frame CWT_TO_PLATFORM_REAR_MINIMUM2
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (/= (model-id (counterwtguard ?x)) "counterwtguard_model0")
(>= (cwt_to_platform_rear ?x) (+ 1.5 (counterwtguardthick
(counterwtguard ?x))))))))
(define-frame DEFLECTORSHEAVEDIAMETER_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (deflectorsheavediameter ?x) (deflsheaved (deflectorsheave ?x))))))
(define-frame DEFLECTOR_SHEAVE_DIAMETER_CST
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(< (* (diameter (hoistcable ?x)) 40)
(deflsheaved (deflectorsheave ?x))))))
(define-frame DEFLSHEAVEP_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (deflsheavep ?x) (deflsheavep (deflectorsheave ?x))))))
(define-frame DONT_SELECT_INTERCOM_CST
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (cabintercomspec ?x) "no") (= (model-id (intercom ?x))
"intercom0")))))
(define-frame DONT_SELECT_LANTERN_CST
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (cablanternspec ?x) "no") (= (model-id (lantern ?x)) "lantern0")))))
(define-frame DONT_SELECT_PHONE
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (carphonespec ?x) "no") (= (model-id (phone ?x)) "phone0")))))
(define-frame DONT_SELECT_POSITION_IND_CST
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (carpositionindicatorspec ?x) "no") (= (model-id (positionind
?x)) "positionind0")))))
(define-frame DOOR.DOORSPEED_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (doorspeed (door ?x)) (doorspeed (door ?x))))))
(define-frame DOOR.DOORSPEED_CALC2
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (doorspeedspec ?x) "double") (= (doorspeed (door ?x)) "2s")))))
(define-frame DOOR.DOORSPEED_CALC3
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (doorspeedspec ?x) "single") (= (doorspeed (door ?x)) "ss")))))
(define-frame DOOR1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (openingtype (door ?x)) "so") (= (openingside (door ?x)) "na")))))
(define-frame DOOR2
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (/= (openingtype (door ?x)) "so") (/= (openingside (door ?x)) "na")))))
(define-frame DOOR3
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (dooropenwidth ?x) (bldgwallopenwidth ?x)))))
(define-frame DOOR4
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (dooroperheaderwt (door ?x)) (+ (dooroperconstant (door ?x))
(dooropenwidth ?x))))))
(define-frame DOOR5
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (dooroperwt ?x) (+ (dooroperenginewt (door ?x)) (dooroperheaderwt
(door ?x)))))))
(define-frame DOOR6
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (carreturnright ?x)
(- (platformw (platform ?x)) (+ (bldgwallopenwidth ?x)
(carreturnleft ?x)))))))
(define-frame DOOROPENINGTYPE_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(member (dooropeningtype ?x) (setof "side" "center")))))
(define-frame DOOROPENWIDTH_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (dooropenwidth ?x) 0.0) (=< (dooropenwidth ?x) 72.0)))))
(define-frame DOORSPACE_DOUBLE_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (doorspeed (door ?x)) "2s") (= (doorspace (door ?x)) 6.5)))))
(define-frame DOORSPACE_SINGLE_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (doorspeed (door ?x)) "ss") (= (doorspace (door ?x)) 5.0)))))
(define-frame DOORSPEEDSPEC_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(member (doorspeedspec ?x) (setof "single" "double")))))
(define-frame DOORSPEED_OF_DOOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(member (doorspeed ?x) (setof "ss" "2S")))))
(define-frame DOOR_2SCO1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (door ?x)) "door_2sco")
(= (carreturnleft ?x) (/ (- (platformw (platform ?x))
(bldgwallopenwidth ?x)) 2))))))
(define-frame DOOR_2SSO_LH1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (door ?x)) "door_2sso_lh") (= (carreturnleft ?x) 3)))))
(define-frame DOOR_2SSO_RH1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (door ?x)) "door_2sso_rh")
(= (carreturnleft ?x) (- (platformw (platform ?x)) (-
(bldgwallopenwidth ?x) 3)))))))
(define-frame DOOR_SSCO1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (door ?x)) "door_ssco")
(= (carreturnleft ?x) (/ (- (platformw (platform ?x))
(bldgwallopenwidth ?x)) 2))))))
(define-frame DOOR_SSSO_LH1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (door ?x)) "door_ssso_lh") (= (carreturnleft ?x) 3)))))
(define-frame DOOR_SSSO_RH1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (door ?x)) "door_ssso_rh")
(= (carreturnleft ?x) (- (platformw (platform ?x)) (-
(bldgwallopenwidth ?x) 3)))))))
(define-frame EFFICIENCY_OF_MACHINE_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (efficiency ?x) 0.0) (=< (efficiency ?x) 1.0)))))
(define-frame ELEVATORSPEED_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(member (elevatorspeed ?x) (setof 200 250 300 350 400)))))
(define-frame EQUAL_MAXCARCAPACITY_PLATFORMCAP
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (carcapacity (platform ?x)) (maxcarcapacity ?x)))))
(define-frame GUIDERAIL_BRACKET_SPACING_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (guiderail_bracket_spacing ?x) (floorheightspec ?x)))))
(define-frame HOISTCABLEPRESSURECONSTANT_1_1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (elevatorspeed ?x) 200) (= (model-id (msheavegroove ?x))
"msheavegroove_k3269"))
(= (hoistcablepressureconstant ?x) 264)))))
(define-frame HOISTCABLEPRESSURECONSTANT_1_2
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (elevatorspeed ?x) 250) (= (model-id (msheavegroove ?x))
"msheavegroove_k3269"))
(= (hoistcablepressureconstant ?x) 238)))))
(define-frame HOISTCABLEPRESSURECONSTANT_1_3
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (elevatorspeed ?x) 300) (= (model-id (msheavegroove ?x))
"msheavegroove_k3269"))
(= (hoistcablepressureconstant ?x) 216)))))
(define-frame HOISTCABLEPRESSURECONSTANT_1_4
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (elevatorspeed ?x) 350) (= (model-id (msheavegroove ?x))
"msheavegroove_k3269"))
(= (hoistcablepressureconstant ?x) 202)))))
(define-frame HOISTCABLEPRESSURECONSTANT_1_5
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (elevatorspeed ?x) 400) (= (model-id (msheavegroove ?x))
"msheavegroove_k3269"))
(= (hoistcablepressureconstant ?x) 194)))))
(define-frame HOISTCABLEPRESSURECONSTANT_2_1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (elevatorspeed ?x) 200) (= (model-id (msheavegroove ?x))
"msheavegroove_k3140"))
(= (hoistcablepressureconstant ?x) 196)))))
(define-frame HOISTCABLEPRESSURECONSTANT_2_2
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (elevatorspeed ?x) 250) (= (model-id (msheavegroove ?x))
"msheavegroove_k3140"))
(= (hoistcablepressureconstant ?x) 180)))))
(define-frame HOISTCABLEPRESSURECONSTANT_2_3
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (elevatorspeed ?x) 300) (= (model-id (msheavegroove ?x))
"msheavegroove_k3140"))
(= (hoistcablepressureconstant ?x) 164)))))
(define-frame HOISTCABLEPRESSURECONSTANT_2_4
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (elevatorspeed ?x) 350) (= (model-id (msheavegroove ?x))
"msheavegroove_k3140"))
(= (hoistcablepressureconstant ?x) 152)))))
(define-frame HOISTCABLEPRESSURECONSTANT_2_5
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (elevatorspeed ?x) 400) (= (model-id (msheavegroove ?x))
"msheavegroove_k3140"))
(= (hoistcablepressureconstant ?x) 142)))))
(define-frame HOISTCABLES_CONSISTENT
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (noofcables (hoistcable ?x)) (noofhoistcables ?x)))))
(define-frame HOISTLABOVECOUNTERWT_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (hoistlabovecounterwt ?x)
(+ (msheaveheight ?x)
(+ (mroomfloor_to_undermbeam ?x) (+ (deflsheavep ?x)
(counterwtovertravel ?x))))))))
(define-frame IMPACTLOAD_LEFTBEAM_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (impactload_leftbeam ?x)
(* (totalimpactload ?x)
(/ (mrightoffset (machine ?x)) (+ (mleftoffset (machine ?x))
(mrightoffset (machine ?x)))))))))
(define-frame IMPACTLOAD_RIGHTBEAM_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (impactload_rightbeam ?x)
(* (totalimpactload ?x)
(/ (mleftoffset (machine ?x)) (+ (mleftoffset (machine ?x))
(mrightoffset (machine ?x)))))))))
(define-frame LEFTMAXBENDINGMOMENT_CALC1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (=< (mbeamcenter_to_msheavecenter ?x) 0)
(= (leftmbeammaxbendingmoment ?x)
(* (beamreaction_frontleft ?x) (mbeamsupport_to_mbeamcenter
?x)))))))
(define-frame LEFTMAXBENDINGMOMENT_CALC2
:own-slots (
(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))))))))))
(define-frame LEFTPLATFORMEDGE_LEFTHOISTWAYWALL_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (leftplatformedge_lefthoistwaywall ?x) (- (openinghoistwayleftspec
?x) (carreturnleft ?x))))))
(define-frame LEN_COMPCABLE_BELOW_COUNTERWT_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (len_compcable_below_counterwt ?x)
(+ (counterwtfooth ?x)
(+ (counterwtbuffblockh ?x) (+ (counterwtbuffh ?x)
(counterwtrunby ?x))))))))
(define-frame MACHEFF_18_200
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine18") (= (elevatorspeed ?x)
200))
(= (efficiency (machine ?x)) 0.78)))))
(define-frame MACHEFF_18_200_RATIO
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine18") (= (elevatorspeed ?x)
200))
(= (gear_ratio (machine ?x)) 55)))))
(define-frame MACHEFF_18_250
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine18") (= (elevatorspeed ?x)
250))
(= (efficiency (machine ?x)) 0.81)))))
(define-frame MACHEFF_18_250_RATIO
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine18") (= (elevatorspeed ?x)
250))
(= (gear_ratio (machine ?x)) 42.5)))))
(define-frame MACHEFF_18_300
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine18") (= (elevatorspeed ?x)
300))
(= (efficiency (machine ?x)) 0.84)))))
(define-frame MACHEFF_18_300_RATIO
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine18") (= (elevatorspeed ?x)
300))
(= (gear_ratio (machine ?x)) 35.5)))))
(define-frame MACHEFF_18_350
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine18") (= (elevatorspeed ?x)
350))
(= (efficiency (machine ?x)) 0.86)))))
(define-frame MACHEFF_18_350_RATIO
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine18") (= (elevatorspeed ?x)
350))
(= (gear_ratio (machine ?x)) 30.5)))))
(define-frame MACHEFF_18_400
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine18") (= (elevatorspeed ?x)
400))
(= (efficiency (machine ?x)) 0.87)))))
(define-frame MACHEFF_18_400_RATIO
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine18") (= (elevatorspeed ?x)
400))
(= (gear_ratio (machine ?x)) 26.3)))))
(define-frame MACHEFF_28_200
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine28") (= (elevatorspeed ?x)
200))
(= (efficiency (machine ?x)) 0.73)))))
(define-frame MACHEFF_28_200_RATIO
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine28") (= (elevatorspeed ?x)
200))
(= (gear_ratio (machine ?x)) 67.0)))))
(define-frame MACHEFF_28_250
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine28") (= (elevatorspeed ?x)
250))
(= (efficiency (machine ?x)) 0.76)))))
(define-frame MACHEFF_28_250_RATIO
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine28") (= (elevatorspeed ?x)
250))
(= (gear_ratio (machine ?x)) 55)))))
(define-frame MACHEFF_28_300
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine28") (= (elevatorspeed ?x)
300))
(= (efficiency (machine ?x)) 0.8)))))
(define-frame MACHEFF_28_300_RATIO
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine28") (= (elevatorspeed ?x)
300))
(= (gear_ratio (machine ?x)) 44.5)))))
(define-frame MACHEFF_28_350
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine28") (= (elevatorspeed ?x)
350))
(= (efficiency (machine ?x)) 0.81)))))
(define-frame MACHEFF_28_350_RATIO
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine28") (= (elevatorspeed ?x)
350))
(= (gear_ratio (machine ?x)) 39.5)))))
(define-frame MACHEFF_28_400
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine28") (= (elevatorspeed ?x)
400))
(= (efficiency (machine ?x)) 0.84)))))
(define-frame MACHEFF_28_400_RATIO
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine28") (= (elevatorspeed ?x)
400))
(= (gear_ratio (machine ?x)) 33.5)))))
(define-frame MACHEFF_38_200
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine38") (= (elevatorspeed ?x)
200))
(= (efficiency (machine ?x)) 0.73)))))
(define-frame MACHEFF_38_200_RATIO
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine38") (= (elevatorspeed ?x)
200))
(= (gear_ratio (machine ?x)) 67)))))
(define-frame MACHEFF_38_250
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine38") (= (elevatorspeed ?x)
250))
(= (efficiency (machine ?x)) 0.76)))))
(define-frame MACHEFF_38_250_RATIO
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine38") (= (elevatorspeed ?x)
250))
(= (gear_ratio (machine ?x)) 55)))))
(define-frame MACHEFF_38_300
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine38") (= (elevatorspeed ?x)
300))
(= (efficiency (machine ?x)) 0.8)))))
(define-frame MACHEFF_38_300_RATIO
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine38") (= (elevatorspeed ?x)
300))
(= (gear_ratio (machine ?x)) 44.5)))))
(define-frame MACHEFF_38_350
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine38") (= (elevatorspeed ?x)
350))
(= (efficiency (machine ?x)) 0.81)))))
(define-frame MACHEFF_38_350_RATIO
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine38") (= (elevatorspeed ?x)
350))
(= (gear_ratio (machine ?x)) 39.5)))))
(define-frame MACHEFF_38_400
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine38") (= (elevatorspeed ?x)
400))
(= (efficiency (machine ?x)) 0.84)))))
(define-frame MACHEFF_38_400_RATIO
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine38") (= (elevatorspeed ?x)
400))
(= (gear_ratio (machine ?x)) 33.5)))))
(define-frame MACHEFF_58_200
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine58") (= (elevatorspeed ?x)
200))
(= (efficiency (machine ?x)) 0.815)))))
(define-frame MACHEFF_58_200_RATIO
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine58") (= (elevatorspeed ?x)
200))
(= (gear_ratio (machine ?x)) 47.5)))))
(define-frame MACHEFF_58_250
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine58") (= (elevatorspeed ?x)
250))
(= (efficiency (machine ?x)) 0.842)))))
(define-frame MACHEFF_58_250_RATIO
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine58") (= (elevatorspeed ?x)
250))
(= (gear_ratio (machine ?x)) 35.5)))))
(define-frame MACHEFF_58_300
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine58") (= (elevatorspeed ?x)
300))
(= (efficiency (machine ?x)) 0.871)))))
(define-frame MACHEFF_58_300_RATIO
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine58") (= (elevatorspeed ?x)
300))
(= (gear_ratio (machine ?x)) 31.7)))))
(define-frame MACHEFF_58_350
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine58") (= (elevatorspeed ?x)
350))
(= (efficiency (machine ?x)) 0.88)))))
(define-frame MACHEFF_58_350_RATIO
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine58") (= (elevatorspeed ?x)
350))
(= (gear_ratio (machine ?x)) 28.3)))))
(define-frame MACHEFF_58_400
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine58") (= (elevatorspeed ?x)
400))
(= (efficiency (machine ?x)) 0.89)))))
(define-frame MACHEFF_58_400_RATIO
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (machine ?x)) "machine58") (= (elevatorspeed ?x)
400))
(= (gear_ratio (machine ?x)) 26.7)))))
(define-frame MACHINESHEAVETODEFLSHEAVEDIAG_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (machinesheavetodeflsheavediag ?x)
(sqrt
(+ (square (machinesheavetodeflsheave_horz ?x))
(square (msheavecenter_to_deflsheavecenter ?x))))))))
(define-frame MACHINESHEAVETODEFLSHEAVE_HORZ_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (machinesheavetodeflsheave_horz ?x)
(- (carhitch_to_counterhitch_distance ?x)
(/ (msheaved (machine ?x)) (- 2 (/ (deflectorsheavediameter ?x)
2))))))))
(define-frame MACHINE_BEAM_OFFSETS_CST
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (mbeamcenter_to_msheavecenter ?x)
(- (mach_she_cent_to_fro_mbeam_support ?x)
(mbeamsupport_to_mbeamcenter ?x))))))
(define-frame MACHSHECENT_TOFROMBEAM_SUPPORT_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (mach_she_cent_to_fro_mbeam_support ?x)
(+ (platformfront_to_cablehitch ?x)
(+ (platformtohoistway_front ?x) (hoistwaytofrontmbeam ?x)))))))
(define-frame MAXACCEPTABLEMACHINEGROOVEPRESSURE_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (maxacceptablemachinegroovepressure ?x)
(* (diameter (hoistcable ?x)) (hoistcablepressureconstant ?x))))))
(define-frame MAXBLDGLOAD_FRONTLEFT_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (maxbldgload_frontleft ?x) (* (safetyfactor ?x)
(beamreaction_frontleft ?x))))))
(define-frame MAXBLDGLOAD_FRONTRIGHT_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (maxbuildingload_frontright ?x) (* (beamreaction_frontright ?x)
(safetyfactor ?x))))))
(define-frame MAXBLDGLOAD_REARLEFT_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (maxbldgload_rearleft ?x) (* (safetyfactor ?x)
(beamreaction_rearleft ?x))))))
(define-frame MAXBLDGLOAD_REARRIGHT_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (maxbldgload_rearright ?x) (* (beamreaction_rearright ?x)
(safetyfactor ?x))))))
(define-frame MAXCARCAPACITY_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (maxcarcapacity ?x) 2000) (=< (maxcarcapacity ?x) 4000)))))
(define-frame MBEAMSUPPORTTYPESPEC_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(member (mbeamsupporttypespec ?x) (setof "pocket" "steel")))))
(define-frame MBEAMSUPPORT_TO_MBEAMCENTER_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (mbeamsupport_to_mbeamcenter ?x) (/ (mbeamsupportdistspec ?x) 2)))))
(define-frame MINACCEPTABLECARBUFFSTROKE_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (minacceptablecarbuffstroke ?x) 0.0) (=<
(minacceptablecarbuffstroke ?x) 14.0)))))
(define-frame MINACCEPTABLEMBEAMMODULES_CALC2
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (=< (minrightmbeam_sectionmodulus ?x) (minleftmbeam_sectionmodulus ?x))
(= (minacceptablembeammodulus ?x) (minleftmbeam_sectionmodulus ?x))))))
(define-frame MINACCEPTABLEMBEAMMODULUS_CALC1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (> (minrightmbeam_sectionmodulus ?x) (minleftmbeam_sectionmodulus ?x))
(= (minacceptablembeammodulus ?x) (minrightmbeam_sectionmodulus
?x))))))
(define-frame MINHOISTCABLESAFETYFACTOR_CALC1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (elevatorspeed ?x) 200) (= (minhoistcablesafetyfactor ?x) 8.75)))))
(define-frame MINHOISTCABLESAFETYFACTOR_CALC2
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (elevatorspeed ?x) 250) (= (minhoistcablesafetyfactor ?x) 9.2)))))
(define-frame MINHOISTCABLESAFETYFACTOR_CALC3
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (elevatorspeed ?x) 300) (= (minhoistcablesafetyfactor ?x) 9.5)))))
(define-frame MINHOISTCABLESAFETYFACTOR_CALC4
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (elevatorspeed ?x) 350) (= (minhoistcablesafetyfactor ?x) 9.75)))))
(define-frame MINHOISTCABLESAFETYFACTOR_CALC5
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (elevatorspeed ?x) 400) (= (minhoistcablesafetyfactor ?x) 10.0)))))
(define-frame MINIMUMOPENINGWITH_25B
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (platform ?x)) "platform_25b") (=
(dooropeningtype ?x) "center"))
(=< (dooropenwidth ?x) (- (/ (platformwidthspec ?x) 2) 12))))))
(define-frame MINIMUMOPENINGWITH_25B_SIDE
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (platform ?x)) "platform_25b") (=
(dooropeningtype ?x) "side"))
(=< (dooropenwidth ?x) (- (/ (platformwidthspec ?x) 2) 6))))))
(define-frame MOTORSCOMPATIBLE_MACHINE18
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (machine ?x)) "machine18")
(member (model-id (motor ?x)) (setof "motor10hp" "motor20hp"))))))
(define-frame MOTORSCOMPATIBLE_MACHINE28
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (machine ?x)) "machine28")
(member (model-id (motor ?x)) (setof "motor20hp" "motor25hp"
"motor30hp" "motor40hp"))))))
(define-frame MOTORSCOMPATIBLE_MACHINE58
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (machine ?x)) "machine58") (= (model-id (motor ?x))
"motor40hp")))))
(define-frame MROOMFLOOR_TO_UNDERMBEAM_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (mbeamsupporttypespec ?x) "steel")
(= (mroomfloor_to_undermbeam ?x) (machineroommbeamspec ?x))))))
(define-frame MROOMFLOOR_TO_UNDERMBEAM_CALC2
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (mbeamsupporttypespec ?x) "pocket")
(= (mroomfloor_to_undermbeam ?x) (- (machineroommbeamspec ?x)
(mbeambearingplatethick ?x)))))))
(define-frame MSHEAVECENTER_TO_DEFLSHEAVECENTER_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (msheavecenter_to_deflsheavecenter ?x)
(+ (msheaveheight ?x)
(+ (mroomfloor_to_undermbeam ?x)
(- (deflsheavep ?x) (* 0.5 (deflectorsheavediameter ?x)))))))))
(define-frame MSHEAVEHEIGHT_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (msheaveheight ?x) (msheaveh (machine ?x))))))
(define-frame NOOFCARBUFF_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (noofcarbuff ?x) 1) (=< (noofcarbuff ?x) 100)))))
(define-frame NOOFCARBUFF_RESTRICTION1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (safety ?x)) "safety_b1") (= (model-id (safety
?x)) "safety_b4"))
(= (noofcarbuff ?x) 1)))))
(define-frame NOOFCARBUFF_RESTRICTION2
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (safety ?x)) "safety_b6") (=< (noofcarbuff ?x) 2)))))
(define-frame NOOFCOMPCABLES_CONSISTENT
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (noofcompcables ?x) (quantity (compensationcable ?x))))))
(define-frame NOOFCOUNTERWTBUFF_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (noofcounterwtbuff ?x) 1) (=< (noofcounterwtbuff ?x) 2)))))
(define-frame NOOFHOISTCABLES_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (noofhoistcables ?x) 3) (=< (noofhoistcables ?x) 6)))))
(define-frame NOOFPLATES_OF_COUNTERWEIGHTBG_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (noofplates ?x) 7) (=< (noofplates ?x) 12)))))
(define-frame NO_GUARD_NEEDED_CST
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (> (noofcompcables ?x) 0) (= (model-id (counterwtguard ?x))
"counterwtguard_model0")))))
(define-frame ONEBUFFER_WHENLESS38
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (< (cwt_bg ?x) 38) (= (noofcounterwtbuff ?x) 1)))))
(define-frame OPENINGHEIGHT_RESTRICTION
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (openingheight ?x) 78) (=< (openingheight ?x) (cabheight ?x))))))
(define-frame OPENINGSIDE_OF_DOOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(member (openingside ?x) (setof "left" "right" "na")))))
(define-frame OPENINGSTRIKESIDESPEC_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(member (openingstrikesidespec ?x) (setof "left" "right")))))
(define-frame OPENINGTYPE_OF_DOOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(member (openingtype ?x) (setof "side" "center")))))
(define-frame OPENING_HOISTWAY_RIGHT_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (opening_hoistway_right ?x)
(- (hoistwaywidth ?x) (- (dooropenwidth ?x)
(openinghoistwayleftspec ?x)))))))
(define-frame OPTIMALCOMPCABLEWTPERINCH_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (optimalcompcablewtperinch ?x)
(- (* (noofhoistcables ?x) (weightperinch (hoistcable ?x)))
(* 0.25 (controlcablewtperinch (controlcable ?x))))))))
(define-frame OVERHEADSPEC_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (overheadspec ?x) 0.0) (=< (overheadspec ?x) 360.0)))))
(define-frame PEAKMCUR_CALC_10HP_1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (=< (motrelevelingtorque ?x) 40) (= (model-id (motor ?x))
"motor10hp"))
(= (peakreqdmotorcurrent ?x) (* 1.25 (motrelevelingtorque ?x)))))))
(define-frame PEAKMCUR_CALC_10HP_2
:own-slots (
(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)))))))
(define-frame PEAKMCUR_CALC_10HP_3
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (> (motrelevelingtorque ?x) 62.5) (= (model-id (motor ?x))
"motor10hp"))
(= (peakreqdmotorcurrent ?x) (* 1.6 (- (motrelevelingtorque ?x)
20)))))))
(define-frame PEAKMCUR_CALC_15HP_1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (=< (motrelevelingtorque ?x) 70) (= (model-id (motor ?x))
"motor15hp"))
(= (peakreqdmotorcurrent ?x) (* 1.286 (motrelevelingtorque ?x)))))))
(define-frame PEAKMCUR_CALC_15HP_2
:own-slots (
(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)))))))
(define-frame PEAKMCUR_CALC_15HP_3
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (> (motrelevelingtorque ?x) 120) (= (model-id (motor ?x))
"motor15hp"))
(= (peakreqdmotorcurrent ?x) (* 1.6 (+ (motrelevelingtorque ?x)
60)))))))
(define-frame PEAKMCUR_CALC_20HP_1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (=< (motrelevelingtorque ?x) 83) (= (model-id (motor ?x))
"motor20hp"))
(= (peakreqdmotorcurrent ?x) (* 1.205 (motrelevelingtorque ?x)))))))
(define-frame PEAKMCUR_CALC_20HP_2
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (> (motrelevelingtorque ?x) 83) (= (model-id (motor ?x))
"motor20hp"))
(= (peakreqdmotorcurrent ?x) (* 1.739 (- (motrelevelingtorque ?x)
66.087)))))))
(define-frame PEAKMCUR_CALC_25HP_1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (=< (motrelevelingtorque ?x) 170) (= (model-id (motor ?x))
"motor25hp"))
(= (peakreqdmotorcurrent ?x) (* 1.176 (motrelevelingtorque ?x)))))))
(define-frame PEAKMCUR_CALC_25HP_2
:own-slots (
(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)))))))
(define-frame PEAKMCUR_CALC_25HP_3
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (> (motrelevelingtorque ?x) 230) (= (model-id (motor ?x))
"motor25hp"))
(= (peakreqdmotorcurrent ?x) (* 1.667 (- (motrelevelingtorque ?x)
108.333)))))))
(define-frame PEAKMCUR_CALC_30HP_1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (=< (motrelevelingtorque ?x) 200) (= (model-id (motor ?x))
"motor30hp"))
(= (peakreqdmotorcurrent ?x) (* 1.2 (motrelevelingtorque ?x)))))))
(define-frame PEAKMCUR_CALC_30HP_2
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (> (motrelevelingtorque ?x) 200) (= (model-id (motor ?x))
"motor30hp"))
(= (peakreqdmotorcurrent ?x) (* 1.455 (- (motrelevelingtorque ?x) 50.909)))))))
(define-frame PEAKMCUR_CALC_40HP_1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (=< (motrelevelingtorque ?x) 270) (= (model-id (motor ?x))
"motor40hp"))
(= (peakreqdmotorcurrent ?x) (* 1.296 (motrelevelingtorque ?x)))))))
(define-frame PEAKMCUR_CALC_40HP_2
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (> (motrelevelingtorque ?x) 270) (= (model-id (motor ?x))
"motor40hp"))
(= (peakreqdmotorcurrent ?x) (+ (motrelevelingtorque ?x) 80))))))
(define-frame PITDEPTH_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (pitdepth ?x) 0.0) (=< (pitdepth ?x) 240.0)))))
(define-frame PLATE_DEPTH_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (plate_depth ?x) 7.0) (=< (plate_depth ?x) 12.0)))))
(define-frame PLATFORM.PLATFORMD_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (platformd (platform ?x)) (platformheightspec ?x)))))
(define-frame PLATFORM.PLATFORMW_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (platformw (platform ?x)) (platformwidthspec ?x)))))
(define-frame PLATFORM1
:own-slots (
(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")))))
(define-frame PLATFORM2
:own-slots (
(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")))))
(define-frame PLATFORM25B_COMPATIBLE
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (platform ?x)) "platform_25b")
(member (model-id (sling ?x)) (setof "sling_25b_18"
"sling_25b_21"))))))
(define-frame PLATFORM3
:own-slots (
(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")))))
(define-frame PLATFORMFRONT_TO_CABLEHITCH_CALC_OFFSET2
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (=< (platformd (platform ?x)) 60)
(= (platformfront_to_cablehitch ?x) (- (/ (platformd (platform
?x)) 2) 2))))))
(define-frame PLATFORMFRONT_TO_CABLEHITCH_OFFSET25
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (> (platformd (platform ?x)) 60) (=< (platformd (platform
?x)) 66))
(= (platformfront_to_cablehitch ?x) (- (/ (platformd (platform
?x)) 2) 2.5))))))
(define-frame PLATFORMFRONT_TO_CABLEHITCH_OFFSET4
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (> (platformd (platform ?x)) 66)
(= (platformfront_to_cablehitch ?x) (- (/ (platformd (platform
?x)) 2) 4))))))
(define-frame PLATFORMREAR_TO_CABLEHITCH_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (platformrear_to_cablehitch ?x)
(- (platformd (platform ?x)) (platformfront_to_cablehitch ?x))))))
(define-frame PLATFORMTOHOISTWAY_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (platformtohoistway_front ?x) (+ (doorspace (door ?x))
(platform_clearance ?x))))))
(define-frame PLATFORMW_OF_PLATFORM_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (platformw ?x) 60.0) (=< (platformw ?x) 1000.0)))))
(define-frame PLATFORM_2.5B1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (=< (platformw (platform ?x)) 60) (= (model-id (platform ?x))
"platform_25b"))
(= (ap ?x) 3)))))
(define-frame PLATFORM_25B2
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=>
(and (> (platformw (platform ?x)) 60)
(and (=< (platformw (platform ?x)) 76) (= (model-id (platform
?x)) "platform_25b")))
(= (ap ?x) 4)))))
(define-frame PLATFORM_25B3
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (> (platformw (platform ?x)) 76) (= (model-id (platform ?x))
"platform_25b"))
(= (ap ?x) 5)))))
(define-frame PLATFORM_25B4
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=>
(and (= (carcapacity (platform ?x)) 2000)
(and (=< (platformd (platform ?x)) 53) (= (model-id (platform
?x)) "platform_25b")))
(= (s ?x) 63)))))
(define-frame PLATFORM_25B5
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=>
(and (or (/= (carcapacity (platform ?x)) 2000) (> (platformd
(platform ?x)) 53))
(= (model-id (platform ?x)) "platform_25b"))
(= (s ?x) 71)))))
(define-frame PLATFORM_25B6
:own-slots (
(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)))))))))))))
(define-frame PLATFORM_25B7
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (= (openingtype (door ?x)) "co") (= (model-id (platform ?x))
"platform_25b")))))
(define-frame PLATFORM_4B1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (model-id (platform ?x)) "platform_4b")
(= (ap ?x) (floor (/ (- (platformw (platform ?x)) 0.125) 9)))))))
(define-frame PLATFORM_4B11
:own-slots (
(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))))))))))))
(define-frame PLATFORM_4B2
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (platform ?x)) "platform_4b") (= (doorspeed
(door ?x)) "ss"))
(= (x ?x) 2.26)))))
(define-frame PLATFORM_4B3
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (platform ?x)) "platform_4b") (= (doorspeed
(door ?x)) "2s"))
(= (x ?x) 2.354)))))
(define-frame PLATFORM_4B4
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (platform ?x)) "platform_4b") (= (doorspeed
(door ?x)) "ss"))
(= (z ?x) 1.72)))))
(define-frame PLATFORM_4B5
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (platform ?x)) "platform_4b") (= (doorspeed
(door ?x)) "2s"))
(= (z ?x) 2.0)))))
(define-frame PLATFORM_4B6
:own-slots (
(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)))))))))))))
(define-frame PLATFORM_6B1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (=< (platformw (platform ?x)) 67) (= (model-id (platform ?x))
"platform_6b"))
(= (ap ?x) 5)))))
(define-frame PLATFORM_6B10
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (doorspeed (door ?x)) "2s") (= (z ?x) 2.0)))))
(define-frame PLATFORM_6B2
:own-slots (
(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)))))
(define-frame PLATFORM_6B3
:own-slots (
(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)))))
(define-frame PLATFORM_6B4
:own-slots (
(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)))))
(define-frame PLATFORM_6B5
:own-slots (
(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)))))
(define-frame PLATFORM_6B6
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (> (platformw (platform ?x)) 105) (= (model-id (platform ?x))
"platform_6b"))
(= (ap ?x) 10)))))
(define-frame PLATFORM_6B7
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (platform ?x)) "platform_6b") (= (doorspeed
(door ?x)) "ss"))
(= (x ?x) 2.441)))))
(define-frame PLATFORM_6B8
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (= (model-id (platform ?x)) "platform_6b") (= (doorspeed
(door ?x)) "2s"))
(= (x ?x) 2.394)))))
(define-frame PLATFORM_6B9
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (doorspeed (door ?x)) "ss") (= (z ?x) 1.72)))))
(define-frame POTENTIALSAFETYLOAD_CARTOP1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (potentialsafetyload_cartop ?x)
(+ (carwt ?x) (+ (carcapacity (platform ?x)) (+ (compcartopload ?x)
(contcartopload ?x))))))))
(define-frame RELEVELINGTORQUE_CALC
:own-slots (
(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))))))))))
(define-frame REQDMOTORHP_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (reqdmotorhp ?x) 0.0) (=< (reqdmotorhp ?x) 40.0)))))
(define-frame RIGHTMAXBENDINGMOMENT_CALC1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (=< (mbeamcenter_to_msheavecenter ?x) 0)
(= (rightmbeammaxbendingmoment ?x)
(* (beamreaction_frontright ?x)
(mach_she_cent_to_fro_mbeam_support ?x)))))))
(define-frame RIGHTMAXBENDINGMOMENT_CALC2
:own-slots (
(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))))))))))
(define-frame RIGHTPLATFORMEDGE_RIGHTHOISTWAYEDGE_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (rightplatformedge_righthoistwaywall ?x) (- (opening_hoistway_right
?x) (carreturnright ?x))))))
(define-frame SAFETY1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (=< (platformw (platform ?x)) 93) (= (model-id (safety ?x))
"safety_b1")))))
(define-frame SAFETY2
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (and (>= (platformw (platform ?x)) 93) (=< (platformw (platform
?x)) 114))
(= (model-id (safety ?x)) "safety_b4")))))
(define-frame SAFETY3
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (> (platformw (platform ?x)) 114) (= (model-id (safety ?x))
"safety_b6")))))
(define-frame SAFETYBEAMBENDMOMENT1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (safetybeambendmoment ?x)
(+ (potentialsafetyload_cartop ?x) (- (safetylbetweenguiderails ?x)
8))))))
(define-frame SAFETYLBETWEENGUIDERAILS1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (safetylbetweenguiderails ?x) (+ (platformw (platform ?x))
(safetyconstant (safety ?x)))))))
(define-frame SAFETYWT1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (safetywt ?x) (+ (* (safetya (safety ?x)) (platformw (platform
?x))) (safetyb (safety ?x)))))))
(define-frame SELECT_INTERCOM_CST
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (cabintercomspec ?x) "yes") (= (model-id (intercom ?x))
"intercom1")))))
(define-frame SELECT_LANTERN_CST
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (cablanternspec ?x) "yes") (= (model-id (lantern ?x))
"lantern1")))))
(define-frame SELECT_PHONE_CST
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (carphonespec ?x) "yes") (= (model-id (phone ?x)) "phone1")))))
(define-frame SELECT_POSITIONIND
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(=> (= (carpositionindicatorspec ?x) "yes") (= (model-id (positionind
?x)) "positionind1")))))
(define-frame SLINGUB_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (slingub ?x) (+ (cabheight ?x) (ub_space ?x))))))
(define-frame SLINGWT1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (slingwt ?x)
(+ (* (slinga (sling ?x)) (platformw (platform ?x)))
(+ (* (slingb (sling ?x)) (stilel ?x)) (slingc (sling ?x))))))))
(define-frame STACKHEIGHT_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (stackheight (counterweightbg ?x)) (* (noofplates (counterweightbg
?x)) 1)))))
(define-frame STACKHEIGHT_RESTRICTION
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(> (stackheight (counterweightbg ?x)) (- (counterwtframeh ?x)
(framethickness ?x))))))
(define-frame STILEL1
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (stilel ?x)
(+ (slingub ?x) (+ (height (crosshead ?x)) (- (platformheight
(platform ?x)) 0.81)))))))
(define-frame SUPPLEMENTWT_OF_CAR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (supplementwt ?x) 0) (=< (supplementwt ?x) 500)))))
(define-frame S_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(member (s ?x) (setof 63 71)))))
(define-frame TOPLANDTOBEAM_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (toplandtobeam ?x) (- (overheadspec ?x) (mroomfloor_to_undermbeam
?x))))))
(define-frame TOTALIMPACTLOAD_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (totalimpactload ?x)
(+ (masswt ?x) (+ (deflsheavewt (deflectorsheave ?x)) (* 2
(suspendedload ?x))))))))
(define-frame TOTALLOAD_LEFTBEAM_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (totalload_leftbeam ?x) (+ (mbeamwt ?x) (impactload_leftbeam ?x))))))
(define-frame TOTALLOAD_RIGHTBEAM_CALC
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(= (totalload_rightbeam ?x) (+ (mbeamwt ?x) (impactload_rightbeam ?x))))))
(define-frame UB_SPACE_OF_ELEVATOR_VALUES
:own-slots (
(INSTANCE-OF constraint)
(CONSTRAINT.EXPRESSION
'(and (>= (ub_space ?x) 12.0) (=< (ub_space ?x) 1000.0)))))
(define-frame UNBALANCED_CABLE_LOAD_CALC
:own-slots (
(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))))))))))))
This Lisp-to-HTML translation was brought to you by
François Gerbaux and Tom Gruber