//건축물의 설비기준 등에 관한 규칙 10조 (비상용승강기의 승강장 및 승강로의 구조) 3호 가목 Check(RFB_10_0_3_가){ KS } KS{ Elevator myElevator{ isObjectProperty(Elevator.isEmergency)=TRUE } isObjectProperty(myElevator.ElevatorShaft.isFirePartition)=TRUE }
Python Code 변환 예정