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

2994  건축법 시행령90조   비상용 승강기의 설치   1항   2호        KBimCode 내보내기

상위 법규문장 ID 3903   최상위 법규조항 ID 15287  
2. 높이 31미터를 넘는 각 층의 바닥면적 중 최대 바닥면적이 1천500제곱미터를 넘는 건축물: 1대에 1천500제곱미터를 넘는 3천 제곱미터 이내마다 1대씩 더한 대수 이상

//건축법 시행령 90조 (비상용 승강기의 설치) 1항2호
Check(EDBA_1_2){
IF CS THEN KS
}

Floor myFloor{
getObjectHeight(Floor)>31 m
}

CS{
getFloorArea(myFloor)>1500 m2
}

KS{
FA=getFloorArea(myFloor) //FA means floor area
IF FA>=4500 m2
THEN {(FA-1500)/3000}+1 < getObjectCount(EmergencyElevator)
getObjectCount(EmergencyElevator) < {(FA-1500)/3000}+2
END IF



}
      관계유형  
    L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 2991  건축법 시행령  89 조        

"[전문개정 2008.10.29.]"

//건축법 시행령 90조 (비상용 승강기의 설치) 1항2호
Check(EDBA_1_2){
IF CS THEN KS
}

Floor myFloor{
getObjectHeight(Floor)>31 m
}

CS{
getFloorArea(myFloor)>1500 m2
}

KS{
FA=getFloorArea(myFloor) //FA means floor area
IF FA>=4500 m2
THEN {(FA-1500)/3000}+1 < getObjectCount(EmergencyElevator)
getObjectCount(EmergencyElevator) < {(FA-1500)/3000}+2
END IF



}

L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2993  건축법 시행령  90 조   1항   1호    

"1. 높이 31미터를 넘는 각 층의 바닥면적 중 최대 바닥면적이 1천500제곱미터 이하인 건축물: 1대 이상"

//건축법 시행령 90조 (비상용 승강기의 설치) 1항 1호
Check(EDBA_90_1_1){
     IF CS THEN KS
}

CS{
     Floor myFloor{
          getObjectHeight(myFloor) > 31 m
     }

     getFloorArea(myFloor) <= 1500 m2
}

KS{
     isExist(Elevator.isEmergency) = TRUE
}

L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2994  건축법 시행령  90 조   1항   2호    

"2. 높이 31미터를 넘는 각 층의 바닥면적 중 최대 바닥면적이 1천500제곱미터를 넘는 건축물: 1대에 1천500제곱미터를 넘는 3천 제곱미터 이내마다 1대씩 더한 대수 이상"

//건축법 시행령 90조 (비상용 승강기의 설치) 1항2호
Check(EDBA_1_2){
IF CS THEN KS
}

Floor myFloor{
getObjectHeight(Floor)>31 m
}

CS{
getFloorArea(myFloor)>1500 m2
}

KS{
FA=getFloorArea(myFloor) //FA means floor area
IF FA>=4500 m2
THEN {(FA-1500)/3000}+1 < getObjectCount(EmergencyElevator)
getObjectCount(EmergencyElevator) < {(FA-1500)/3000}+2
END IF



}

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 2991  건축법 시행령  89 조        

"[전문개정 2008.10.29.]"
L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2993   건축법 시행령  90 조   1항   1호    

"1. 높이 31미터를 넘는 각 층의 바닥면적 중 최대 바닥면적이 1천500제곱미터 이하인 건축물: 1대 이상"

//건축법 시행령 90조 (비상용 승강기의 설치) 1항 1호
Check(EDBA_90_1_1){
     IF CS THEN KS
}

CS{
     Floor myFloor{
          getObjectHeight(myFloor) > 31 m
     }

     getFloorArea(myFloor) <= 1500 m2
}

KS{
     isExist(Elevator.isEmergency) = TRUE
}

L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2994   건축법 시행령  90 조   1항   2호    

"2. 높이 31미터를 넘는 각 층의 바닥면적 중 최대 바닥면적이 1천500제곱미터를 넘는 건축물: 1대에 1천500제곱미터를 넘는 3천 제곱미터 이내마다 1대씩 더한 대수 이상"

//건축법 시행령 90조 (비상용 승강기의 설치) 1항2호
Check(EDBA_1_2){
IF CS THEN KS
}

Floor myFloor{
getObjectHeight(Floor)>31 m
}

CS{
getFloorArea(myFloor)>1500 m2
}

KS{
FA=getFloorArea(myFloor) //FA means floor area
IF FA>=4500 m2
THEN {(FA-1500)/3000}+1 < getObjectCount(EmergencyElevator)
getObjectCount(EmergencyElevator) < {(FA-1500)/3000}+2
END IF



}

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 2991   건축법 시행령  89 조        

"[전문개정 2008.10.29.]"
L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2993   건축법 시행령  90 조   1항   1호    

"1. 높이 31미터를 넘는 각 층의 바닥면적 중 최대 바닥면적이 1천500제곱미터 이하인 건축물: 1대 이상"

//건축법 시행령 90조 (비상용 승강기의 설치) 1항 1호
Check(EDBA_90_1_1){
     IF CS THEN KS
}

CS{
     Floor myFloor{
          getObjectHeight(myFloor) > 31 m
     }

     getFloorArea(myFloor) <= 1500 m2
}

KS{
     isExist(Elevator.isEmergency) = TRUE
}

L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2994   건축법 시행령  90 조   1항   2호    

"2. 높이 31미터를 넘는 각 층의 바닥면적 중 최대 바닥면적이 1천500제곱미터를 넘는 건축물: 1대에 1천500제곱미터를 넘는 3천 제곱미터 이내마다 1대씩 더한 대수 이상"

//건축법 시행령 90조 (비상용 승강기의 설치) 1항2호
Check(EDBA_1_2){
IF CS THEN KS
}

Floor myFloor{
getObjectHeight(Floor)>31 m
}

CS{
getFloorArea(myFloor)>1500 m2
}

KS{
FA=getFloorArea(myFloor) //FA means floor area
IF FA>=4500 m2
THEN {(FA-1500)/3000}+1 < getObjectCount(EmergencyElevator)
getObjectCount(EmergencyElevator) < {(FA-1500)/3000}+2
END IF



}

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