// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 14조 (방화구획의 설치기준) 3항 4호 Check(REFB_14_3_4){ KS } KS{ getObjectVerticalDistance(Ladder, Floor.LowerFloor.FloorSlab.Surface, a)<= 50 cm }
//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 25조 (지하층의 구조) 2항 4호 check(REFB_25_2_4){ IF CS THEN KS } CS{ Door myDoor{ Door.functionType = "Emergency" Door.Floor.number < 0 } Floor myFloor{ Floor.number < 0 } getObjectVerticalDistance(myFloor, myDoor) >= 1.2 m } KS{ isConnectedTo(Wall, Ladder) = TRUE getObjectProperty(Ladder.footholdWidth) >= 20 cm }
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 4조 (수원) 4항 3호 Check(NFSC503A_4_4_3){ IF CS THEN KS } CS{ getObjectVerticalLocation(Tank.TopSurface, FloorSlab) = TRUE } KS{ isInstalled(Ladder, Tank.SideSurface) = TRUE isObjectProperty(Ladder.isFixed) = TRUE }