바. 승강장의 바닥면적은 비상용승강기 1대에 대하여 6제곱미터 이상으로 할 것. 다만, 옥외에 승강장을 설치하는 경우에는 그러하지 아니하다.
//건축물의 설비기준 등에 관한 규칙 10조 (비상용승강기의 승강장 및 승강로의 구조) 2호 바목
Check(RFB_10_0_2_바){
IF !CS THEN KS
}
Elevator myElevator{
isObjectProperty(Elevator.isEmergency)=TRUE
}
CS{
isExternal(myElevator.Platform) = TRUE
}
KS{
EN = getObjectProperty(Elevator.numberOf)
getObjectProperty(myElevator.Platform.area) >= EN*6
}