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

2774  건축법 시행령48조   계단ㆍ복도 및 출입구의 설치   2항          KBimCode 내보내기

상위 법규문장 ID 15276   최상위 법규조항 ID 15267  
② 법 제49조제2항에 따라 제39조제1항 각 호의 어느 하나에 해당하는 건축물의 출입구는 국토교통부령으로 정하는 기준에 적합하여야 한다. <개정 2013.3.23.>

//건축법 시행령 48조 (계단ㆍ복도 및 출입구의 설치)2항

Check(EDBA_48_2){
IF CS THEN KS
}

CS{
getResult(EDBA_39_1_1)=True
OR getResult(EDBA_39_1_2)=True
OR getResult(EDBA_39_1_3)=True
OR getResult(EDBA_39_1_4)=True
OR getResult(EDBA_39_1_5)=True
OR getResult(EDBA_39_1_6)=True
OR getResult(EDBA_39_1_7)=True
OR getResult(EDBA_39_1_8)=True
OR getResult(EDBA_39_1_9)=True
OR getResult(EDBA_39_1_10)=True
}

KS{
getResult(REFB_11_1)=True
getResult(REFB_11_2)=True
getResult(REFB_11_3)=True
getResult(REFB_11_4)=True
getResult(REFB_11_5)=True
getResult(REFB_11_6)=True
}
      관계유형  
    L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 2713  건축법 시행령  39 조   1항      

"제39조(건축물 바깥쪽으로의 출구 설치) ① 법 제49조제1항에 따라 다음 각 호의 어느 하나에 해당하는 건축물에는 국토교통부령으로 정하는 기준에 따라 그 건축물로부터 바깥쪽으로 나가는 출구를 설치하여야 한다. <개정 2013.3.23., 2014.3.24.>"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항

Check(EDBA_39_1){      
IF CS THEN KS
}

CS {
getResult(EDBA_39_1_1) = TRUE
OR getResult(EDBA_39_1_2) = TRUE
OR getResult(EDBA_39_1_3) = TRUE
OR getResult(EDBA_39_1_4) = TRUE
OR getResult(EDBA_39_1_5) = TRUE
OR getResult(EDBA_39_1_6) = TRUE
OR getResult(EDBA_39_1_7) = TRUE
OR getResult(EDBA_39_1_8) = TRUE
OR getResult(EDBA_39_1_9) = TRUE
OR getResult(EDBA_39_1_10) = TRUE
}

KS {
Door myDoor{
isObjectProperty(Door.isEntrance)=TRUE
}

isExist(myDoor)=TRUE

getResult(REFB_11_1)=TRUE
getResult(REFB_11_2)=TRUE
getResult(REFB_11_3)=TRUE
getResult(REFB_11_4)=TRUE
getResult(REFB_11_5)=TRUE
getResult(REFB_11_6)=TRUE

}


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

"1. 제2종 근린생활시설 중 공연장ㆍ종교집회장ㆍ인터넷컴퓨터게임시설제공업소(해당 용도로 쓰는 바닥면적의 합계가 각각 300제곱미터 이상인 경우만 해당한다)"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 1호

Check(EDBA_39_1_1){      
KS }

KS {

Building myBuilding{
getBuildingUsage() = “PerformanceHall”
OR getBuildingUsage() = “ReligiousAssemblyFacility ”
OR getBuildingUsage() = “FacilityForProvidingInternetComputerGameService”
}

Space mySpace{
Space.usage = “PerformanceHall”
OR Space.usage = “ReligiousAssemblyFacility ”
OR Space.usage = “FacilityForProvidingInternetComputerGameService”
}

IF isExist(myBuilding) THEN mySpace.FloorSlab.area >= 300 m2

}

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

"⑥법 제39조제1항에 따라 영 제39조제1항 각 호의 어느 하나에 해당하는 건축물의 바깥쪽으로 나가는 출입문에 유리를 사용하는 경우에는 안전유리를 사용하여야 한다. <신설 2006.6.29.>"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 6항
Check(REFB_11_6){   
KS
}

KS{
Door myDoor{
isObjectProperty(Door.isEntrance)=TRUE
}
IF getObjectMaterial(myDoor)="Glass"
THEN getObjectType(Glass)="Safety"

}

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

"2. 문화 및 집회시설(전시장 및 동ㆍ식물원은 제외한다)"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 2호

Check(EDBA_39_1_2){      
KS
}

KS {

Building myBuilding{
getBuildingUsage() = “CulturalAndAssemblyFacility”
getBuildingUsage() != “ExhibitionHall”
getBuildingUsage() != “ZoologicalAndBotanicalGarden”
}

isExist(myBuliding) = TRUE

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

"3. 종교시설"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 3호

Check(EDBA_39_1_3){      
KS
}

KS {
Building myBuilding{
getBuildingUsage() = “ReligiousFacility”
}

isExist(myBuliding) = TRUE
}
L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2717  건축법 시행령  39 조   1항   4호    

"4. 판매시설"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 4호

Check(EDBA_39_1_4){      
KS
}

KS {
Building myBuilding{
getBuildingUsage() = “CommercialFacility”
}

isExist(myBuliding) = TRUE
}
L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2718  건축법 시행령  39 조   1항   5호    

"5. 업무시설 중 국가 또는 지방자치단체의 청사"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 5호

Check(EDBA_39_1_5){      
KS
}

KS {
Building myBuilding{
getBuildingUsage() = “BusinessFacility.GovernmentOfficeBuilding”
}

isExist(myBuliding) = TRUE
}
L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2720  건축법 시행령  39 조   1항   7호    

"7. 연면적이 5천 제곱미터 이상인 창고시설"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 7호

Check(EDBA_39_1_7){      
KS
}


KS {
Building myBuilding{
getBuildingUsage() = “Warehouse”
Building.grossFloorArea >= 5000 m2
}

isExist(myBuliding) = TRUE
}
L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2721  건축법 시행령  39 조   1항   8호    

"8. 교육연구시설 중 학교"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 8호 Check(EDBA_39_1_8){   KS } KS { Building myBuilding{ getBuildingUsage() = “EducationAndResearchFacility.School” } isExist(myBuliding) = TRUE }

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

"9. 장례식장"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 9호

Check(EDBA_39_1_9){      
KS }

KS {
Building myBuilding{
getBuildingUsage() = “FuneralParlor”
}

isExist(myBuliding) = TRUE
}
L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2723  건축법 시행령  39 조   1항   10호    

"10. 승강기를 설치하여야 하는 건축물"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 10호

Check(EDBA_39_1_10){      
KS
}


KS {
Building myBuilding{
hasObject(Building, Elevator)
}

isExist(myBuliding) = TRUE
}
L 특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계 1392  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  11 조   1항      

"제11조(건축물의 바깥쪽으로의 출구의 설치기준) ①영 제39조제1항의 규정에 의하여 건축물의 바깥쪽으로 나가는 출구를 설치하는 경우 피난층의 계단으로부터 건축물의 바깥쪽으로의 출구에 이르는 보행거리(가장 가까운 출구와의 보행거리를 말한다. 이하 같다)는 영 제34조제1항의 규정에 의한 거리이하로 하여야 하며, 거실(피난에 지장이 없는 출입구가 있는 것을 제외한다)의 각 부분으로부터 건축물의 바깥쪽으로의 출구에 이르는 보행거리는 영 제34조제1항의 규정에 의한 거리의 2배 이하로 하여야 한다."

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 1항

Check(REFB_11_1){      
IF CS THEN KS1 AND KS2
}

CS {
Door myDoor{
     isObjectProperty(Door.isEntrance)=TRUE
}
isExist(myDoor)
}

KS1 {
Floor myFloor{
     isObjectProperty(Floor.isEscape)=TRUE
}

getObjectDistance(myFloor.Stair, myDoor,a) <= EDBA_34_1.distance

}

KS2 {

getObjectDistance(Room, myDoor) <= (EDBA_34_1.distance)*2

}


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

"제34조(직통계단의 설치) ① 건축물의 피난층(직접 지상으로 통하는 출입구가 있는 층 및 제3항과 제4항에 따른 피난안전구역을 말한다. 이하 같다) 외의 층에서는 피난층 또는 지상으로 통하는 직통계단(경사로를 포함한다. 이하 같다)을 거실의 각 부분으로부터 계단(거실로부터 가장 가까운 거리에 있는 계단을 말한다)에 이르는 보행거리가 30미터 이하가 되도록 설치하여야 한다. 다만, 건축물(지하층에 설치하는 것으로서 바닥면적의 합계가 300제곱미터 이상인 공연장ㆍ집회장ㆍ관람장 및 전시장은 제외한다)의 주요구조부가 내화구조 또는 불연재료로 된 건축물은 그 보행거리가 50미터(층수가 16층 이상인 공동주택은 40미터) 이하가 되도록 설치할 수 있으며, 자동화 생산시설에 스프링클러 등 자동식 소화설비를 설치한 공장으로서 국토교통부령으로 정하는 공장인 경우에는 그 보행거리가 75미터(무인화 공장인 경우에는 100미터) 이하가 되도록 설치할 수 있다. <개정 2009.7.16., 2010.2.18., 2011.12.30., 2013.3.23.>"

// 건축법 시행령 34조 (직통계단의 설치) 1항

Check(EDBA_34_1){
KS
}

KS{
Floor myFloor{
isObjectProperty(Floor.isEscape) = TRUE
}

Space mySpace{
getObjectProperty(Space.usage)="PerformanceHall"
OR getObjectProperty(Space.usage)="AssemblyHall"
OR getObjectProperty(Space.usage)="Auditorium"     
OR getObjectProperty(Space.usage)="ExhibitionHall"
}

Door myDoor{
isDirectlyAccessible(Door, Ground)=TRUE
}

Stair myStair{
isObjectProperty(Stair.isDirect)=TRUE
isAccessible(Stair,myFloor)=TRUE
OR isAccessible(Stair,Ground)=TRUE
}

Ramp myRamp{
isAccessible(Ramp,myFloor)=TRUE
OR isAccessible(Ramp,Ground)=TRUE
}

Floor myFloor2{
isObjectProperty(Floor.isEscape)=FALSE
OR hasObject(Floor, myDoor)=FALSE
}

     Zone myZone{

          isDirectlyAccessible(myStair, Zone)=FALSE

     }



IF

     getFloorNumber(mySpace)>0

     getFloorArea(mySpace)<=300 m2

     isFireResistantStructure(MainStructuralPart)=TRUE

     OR isObjectProperty(MainStructuralPart.Material.nonCombustibility)=TRUE

     THEN IF getBuildingStoriesCount()>=16

      getBuildingUsage()="MultiUnitHouse"

      THEN ED= 40

     ELSE THEN ED=50

     END IF



ELSE IF

     getBuildingUsage() = "Factory"

     isExist(ExtinguishingSystem)=TRUE

     isObjectProperty(ExtinguishingSystem.isAutomatic)=TRUE

     getResult(REFB_8_2)=TRUE

     THEN IF      getBuildingUsage() = "UnmannedFactory"

               THEN ED=100

     ELSE THEN ED=75

     END IF



ELSE THEN ED=30

     END IF



     (hasObject(myFloor,myStair)=TRUE

     hasObject(myZone, myStair)=TRUE

     getObjectDistance(Room,myStair, 1)<=ED)

     OR

     (hasObject(myFloor,myRamp)=TRUE

     hasObject(myZone, myRamp)=TRUE

     getObjectDistance(Room,myRamp, 1)<=ED)

}

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

"② 영 제34조제1항 단서에서 "국토교통부령으로 정하는 공장"이란 반도체 및 디스플레이 패널을 제조하는 공장을 말한다. <신설 2010.4.7., 2013.3.23.>"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조 (직통계단의 설치기준) 2항 Check(REFB_8_2){ getObjectProperty(Building.usage)=“Factory.SemiconductorAndDisplayPanelManufacturingFactory＂ }

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

"③ 초고층 건축물에는 피난층 또는 지상으로 통하는 직통계단과 직접 연결되는 피난안전구역(건축물의 피난ㆍ안전을 위하여 건축물 중간층에 설치하는 대피공간을 말한다. 이하 같다)을 지상층으로부터 최대 30개 층마다 1개소 이상 설치하여야 한다. <신설 2009.7.16., 2011.12.30.>"

// 건축법 시행령 제 34조 (직통계단의 설치) 3항 check(EDBA_34_3){           IF CS THEN KS ENDIF } CS{ isObjectProperty(Building.isHighriseBuilding) = TRUE } KS{           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           getObjectCount(myZone) >= getBuildingStoriesCount()/30 }

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

"제8조(직통계단의 설치기준) ①영 제34조에 따른 직통계단의 출입구는 피난에 지장이 없도록 일정한 간격을 두어 설치하고, 각 직통계단 상호간에는 각각 거실과 연결된 복도등 통로를 설치하여야 한다. <개정 2010.4.7.>"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조 (직통계단의 설치기준) 1항 Check(REFB_8_1){ Stair myStair{ isObjectProperty(Stair.isDirect)=TRUE } Passage myPassage{ isConnectedTo(Room, Passage)=TRUE }      isExist(myPassage)=TRUE isConnectedTo(myStair,myPassage)=TRUE }

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
}
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1345   건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  8조의2 조   2항      

"② 피난안전구역에 연결되는 특별피난계단은 피난안전구역을 거쳐서 상ㆍ하층으로 갈 수 있는 구조로 설치하여야 한다."

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 2항 Check(REFB_8-2_2){ Zone myZone{ isObjectProperty(Zone.isEgressSafetyZone)=TRUE } Stair myStair{ isObjectProperty(Stair.isSpecialEscape)=TRUE isAccessible(myZone, Stair)=TRUE } Floor myFloor{ Floor.number>getFloorNumber(myZone) OR Floor.number
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1346   건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  8조의2 조   3항      

"③ 피난안전구역의 구조 및 설비는 다음 각 호의 기준에 적합하여야 한다. <개정 2012.1.6., 2014.11.19.>"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 3항
Check(REFB_8-2_3){

getResult(REFB_8-2_3_2)=TRUE
getResult(REFB_8-2_3_3)=TRUE
getResult(REFB_8-2_3_4)=TRUE
getResult(REFB_8-2_3_5)=TRUE
getResult(REFB_8-2_3_6)=TRUE
getResult(REFB_8-2_3_7)=TRUE
getResult(REFB_8-2_3_8)=TRUE
getResult(REFB_8-2_3_9)=TRUE
}

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

"1. 피난안전구역의 바로 아래층 및 윗층은 「건축물의 설비기준 등에 관한 규칙」 제21조제1항제1호에 적합한 단열재를 설치할 것. 이 경우 아래층은 최상층에 있는 거실의 반자 또는 지붕 기준을 준용하고, 윗층은 최하층에 있는 거실의 바닥 기준을 준용할 것"
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1348   건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  8조의2 조   3항   2호    

"2. 피난안전구역의 내부마감재료는 불연재료로 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항2호
check(REFB_8-2_3_2){

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

isObjectProperty(myZone.InteriorFinish.nonCombustibility)=TRUE
}

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

"3. 건축물의 내부에서 피난안전구역으로 통하는 계단은 특별피난계단의 구조로 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항3호
check(REFB_8-2_3_3){

Stair myStair{
isExternal(Stair)=FALSE
isAccessible(myZone, Stair)=TRUE
}
isObjectProperty(Stair.isSpecialEscape)=TRUE

}

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

"4. 비상용 승강기는 피난안전구역에서 승하차 할 수 있는 구조로 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항4호
check(REFB_8-2_3_4){

Elevator myElevator{
isObjectProperty(Elevator.isEmergency)=TRUE
}

isDirectlyAccessible(myZone, myElevator)=TRUE
}

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

"5. 피난안전구역에는 식수공급을 위한 급수전을 1개소 이상 설치하고 예비전원에 의한 조명설비를 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항5호
check(REFB_8-2_3_5){
hasObject(myZone,Hydrant)=True
hasObject(myZone,LightingSystem)=TRUE
}

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

"6. 관리사무소 또는 방재센터 등과 긴급연락이 가능한 경보 및 통신시설을 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항6호
check(REFB_8-2_3_6){
hasObject(myZone, WarningAndCommunicationFacility)=TRUE
}

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

"7. 별표 1의2에서 정하는 기준에 따라 산정한 면적 이상일 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항7호
check(REFB_8-2_3_7){
getResult(REFB_*_1-2)=TRUE
}

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

"8. 피난안전구역의 높이는 2.1미터 이상일 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항8호
check(REFB_8-2_3_8){
getSpaceHeight(myZone)>=2.1 m
}

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

"9. 「건축물의 설비기준 등에 관한 규칙」 제14조에 따른 배연설비를 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항9호
check(REFB_8-2_3_9){

isExist(SmokeExhaustionSystem)=TRUE
getResult(RFB_14_2)=TRUE
getResult(RFB_14_2_1)=TRUE
getResult(RFB_14_2_4)=TRUE
}

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

"10. 그 밖에 국민안전처장관이 정하는 소방 등 재난관리를 위한 설비를 갖출 것"
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 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 2688   건축법 시행령  34 조   4항      

"④ 준초고층 건축물에는 피난층 또는 지상으로 통하는 직통계단과 직접 연결되는 피난안전구역을 해당 건축물 전체 층수의 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 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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
}
L 특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계 1343   건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  8 조   2항      

"② 영 제34조제1항 단서에서 "국토교통부령으로 정하는 공장"이란 반도체 및 디스플레이 패널을 제조하는 공장을 말한다. <신설 2010.4.7., 2013.3.23.>"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조 (직통계단의 설치기준) 2항 Check(REFB_8_2){ getObjectProperty(Building.usage)=“Factory.SemiconductorAndDisplayPanelManufacturingFactory＂ }

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

"②영 제39조제1항에 따라 건축물의 바깥쪽으로 나가는 출구를 설치하는 건축물중 문화 및 집회시설(전시장 및 동ㆍ식물원을 제외한다), 종교시설, 장례식장 또는 위락시설의 용도에 쓰이는 건축물의 바깥쪽으로의 출구로 쓰이는 문은 안여닫이로 하여서는 아니된다. <개정 2010.4.7.>"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 2항 Check(REFB_11_2){       IF CS1 AND CS2 THEN KS } CS1 { Building myBuilding{ getBuildingUsage() = “CulturalAndAssemblyFacility” OR getBuildingUsage() = “ReligiousFacility” OR getBuildingUsage() = “AmusementFacility” OR getBuildingUsage() = “FuneralParlor” getBuildingUsage() != “ExhibitionHall” getBuildingUsage() != “ZoologicalAndBotanicalGarden” } Door myDoor{ isObjectProperty(myBuilding.Door.isEntrance)=TRUE } isExist(myDoor) = TRUE } KS { getObjectProperty(myDoor.panelOperationType) != “OpeningInDoor” }

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

"③영 제39조제1항의 규정에 의하여 건축물의 바깥쪽으로 나가는 출구를 설치하는 경우 관람석의 바닥면적의 합계가 300제곱미터 이상인 집회장 또는 공연장에 있어서는 주된 출구외에 보조출구 또는 비상구를 2개소 이상 설치하여야 한다."

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 3항 Check(REFB_11_3){       IF CS1 AND CS2 THEN KS } CS1 { Building myBuilding{ getBuildingUsage() = “AssemblyHall” OR getBuildingUsage() = “PerformanceHall” } Space mySpace{ myBuilding.Space.name = “Auditorium” Space.FloorSlab.area >= 300 m2 } isExist(mySpace) = TRUE } CS2 { Door myDoor{ isObjectProperty(Door.isEntrance)=TRUE } hasObject(myBuilding,myDoor) = TRUE } KS { Door myDoor{ getObjectProperty(Door.functionType) = "Auxiliary" OR getObjectProperty(Door.functionType) = "Emergency" } getObjectCount(myDoor) >=2 }

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

"④판매시설의 용도에 쓰이는 피난층에 설치하는 건축물의 바깥쪽으로의 출구의 유효너비의 합계는 해당 용도에 쓰이는 바닥면적이 최대인 층에 있어서의 해당 용도의 바닥면적 100제곱미터마다 0.6미터의 비율로 산정한 너비 이상으로 하여야 한다. <개정 2010.4.7.>"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 4항
Check(REFB_11_4){      
IF CS THEN KS
}

CS {
Floor myFloor{
getObjectUsage(Floor) = “CommercialFacility”
isObjectProperty(Floor.isEscape)=TRUE
}
Door myDoor{
isObjectProperty(Door.isEntrance)=TRUE
}

hasObject(myFloor,myDoor) = TRUE
}

KS{

myFloor.myDoor.effectiveWidth >=

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

"⑤다음 각 호의 어느 하나에 해당하는 건축물의 피난층 또는 피난층의 승강장으로부터 건축물의 바깥쪽에 이르는 통로에는 제15조제5항에 따른 경사로를 설치하여야 한다. <개정 2010.4.7.>"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 5항
Check(REFB_11_5){      
IF CS1 AND CS2 THEN KS
}

CS1 {
getResult(REFB_11_5_1)=TRUE
OR getResult(REFB_11_5_2)=TRUE
OR getResult(REFB_11_5_3)=TRUE
OR getResult(REFB_11_5_4)=TRUE
OR getResult(REFB_11_5_5)=TRUE
OR getResult(REFB_11_5_6)=TRUE
}

CS2{
Floor myFloor{
     isObjectProperty(Floor.isEscape)=TRUE
}

Passage myPassage{
isDirectlyAccessible(myFloor,Passage) = TRUE
OR isDirectlyAccessible(myFloor.Platform,Passage) = TRUE
isConnectedToExternal(Passage) = TRUE
}

isExist(myPassage)=TRUE
}

KS{
hasObject(myPassage,Ramp)=TRUE
getResult(REFB_15_5)=TRUE
}



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

"1. 제1종 근린생활시설 중 지역자치센터ㆍ파출소ㆍ지구대ㆍ소방서ㆍ우체국ㆍ방송국ㆍ보건소ㆍ공공도서관ㆍ지역건강보험조합 기타 이와 유사한 것으로서 동일한 건축물안에서 당해 용도에 쓰이는 바닥면적의 합계가 1천제곱미터 미만인 것"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 5항 1호 Check(REFB_11_5_1){        KS } KS { Building myBuilding{ getBuildingUsage() = “ClassINeighborhoodLivingFacility.CommunityCenter” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PoliceBox” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PoliceSubstation” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.FireStation” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PostOffice” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.BroadcastingStation” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.HealthCenter” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PublicLibrary” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.RegionalHealthInsuranceAssociation” } Space mySpace{ Space.usage=“CommunityCenter” Space.usage=“PoliceBox” Space.usage=“PoliceSubstation” Space.usage=“FireStation” Space.usage=“PostOffice” Space.usage=“BroadcastingStation” Space.usage=“HealthCenter” Space.usage=“PublicLibrary” Space.usage=“RegionalHealthInsuranceAssociation” Space.FloorSlab.area < 1000 m2 } isExist(myBuilding) = TRUE isExist(mySpace) = TRUE }

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

"2. 제1종 근린생활시설 중 마을회관ㆍ마을공동작업소ㆍ마을공동구판장ㆍ변전소ㆍ양수장ㆍ정수장ㆍ대피소ㆍ공중화장실 기타 이와 유사한 것"

건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 5항 2호 Check(REFB_11_5_2){        KS } KS { Building myBuilding{ getBuildingUsage() = “ClassINeighborhoodLivingFacility.VillageHall” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.CommunityWorkspace” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.CommunitySalesShop” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.Substation” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PumpingStation” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PurificationPlant” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.Shelter” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PublicLibrary” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PublicToilet” } isExist(myBuilding) = TRUE }

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

"3. 연면적이 5천제곱미터 이상인 판매시설, 운수시설"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 5항 3호
Check(REFB_11_5_3){ 젨젨젨
KS
}

KS {
getBuildingUsage() = “CommercialFacility”
OR getBuildingUsage() = “TransportationFacility”
getObjectProperty(Building.grossFloorArea) >= 5000 m2

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

"4. 교육연구시설 중 학교"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 5항 4호 Check(REFB_11_5_4){       KS } KS { Building myBuilding{ getBuildingUsage() = “EducationAndResearchFacility.School” } isExist(myBuliding) = TRUE }

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

"5. 업무시설중 국가 또는 지방자치단체의 청사와 외국공관의 건축물로서 제1종 근린생활시설에 해당하지 아니하는 것"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 5항 5호 Check(REFB_11_5_5){        KS } KS { Building myBuilding{ getBuildingUsage() = “BusinessFacility.GovernmentOfficeBuilding” OR getBuildingUsage() = “BusinessFacility.ForeignOfficialResidence” getBuildingUsage() != “ClassINeighborhoodLivingFacility” } isExist(myBuilding) = TRUE }

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

"6. 승강기를 설치하여야 하는 건축물"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 5항 6호 Check(REFB_11_5_6){ KS } KS { hasObject(Building,Elevator)=TRUE }

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

"⑤계단을 대체하여 설치하는 경사로는 다음 각호의 기준에 적합하게 설치하여야 한다. <개정 2010.4.7.>"

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

CS{
isEixst(Ramp)=TRUE
}
KS {
getResult(REFB_15_5_1)=TRUE
getResult(REFB_15_5_3)=TRUE
}


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

"1. 경사도는 1 : 8을 넘지 아니할 것"

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

KS{
getObjectGradient(Ramp) <= 12.5%
}

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

"2. 표면을 거친 면으로 하거나 미끄러지지 아니하는 재료로 마감할 것"
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1477   건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  15 조   5항   3호    

"3. 경사로의 직선 및 굴절부분의 유효너비는 「장애인ㆍ노인ㆍ임산부등의 편의증진보장에 관한 법률」이 정하는 기준에 적합할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙      15조 (계단의 설치기준) 5항 3호

check(REFB_15_5_3){
IF CS THEN KS
}
CS{
     isInstalled(Ramp, Building) = TRUE
}
KS{
     getResult(unimplemented_CDAPA) = TRUE
}

L 광법위한 하위법규의 검토결과에 따라 상위법규의 검토결과가 정해지는 관계 15676   장애인ㆍ노인ㆍ임산부등의 편의증진보장에 관한 법률  조        

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

"⑥법 제39조제1항에 따라 영 제39조제1항 각 호의 어느 하나에 해당하는 건축물의 바깥쪽으로 나가는 출입문에 유리를 사용하는 경우에는 안전유리를 사용하여야 한다. <신설 2006.6.29.>"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 6항
Check(REFB_11_6){   
KS
}

KS{
Door myDoor{
isObjectProperty(Door.isEntrance)=TRUE
}
IF getObjectMaterial(myDoor)="Glass"
THEN getObjectType(Glass)="Safety"

}

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

"1. 제2종 근린생활시설 중 공연장ㆍ종교집회장ㆍ인터넷컴퓨터게임시설제공업소(해당 용도로 쓰는 바닥면적의 합계가 각각 300제곱미터 이상인 경우만 해당한다)"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 1호

Check(EDBA_39_1_1){      
KS }

KS {

Building myBuilding{
getBuildingUsage() = “PerformanceHall”
OR getBuildingUsage() = “ReligiousAssemblyFacility ”
OR getBuildingUsage() = “FacilityForProvidingInternetComputerGameService”
}

Space mySpace{
Space.usage = “PerformanceHall”
OR Space.usage = “ReligiousAssemblyFacility ”
OR Space.usage = “FacilityForProvidingInternetComputerGameService”
}

IF isExist(myBuilding) THEN mySpace.FloorSlab.area >= 300 m2

}

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

"⑥법 제39조제1항에 따라 영 제39조제1항 각 호의 어느 하나에 해당하는 건축물의 바깥쪽으로 나가는 출입문에 유리를 사용하는 경우에는 안전유리를 사용하여야 한다. <신설 2006.6.29.>"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 6항
Check(REFB_11_6){   
KS
}

KS{
Door myDoor{
isObjectProperty(Door.isEntrance)=TRUE
}
IF getObjectMaterial(myDoor)="Glass"
THEN getObjectType(Glass)="Safety"

}

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

"2. 문화 및 집회시설(전시장 및 동ㆍ식물원은 제외한다)"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 2호

Check(EDBA_39_1_2){      
KS
}

KS {

Building myBuilding{
getBuildingUsage() = “CulturalAndAssemblyFacility”
getBuildingUsage() != “ExhibitionHall”
getBuildingUsage() != “ZoologicalAndBotanicalGarden”
}

isExist(myBuliding) = TRUE

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

"3. 종교시설"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 3호

Check(EDBA_39_1_3){      
KS
}

KS {
Building myBuilding{
getBuildingUsage() = “ReligiousFacility”
}

isExist(myBuliding) = TRUE
}
L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2717  건축법 시행령  39 조   1항   4호    

"4. 판매시설"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 4호

Check(EDBA_39_1_4){      
KS
}

KS {
Building myBuilding{
getBuildingUsage() = “CommercialFacility”
}

isExist(myBuliding) = TRUE
}
L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2718  건축법 시행령  39 조   1항   5호    

"5. 업무시설 중 국가 또는 지방자치단체의 청사"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 5호

Check(EDBA_39_1_5){      
KS
}

KS {
Building myBuilding{
getBuildingUsage() = “BusinessFacility.GovernmentOfficeBuilding”
}

isExist(myBuliding) = TRUE
}
L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2719  건축법 시행령  39 조   1항   6호    

"6. 위락시설"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 6호

Check(EDBA_39_1_6){      
KS
}


KS {
Building myBuilding{
getBuildingUsage() = “AmusementFacility”
}

isExist(myBuliding) = TRUE
}
L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2720  건축법 시행령  39 조   1항   7호    

"7. 연면적이 5천 제곱미터 이상인 창고시설"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 7호

Check(EDBA_39_1_7){      
KS
}


KS {
Building myBuilding{
getBuildingUsage() = “Warehouse”
Building.grossFloorArea >= 5000 m2
}

isExist(myBuliding) = TRUE
}
L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2721  건축법 시행령  39 조   1항   8호    

"8. 교육연구시설 중 학교"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 8호 Check(EDBA_39_1_8){   KS } KS { Building myBuilding{ getBuildingUsage() = “EducationAndResearchFacility.School” } isExist(myBuliding) = TRUE }

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

"9. 장례식장"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 9호

Check(EDBA_39_1_9){      
KS }

KS {
Building myBuilding{
getBuildingUsage() = “FuneralParlor”
}

isExist(myBuliding) = TRUE
}
L 특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계 1392  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  11 조   1항      

"제11조(건축물의 바깥쪽으로의 출구의 설치기준) ①영 제39조제1항의 규정에 의하여 건축물의 바깥쪽으로 나가는 출구를 설치하는 경우 피난층의 계단으로부터 건축물의 바깥쪽으로의 출구에 이르는 보행거리(가장 가까운 출구와의 보행거리를 말한다. 이하 같다)는 영 제34조제1항의 규정에 의한 거리이하로 하여야 하며, 거실(피난에 지장이 없는 출입구가 있는 것을 제외한다)의 각 부분으로부터 건축물의 바깥쪽으로의 출구에 이르는 보행거리는 영 제34조제1항의 규정에 의한 거리의 2배 이하로 하여야 한다."

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 1항

Check(REFB_11_1){      
IF CS THEN KS1 AND KS2
}

CS {
Door myDoor{
     isObjectProperty(Door.isEntrance)=TRUE
}
isExist(myDoor)
}

KS1 {
Floor myFloor{
     isObjectProperty(Floor.isEscape)=TRUE
}

getObjectDistance(myFloor.Stair, myDoor,a) <= EDBA_34_1.distance

}

KS2 {

getObjectDistance(Room, myDoor) <= (EDBA_34_1.distance)*2

}


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

"제34조(직통계단의 설치) ① 건축물의 피난층(직접 지상으로 통하는 출입구가 있는 층 및 제3항과 제4항에 따른 피난안전구역을 말한다. 이하 같다) 외의 층에서는 피난층 또는 지상으로 통하는 직통계단(경사로를 포함한다. 이하 같다)을 거실의 각 부분으로부터 계단(거실로부터 가장 가까운 거리에 있는 계단을 말한다)에 이르는 보행거리가 30미터 이하가 되도록 설치하여야 한다. 다만, 건축물(지하층에 설치하는 것으로서 바닥면적의 합계가 300제곱미터 이상인 공연장ㆍ집회장ㆍ관람장 및 전시장은 제외한다)의 주요구조부가 내화구조 또는 불연재료로 된 건축물은 그 보행거리가 50미터(층수가 16층 이상인 공동주택은 40미터) 이하가 되도록 설치할 수 있으며, 자동화 생산시설에 스프링클러 등 자동식 소화설비를 설치한 공장으로서 국토교통부령으로 정하는 공장인 경우에는 그 보행거리가 75미터(무인화 공장인 경우에는 100미터) 이하가 되도록 설치할 수 있다. <개정 2009.7.16., 2010.2.18., 2011.12.30., 2013.3.23.>"

// 건축법 시행령 34조 (직통계단의 설치) 1항

Check(EDBA_34_1){
KS
}

KS{
Floor myFloor{
isObjectProperty(Floor.isEscape) = TRUE
}

Space mySpace{
getObjectProperty(Space.usage)="PerformanceHall"
OR getObjectProperty(Space.usage)="AssemblyHall"
OR getObjectProperty(Space.usage)="Auditorium"     
OR getObjectProperty(Space.usage)="ExhibitionHall"
}

Door myDoor{
isDirectlyAccessible(Door, Ground)=TRUE
}

Stair myStair{
isObjectProperty(Stair.isDirect)=TRUE
isAccessible(Stair,myFloor)=TRUE
OR isAccessible(Stair,Ground)=TRUE
}

Ramp myRamp{
isAccessible(Ramp,myFloor)=TRUE
OR isAccessible(Ramp,Ground)=TRUE
}

Floor myFloor2{
isObjectProperty(Floor.isEscape)=FALSE
OR hasObject(Floor, myDoor)=FALSE
}

     Zone myZone{

          isDirectlyAccessible(myStair, Zone)=FALSE

     }



IF

     getFloorNumber(mySpace)>0

     getFloorArea(mySpace)<=300 m2

     isFireResistantStructure(MainStructuralPart)=TRUE

     OR isObjectProperty(MainStructuralPart.Material.nonCombustibility)=TRUE

     THEN IF getBuildingStoriesCount()>=16

      getBuildingUsage()="MultiUnitHouse"

      THEN ED= 40

     ELSE THEN ED=50

     END IF



ELSE IF

     getBuildingUsage() = "Factory"

     isExist(ExtinguishingSystem)=TRUE

     isObjectProperty(ExtinguishingSystem.isAutomatic)=TRUE

     getResult(REFB_8_2)=TRUE

     THEN IF      getBuildingUsage() = "UnmannedFactory"

               THEN ED=100

     ELSE THEN ED=75

     END IF



ELSE THEN ED=30

     END IF



     (hasObject(myFloor,myStair)=TRUE

     hasObject(myZone, myStair)=TRUE

     getObjectDistance(Room,myStair, 1)<=ED)

     OR

     (hasObject(myFloor,myRamp)=TRUE

     hasObject(myZone, myRamp)=TRUE

     getObjectDistance(Room,myRamp, 1)<=ED)

}

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

"② 영 제34조제1항 단서에서 "국토교통부령으로 정하는 공장"이란 반도체 및 디스플레이 패널을 제조하는 공장을 말한다. <신설 2010.4.7., 2013.3.23.>"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조 (직통계단의 설치기준) 2항 Check(REFB_8_2){ getObjectProperty(Building.usage)=“Factory.SemiconductorAndDisplayPanelManufacturingFactory＂ }

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

"③ 초고층 건축물에는 피난층 또는 지상으로 통하는 직통계단과 직접 연결되는 피난안전구역(건축물의 피난ㆍ안전을 위하여 건축물 중간층에 설치하는 대피공간을 말한다. 이하 같다)을 지상층으로부터 최대 30개 층마다 1개소 이상 설치하여야 한다. <신설 2009.7.16., 2011.12.30.>"

// 건축법 시행령 제 34조 (직통계단의 설치) 3항 check(EDBA_34_3){           IF CS THEN KS ENDIF } CS{ isObjectProperty(Building.isHighriseBuilding) = TRUE } KS{           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           getObjectCount(myZone) >= getBuildingStoriesCount()/30 }

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

"제8조(직통계단의 설치기준) ①영 제34조에 따른 직통계단의 출입구는 피난에 지장이 없도록 일정한 간격을 두어 설치하고, 각 직통계단 상호간에는 각각 거실과 연결된 복도등 통로를 설치하여야 한다. <개정 2010.4.7.>"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조 (직통계단의 설치기준) 1항 Check(REFB_8_1){ Stair myStair{ isObjectProperty(Stair.isDirect)=TRUE } Passage myPassage{ isConnectedTo(Room, Passage)=TRUE }      isExist(myPassage)=TRUE isConnectedTo(myStair,myPassage)=TRUE }

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
}
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1345   건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  8조의2 조   2항      

"② 피난안전구역에 연결되는 특별피난계단은 피난안전구역을 거쳐서 상ㆍ하층으로 갈 수 있는 구조로 설치하여야 한다."

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 2항 Check(REFB_8-2_2){ Zone myZone{ isObjectProperty(Zone.isEgressSafetyZone)=TRUE } Stair myStair{ isObjectProperty(Stair.isSpecialEscape)=TRUE isAccessible(myZone, Stair)=TRUE } Floor myFloor{ Floor.number>getFloorNumber(myZone) OR Floor.number
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1346   건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  8조의2 조   3항      

"③ 피난안전구역의 구조 및 설비는 다음 각 호의 기준에 적합하여야 한다. <개정 2012.1.6., 2014.11.19.>"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 3항
Check(REFB_8-2_3){

getResult(REFB_8-2_3_2)=TRUE
getResult(REFB_8-2_3_3)=TRUE
getResult(REFB_8-2_3_4)=TRUE
getResult(REFB_8-2_3_5)=TRUE
getResult(REFB_8-2_3_6)=TRUE
getResult(REFB_8-2_3_7)=TRUE
getResult(REFB_8-2_3_8)=TRUE
getResult(REFB_8-2_3_9)=TRUE
}

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

"1. 피난안전구역의 바로 아래층 및 윗층은 「건축물의 설비기준 등에 관한 규칙」 제21조제1항제1호에 적합한 단열재를 설치할 것. 이 경우 아래층은 최상층에 있는 거실의 반자 또는 지붕 기준을 준용하고, 윗층은 최하층에 있는 거실의 바닥 기준을 준용할 것"
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1348   건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  8조의2 조   3항   2호    

"2. 피난안전구역의 내부마감재료는 불연재료로 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항2호
check(REFB_8-2_3_2){

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

isObjectProperty(myZone.InteriorFinish.nonCombustibility)=TRUE
}

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

"3. 건축물의 내부에서 피난안전구역으로 통하는 계단은 특별피난계단의 구조로 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항3호
check(REFB_8-2_3_3){

Stair myStair{
isExternal(Stair)=FALSE
isAccessible(myZone, Stair)=TRUE
}
isObjectProperty(Stair.isSpecialEscape)=TRUE

}

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

"4. 비상용 승강기는 피난안전구역에서 승하차 할 수 있는 구조로 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항4호
check(REFB_8-2_3_4){

Elevator myElevator{
isObjectProperty(Elevator.isEmergency)=TRUE
}

isDirectlyAccessible(myZone, myElevator)=TRUE
}

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

"5. 피난안전구역에는 식수공급을 위한 급수전을 1개소 이상 설치하고 예비전원에 의한 조명설비를 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항5호
check(REFB_8-2_3_5){
hasObject(myZone,Hydrant)=True
hasObject(myZone,LightingSystem)=TRUE
}

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

"6. 관리사무소 또는 방재센터 등과 긴급연락이 가능한 경보 및 통신시설을 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항6호
check(REFB_8-2_3_6){
hasObject(myZone, WarningAndCommunicationFacility)=TRUE
}

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

"7. 별표 1의2에서 정하는 기준에 따라 산정한 면적 이상일 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항7호
check(REFB_8-2_3_7){
getResult(REFB_*_1-2)=TRUE
}

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

"8. 피난안전구역의 높이는 2.1미터 이상일 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항8호
check(REFB_8-2_3_8){
getSpaceHeight(myZone)>=2.1 m
}

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

"9. 「건축물의 설비기준 등에 관한 규칙」 제14조에 따른 배연설비를 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항9호
check(REFB_8-2_3_9){

isExist(SmokeExhaustionSystem)=TRUE
getResult(RFB_14_2)=TRUE
getResult(RFB_14_2_1)=TRUE
getResult(RFB_14_2_4)=TRUE
}

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

"10. 그 밖에 국민안전처장관이 정하는 소방 등 재난관리를 위한 설비를 갖출 것"
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 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 2688   건축법 시행령  34 조   4항      

"④ 준초고층 건축물에는 피난층 또는 지상으로 통하는 직통계단과 직접 연결되는 피난안전구역을 해당 건축물 전체 층수의 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 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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
}
L 특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계 1343   건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  8 조   2항      

"② 영 제34조제1항 단서에서 "국토교통부령으로 정하는 공장"이란 반도체 및 디스플레이 패널을 제조하는 공장을 말한다. <신설 2010.4.7., 2013.3.23.>"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조 (직통계단의 설치기준) 2항 Check(REFB_8_2){ getObjectProperty(Building.usage)=“Factory.SemiconductorAndDisplayPanelManufacturingFactory＂ }

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

"②영 제39조제1항에 따라 건축물의 바깥쪽으로 나가는 출구를 설치하는 건축물중 문화 및 집회시설(전시장 및 동ㆍ식물원을 제외한다), 종교시설, 장례식장 또는 위락시설의 용도에 쓰이는 건축물의 바깥쪽으로의 출구로 쓰이는 문은 안여닫이로 하여서는 아니된다. <개정 2010.4.7.>"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 2항 Check(REFB_11_2){       IF CS1 AND CS2 THEN KS } CS1 { Building myBuilding{ getBuildingUsage() = “CulturalAndAssemblyFacility” OR getBuildingUsage() = “ReligiousFacility” OR getBuildingUsage() = “AmusementFacility” OR getBuildingUsage() = “FuneralParlor” getBuildingUsage() != “ExhibitionHall” getBuildingUsage() != “ZoologicalAndBotanicalGarden” } Door myDoor{ isObjectProperty(myBuilding.Door.isEntrance)=TRUE } isExist(myDoor) = TRUE } KS { getObjectProperty(myDoor.panelOperationType) != “OpeningInDoor” }

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

"③영 제39조제1항의 규정에 의하여 건축물의 바깥쪽으로 나가는 출구를 설치하는 경우 관람석의 바닥면적의 합계가 300제곱미터 이상인 집회장 또는 공연장에 있어서는 주된 출구외에 보조출구 또는 비상구를 2개소 이상 설치하여야 한다."

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 3항 Check(REFB_11_3){       IF CS1 AND CS2 THEN KS } CS1 { Building myBuilding{ getBuildingUsage() = “AssemblyHall” OR getBuildingUsage() = “PerformanceHall” } Space mySpace{ myBuilding.Space.name = “Auditorium” Space.FloorSlab.area >= 300 m2 } isExist(mySpace) = TRUE } CS2 { Door myDoor{ isObjectProperty(Door.isEntrance)=TRUE } hasObject(myBuilding,myDoor) = TRUE } KS { Door myDoor{ getObjectProperty(Door.functionType) = "Auxiliary" OR getObjectProperty(Door.functionType) = "Emergency" } getObjectCount(myDoor) >=2 }

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

""

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 3항 Check(REFB_11_3){       IF CS1 AND CS2 THEN KS } CS1 { Building myBuilding{ getBuildingUsage() = “AssemblyHall” OR getBuildingUsage() = “PerformanceHall” } Space mySpace{ myBuilding.Space.name = “Auditorium” Space.FloorSlab.area >= 300 m2 } isExist(mySpace) = TRUE } CS2 { Door myDoor{ isObjectProperty(Door.isEntrance)=TRUE } hasObject(myBuilding,myDoor) = TRUE } KS { Door myDoor{ getObjectProperty(Door.functionType) = "Auxiliary" OR getObjectProperty(Door.functionType) = "Emergency" } getObjectCount(myDoor) >=2 }

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

"제15조(계단의 설치기준) ①영 제48조의 규정에 의하여 건축물에 설치하는 계단은 다음 각호의 기준에 적합하여야 한다. <개정 2010.4.7.>"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15조 (계단의 설치기준) 1항 check(REFB_15_1){ KS } KS{ getResult(REFB_15_1_1)= TRUE getResult(REFB_15_1_2)=TRUE getResult(REFB_15_1_3)=TRUE getResult(REFB_15_1_4)=TRUE }

L 하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계 1458  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  15 조   1항   1호    

"1. 높이가 3미터를 넘는 계단에는 높이 3미터이내마다 너비 1.2미터 이상의 계단참을 설치할 것"

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

CS{
getObjectHeight(Stair)>3 m
}

KS{
isExist(StairLanding )= TRUE
getPaceWidth(StairLanding>=1.2 m
getObjectCount(StairLanding)>=getObjectCount(getObjectCount(StairLanding))/3
IF getObjectCount(StairLanding)>1
THEN getObjectVerticalDistance(StairLanding ,StairLanding)>3 m
END IF
}

L 하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계 1459  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  15 조   1항   2호    

"2. 높이가 1미터를 넘는 계단 및 계단참의 양옆에는 난간(벽 또는 이에 대치되는 것을 포함한다)을 설치할 것"

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

check(REFB_15_1_2){

KS

}



KS{



IF getObjectHeight(Stair)>1 m

OR getObjectHeight(StairLanding)>1 m)

THEN isExist(Railing)=TRUE

END IF

}

L 하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계 1460  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  15 조   1항   3호    

"3. 너비가 3미터를 넘는 계단에는 계단의 중간에 너비 3미터 이내마다 난간을 설치할 것. 다만, 계단의 단높이가 15센티미터 이하이고, 계단의 단너비가 30센티미터 이상인 경우에는 그러하지 아니하다."

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

CS{
getStairStepHeight()<=15 cm
getStairStepWidth()>=30 cm
}

KS{
IF getObjectWidth(Stair)>=3 m

THEN hasObject(Stair, Railing) = TRUE
N=getObjectWidth(Stair)/3
getObjectCount(Railing)>=N
IF N>1
THEN getObjectDistance(Railing,Railing)<3 m
END IF
END IF
}
L 하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계 1461  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  15 조   1항   4호    

"4. 계단의 유효 높이(계단의 바닥 마감면부터 상부 구조체의 하부 마감면까지의 연직방향의 높이를 말한다)는 2.1미터 이상으로 할 것"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15조 (계단의 설치기준) 1항4호 check(REFB_15_1_4){ KS } KS{ getObjectProperty(Stair.effectiveHeight)>=2.1 m }

L 하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계 1462  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  15 조   2항      

"②제1항의 규정에 의하여 계단을 설치하는 경우 계단 및 계단참의 너비(옥내계단에 한한다), 계단의 단높이 및 단너비의 칫수는 다음 각호의 기준에 적합하여야 한다. 이 경우 돌음계단의 단너비는 그 좁은 너비의 끝부분으로부터 30센티미터의 위치에서 측정한다. <개정 2003.1.6., 2005.7.22., 2010.4.7.>"

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

KS{
IF getResult(REFB_15_1)=TRUE

THEN getResult(REFB_15_2_1)=TRUE
getResult(REFB_15_2_2)=TRUE
getResult(REFB_15_2_3)=TRUE
getResult(REFB_15_2_4)=TRUE
getResult(REFB_15_2_5)=TRUE
getResult(REFB_15_2_6)=TRUE
END IF
}

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

"1. 초등학교의 계단인 경우에는 계단 및 계단참의 너비는 150센티미터 이상, 단높이는 16센티미터 이하, 단너비는 26센티미터 이상으로 할 것"

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

CS{
getBuildingUsage()="ElementarySchool"
}

KS{
getObjectWidth(Stair)>= 150 cm
getObjectWidth(StairLanding)>150 cm
getObjectProperty(Stair.riserHeight)>=16 cm
getObjectProperty(Stair.riserWidth)>=26 cm
}

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

"2. 중ㆍ고등학교의 계단인 경우에는 계단 및 계단참의 너비는 150센티미터 이상, 단높이는 18센티미터 이하, 단너비는 26센티미터 이상으로 할 것"

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

CS{
getBuildingUsage()="MiddleSchool"
OR getBuildingUsage()="HighSchool"
}

KS{
getObjectWidth(Stair)>=150 cm
getObjectWidth(StairLanding)>150 cm
getObjectProperty(Stair.riserHeight)>=18 cm
getObjectProperty(Stair.riserWidth)>=26 cm
}

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

"3. 문화 및 집회시설(공연장ㆍ집회장 및 관람장에 한한다)ㆍ판매시설 기타 이와 유사한 용도에 쓰이는 건축물의 계단인 경우에는 계단 및 계단참의 너비를 120센티미터 이상으로 할 것"

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

CS{
getBuildingUsage()= "CulturalAndAssemblyFacility.PerformanceHall"
OR getBuildingUsage()= "CulturalAndAssemblyFacility.AssemblyHall"
OR getBuildingUsage()= "CulturalAndAssemblyFacility.Auditorium"
OR getBuildingUsage()= "CommercialFacility "
}

KS{
getObjectWidth(Stair)>=120 cm
getObjectWidth(StairLanding)>=120 cm
}
L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 1466   건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  15 조   2항   4호    

"4. 윗층의 거실의 바닥면적의 합계가 200제곱미터 이상이거나 거실의 바닥면적의 합계가 100제곱미터 이상인 지하층의 계단인 경우에는 계단 및 계단참의 너비를 120센티미터 이상으로 할 것"

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

check(REFB_15_2_4){

IF CS THEN KS

}



CS{

Floor myFloor{

N=getFloorNumber(Stair)

Floor.number=N+1

}

(getTotalFloorArea(myFloor.Room)>=200 m2

OR getTotalFloorArea(Room)>=100 m2)

getFloorNumber(Stair)<0



}



KS{

getObjectWidth(Stair)>=120 cm

getObjectWidth(StairLanding)>120 cm

}

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

"5. 기타의 계단인 경우에는 계단 및 계단참의 너비를 60센티미터 이상으로 할 것"

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


KS{
getObjectWidth(Stair)>=120 cm
getObjectWidth(StairLanding)>120 cm
}

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

"6. 「산업안전보건법」에 의한 작업장에 설치하는 계단인 경우에는 「산업안전 기준에 관한 규칙」에서 정한 구조로 할 것"

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



check(REFB_15_2_6){

IF CS THEN KS

}

CS{

Space mySpace{
getObjectProperty(Space.usage) = "Workplace"
}
     isInstalled(Stair,mySpace) = TRUE

}

KS{

     getResult(ROSHA_26) = TRUE

     getResult(ROSHA_27) = TRUE

     getResult(ROSHA_28) = TRUE

     getResult(ROSHA_29) = TRUE

     getResult(ROSHA_30) = TRUE

}

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

"③공동주택(기숙사를 제외한다)ㆍ제1종 근린생활시설ㆍ제2종 근린생활시설ㆍ문화 및 집회시설ㆍ종교시설ㆍ판매시설ㆍ운수시설ㆍ의료시설ㆍ노유자시설ㆍ업무시설ㆍ숙박시설ㆍ위락시설 또는 관광휴게시설의 용도에 쓰이는 건축물의 주계단ㆍ피난계단 또는 특별피난계단에 설치하는 난간 및 바닥은 아동의 이용에 안전하고 노약자 및 신체장애인의 이용에 편리한 구조로 하여야 하며, 양쪽에 벽등이 있어 난간이 없는 경우에는 손잡이를 설치하여야 한다. <개정 2010.4.7.>"

check(REFB_15_3){

IF CS THEN KS

}



CS{

getBuildingUsage()= "ClassINeighborhoodLivingFacility"

OR getBuildingUsage() = "ClassIINeighborhoodLivingFacility"

OR getBuildingUsage() = "CulturalAndAssemblyFacility"

OR getBuildingUsage() = "ReligiousFacility"

OR getBuildingUsage() = "CommercialFacility"

OR getBuildingUsage() = "TransportationFacility"

OR getBuildingUsage() = "MedicalFacility"

OR getBuildingUsage() = "FacilitiesForTheAgedAndChildren"

OR getBuildingUsage() = "BusinessFacility"

OR getBuildingUsage() = "LodgingFacility"

OR getBuildingUsage() = "AmusementFacility"

OR getBuildingUsage() = "FacilityForTourismAndRelaxation"

OR (getBuildingUsage() = "MultiUnitHouse" AND getBuildingUsage() != "Dormitory")

}



KS{

isExist(Railing)=TRUE

OR (isExist(Railing)=FALSE AND isExist(Handle)=TRUE)

}

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

"④제3항의 규정에 의한 난간ㆍ벽 등의 손잡이와 바닥마감은 다음 각호의 기준에 적합하게 설치하여야 한다."

check(REFB_15_4){

KS

}



KS{

getResult(REFB_15_4_1)=TRUE

AND getResult(REFB_15_4_2)=TRUE

AND getResult(REFB_15_4_3)=TRUE

}

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

"1. 손잡이는 최대지름이 3.2센티미터 이상 3.8센티미터 이하인 원형 또는 타원형의 단면으로 할 것"

check(REFB_15_4_1){

KS

}

KS{

getElementWidth(Railing,Handle) >= 3.2CM

AND getElementWidth(Handle) <= 3.8CM

getObjectProperty(Handle.sectionShapeType)="Circle" OR "Oval"

}

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

"2. 손잡이는 벽등으로부터 5센티미터 이상 떨어지도록 하고, 계단으로부터의 높이는 85센티미터가 되도록 할 것"

check(REFB_15_4_2){
KS
}
KS{
getObjectDistance(Handle,WallLantern) >= 5CM
AND getObjectVerticalDistance(Handle,Stair) = 85CM
}

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

"3. 계단이 끝나는 수평부분에서의 손잡이는 바깥쪽으로 30센티미터 이상 나오도록 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙      15조 (계단의 설치기준) 4항 3호

check(REFB_15_4_3){
KS
}
KS{
getElementDistance(Handle,Stair.EndPart) <= 30cm
}
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1478  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  15 조   6항      

"⑥제1항 각호의 규정은 제5항의 규정에 의한 경사로의 설치기준에 관하여 이를 준용한다."

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


Stair myStair{
     getResult(REFB_15_1) = TRUE
}

CS{
     isReplaced(myStair, Ramp) = TRUE
}

KS{
     getResult(REFB_15_5) = TRUE
}

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

"제15조(계단의 설치기준) ①영 제48조의 규정에 의하여 건축물에 설치하는 계단은 다음 각호의 기준에 적합하여야 한다. <개정 2010.4.7.>"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15조 (계단의 설치기준) 1항 check(REFB_15_1){ KS } KS{ getResult(REFB_15_1_1)= TRUE getResult(REFB_15_1_2)=TRUE getResult(REFB_15_1_3)=TRUE getResult(REFB_15_1_4)=TRUE }

L 하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계 1458   건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  15 조   1항   1호    

"1. 높이가 3미터를 넘는 계단에는 높이 3미터이내마다 너비 1.2미터 이상의 계단참을 설치할 것"

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

CS{
getObjectHeight(Stair)>3 m
}

KS{
isExist(StairLanding )= TRUE
getPaceWidth(StairLanding>=1.2 m
getObjectCount(StairLanding)>=getObjectCount(getObjectCount(StairLanding))/3
IF getObjectCount(StairLanding)>1
THEN getObjectVerticalDistance(StairLanding ,StairLanding)>3 m
END IF
}

L 하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계 1459   건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  15 조   1항   2호    

"2. 높이가 1미터를 넘는 계단 및 계단참의 양옆에는 난간(벽 또는 이에 대치되는 것을 포함한다)을 설치할 것"

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

check(REFB_15_1_2){

KS

}



KS{



IF getObjectHeight(Stair)>1 m

OR getObjectHeight(StairLanding)>1 m)

THEN isExist(Railing)=TRUE

END IF

}

L 하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계 1460   건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  15 조   1항   3호    

"3. 너비가 3미터를 넘는 계단에는 계단의 중간에 너비 3미터 이내마다 난간을 설치할 것. 다만, 계단의 단높이가 15센티미터 이하이고, 계단의 단너비가 30센티미터 이상인 경우에는 그러하지 아니하다."

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

CS{
getStairStepHeight()<=15 cm
getStairStepWidth()>=30 cm
}

KS{
IF getObjectWidth(Stair)>=3 m

THEN hasObject(Stair, Railing) = TRUE
N=getObjectWidth(Stair)/3
getObjectCount(Railing)>=N
IF N>1
THEN getObjectDistance(Railing,Railing)<3 m
END IF
END IF
}
L 하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계 1461   건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  15 조   1항   4호    

"4. 계단의 유효 높이(계단의 바닥 마감면부터 상부 구조체의 하부 마감면까지의 연직방향의 높이를 말한다)는 2.1미터 이상으로 할 것"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15조 (계단의 설치기준) 1항4호 check(REFB_15_1_4){ KS } KS{ getObjectProperty(Stair.effectiveHeight)>=2.1 m }

L 하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계 1462   건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  15 조   2항      

"②제1항의 규정에 의하여 계단을 설치하는 경우 계단 및 계단참의 너비(옥내계단에 한한다), 계단의 단높이 및 단너비의 칫수는 다음 각호의 기준에 적합하여야 한다. 이 경우 돌음계단의 단너비는 그 좁은 너비의 끝부분으로부터 30센티미터의 위치에서 측정한다. <개정 2003.1.6., 2005.7.22., 2010.4.7.>"

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

KS{
IF getResult(REFB_15_1)=TRUE

THEN getResult(REFB_15_2_1)=TRUE
getResult(REFB_15_2_2)=TRUE
getResult(REFB_15_2_3)=TRUE
getResult(REFB_15_2_4)=TRUE
getResult(REFB_15_2_5)=TRUE
getResult(REFB_15_2_6)=TRUE
END IF
}

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

"1. 초등학교의 계단인 경우에는 계단 및 계단참의 너비는 150센티미터 이상, 단높이는 16센티미터 이하, 단너비는 26센티미터 이상으로 할 것"

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

CS{
getBuildingUsage()="ElementarySchool"
}

KS{
getObjectWidth(Stair)>= 150 cm
getObjectWidth(StairLanding)>150 cm
getObjectProperty(Stair.riserHeight)>=16 cm
getObjectProperty(Stair.riserWidth)>=26 cm
}

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

"2. 중ㆍ고등학교의 계단인 경우에는 계단 및 계단참의 너비는 150센티미터 이상, 단높이는 18센티미터 이하, 단너비는 26센티미터 이상으로 할 것"

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

CS{
getBuildingUsage()="MiddleSchool"
OR getBuildingUsage()="HighSchool"
}

KS{
getObjectWidth(Stair)>=150 cm
getObjectWidth(StairLanding)>150 cm
getObjectProperty(Stair.riserHeight)>=18 cm
getObjectProperty(Stair.riserWidth)>=26 cm
}

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

"3. 문화 및 집회시설(공연장ㆍ집회장 및 관람장에 한한다)ㆍ판매시설 기타 이와 유사한 용도에 쓰이는 건축물의 계단인 경우에는 계단 및 계단참의 너비를 120센티미터 이상으로 할 것"

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

CS{
getBuildingUsage()= "CulturalAndAssemblyFacility.PerformanceHall"
OR getBuildingUsage()= "CulturalAndAssemblyFacility.AssemblyHall"
OR getBuildingUsage()= "CulturalAndAssemblyFacility.Auditorium"
OR getBuildingUsage()= "CommercialFacility "
}

KS{
getObjectWidth(Stair)>=120 cm
getObjectWidth(StairLanding)>=120 cm
}
L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 1466   건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  15 조   2항   4호    

"4. 윗층의 거실의 바닥면적의 합계가 200제곱미터 이상이거나 거실의 바닥면적의 합계가 100제곱미터 이상인 지하층의 계단인 경우에는 계단 및 계단참의 너비를 120센티미터 이상으로 할 것"

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

check(REFB_15_2_4){

IF CS THEN KS

}



CS{

Floor myFloor{

N=getFloorNumber(Stair)

Floor.number=N+1

}

(getTotalFloorArea(myFloor.Room)>=200 m2

OR getTotalFloorArea(Room)>=100 m2)

getFloorNumber(Stair)<0



}



KS{

getObjectWidth(Stair)>=120 cm

getObjectWidth(StairLanding)>120 cm

}

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

"5. 기타의 계단인 경우에는 계단 및 계단참의 너비를 60센티미터 이상으로 할 것"

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


KS{
getObjectWidth(Stair)>=120 cm
getObjectWidth(StairLanding)>120 cm
}

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

"6. 「산업안전보건법」에 의한 작업장에 설치하는 계단인 경우에는 「산업안전 기준에 관한 규칙」에서 정한 구조로 할 것"

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



check(REFB_15_2_6){

IF CS THEN KS

}

CS{

Space mySpace{
getObjectProperty(Space.usage) = "Workplace"
}
     isInstalled(Stair,mySpace) = TRUE

}

KS{

     getResult(ROSHA_26) = TRUE

     getResult(ROSHA_27) = TRUE

     getResult(ROSHA_28) = TRUE

     getResult(ROSHA_29) = TRUE

     getResult(ROSHA_30) = TRUE

}

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

"⑤계단을 대체하여 설치하는 경사로는 다음 각호의 기준에 적합하게 설치하여야 한다. <개정 2010.4.7.>"

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

CS{
isEixst(Ramp)=TRUE
}
KS {
getResult(REFB_15_5_1)=TRUE
getResult(REFB_15_5_3)=TRUE
}


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

"1. 경사도는 1 : 8을 넘지 아니할 것"

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

KS{
getObjectGradient(Ramp) <= 12.5%
}

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

"2. 표면을 거친 면으로 하거나 미끄러지지 아니하는 재료로 마감할 것"
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1477   건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  15 조   5항   3호    

"3. 경사로의 직선 및 굴절부분의 유효너비는 「장애인ㆍ노인ㆍ임산부등의 편의증진보장에 관한 법률」이 정하는 기준에 적합할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙      15조 (계단의 설치기준) 5항 3호

check(REFB_15_5_3){
IF CS THEN KS
}
CS{
     isInstalled(Ramp, Building) = TRUE
}
KS{
     getResult(unimplemented_CDAPA) = TRUE
}

L 광법위한 하위법규의 검토결과에 따라 상위법규의 검토결과가 정해지는 관계 15676   장애인ㆍ노인ㆍ임산부등의 편의증진보장에 관한 법률  조        

""
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 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1482  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  15 조   8항      

"⑧ 승강기기계실용 계단, 망루용 계단 등 특수한 용도에만 쓰이는 계단에 대해서는 제1항부터 제7항까지의 규정을 적용하지 아니한다. <개정 2012.1.6.>"

check(REFP_15_8){

KS

}



KS{

getObjectUsage(Stair)= "ElevatorMachineRoom" OR "WatchTower"

AND getResult(REFP_15_1)=FALSE

AND getResult(REFP_15_2)=FALSE

AND getResult(REFP_15_3)=FALSE

AND getResult(REFP_15_4)=FALSE

AND getResult(REFP_15_5)=FALSE

AND getResult(REFP_15_6)=FALSE

AND getResult(REFP_15_7)=FALSE

}

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

"제15조의2(복도의 너비 및 설치기준) ①영 제48조의 규정에 의하여 건축물에 설치하는 복도의 유효너비는 다음 표와 같이 하여야 한다"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15조의2 (복도의 너비 및 설치기준) 1항
Check(EDBA_15-2_1){
IF getBuildingUsage()="Kindergarten"
OR getBuildingUsage()="ElementarySchool"
OR getBuildingUsage()="MiddleSchool"
OR getBuildingUsage()="HightSchool"
THEN IF isExternal(Corridor)=FALSE
THEN getObjectProperty(Corridor.effectiveWidth)>2.4 m
ELSE THEN getObjectProperty(Corridor.effectiveWidth)>1.8 m
END IF
END IF


IF getBuildingUsage()="MultiUnitHouse"
OR getBuildingUsage()="Officetel"
THEN IF isExternal(Corridor)=FALSE
THEN getObjectProperty(Corridor.effectiveWidth)>1.8 m
ELSE THEN getObjectProperty(Corridor.effectiveWidth)>1.2 m
END IF
END IF


IF getTotalFloorArea(Corridor.Floor.Room)>200 m2
THEN IF isExternal(Corridor)=FALSE
THEN IF getBuildingUsage()="MedicalFacilities"
THEN getObjectProperty(Corridor.effectiveWidth)>1.8 m
ELSE THEN getObjectProperty(Corridor.effectiveWidth)>1.5 m
END IF
ELSE THEN getObjectProperty(Corridor.effectiveWidth)>1.2 m
END IF
END IF
}

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

"②문화 및 집회시설(공연장ㆍ집회장ㆍ관람장ㆍ전시장에 한한다), 종교시설 중 종교집회장, 노유자시설 중 아동 관련 시설ㆍ노인복지시설, 수련시설 중 생활권수련시설, 위락시설 중 유흥주점 및 장례식장의 관람석 또는 집회실과 접하는 복도의 유효너비는 제1항의 규정에 불구하고 다음 각 호에서 정하는 너비로 하여야 한다. <개정 2010.4.7.>"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15조의2 (복도의 너비 및 설치기준) 2항 check(REFB_15-2_2){ IF CS THEN KS } CS{ Space mySpace{ getSpaceUsage(Space) = “AssemblyHall” OR getSpaceUsage(Space) = “PerformanceHall” } Corridor myCorridor{ isAdjacent(mySpace,Corridor) = TRUE } (getBuildingUsage()="CulturalAndAssemblyFacility.PerformanceHall" OR getBuildingUsage()="CulturalAndAssemblyFacility.AssemblyHall" OR getBuildingUsage()="CulturalAndAssemblyFacility.Auditorium" OR getBuildingUsage()="CulturalAndAssemblyFacility.ExhibitionHall" OR getBuildingUsage()="ReligiousFacility.ReligiousAssemblyFacility" OR getBuildingUsage()="FacilitiesForTheAgedAndChildren.ChildrenRelatedFacility" OR getBuildingUsage()="FacilitiesForTheAgedAndChildren.WelfareFacilityForTheAged" OR getBuildingUsage()="Trainingfacility.TrainingFacilitiesInLiving " OR getBuildingUsage()="AmusementFacility.tavern" OR getBuildingUsage()="AmusementFacility.FuneralParlors" ) isExist(myCorridor)=TRUE } KS{ getResult(REFB_15-2_2_1)=TRUE getResult(REFB_15-2_2_2)=TRUE getResult(REFB_15-2_2_3)=TRUE }

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

"1. 당해 층의 바닥면적의 합계가 500제곱미터 미만인 경우 1.5미터 이상"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15조의2 (복도의 너비 및 설치기준) 2항1호
check(REFB_15-2_2_1){
KS
}
KS{
IF getTotalFloorArea(Corridor.Floor.Space)<500 m2
THEN getObjectProperty(Corridor.effectiveWidth)>=1.5 m
END IF

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

"2. 당해 층의 바닥면적의 합계가 500제곱미터 이상 1천제곱미터 미만인 경우 1.8미터 이상"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15조의2 (복도의 너비 및 설치기준) 2항2호
check(REFB_15-2_2_2){
KS
}
KS{
IF getTotalFloorArea(Corridor.Floor.Space)>=500 m2
getTotalFloorArea(Corridor.Floor.Space)<1000 m2
THEN getObjectProperty(Corridor.effectiveWidth)>=1.8 m
END IF
}
L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 1488  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  15조의2 조   2항   3호    

"3. 당해 층의 바닥면적의 합계가 1천제곱미터 이상인 경우 2.4미터 이상"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15조의2 (복도의 너비 및 설치기준) 2항3호
Check(REFB_15-2_2_3){
KS
}
KS{
IF getTotalFloorArea(Corridor.Floor.Space)>=1000 m2
THEN getObjectProperty(Corridor.effectiveWidth)>=2.4 m
END IF
}
    L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1489  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  15조의2 조   3항      

"③문화 및 집회시설중 공연장에 설치하는 복도는 다음 각 호의 기준에 적합하여야 한다."

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15조의2 (복도의 너비 및 설치기준) 3항
Check(REFB_15-2_3){
IF CS THEN KS
}

CS{
getSpaceUsage(Space)="CulturalAndAssemblyFacility.PerformanceHall"
isExist(Corridor)=TRUE
}
KS{

getResult(REFB_15-2_3_1) = TRUE
getResult(REFB_15-2_3_2) = TRUE
}

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

"1. 공연장의 개별 관람석(바닥면적이 300제곱미터 이상인 경우에 한한다)의 바깥쪽에는 그 양쪽 및 뒤쪽에 각각 복도를 설치할 것"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15조의2 (복도의 너비 및 설치기준) 3항1호
Check(REFB_15-2_3_1){
IF CS THEN KS
}

CS{
Space mySpace{
getSpaceUsage(Space)="IndividualAuditorium"
}

getFloorArea(mySpace)>300 m2
}

KS{

}

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

"2. 하나의 층에 개별 관람석(바닥면적이 300제곱미터 미만인 경우에 한한다)을 2개소 이상 연속하여 설치하는 경우에는 그 관람석의 바깥쪽의 앞쪽과 뒤쪽에 각각 복도를 설치할 것"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15조의2 (복도의 너비 및 설치기준) 3항2호 Check(REFB_15-2_3_2){ IF CS THEN KS } CS{ Space mySpace{ getSpaceUsage(Space)="IndividualAuditorium" } getFloorArea(mySpace)>300 m2 getObjectCount(Floor.One.mySpace)>=2 } KS{ }

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

"1. 제2종 근린생활시설 중 공연장ㆍ종교집회장ㆍ인터넷컴퓨터게임시설제공업소(해당 용도로 쓰는 바닥면적의 합계가 각각 300제곱미터 이상인 경우만 해당한다)"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 1호

Check(EDBA_39_1_1){      
KS }

KS {

Building myBuilding{
getBuildingUsage() = “PerformanceHall”
OR getBuildingUsage() = “ReligiousAssemblyFacility ”
OR getBuildingUsage() = “FacilityForProvidingInternetComputerGameService”
}

Space mySpace{
Space.usage = “PerformanceHall”
OR Space.usage = “ReligiousAssemblyFacility ”
OR Space.usage = “FacilityForProvidingInternetComputerGameService”
}

IF isExist(myBuilding) THEN mySpace.FloorSlab.area >= 300 m2

}

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

"⑥법 제39조제1항에 따라 영 제39조제1항 각 호의 어느 하나에 해당하는 건축물의 바깥쪽으로 나가는 출입문에 유리를 사용하는 경우에는 안전유리를 사용하여야 한다. <신설 2006.6.29.>"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 6항
Check(REFB_11_6){   
KS
}

KS{
Door myDoor{
isObjectProperty(Door.isEntrance)=TRUE
}
IF getObjectMaterial(myDoor)="Glass"
THEN getObjectType(Glass)="Safety"

}

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

"2. 문화 및 집회시설(전시장 및 동ㆍ식물원은 제외한다)"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 2호

Check(EDBA_39_1_2){      
KS
}

KS {

Building myBuilding{
getBuildingUsage() = “CulturalAndAssemblyFacility”
getBuildingUsage() != “ExhibitionHall”
getBuildingUsage() != “ZoologicalAndBotanicalGarden”
}

isExist(myBuliding) = TRUE

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

"3. 종교시설"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 3호

Check(EDBA_39_1_3){      
KS
}

KS {
Building myBuilding{
getBuildingUsage() = “ReligiousFacility”
}

isExist(myBuliding) = TRUE
}
    L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2717  건축법 시행령  39 조   1항   4호    

"4. 판매시설"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 4호

Check(EDBA_39_1_4){      
KS
}

KS {
Building myBuilding{
getBuildingUsage() = “CommercialFacility”
}

isExist(myBuliding) = TRUE
}
    L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2718  건축법 시행령  39 조   1항   5호    

"5. 업무시설 중 국가 또는 지방자치단체의 청사"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 5호

Check(EDBA_39_1_5){      
KS
}

KS {
Building myBuilding{
getBuildingUsage() = “BusinessFacility.GovernmentOfficeBuilding”
}

isExist(myBuliding) = TRUE
}
    L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2719  건축법 시행령  39 조   1항   6호    

"6. 위락시설"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 6호

Check(EDBA_39_1_6){      
KS
}


KS {
Building myBuilding{
getBuildingUsage() = “AmusementFacility”
}

isExist(myBuliding) = TRUE
}
    L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2720  건축법 시행령  39 조   1항   7호    

"7. 연면적이 5천 제곱미터 이상인 창고시설"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 7호

Check(EDBA_39_1_7){      
KS
}


KS {
Building myBuilding{
getBuildingUsage() = “Warehouse”
Building.grossFloorArea >= 5000 m2
}

isExist(myBuliding) = TRUE
}
    L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2721  건축법 시행령  39 조   1항   8호    

"8. 교육연구시설 중 학교"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 8호 Check(EDBA_39_1_8){   KS } KS { Building myBuilding{ getBuildingUsage() = “EducationAndResearchFacility.School” } isExist(myBuliding) = TRUE }

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

"9. 장례식장"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 9호

Check(EDBA_39_1_9){      
KS }

KS {
Building myBuilding{
getBuildingUsage() = “FuneralParlor”
}

isExist(myBuliding) = TRUE
}
    L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2723  건축법 시행령  39 조   1항   10호    

"10. 승강기를 설치하여야 하는 건축물"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 10호

Check(EDBA_39_1_10){      
KS
}


KS {
Building myBuilding{
hasObject(Building, Elevator)
}

isExist(myBuliding) = TRUE
}
    L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1392  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  11 조   1항      

"제11조(건축물의 바깥쪽으로의 출구의 설치기준) ①영 제39조제1항의 규정에 의하여 건축물의 바깥쪽으로 나가는 출구를 설치하는 경우 피난층의 계단으로부터 건축물의 바깥쪽으로의 출구에 이르는 보행거리(가장 가까운 출구와의 보행거리를 말한다. 이하 같다)는 영 제34조제1항의 규정에 의한 거리이하로 하여야 하며, 거실(피난에 지장이 없는 출입구가 있는 것을 제외한다)의 각 부분으로부터 건축물의 바깥쪽으로의 출구에 이르는 보행거리는 영 제34조제1항의 규정에 의한 거리의 2배 이하로 하여야 한다."

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 1항

Check(REFB_11_1){      
IF CS THEN KS1 AND KS2
}

CS {
Door myDoor{
     isObjectProperty(Door.isEntrance)=TRUE
}
isExist(myDoor)
}

KS1 {
Floor myFloor{
     isObjectProperty(Floor.isEscape)=TRUE
}

getObjectDistance(myFloor.Stair, myDoor,a) <= EDBA_34_1.distance

}

KS2 {

getObjectDistance(Room, myDoor) <= (EDBA_34_1.distance)*2

}


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

"제34조(직통계단의 설치) ① 건축물의 피난층(직접 지상으로 통하는 출입구가 있는 층 및 제3항과 제4항에 따른 피난안전구역을 말한다. 이하 같다) 외의 층에서는 피난층 또는 지상으로 통하는 직통계단(경사로를 포함한다. 이하 같다)을 거실의 각 부분으로부터 계단(거실로부터 가장 가까운 거리에 있는 계단을 말한다)에 이르는 보행거리가 30미터 이하가 되도록 설치하여야 한다. 다만, 건축물(지하층에 설치하는 것으로서 바닥면적의 합계가 300제곱미터 이상인 공연장ㆍ집회장ㆍ관람장 및 전시장은 제외한다)의 주요구조부가 내화구조 또는 불연재료로 된 건축물은 그 보행거리가 50미터(층수가 16층 이상인 공동주택은 40미터) 이하가 되도록 설치할 수 있으며, 자동화 생산시설에 스프링클러 등 자동식 소화설비를 설치한 공장으로서 국토교통부령으로 정하는 공장인 경우에는 그 보행거리가 75미터(무인화 공장인 경우에는 100미터) 이하가 되도록 설치할 수 있다. <개정 2009.7.16., 2010.2.18., 2011.12.30., 2013.3.23.>"

// 건축법 시행령 34조 (직통계단의 설치) 1항

Check(EDBA_34_1){
KS
}

KS{
Floor myFloor{
isObjectProperty(Floor.isEscape) = TRUE
}

Space mySpace{
getObjectProperty(Space.usage)="PerformanceHall"
OR getObjectProperty(Space.usage)="AssemblyHall"
OR getObjectProperty(Space.usage)="Auditorium"     
OR getObjectProperty(Space.usage)="ExhibitionHall"
}

Door myDoor{
isDirectlyAccessible(Door, Ground)=TRUE
}

Stair myStair{
isObjectProperty(Stair.isDirect)=TRUE
isAccessible(Stair,myFloor)=TRUE
OR isAccessible(Stair,Ground)=TRUE
}

Ramp myRamp{
isAccessible(Ramp,myFloor)=TRUE
OR isAccessible(Ramp,Ground)=TRUE
}

Floor myFloor2{
isObjectProperty(Floor.isEscape)=FALSE
OR hasObject(Floor, myDoor)=FALSE
}

     Zone myZone{

          isDirectlyAccessible(myStair, Zone)=FALSE

     }



IF

     getFloorNumber(mySpace)>0

     getFloorArea(mySpace)<=300 m2

     isFireResistantStructure(MainStructuralPart)=TRUE

     OR isObjectProperty(MainStructuralPart.Material.nonCombustibility)=TRUE

     THEN IF getBuildingStoriesCount()>=16

      getBuildingUsage()="MultiUnitHouse"

      THEN ED= 40

     ELSE THEN ED=50

     END IF



ELSE IF

     getBuildingUsage() = "Factory"

     isExist(ExtinguishingSystem)=TRUE

     isObjectProperty(ExtinguishingSystem.isAutomatic)=TRUE

     getResult(REFB_8_2)=TRUE

     THEN IF      getBuildingUsage() = "UnmannedFactory"

               THEN ED=100

     ELSE THEN ED=75

     END IF



ELSE THEN ED=30

     END IF



     (hasObject(myFloor,myStair)=TRUE

     hasObject(myZone, myStair)=TRUE

     getObjectDistance(Room,myStair, 1)<=ED)

     OR

     (hasObject(myFloor,myRamp)=TRUE

     hasObject(myZone, myRamp)=TRUE

     getObjectDistance(Room,myRamp, 1)<=ED)

}

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

"② 영 제34조제1항 단서에서 "국토교통부령으로 정하는 공장"이란 반도체 및 디스플레이 패널을 제조하는 공장을 말한다. <신설 2010.4.7., 2013.3.23.>"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조 (직통계단의 설치기준) 2항 Check(REFB_8_2){ getObjectProperty(Building.usage)=“Factory.SemiconductorAndDisplayPanelManufacturingFactory＂ }

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

"③ 초고층 건축물에는 피난층 또는 지상으로 통하는 직통계단과 직접 연결되는 피난안전구역(건축물의 피난ㆍ안전을 위하여 건축물 중간층에 설치하는 대피공간을 말한다. 이하 같다)을 지상층으로부터 최대 30개 층마다 1개소 이상 설치하여야 한다. <신설 2009.7.16., 2011.12.30.>"

// 건축법 시행령 제 34조 (직통계단의 설치) 3항 check(EDBA_34_3){           IF CS THEN KS ENDIF } CS{ isObjectProperty(Building.isHighriseBuilding) = TRUE } KS{           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           getObjectCount(myZone) >= getBuildingStoriesCount()/30 }

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

"제8조(직통계단의 설치기준) ①영 제34조에 따른 직통계단의 출입구는 피난에 지장이 없도록 일정한 간격을 두어 설치하고, 각 직통계단 상호간에는 각각 거실과 연결된 복도등 통로를 설치하여야 한다. <개정 2010.4.7.>"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조 (직통계단의 설치기준) 1항 Check(REFB_8_1){ Stair myStair{ isObjectProperty(Stair.isDirect)=TRUE } Passage myPassage{ isConnectedTo(Room, Passage)=TRUE }      isExist(myPassage)=TRUE isConnectedTo(myStair,myPassage)=TRUE }

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
}
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1345   건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  8조의2 조   2항      

"② 피난안전구역에 연결되는 특별피난계단은 피난안전구역을 거쳐서 상ㆍ하층으로 갈 수 있는 구조로 설치하여야 한다."

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 2항 Check(REFB_8-2_2){ Zone myZone{ isObjectProperty(Zone.isEgressSafetyZone)=TRUE } Stair myStair{ isObjectProperty(Stair.isSpecialEscape)=TRUE isAccessible(myZone, Stair)=TRUE } Floor myFloor{ Floor.number>getFloorNumber(myZone) OR Floor.number
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1346   건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  8조의2 조   3항      

"③ 피난안전구역의 구조 및 설비는 다음 각 호의 기준에 적합하여야 한다. <개정 2012.1.6., 2014.11.19.>"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 3항
Check(REFB_8-2_3){

getResult(REFB_8-2_3_2)=TRUE
getResult(REFB_8-2_3_3)=TRUE
getResult(REFB_8-2_3_4)=TRUE
getResult(REFB_8-2_3_5)=TRUE
getResult(REFB_8-2_3_6)=TRUE
getResult(REFB_8-2_3_7)=TRUE
getResult(REFB_8-2_3_8)=TRUE
getResult(REFB_8-2_3_9)=TRUE
}

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

"1. 피난안전구역의 바로 아래층 및 윗층은 「건축물의 설비기준 등에 관한 규칙」 제21조제1항제1호에 적합한 단열재를 설치할 것. 이 경우 아래층은 최상층에 있는 거실의 반자 또는 지붕 기준을 준용하고, 윗층은 최하층에 있는 거실의 바닥 기준을 준용할 것"
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1348   건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  8조의2 조   3항   2호    

"2. 피난안전구역의 내부마감재료는 불연재료로 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항2호
check(REFB_8-2_3_2){

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

isObjectProperty(myZone.InteriorFinish.nonCombustibility)=TRUE
}

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

"3. 건축물의 내부에서 피난안전구역으로 통하는 계단은 특별피난계단의 구조로 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항3호
check(REFB_8-2_3_3){

Stair myStair{
isExternal(Stair)=FALSE
isAccessible(myZone, Stair)=TRUE
}
isObjectProperty(Stair.isSpecialEscape)=TRUE

}

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

"4. 비상용 승강기는 피난안전구역에서 승하차 할 수 있는 구조로 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항4호
check(REFB_8-2_3_4){

Elevator myElevator{
isObjectProperty(Elevator.isEmergency)=TRUE
}

isDirectlyAccessible(myZone, myElevator)=TRUE
}

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

"5. 피난안전구역에는 식수공급을 위한 급수전을 1개소 이상 설치하고 예비전원에 의한 조명설비를 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항5호
check(REFB_8-2_3_5){
hasObject(myZone,Hydrant)=True
hasObject(myZone,LightingSystem)=TRUE
}

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

"6. 관리사무소 또는 방재센터 등과 긴급연락이 가능한 경보 및 통신시설을 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항6호
check(REFB_8-2_3_6){
hasObject(myZone, WarningAndCommunicationFacility)=TRUE
}

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

"7. 별표 1의2에서 정하는 기준에 따라 산정한 면적 이상일 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항7호
check(REFB_8-2_3_7){
getResult(REFB_*_1-2)=TRUE
}

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

"8. 피난안전구역의 높이는 2.1미터 이상일 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항8호
check(REFB_8-2_3_8){
getSpaceHeight(myZone)>=2.1 m
}

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

"9. 「건축물의 설비기준 등에 관한 규칙」 제14조에 따른 배연설비를 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항9호
check(REFB_8-2_3_9){

isExist(SmokeExhaustionSystem)=TRUE
getResult(RFB_14_2)=TRUE
getResult(RFB_14_2_1)=TRUE
getResult(RFB_14_2_4)=TRUE
}

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1201   건축물의 설비기준 등에 관한 규칙  14 조   1항      

"제14조(배연설비) ①영 제51조제2항에 따라 배연설비를 설치하여야 하는 건축물에는 다음 각 호의 기준에 적합하게 배연설비를 설치하여야 한다. 다만, 피난층인 경우에는 그러하지 아니하다. <개정 1996.2.9.,1999.5.11., 2002.8.31., 2009.12.31., 2010.11.5.>"

//건축물의 설비기준 등에 관한 규칙 14조 (배연설비) 1항 Check(RFB_14_1){ IF (CS) THEN KS } CS {      isObjectProperty(Floor.isEscape) = FALSE } KS { isExist(SmokeExhaustionSystem)=TRUE      getResult(RFB_14_1_1) = TRUE      AND getResult(RFB_14_1_2) = TRUE }

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1207   건축물의 설비기준 등에 관한 규칙  14 조   2항      

"②특별피난계단 및 영 제90조제3항의 규정에 의한 비상용승강기의 승강장에 설치하는 배연설비의 구조는 다음 각호의 기준에 적합하여야 한다. <개정 1996.2.9., 1999.5.11.>"

//건축물의 설비기준 등에 관한 규칙 14조 (배연설비) 2항 Check(RFB_14_2){ IF CS THEN KS } CS {      isObjectProperty(Stair.isSpecialEscape)=TRUE OR isObjectProperty(Elevator.isEmergency)=TRUE } KS {      getResult(RFB_14_2_1) = TRUE      getResult(RFB_14_2_4) = TRUE }

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

"10. 그 밖에 국민안전처장관이 정하는 소방 등 재난관리를 위한 설비를 갖출 것"
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 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 2688  건축법 시행령  34 조   4항      

"④ 준초고층 건축물에는 피난층 또는 지상으로 통하는 직통계단과 직접 연결되는 피난안전구역을 해당 건축물 전체 층수의 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
}
L 특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계 1343  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  8 조   2항      

"② 영 제34조제1항 단서에서 "국토교통부령으로 정하는 공장"이란 반도체 및 디스플레이 패널을 제조하는 공장을 말한다. <신설 2010.4.7., 2013.3.23.>"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조 (직통계단의 설치기준) 2항 Check(REFB_8_2){ getObjectProperty(Building.usage)=“Factory.SemiconductorAndDisplayPanelManufacturingFactory＂ }

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

"②영 제39조제1항에 따라 건축물의 바깥쪽으로 나가는 출구를 설치하는 건축물중 문화 및 집회시설(전시장 및 동ㆍ식물원을 제외한다), 종교시설, 장례식장 또는 위락시설의 용도에 쓰이는 건축물의 바깥쪽으로의 출구로 쓰이는 문은 안여닫이로 하여서는 아니된다. <개정 2010.4.7.>"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 2항 Check(REFB_11_2){       IF CS1 AND CS2 THEN KS } CS1 { Building myBuilding{ getBuildingUsage() = “CulturalAndAssemblyFacility” OR getBuildingUsage() = “ReligiousFacility” OR getBuildingUsage() = “AmusementFacility” OR getBuildingUsage() = “FuneralParlor” getBuildingUsage() != “ExhibitionHall” getBuildingUsage() != “ZoologicalAndBotanicalGarden” } Door myDoor{ isObjectProperty(myBuilding.Door.isEntrance)=TRUE } isExist(myDoor) = TRUE } KS { getObjectProperty(myDoor.panelOperationType) != “OpeningInDoor” }

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

"③영 제39조제1항의 규정에 의하여 건축물의 바깥쪽으로 나가는 출구를 설치하는 경우 관람석의 바닥면적의 합계가 300제곱미터 이상인 집회장 또는 공연장에 있어서는 주된 출구외에 보조출구 또는 비상구를 2개소 이상 설치하여야 한다."

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 3항 Check(REFB_11_3){       IF CS1 AND CS2 THEN KS } CS1 { Building myBuilding{ getBuildingUsage() = “AssemblyHall” OR getBuildingUsage() = “PerformanceHall” } Space mySpace{ myBuilding.Space.name = “Auditorium” Space.FloorSlab.area >= 300 m2 } isExist(mySpace) = TRUE } CS2 { Door myDoor{ isObjectProperty(Door.isEntrance)=TRUE } hasObject(myBuilding,myDoor) = TRUE } KS { Door myDoor{ getObjectProperty(Door.functionType) = "Auxiliary" OR getObjectProperty(Door.functionType) = "Emergency" } getObjectCount(myDoor) >=2 }

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

"④판매시설의 용도에 쓰이는 피난층에 설치하는 건축물의 바깥쪽으로의 출구의 유효너비의 합계는 해당 용도에 쓰이는 바닥면적이 최대인 층에 있어서의 해당 용도의 바닥면적 100제곱미터마다 0.6미터의 비율로 산정한 너비 이상으로 하여야 한다. <개정 2010.4.7.>"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 4항
Check(REFB_11_4){      
IF CS THEN KS
}

CS {
Floor myFloor{
getObjectUsage(Floor) = “CommercialFacility”
isObjectProperty(Floor.isEscape)=TRUE
}
Door myDoor{
isObjectProperty(Door.isEntrance)=TRUE
}

hasObject(myFloor,myDoor) = TRUE
}

KS{

myFloor.myDoor.effectiveWidth >=

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

"⑤다음 각 호의 어느 하나에 해당하는 건축물의 피난층 또는 피난층의 승강장으로부터 건축물의 바깥쪽에 이르는 통로에는 제15조제5항에 따른 경사로를 설치하여야 한다. <개정 2010.4.7.>"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 5항
Check(REFB_11_5){      
IF CS1 AND CS2 THEN KS
}

CS1 {
getResult(REFB_11_5_1)=TRUE
OR getResult(REFB_11_5_2)=TRUE
OR getResult(REFB_11_5_3)=TRUE
OR getResult(REFB_11_5_4)=TRUE
OR getResult(REFB_11_5_5)=TRUE
OR getResult(REFB_11_5_6)=TRUE
}

CS2{
Floor myFloor{
     isObjectProperty(Floor.isEscape)=TRUE
}

Passage myPassage{
isDirectlyAccessible(myFloor,Passage) = TRUE
OR isDirectlyAccessible(myFloor.Platform,Passage) = TRUE
isConnectedToExternal(Passage) = TRUE
}

isExist(myPassage)=TRUE
}

KS{
hasObject(myPassage,Ramp)=TRUE
getResult(REFB_15_5)=TRUE
}



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

"1. 제1종 근린생활시설 중 지역자치센터ㆍ파출소ㆍ지구대ㆍ소방서ㆍ우체국ㆍ방송국ㆍ보건소ㆍ공공도서관ㆍ지역건강보험조합 기타 이와 유사한 것으로서 동일한 건축물안에서 당해 용도에 쓰이는 바닥면적의 합계가 1천제곱미터 미만인 것"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 5항 1호 Check(REFB_11_5_1){        KS } KS { Building myBuilding{ getBuildingUsage() = “ClassINeighborhoodLivingFacility.CommunityCenter” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PoliceBox” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PoliceSubstation” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.FireStation” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PostOffice” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.BroadcastingStation” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.HealthCenter” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PublicLibrary” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.RegionalHealthInsuranceAssociation” } Space mySpace{ Space.usage=“CommunityCenter” Space.usage=“PoliceBox” Space.usage=“PoliceSubstation” Space.usage=“FireStation” Space.usage=“PostOffice” Space.usage=“BroadcastingStation” Space.usage=“HealthCenter” Space.usage=“PublicLibrary” Space.usage=“RegionalHealthInsuranceAssociation” Space.FloorSlab.area < 1000 m2 } isExist(myBuilding) = TRUE isExist(mySpace) = TRUE }

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

"2. 제1종 근린생활시설 중 마을회관ㆍ마을공동작업소ㆍ마을공동구판장ㆍ변전소ㆍ양수장ㆍ정수장ㆍ대피소ㆍ공중화장실 기타 이와 유사한 것"

건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 5항 2호 Check(REFB_11_5_2){        KS } KS { Building myBuilding{ getBuildingUsage() = “ClassINeighborhoodLivingFacility.VillageHall” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.CommunityWorkspace” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.CommunitySalesShop” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.Substation” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PumpingStation” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PurificationPlant” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.Shelter” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PublicLibrary” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PublicToilet” } isExist(myBuilding) = TRUE }

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

"3. 연면적이 5천제곱미터 이상인 판매시설, 운수시설"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 5항 3호
Check(REFB_11_5_3){ 젨젨젨
KS
}

KS {
getBuildingUsage() = “CommercialFacility”
OR getBuildingUsage() = “TransportationFacility”
getObjectProperty(Building.grossFloorArea) >= 5000 m2

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

"4. 교육연구시설 중 학교"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 5항 4호 Check(REFB_11_5_4){       KS } KS { Building myBuilding{ getBuildingUsage() = “EducationAndResearchFacility.School” } isExist(myBuliding) = TRUE }

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

"5. 업무시설중 국가 또는 지방자치단체의 청사와 외국공관의 건축물로서 제1종 근린생활시설에 해당하지 아니하는 것"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 5항 5호 Check(REFB_11_5_5){        KS } KS { Building myBuilding{ getBuildingUsage() = “BusinessFacility.GovernmentOfficeBuilding” OR getBuildingUsage() = “BusinessFacility.ForeignOfficialResidence” getBuildingUsage() != “ClassINeighborhoodLivingFacility” } isExist(myBuilding) = TRUE }

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

"6. 승강기를 설치하여야 하는 건축물"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 5항 6호 Check(REFB_11_5_6){ KS } KS { hasObject(Building,Elevator)=TRUE }

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

"⑤계단을 대체하여 설치하는 경사로는 다음 각호의 기준에 적합하게 설치하여야 한다. <개정 2010.4.7.>"

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

CS{
isEixst(Ramp)=TRUE
}
KS {
getResult(REFB_15_5_1)=TRUE
getResult(REFB_15_5_3)=TRUE
}


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

"1. 경사도는 1 : 8을 넘지 아니할 것"

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

KS{
getObjectGradient(Ramp) <= 12.5%
}

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

"2. 표면을 거친 면으로 하거나 미끄러지지 아니하는 재료로 마감할 것"
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1477  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  15 조   5항   3호    

"3. 경사로의 직선 및 굴절부분의 유효너비는 「장애인ㆍ노인ㆍ임산부등의 편의증진보장에 관한 법률」이 정하는 기준에 적합할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙      15조 (계단의 설치기준) 5항 3호

check(REFB_15_5_3){
IF CS THEN KS
}
CS{
     isInstalled(Ramp, Building) = TRUE
}
KS{
     getResult(unimplemented_CDAPA) = TRUE
}

L 광법위한 하위법규의 검토결과에 따라 상위법규의 검토결과가 정해지는 관계 15676   장애인ㆍ노인ㆍ임산부등의 편의증진보장에 관한 법률  조        

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

"⑥법 제39조제1항에 따라 영 제39조제1항 각 호의 어느 하나에 해당하는 건축물의 바깥쪽으로 나가는 출입문에 유리를 사용하는 경우에는 안전유리를 사용하여야 한다. <신설 2006.6.29.>"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 6항
Check(REFB_11_6){   
KS
}

KS{
Door myDoor{
isObjectProperty(Door.isEntrance)=TRUE
}
IF getObjectMaterial(myDoor)="Glass"
THEN getObjectType(Glass)="Safety"

}

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

"1. 제2종 근린생활시설 중 공연장ㆍ종교집회장ㆍ인터넷컴퓨터게임시설제공업소(해당 용도로 쓰는 바닥면적의 합계가 각각 300제곱미터 이상인 경우만 해당한다)"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 1호

Check(EDBA_39_1_1){      
KS }

KS {

Building myBuilding{
getBuildingUsage() = “PerformanceHall”
OR getBuildingUsage() = “ReligiousAssemblyFacility ”
OR getBuildingUsage() = “FacilityForProvidingInternetComputerGameService”
}

Space mySpace{
Space.usage = “PerformanceHall”
OR Space.usage = “ReligiousAssemblyFacility ”
OR Space.usage = “FacilityForProvidingInternetComputerGameService”
}

IF isExist(myBuilding) THEN mySpace.FloorSlab.area >= 300 m2

}

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

"⑥법 제39조제1항에 따라 영 제39조제1항 각 호의 어느 하나에 해당하는 건축물의 바깥쪽으로 나가는 출입문에 유리를 사용하는 경우에는 안전유리를 사용하여야 한다. <신설 2006.6.29.>"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 6항
Check(REFB_11_6){   
KS
}

KS{
Door myDoor{
isObjectProperty(Door.isEntrance)=TRUE
}
IF getObjectMaterial(myDoor)="Glass"
THEN getObjectType(Glass)="Safety"

}

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

"2. 문화 및 집회시설(전시장 및 동ㆍ식물원은 제외한다)"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 2호

Check(EDBA_39_1_2){      
KS
}

KS {

Building myBuilding{
getBuildingUsage() = “CulturalAndAssemblyFacility”
getBuildingUsage() != “ExhibitionHall”
getBuildingUsage() != “ZoologicalAndBotanicalGarden”
}

isExist(myBuliding) = TRUE

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

"3. 종교시설"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 3호

Check(EDBA_39_1_3){      
KS
}

KS {
Building myBuilding{
getBuildingUsage() = “ReligiousFacility”
}

isExist(myBuliding) = TRUE
}
    L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2717  건축법 시행령  39 조   1항   4호    

"4. 판매시설"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 4호

Check(EDBA_39_1_4){      
KS
}

KS {
Building myBuilding{
getBuildingUsage() = “CommercialFacility”
}

isExist(myBuliding) = TRUE
}
    L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2718  건축법 시행령  39 조   1항   5호    

"5. 업무시설 중 국가 또는 지방자치단체의 청사"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 5호

Check(EDBA_39_1_5){      
KS
}

KS {
Building myBuilding{
getBuildingUsage() = “BusinessFacility.GovernmentOfficeBuilding”
}

isExist(myBuliding) = TRUE
}
    L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2719  건축법 시행령  39 조   1항   6호    

"6. 위락시설"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 6호

Check(EDBA_39_1_6){      
KS
}


KS {
Building myBuilding{
getBuildingUsage() = “AmusementFacility”
}

isExist(myBuliding) = TRUE
}
    L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2720  건축법 시행령  39 조   1항   7호    

"7. 연면적이 5천 제곱미터 이상인 창고시설"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 7호

Check(EDBA_39_1_7){      
KS
}


KS {
Building myBuilding{
getBuildingUsage() = “Warehouse”
Building.grossFloorArea >= 5000 m2
}

isExist(myBuliding) = TRUE
}
    L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2721  건축법 시행령  39 조   1항   8호    

"8. 교육연구시설 중 학교"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 8호 Check(EDBA_39_1_8){   KS } KS { Building myBuilding{ getBuildingUsage() = “EducationAndResearchFacility.School” } isExist(myBuliding) = TRUE }

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

"9. 장례식장"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 9호

Check(EDBA_39_1_9){      
KS }

KS {
Building myBuilding{
getBuildingUsage() = “FuneralParlor”
}

isExist(myBuliding) = TRUE
}
    L 하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계 2723  건축법 시행령  39 조   1항   10호    

"10. 승강기를 설치하여야 하는 건축물"

// 건축법 시행령 39조 (건축물 바깥쪽으로의 출구 설치) 1항 10호

Check(EDBA_39_1_10){      
KS
}


KS {
Building myBuilding{
hasObject(Building, Elevator)
}

isExist(myBuliding) = TRUE
}
    L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1392  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  11 조   1항      

"제11조(건축물의 바깥쪽으로의 출구의 설치기준) ①영 제39조제1항의 규정에 의하여 건축물의 바깥쪽으로 나가는 출구를 설치하는 경우 피난층의 계단으로부터 건축물의 바깥쪽으로의 출구에 이르는 보행거리(가장 가까운 출구와의 보행거리를 말한다. 이하 같다)는 영 제34조제1항의 규정에 의한 거리이하로 하여야 하며, 거실(피난에 지장이 없는 출입구가 있는 것을 제외한다)의 각 부분으로부터 건축물의 바깥쪽으로의 출구에 이르는 보행거리는 영 제34조제1항의 규정에 의한 거리의 2배 이하로 하여야 한다."

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 1항

Check(REFB_11_1){      
IF CS THEN KS1 AND KS2
}

CS {
Door myDoor{
     isObjectProperty(Door.isEntrance)=TRUE
}
isExist(myDoor)
}

KS1 {
Floor myFloor{
     isObjectProperty(Floor.isEscape)=TRUE
}

getObjectDistance(myFloor.Stair, myDoor,a) <= EDBA_34_1.distance

}

KS2 {

getObjectDistance(Room, myDoor) <= (EDBA_34_1.distance)*2

}


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

"제34조(직통계단의 설치) ① 건축물의 피난층(직접 지상으로 통하는 출입구가 있는 층 및 제3항과 제4항에 따른 피난안전구역을 말한다. 이하 같다) 외의 층에서는 피난층 또는 지상으로 통하는 직통계단(경사로를 포함한다. 이하 같다)을 거실의 각 부분으로부터 계단(거실로부터 가장 가까운 거리에 있는 계단을 말한다)에 이르는 보행거리가 30미터 이하가 되도록 설치하여야 한다. 다만, 건축물(지하층에 설치하는 것으로서 바닥면적의 합계가 300제곱미터 이상인 공연장ㆍ집회장ㆍ관람장 및 전시장은 제외한다)의 주요구조부가 내화구조 또는 불연재료로 된 건축물은 그 보행거리가 50미터(층수가 16층 이상인 공동주택은 40미터) 이하가 되도록 설치할 수 있으며, 자동화 생산시설에 스프링클러 등 자동식 소화설비를 설치한 공장으로서 국토교통부령으로 정하는 공장인 경우에는 그 보행거리가 75미터(무인화 공장인 경우에는 100미터) 이하가 되도록 설치할 수 있다. <개정 2009.7.16., 2010.2.18., 2011.12.30., 2013.3.23.>"

// 건축법 시행령 34조 (직통계단의 설치) 1항

Check(EDBA_34_1){
KS
}

KS{
Floor myFloor{
isObjectProperty(Floor.isEscape) = TRUE
}

Space mySpace{
getObjectProperty(Space.usage)="PerformanceHall"
OR getObjectProperty(Space.usage)="AssemblyHall"
OR getObjectProperty(Space.usage)="Auditorium"     
OR getObjectProperty(Space.usage)="ExhibitionHall"
}

Door myDoor{
isDirectlyAccessible(Door, Ground)=TRUE
}

Stair myStair{
isObjectProperty(Stair.isDirect)=TRUE
isAccessible(Stair,myFloor)=TRUE
OR isAccessible(Stair,Ground)=TRUE
}

Ramp myRamp{
isAccessible(Ramp,myFloor)=TRUE
OR isAccessible(Ramp,Ground)=TRUE
}

Floor myFloor2{
isObjectProperty(Floor.isEscape)=FALSE
OR hasObject(Floor, myDoor)=FALSE
}

     Zone myZone{

          isDirectlyAccessible(myStair, Zone)=FALSE

     }



IF

     getFloorNumber(mySpace)>0

     getFloorArea(mySpace)<=300 m2

     isFireResistantStructure(MainStructuralPart)=TRUE

     OR isObjectProperty(MainStructuralPart.Material.nonCombustibility)=TRUE

     THEN IF getBuildingStoriesCount()>=16

      getBuildingUsage()="MultiUnitHouse"

      THEN ED= 40

     ELSE THEN ED=50

     END IF



ELSE IF

     getBuildingUsage() = "Factory"

     isExist(ExtinguishingSystem)=TRUE

     isObjectProperty(ExtinguishingSystem.isAutomatic)=TRUE

     getResult(REFB_8_2)=TRUE

     THEN IF      getBuildingUsage() = "UnmannedFactory"

               THEN ED=100

     ELSE THEN ED=75

     END IF



ELSE THEN ED=30

     END IF



     (hasObject(myFloor,myStair)=TRUE

     hasObject(myZone, myStair)=TRUE

     getObjectDistance(Room,myStair, 1)<=ED)

     OR

     (hasObject(myFloor,myRamp)=TRUE

     hasObject(myZone, myRamp)=TRUE

     getObjectDistance(Room,myRamp, 1)<=ED)

}

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

"② 영 제34조제1항 단서에서 "국토교통부령으로 정하는 공장"이란 반도체 및 디스플레이 패널을 제조하는 공장을 말한다. <신설 2010.4.7., 2013.3.23.>"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조 (직통계단의 설치기준) 2항 Check(REFB_8_2){ getObjectProperty(Building.usage)=“Factory.SemiconductorAndDisplayPanelManufacturingFactory＂ }

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

"③ 초고층 건축물에는 피난층 또는 지상으로 통하는 직통계단과 직접 연결되는 피난안전구역(건축물의 피난ㆍ안전을 위하여 건축물 중간층에 설치하는 대피공간을 말한다. 이하 같다)을 지상층으로부터 최대 30개 층마다 1개소 이상 설치하여야 한다. <신설 2009.7.16., 2011.12.30.>"

// 건축법 시행령 제 34조 (직통계단의 설치) 3항 check(EDBA_34_3){           IF CS THEN KS ENDIF } CS{ isObjectProperty(Building.isHighriseBuilding) = TRUE } KS{           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           getObjectCount(myZone) >= getBuildingStoriesCount()/30 }

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

"제8조(직통계단의 설치기준) ①영 제34조에 따른 직통계단의 출입구는 피난에 지장이 없도록 일정한 간격을 두어 설치하고, 각 직통계단 상호간에는 각각 거실과 연결된 복도등 통로를 설치하여야 한다. <개정 2010.4.7.>"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조 (직통계단의 설치기준) 1항 Check(REFB_8_1){ Stair myStair{ isObjectProperty(Stair.isDirect)=TRUE } Passage myPassage{ isConnectedTo(Room, Passage)=TRUE }      isExist(myPassage)=TRUE isConnectedTo(myStair,myPassage)=TRUE }

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
}
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1345   건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  8조의2 조   2항      

"② 피난안전구역에 연결되는 특별피난계단은 피난안전구역을 거쳐서 상ㆍ하층으로 갈 수 있는 구조로 설치하여야 한다."

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 2항 Check(REFB_8-2_2){ Zone myZone{ isObjectProperty(Zone.isEgressSafetyZone)=TRUE } Stair myStair{ isObjectProperty(Stair.isSpecialEscape)=TRUE isAccessible(myZone, Stair)=TRUE } Floor myFloor{ Floor.number>getFloorNumber(myZone) OR Floor.number
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1346   건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  8조의2 조   3항      

"③ 피난안전구역의 구조 및 설비는 다음 각 호의 기준에 적합하여야 한다. <개정 2012.1.6., 2014.11.19.>"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 3항
Check(REFB_8-2_3){

getResult(REFB_8-2_3_2)=TRUE
getResult(REFB_8-2_3_3)=TRUE
getResult(REFB_8-2_3_4)=TRUE
getResult(REFB_8-2_3_5)=TRUE
getResult(REFB_8-2_3_6)=TRUE
getResult(REFB_8-2_3_7)=TRUE
getResult(REFB_8-2_3_8)=TRUE
getResult(REFB_8-2_3_9)=TRUE
}

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

"1. 피난안전구역의 바로 아래층 및 윗층은 「건축물의 설비기준 등에 관한 규칙」 제21조제1항제1호에 적합한 단열재를 설치할 것. 이 경우 아래층은 최상층에 있는 거실의 반자 또는 지붕 기준을 준용하고, 윗층은 최하층에 있는 거실의 바닥 기준을 준용할 것"
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1348   건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  8조의2 조   3항   2호    

"2. 피난안전구역의 내부마감재료는 불연재료로 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항2호
check(REFB_8-2_3_2){

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

isObjectProperty(myZone.InteriorFinish.nonCombustibility)=TRUE
}

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

"3. 건축물의 내부에서 피난안전구역으로 통하는 계단은 특별피난계단의 구조로 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항3호
check(REFB_8-2_3_3){

Stair myStair{
isExternal(Stair)=FALSE
isAccessible(myZone, Stair)=TRUE
}
isObjectProperty(Stair.isSpecialEscape)=TRUE

}

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

"4. 비상용 승강기는 피난안전구역에서 승하차 할 수 있는 구조로 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항4호
check(REFB_8-2_3_4){

Elevator myElevator{
isObjectProperty(Elevator.isEmergency)=TRUE
}

isDirectlyAccessible(myZone, myElevator)=TRUE
}

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

"5. 피난안전구역에는 식수공급을 위한 급수전을 1개소 이상 설치하고 예비전원에 의한 조명설비를 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항5호
check(REFB_8-2_3_5){
hasObject(myZone,Hydrant)=True
hasObject(myZone,LightingSystem)=TRUE
}

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

"6. 관리사무소 또는 방재센터 등과 긴급연락이 가능한 경보 및 통신시설을 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항6호
check(REFB_8-2_3_6){
hasObject(myZone, WarningAndCommunicationFacility)=TRUE
}

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

"7. 별표 1의2에서 정하는 기준에 따라 산정한 면적 이상일 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항7호
check(REFB_8-2_3_7){
getResult(REFB_*_1-2)=TRUE
}

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

"8. 피난안전구역의 높이는 2.1미터 이상일 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항8호
check(REFB_8-2_3_8){
getSpaceHeight(myZone)>=2.1 m
}

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

"9. 「건축물의 설비기준 등에 관한 규칙」 제14조에 따른 배연설비를 설치할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항9호
check(REFB_8-2_3_9){

isExist(SmokeExhaustionSystem)=TRUE
getResult(RFB_14_2)=TRUE
getResult(RFB_14_2_1)=TRUE
getResult(RFB_14_2_4)=TRUE
}

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1201   건축물의 설비기준 등에 관한 규칙  14 조   1항      

"제14조(배연설비) ①영 제51조제2항에 따라 배연설비를 설치하여야 하는 건축물에는 다음 각 호의 기준에 적합하게 배연설비를 설치하여야 한다. 다만, 피난층인 경우에는 그러하지 아니하다. <개정 1996.2.9.,1999.5.11., 2002.8.31., 2009.12.31., 2010.11.5.>"

//건축물의 설비기준 등에 관한 규칙 14조 (배연설비) 1항 Check(RFB_14_1){ IF (CS) THEN KS } CS {      isObjectProperty(Floor.isEscape) = FALSE } KS { isExist(SmokeExhaustionSystem)=TRUE      getResult(RFB_14_1_1) = TRUE      AND getResult(RFB_14_1_2) = TRUE }

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1207   건축물의 설비기준 등에 관한 규칙  14 조   2항      

"②특별피난계단 및 영 제90조제3항의 규정에 의한 비상용승강기의 승강장에 설치하는 배연설비의 구조는 다음 각호의 기준에 적합하여야 한다. <개정 1996.2.9., 1999.5.11.>"

//건축물의 설비기준 등에 관한 규칙 14조 (배연설비) 2항 Check(RFB_14_2){ IF CS THEN KS } CS {      isObjectProperty(Stair.isSpecialEscape)=TRUE OR isObjectProperty(Elevator.isEmergency)=TRUE } KS {      getResult(RFB_14_2_1) = TRUE      getResult(RFB_14_2_4) = TRUE }

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

"10. 그 밖에 국민안전처장관이 정하는 소방 등 재난관리를 위한 설비를 갖출 것"
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 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 2688  건축법 시행령  34 조   4항      

"④ 준초고층 건축물에는 피난층 또는 지상으로 통하는 직통계단과 직접 연결되는 피난안전구역을 해당 건축물 전체 층수의 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
}
L 특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계 1343  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  8 조   2항      

"② 영 제34조제1항 단서에서 "국토교통부령으로 정하는 공장"이란 반도체 및 디스플레이 패널을 제조하는 공장을 말한다. <신설 2010.4.7., 2013.3.23.>"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조 (직통계단의 설치기준) 2항 Check(REFB_8_2){ getObjectProperty(Building.usage)=“Factory.SemiconductorAndDisplayPanelManufacturingFactory＂ }

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

"②영 제39조제1항에 따라 건축물의 바깥쪽으로 나가는 출구를 설치하는 건축물중 문화 및 집회시설(전시장 및 동ㆍ식물원을 제외한다), 종교시설, 장례식장 또는 위락시설의 용도에 쓰이는 건축물의 바깥쪽으로의 출구로 쓰이는 문은 안여닫이로 하여서는 아니된다. <개정 2010.4.7.>"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 2항 Check(REFB_11_2){       IF CS1 AND CS2 THEN KS } CS1 { Building myBuilding{ getBuildingUsage() = “CulturalAndAssemblyFacility” OR getBuildingUsage() = “ReligiousFacility” OR getBuildingUsage() = “AmusementFacility” OR getBuildingUsage() = “FuneralParlor” getBuildingUsage() != “ExhibitionHall” getBuildingUsage() != “ZoologicalAndBotanicalGarden” } Door myDoor{ isObjectProperty(myBuilding.Door.isEntrance)=TRUE } isExist(myDoor) = TRUE } KS { getObjectProperty(myDoor.panelOperationType) != “OpeningInDoor” }

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

"③영 제39조제1항의 규정에 의하여 건축물의 바깥쪽으로 나가는 출구를 설치하는 경우 관람석의 바닥면적의 합계가 300제곱미터 이상인 집회장 또는 공연장에 있어서는 주된 출구외에 보조출구 또는 비상구를 2개소 이상 설치하여야 한다."

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 3항 Check(REFB_11_3){       IF CS1 AND CS2 THEN KS } CS1 { Building myBuilding{ getBuildingUsage() = “AssemblyHall” OR getBuildingUsage() = “PerformanceHall” } Space mySpace{ myBuilding.Space.name = “Auditorium” Space.FloorSlab.area >= 300 m2 } isExist(mySpace) = TRUE } CS2 { Door myDoor{ isObjectProperty(Door.isEntrance)=TRUE } hasObject(myBuilding,myDoor) = TRUE } KS { Door myDoor{ getObjectProperty(Door.functionType) = "Auxiliary" OR getObjectProperty(Door.functionType) = "Emergency" } getObjectCount(myDoor) >=2 }

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

"④판매시설의 용도에 쓰이는 피난층에 설치하는 건축물의 바깥쪽으로의 출구의 유효너비의 합계는 해당 용도에 쓰이는 바닥면적이 최대인 층에 있어서의 해당 용도의 바닥면적 100제곱미터마다 0.6미터의 비율로 산정한 너비 이상으로 하여야 한다. <개정 2010.4.7.>"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 4항
Check(REFB_11_4){      
IF CS THEN KS
}

CS {
Floor myFloor{
getObjectUsage(Floor) = “CommercialFacility”
isObjectProperty(Floor.isEscape)=TRUE
}
Door myDoor{
isObjectProperty(Door.isEntrance)=TRUE
}

hasObject(myFloor,myDoor) = TRUE
}

KS{

myFloor.myDoor.effectiveWidth >=

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

"⑤다음 각 호의 어느 하나에 해당하는 건축물의 피난층 또는 피난층의 승강장으로부터 건축물의 바깥쪽에 이르는 통로에는 제15조제5항에 따른 경사로를 설치하여야 한다. <개정 2010.4.7.>"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 5항
Check(REFB_11_5){      
IF CS1 AND CS2 THEN KS
}

CS1 {
getResult(REFB_11_5_1)=TRUE
OR getResult(REFB_11_5_2)=TRUE
OR getResult(REFB_11_5_3)=TRUE
OR getResult(REFB_11_5_4)=TRUE
OR getResult(REFB_11_5_5)=TRUE
OR getResult(REFB_11_5_6)=TRUE
}

CS2{
Floor myFloor{
     isObjectProperty(Floor.isEscape)=TRUE
}

Passage myPassage{
isDirectlyAccessible(myFloor,Passage) = TRUE
OR isDirectlyAccessible(myFloor.Platform,Passage) = TRUE
isConnectedToExternal(Passage) = TRUE
}

isExist(myPassage)=TRUE
}

KS{
hasObject(myPassage,Ramp)=TRUE
getResult(REFB_15_5)=TRUE
}



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

"1. 제1종 근린생활시설 중 지역자치센터ㆍ파출소ㆍ지구대ㆍ소방서ㆍ우체국ㆍ방송국ㆍ보건소ㆍ공공도서관ㆍ지역건강보험조합 기타 이와 유사한 것으로서 동일한 건축물안에서 당해 용도에 쓰이는 바닥면적의 합계가 1천제곱미터 미만인 것"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 5항 1호 Check(REFB_11_5_1){        KS } KS { Building myBuilding{ getBuildingUsage() = “ClassINeighborhoodLivingFacility.CommunityCenter” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PoliceBox” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PoliceSubstation” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.FireStation” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PostOffice” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.BroadcastingStation” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.HealthCenter” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PublicLibrary” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.RegionalHealthInsuranceAssociation” } Space mySpace{ Space.usage=“CommunityCenter” Space.usage=“PoliceBox” Space.usage=“PoliceSubstation” Space.usage=“FireStation” Space.usage=“PostOffice” Space.usage=“BroadcastingStation” Space.usage=“HealthCenter” Space.usage=“PublicLibrary” Space.usage=“RegionalHealthInsuranceAssociation” Space.FloorSlab.area < 1000 m2 } isExist(myBuilding) = TRUE isExist(mySpace) = TRUE }

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

"2. 제1종 근린생활시설 중 마을회관ㆍ마을공동작업소ㆍ마을공동구판장ㆍ변전소ㆍ양수장ㆍ정수장ㆍ대피소ㆍ공중화장실 기타 이와 유사한 것"

건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 5항 2호 Check(REFB_11_5_2){        KS } KS { Building myBuilding{ getBuildingUsage() = “ClassINeighborhoodLivingFacility.VillageHall” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.CommunityWorkspace” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.CommunitySalesShop” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.Substation” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PumpingStation” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PurificationPlant” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.Shelter” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PublicLibrary” OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PublicToilet” } isExist(myBuilding) = TRUE }

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

"3. 연면적이 5천제곱미터 이상인 판매시설, 운수시설"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 5항 3호
Check(REFB_11_5_3){ 젨젨젨
KS
}

KS {
getBuildingUsage() = “CommercialFacility”
OR getBuildingUsage() = “TransportationFacility”
getObjectProperty(Building.grossFloorArea) >= 5000 m2

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

"4. 교육연구시설 중 학교"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 5항 4호 Check(REFB_11_5_4){       KS } KS { Building myBuilding{ getBuildingUsage() = “EducationAndResearchFacility.School” } isExist(myBuliding) = TRUE }

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

"5. 업무시설중 국가 또는 지방자치단체의 청사와 외국공관의 건축물로서 제1종 근린생활시설에 해당하지 아니하는 것"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 5항 5호 Check(REFB_11_5_5){        KS } KS { Building myBuilding{ getBuildingUsage() = “BusinessFacility.GovernmentOfficeBuilding” OR getBuildingUsage() = “BusinessFacility.ForeignOfficialResidence” getBuildingUsage() != “ClassINeighborhoodLivingFacility” } isExist(myBuilding) = TRUE }

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

"6. 승강기를 설치하여야 하는 건축물"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 5항 6호 Check(REFB_11_5_6){ KS } KS { hasObject(Building,Elevator)=TRUE }

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

"⑤계단을 대체하여 설치하는 경사로는 다음 각호의 기준에 적합하게 설치하여야 한다. <개정 2010.4.7.>"

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

CS{
isEixst(Ramp)=TRUE
}
KS {
getResult(REFB_15_5_1)=TRUE
getResult(REFB_15_5_3)=TRUE
}


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

"1. 경사도는 1 : 8을 넘지 아니할 것"

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

KS{
getObjectGradient(Ramp) <= 12.5%
}

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

"2. 표면을 거친 면으로 하거나 미끄러지지 아니하는 재료로 마감할 것"
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1477  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙  15 조   5항   3호    

"3. 경사로의 직선 및 굴절부분의 유효너비는 「장애인ㆍ노인ㆍ임산부등의 편의증진보장에 관한 법률」이 정하는 기준에 적합할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙      15조 (계단의 설치기준) 5항 3호

check(REFB_15_5_3){
IF CS THEN KS
}
CS{
     isInstalled(Ramp, Building) = TRUE
}
KS{
     getResult(unimplemented_CDAPA) = TRUE
}

L 광법위한 하위법규의 검토결과에 따라 상위법규의 검토결과가 정해지는 관계 15676   장애인ㆍ노인ㆍ임산부등의 편의증진보장에 관한 법률  조        

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

"⑥법 제39조제1항에 따라 영 제39조제1항 각 호의 어느 하나에 해당하는 건축물의 바깥쪽으로 나가는 출입문에 유리를 사용하는 경우에는 안전유리를 사용하여야 한다. <신설 2006.6.29.>"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 6항
Check(REFB_11_6){   
KS
}

KS{
Door myDoor{
isObjectProperty(Door.isEntrance)=TRUE
}
IF getObjectMaterial(myDoor)="Glass"
THEN getObjectType(Glass)="Safety"

}

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