Ministry of Land, Infrasrtucture and Transport | Korea Agency for Infrastructure Technology Advancement | Space and Design IT Lab | Hanyang University
Open BIM based Technological Environment for Building Design Quality Enhancement
1-2. 설계품질검증 자동화를 위한 각종 법규 및 제기준의 체계화된 논리규칙 데이터베이스 구축 - 건축물 설계품질 혁신을 위한 개방형 BIM 기술 환경 구축 | 국토교통부
  Home Welcome to BIM Project Website - Hanyang University
PAGE MENU   MainPage
전체법규 - 법규데이터베이스
- 대한민국 전체 법규 목록
- 설계품질검토 대상 관련법규
대상법규 - 문장 논리규칙체계화
- 조항단위 논리규칙체계
- 문장단위 논리규칙체계
주어부 - 객체.속성 데이터베이스
- 법규로부터의 객체.속성 분류
- 명칭DB: 객체 | 객체및속성
서술부 - 함수 데이터베이스
- 논리규칙화 함수 분류
- 논리규칙화 함수 DB
관계부 - 문장 내.외 관계논리
- 문장 내.외 관계유형분류
- 법규조항관계도:
1차년도 | 2차년도 | 3차년도
- 문장 내.외관계 논리체계화
문장단위 | 체크리스트 단위
KBIMCode 데이터베이스
- KBIMCode Lang. Definition
- KBIMCode Editor
- KBimCode Database:
문장단위 | 조항단위
- KBimLogic Applications
 
     HOME
법규 문장 내.외 관계논리 체계화 - 법규조항간 문장 관계

2688  건축법 시행령34조   직통계단의 설치   4항          KBimCode 내보내기

상위 법규문장 ID 15269   최상위 법규조항 ID 15267  
④ 준초고층 건축물에는 피난층 또는 지상으로 통하는 직통계단과 직접 연결되는 피난안전구역을 해당 건축물 전체 층수의 2분의 1에 해당하는 층으로부터 상하 5개층 이내에 1개소 이상 설치하여야 한다. 다만, 국토교통부령으로 정하는 기준에 따라 피난층 또는 지상으로 통하는 직통계단을 설치하는 경우에는 그러하지 아니하다. <신설 2011.12.30., 2013.3.23.>

// 건축법 시행령 34조 (직통계단의 설치) 4항 check(EDBA_34_4){           IF !CS THEN KS ENDIF } CS{           Stair myStair{                     isObjectProperty(Stair.isDirect) = TRUE           }           Floor myFloor{                     isObjectProperty(Floor.isEscape) = TRUE           }           isDirectlyAccessible(myStair, myFloor) = TRUE           OR isDirectlyAccessible(myStair, Ground) = TRUE }                      KS{           isObjectProperty(Building.isQuasiHighriseBuilding) = TRUE           Stair myStair{                     isObjectProperty(Stair.isDirect) = TRUE                          }           Zone myZone{                     isObjectProperty(Zone.isEgressSafetyZone) = TRUE           }           Floor myFloor{                     isObjectProperty(Floor.isEscape) = TRUE           } isGoThrough(myFloor, myZone, myStair) = TRUE           OR isGoThrough(myFloor, Ground, myStair) = TRUE           (getBuildingStoriesCount()/2)-5 < getFloorNumber(myZone) getFloorNumber(myZone) < (getBuildingStoriesCount()/2)+5 }
      관계유형  
    L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 2689  건축법 시행령  34 조   5항      

"⑤ 제3항 및 제4항에 따른 피난안전구역의 규모와 설치기준은 국토교통부령으로 정한다. <신설 2009.7.16., 2011.12.30., 2013.3.23.>"

// 건축법 시행령 34조 (직통계단의 설치) 5항
check(EDBA_34_5){
          getResult(REFB_8_1) = TRUE
          getResult(REFB_8-2_1) = TRUE
          getResult(REFB_8-2_2) = TRUE
          getResult(REFB_8-2_3) = TRUE
}

L 특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계 1479  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  15 조   7항      

"⑦ 제1항 및 제2항에도 불구하고 영 제34조제4항 후단에 따라 피난층 또는 지상으로 통하는 직통계단을 설치하는 경우 계단 및 계단참의 너비는 다음 각 호의 구분에 따른 기준에 적합하여야 한다. <신설 2012.1.6.>"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15조 (계단의 설치기준) 7항
check(REFP_15_7){
IF CS THEN KS
}

CS{

Floor myFloor{
isObjectProperty(Floor.isEscape)=TRUE
}
isAccessible(Stair,myFloor)
OR isAccessible(Stair,Ground)
}

KS{
getResult(REFP_15_7_1)
OR getResult(REFP_15_7_2)
}

L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 1480  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  15 조   7항   1호    

"1. 공동주택: 120센티미터 이상"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15조 (계단의 설치기준) 7항 1호
check(REFP_15_7_1){
KS
}

KS{
getBuildingUsage() = "MultiUnitHouse"
AND getStairStepWidth >= 1.2M
AND getPaceWidth >= 1.2M
}

L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 1481  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  15 조   7항   2호    

"2. 공동주택이 아닌 건축물: 150센티미터 이상"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15조 (계단의 설치기준) 7항 2호
check(REFP_15_7_2){
KS
}

KS{
getBuildingUsage() != "MultiUnitHouse"
AND getStairStepWidth >= 1.5M
AND getPaceWidth >= 1.5M
}

    L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1344  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  8조의2 조   1항      

"제8조의2(피난안전구역의 설치기준) ① 영 제34조제3항 및 제4항에 따라 설치하는 피난안전구역(이하 "피난안전구역"이라 한다)은 해당 건축물의 1개층을 대피공간으로 하며, 대피에 장애가 되지 아니하는 범위에서 기계실, 보일러실, 전기실 등 건축설비를 설치하기 위한 공간과 같은 층에 설치할 수 있다. 이 경우 피난안전구역은 건축설비가 설치되는 공간과 내화구조로 구획하여야 한다. <개정 2012.1.6.>"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 1항
check(REFB_8-2_1){
     KS1 AND IF CS THEN KS2
}

     Zone myZone{
          isObjectProperty(Zone.isEgressSafetyZone) = TRUE
     }

     Space mySpace{
          hasSpace(Space, FacilitiesOfABuilding)
     }

     Structure myStructure{
          isObjectProperty(Space.isfireResistantStructure) = TRUE
     }

KS1{
     BSC = getBuildingStoriesCount()
     getFloorNumber(myZone) <= BSC
}

CS{
     getFloorNumber(mySpace) = getFloorNumber(myZone)
}

KS2{
     isPartitioned(myZone, myStructure, mySpace) = TRUE
}

 
This is Design IT Lab server's restricted area. Authorized users could access this website.