3. 피난용승강기 기계실의 구조

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 3호 가목 check(REFB_30_0_3_가){ KS } KS{      FloorSlab myFloorSlab{      isFireResistantStructure(FloorSlab) = TRUE }      Wall myWall{      isFireResistantStructure(Wall) = TRUE }      Door myDoor{      isObjectProperty(Door.isEntrance) = TRUE      }      Object myElement{           getObject(Space.Object) - getObject(myDoor)      }      isPartitioned(myElement, , myFloorSlab) = TRUE      isPartitioned(myElement, , myWall) = TRUE }

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 3호 나목
check(REFB_30_0_3_나){
KS
}
KS{
     Door myDoor{
     isObjectProperty(Door.isEntrance) = TRUE
     }
     isObjectProperty(myDoor.isStrictFireproofDoor) = TRUE
}