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

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

상위 법규문장 ID 15298   최상위 법규조항 ID 15298  
③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.