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
법규 문장 내.외 관계논리 체계화 - 법규조항간 문장 관계

12906  주택건설기준 등에 관한 규정15조   승강기등   4항          KBimCode 내보내기

④제1항 또는 제2항의 규정에 의한 승용승강기 또는 비상용승강기로서 제3항 각호의 기준에 적합한 것은 화물용승강기로 겸용할 수 있다.

//주택건설기준 등에 관한 규정 15조 (승강기등) 4항
Check(RHC_15_4){
     IF CS THEN KS
}

CS{
     Elevator myElevator{
          isObjectProperty(Elevator.isEmergency) = TRUE
          OR getObjectProperty(Elevator.usage) = "PassengerElevator"
     }

     getResult(RHC_15_1) = TRUE
     getResult(RHC_15_2) = TRUE
     getResult(RHC_15_3_1) = TRUE
     getResult(RHC_15_3_2) = TRUE
     getResult(RHC_15_3_3) = TRUE
     getResult(RHC_15_3_4) = TRUE
}

KS{
     Elevator myElevator{
          isObjectProperty(Elevator.isEmergency) = TRUE
          OR getObjectProperty(Elevator.usage) = "PassengerElevator"
     }

     Elevator myElevator2{
          getObjectProperty(Elevator.usage) = "FreightElevator"
     }

     isReplaced(myElevator2, myElevator) = TRUE
}
      관계유형  
    L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 12899  주택건설기준 등에 관한 규정  15 조   1항      

"제15조(승강기등) ①6층 이상인 공동주택에는 국토교통부령이 정하는 기준에 따라 대당 6인승 이상인 승용승강기를 설치하여야 한다. 다만, 「건축법 시행령」 제89조의 규정에 해당하는 공동주택의 경우에는 그러하지 아니하다. <개정 1992.5.30., 1994.12.23., 1994.12.30., 1999.9.29., 2005.6.30., 2008.2.29., 2013.3.23.>"

//주택건설기준 등에 관한 규정 15조 (승강기등) 1항
Check(RHC_15_1){
     getResult(RHC_15_5) = TRUE AND IF (CS1 AND !CS2) THEN KS
}

CS1{
     getBuildingUsage() = "MultiUnitHouse"
     getBuildingStoriesCount() >= 6
}

CS2{
     getBuildingStoriesCount = 6
     
     Stair myStair{
          isObjectProperty(Stair.isDirect) = TRUE
     }

     getFloorArea() = FA
     FA / 300 = FA2
     getIntegeralNumber(FA2) = FA3
     getObjectCount(myStair) >= FA3
}

KS{
     Elevator myElevator{
          getObjectProperty(Elevator.occupancy) >= 6
     }

     isExist(myElevator) = TRUE
}

L 특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계 2990  건축법 시행령  89 조        

"제89조(승용 승강기의 설치) 법 제64조제1항 전단에서 "대통령령으로 정하는 건축물"이란 층수가 6층인 건축물로서 각 층 거실의 바닥면적 300제곱미터 이내마다 1개소 이상의 직통계단을 설치한 건축물을 말한다."

//건축법 시행령 89조 (승용 승강기의 설치)
Check(EDBA_89){
KS
}

KS{
Stair myStair{
isObjectProperty(Stair.isDirect) = TRUE
}
getBuildingStoriesCount() = 6
isExist(myStair) = TRUE
}

    L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 12900  주택건설기준 등에 관한 규정  15 조   2항      

"②10층 이상인 공동주택의 경우에는 제1항의 승용승강기를 비상용승강기의 구조로 하여야 한다. <개정 2007.7.24.>"

//주택건설기준 등에 관한 규정 15조 (승강기등) 2항
Check(RHC_15_2){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "MultiUnitHouse"
     getBuildingStoriesCount() >= 10
}

KS{
     Elevator myElevator{
          getObjectProperty(Elevator.cooupancy) >= 6
          isObjectProperty(Elevator.isEmergency) = TRUE
     }

     isExist(myElevator) = TRUE
}

    L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 12901  주택건설기준 등에 관한 규정  15 조   3항      

"③7층 이상인 공동주택에는 이사짐등을 운반할 수 있는 다음 각호의 기준에 적합한 화물용승강기를 설치하여야 한다. <개정 1993.9.27., 2001.4.30.>"

//주택건설기준 등에 관한 규정 15조 (승강기등) 3항
Check(RHC_15_3){
     getResult(RHC_15_5) = TRUE AND IF CS THEN KS
}

CS{
     getBuildingUsage() = "MultiUnitHouse"
     getBuildingStoriesCount() >= 7
}

KS{
     getResult(RHC_15_3_1) = TRUE
     getResult(RHC_15_3_2) = TRUE
     getResult(RHC_15_3_3) = TRUE
     getResult(RHC_15_3_4) = TRUE
}

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 12902  주택건설기준 등에 관한 규정  15 조   3항   1호    

"1. 적재하중이 0.9톤 이상일 것"

// 주택건설기준 등에 관한 규정 15조 (승강기등) 3항 1호
Check(RHC_15_3_1){
     KS
}

KS{
     getObjectProperty(Elevator.loadingCapacity) >= 0.9
}

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 12903  주택건설기준 등에 관한 규정  15 조   3항   2호    

"2. 승강기의 폭 또는 너비중 한변은 1.35미터 이상, 다른 한변은 1.6미터 이상일 것"

//주택건설기준 등에 관한 규정 15조 (승강기등) 3항 2호
Check(RHC_15_3_2){
     KS
}

KS{
     Elevator myElevator{
          getObjectProperty(Elevator.usage) = "FreightElevator"
     }

     (getObjectWidth(myElevator) >= 1.35m
     getObjectDepth(myElevator) >= 1.6m)
     OR(getObjectWidth(myElevator) >= 1.6m
     getObjectDepth(myElevator) >= 1.35m)
}

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 12904  주택건설기준 등에 관한 규정  15 조   3항   3호    

"3. 계단실형인 공동주택의 경우에는 계단실마다 설치할 것"

//주택건설기준 등에 관한 규정 15조 (승강기등) 3항 3호
Check(RHC_15_3_3){
     IF CS THEN KS
}

CS{
     
}

KS{
     Elevator myElevator{
          getObjectProperty(Elevator.usage) = "FreightElevator"
     }

     isInstalled(myElevator, Stair.Space) = TRUE
}

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 12905  주택건설기준 등에 관한 규정  15 조   3항   4호    

"4. 복도형인 공동주택의 경우에는 100세대까지 1대를 설치하되, 100세대를 넘는 경우에는 100세대마다 1대를 추가로 설치할 것"

//주택건설기준 등에 관한 규정 15조 (승강기등) 3항 4호
Check(RHC_15_3_4){
     IF CS THEN KS
}

CS{
     
}

KS{
     Elevator myElevator{
          getObjectProperty(Elevator.usage) = "FreightElevator"
     }

     getObjectCount(myElevator) = ELV
     100*n <= getObjectProperty(Building.numberOfHousehold) <100*(n+1)
     n <= ELV
}
 
This is Design IT Lab server's restricted area. Authorized users could access this website.