국토부 BIM과제 - 한양대 세부

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

법규 문장 내.외 관계논리 체계화 - 법규조항간 문장 관계

7539 다중이용업소의 안전관리에 관한 특별법 시행령2조 다중이용업 KBimCode 내보내기

상위 법규문장 ID 1554 최상위 법규조항 ID 3861

 
		 제2조(다중이용업) 「다중이용업소의 안전관리에 관한 특별법」(이하 "법"이라 한다) 제2조제1항제1호에서 "대통령령으로 정하는 영업"이란 다음 각 호의 어느 하나에 해당하는 영업을 말한다. <개정 2008.12.24., 2009.7.1., 2009.8.6., 2010.8.11., 2012.1.31., 2013.3.23., 2013.11.20., 2014.11.19., 2014.12.23.>

//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업)

Check(ERSASP_2){

KS

}

KS{

Building myBuilding{

getResult(ERSASP_2_1)= TRUE

OR getResult(ERSASP_2_2)= TRUE

OR getResult(ERSASP_2_3)= TRUE

OR getResult(ERSASP_2_5)= TRUE

OR getResult(ERSASP_2_6)= TRUE

OR getResult(ERSASP_2_7)= TRUE

OR getResult(ERSASP_2_7-2)= TRUE

OR getResult(ERSASP_2_7-3)= TRUE

OR getResult(ERSASP_2_7-4)= TRUE

OR getResult(ERSASP_2_7-5)= TRUE

}

}

관계유형

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

7540 다중이용업소의 안전관리에 관한 특별법 시행령 2 조 1호

"1. 「식품위생법 시행령」 제21조제8호에 따른 식품접객업 중 다음 각 목의 어느 하나에 해당하는 것"

//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업) 1호


Check(ERSASP_2_0_1){
IF CS THEN KS
}

CS{
getObjectProperty(Building.business) = "EDFA_21_0_8"

}
KS{
getResult(ERSASP_2_0_1_1)= TRUE
OR getResult(ERSASP_2_0_1_2)= TRUE

} 

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

7541 다중이용업소의 안전관리에 관한 특별법 시행령 2 조 1호 가목

"가. 휴게음식점영업ㆍ제과점영업 또는 일반음식점영업으로서 영업장으로 사용하는 바닥면적(「건축법 시행령」 제119조제1항제3호에 따라 산정한 면적을 말한다. 이하 같다)의 합계가 100제곱미터(영업장이 지하층에 설치된 경우에는 그 영업장의 바닥면적 합계가 66제곱미터) 이상인 것. 다만, 영업장(내부계단으로 연결된 복층구조의 영업장을 제외한다)이 지상 1층 또는 지상과 직접 접하는 층에 설치되고 그 영업장의 주된 출입구가 건축물 외부의 지면과 직접 연결되는 곳에서 하는 영업을 제외한다."

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

7542 다중이용업소의 안전관리에 관한 특별법 시행령 2 조 1호 나목

"나. 단란주점영업과 유흥주점영업"

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

7542 다중이용업소의 안전관리에 관한 특별법 시행령 2 조 1호 나목

"나. 단란주점영업과 유흥주점영업"

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

7543 다중이용업소의 안전관리에 관한 특별법 시행령 2 조 2호

"2. 「영화 및 비디오물의 진흥에 관한 법률」 제2조제10호, 같은 조 제16호가목ㆍ나목 및 라목에 따른 영화상영관ㆍ비디오물감상실업ㆍ비디오물소극장업 및 복합영상물제공업"

//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업) 2호


Check(ERSASP_2_0_2){
KS
}

KS{
getObjectProperty(Building.business)= "PMVA_2_0_10"
OR getObjectProperty(Building.business)= "PMVA_2_0_16_1"
OR getObjectProperty(Building.business)= "PMVA_2_0_16_2"
OR getObjectProperty(Building.business)= "PMVA_2_0_16_4"
}

 

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

7544 다중이용업소의 안전관리에 관한 특별법 시행령 2 조 3호

"3. 「학원의 설립ㆍ운영 및 과외교습에 관한 법률」 제2조제1호에 따른 학원(이하 "학원"이라 한다)으로서 다음 각 목의 어느 하나에 해당하는 것"

//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업) 3호


Check(ERSASP_2_0_3){
IF CS THEN KS
}

CS{
getObjectProperty(Building.business)= "AEOPE_2_0_1_"
}

KS{
getResult(ERSASP_2_0_3_가)= TRUE
OR getResult(ERSASP_2_0_3_나)= TRUE
} 

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

7545 다중이용업소의 안전관리에 관한 특별법 시행령 2 조 3호 가목

"가. 「소방시설 설치유지 및 안전관리에 관한 법률 시행령」 별표 4에 따라 산정된 수용인원(이하 "수용인원"이라 한다)이 300명 이상인 것"

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

7546 다중이용업소의 안전관리에 관한 특별법 시행령 2 조 3호 나목

"나. 수용인원 100명 이상 300명 미만으로서 다음의 어느 하나에 해당하는 것. 다만, 학원으로 사용하는 부분과 다른 용도로 사용하는 부분(학원의 운영권자를 달리하는 학원과 학원을 포함한다)이 「건축법 시행령」 제46조에 따른 방화구획으로 나누어진 경우는 제외한다."

하위 법규문장 모두 거짓이어야 상위법규가 만족하는 관계

2744 건축법 시행령 46 조 1항

"제46조(방화구획의 설치) ① 법 제49조제2항에 따라 주요구조부가 내화구조 또는 불연재료로 된 건축물로서 연면적이 1천 제곱미터를 넘는 것은 국토교통부령으로 정하는 기준에 따라 내화구조로 된 바닥ㆍ벽 및 제64조에 따른 갑종 방화문(국토교통부장관이 정하는 기준에 적합한 자동방화셔텨를 포함한다. 이하 이 조에서 같다)으로 구획(이하 "방화구획"이라 한다)하여야 한다. 다만, 「원자력안전법」 제2조에 따른 원자로 및 관계시설은 「원자력안전법」에서 정하는 바에 따른다. <개정 2011.10.25., 2013.3.23.>"

//건축법 시행령 46조 (방화구획의 설치) 1항

Check(EDBA_46_1){

   IF (!CS1 AND CS2) THEN KS

}

CS1{

  getBuildingUsage()="NuclearReactorAndRelatedFacility"

}

CS2{

  (isObjectProperty(MainStructuralPart.isFireResistantStructure)=TRUE

  OR isObjectProperty(MainStructuralPart.Material.nonCombustibility)=TRUE))

  AND Building.grossFloorArea>1000 m2

}

KS{

  Floor myFloor{

      isObjectProperty(FloorSlab.isFireResistantStructure)=TRUE

  }

  Wall myWall{

      isObjectProperty(Wall.isFireResistantStructure)=TRUE

  }

  Door myDoor{

      isObjectProperty(Door.isStrictFireproofDoor)=TRUE

  }

  isFirePartition(Building, myFloor)=TRUE

  AND  isFirePartition(Building, myWall)=TRUE

  AND  isFirePatrition(Building, myDoor)=TRUE

  AND getResult(REFB_14_1)=TRUE

  AND getResult(REFB_14_2)=TRUE

  AND getResult(REFB_14_3)=TRUE

}

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

1428 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 14 조 1항

"제14조(방화구획의 설치기준) ①영 제46조에 따라 건축물에 설치하는 방화구획은 다음 각호의 기준에 적합하여야 한다. <개정 2010.4.7.>"

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 14조 (방화구획의 설치) 1항


check(REFB_14_1){
KS
}

KS{
     getResult(REFB_14_1_1) = TRUE
     AND getResult(REFB_14_1_2) = TRUE
     AND getResult(REFB_14_1_3) = TRUE
} 

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

1429 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 14 조 1항 1호

"1. 10층 이하의 층은 바닥면적 1천제곱미터(스프링클러 기타 이와 유사한 자동식 소화설비를 설치한 경우에는 바닥면적 3천제곱미터)이내마다 구획할 것"

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

check(REFB_14_1_1){KS

}

KS{

     Floor myFloor{

          Floor.number>=10

     }

     IF (

        isExist(SprinklerSystem)=TRUE 
isObjectProperty(ExtinguishingSystem.isAutomatic) = TRUE

        ) 

     (

        isFirePartition(myFloor, 3000)=TRUE

        OR isFirePartition(myFloor, a, 1000)=TRUE

        )

}

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

1430 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 14 조 1항 2호

"2. 3층 이상의 층과 지하층은 층마다 구획할 것. 다만, 지하 1층에서 지상으로 직접 연결하는 경사로 부위는 제외한다."

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

check(REFB_14_1_2){
IF CS THEN KS
}

KS{
  Floor myFloor { 
         Floor.number>=3
         AND Floor.number<0
         }
  isObjectProperty(myFloor.isFirePartition)=TRUE
}



CS{
  Ramp myRamp{
         isGoThrough(getFloor(Floor.number=-1),Ramp,Ground)=TRUE
         }
         isObjectProperty(myRamp.isFirePartition)=FALSE  
}


 

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

1431 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 14 조 1항 3호

"3. 11층 이상의 층은 바닥면적 200제곱미터(스프링클러 기타 이와 유사한 자동식 소화설비를 설치한 경우에는 600제곱미터)이내마다 구획할 것. 다만, 벽 및 반자의 실내에 접하는 부분의 마감을 불연재료로 한 경우에는 바닥면적 500제곱미터(스프링클러 기타 이와 유사한 자동식 소화설비를 설치한 경우에는 1천500제곱미터)이내마다 구획하여야 한다."

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 14조 (방화구획의설치) 1항3호

check(REFB_14_1_3){

KS2 AND IF CS THEN KS

}

Floor myFloor {

          getFloorNumebr()>= 11

              } 

KS2{

     isFirepartition(myFloor,200)=TRUE 

     OR 

     ((isExist(SprinklerSystem) = TRUE 

      OR isObjectProperty(ExtinguishingSystem.isAutomatic) = TRUE)

      AND isFirepartition(myFloor,600)=TRUE)

}

CS1 {

     isObjectProperty(Space.InteriorFinish.Material.nonCombustibility)=TRUE

}

KS1 {

     isFirepartition(myFloor,500)=TRUE

     OR

      ((isExist(SprinklerSystem) = TRUE 

      OR isObjectProperty(ExtinguishingSystem.isAutomatic) = TRUE)

      AND isFirepartition(myFloor,1500)=TRUE)

}

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

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 
}
 

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

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
} 

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

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
} 

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

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
}
 

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

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

}

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

1467 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15 조 2항 5호

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

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


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

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

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

}

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

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

}

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

1202 건축물의 설비기준 등에 관한 규칙 14 조 1항 1호

"1. 영 제46조제1항의 규정에 의하여 건축물에 방화구획이 설치된 경우에는 그 구획마다 1개소 이상의 배연창을 설치하되, 배연창의 상변과 천장 또는 반자로부터 수직거리가 0.9미터 이내일 것. 다만, 반자높이가 바닥으로부터 3미터 이상인 경우에는 배연창의 하변이 바닥으로부터 2.1미터 이상의 위치에 놓이도록 설치하여야 한다."

//건축물의 설비기준 등에 관한 규칙 14조 (배연설비) 1항 1호

Check(RFB_14_1_1){

     IF (CS) THEN KS1 AND KS2

}

Zone myZone{

          isObjectProperty(Zone.isFirePartition) = TRUE

     }

CS{

     isObjectProperty(Building.isFirePartition) = TRUE

}

KS1{

     hasSpace(myZone, SmokeVentilator) = TRUE

     getObjectVerticalDistance(SmokeVentilator, Ceiling) < 0.9 m

     OR getObjectVerticalDistance(SmokeVentilator, CeilingCovering) < 0.9 m

}

KS2{     

     IF{

          getSpaceHeight(myZone, b) >= 3 m

     }

     THEN{

          getObjectVerticalDistance(SmokeVentilator, FloorSlab) >= 2.1 m 

     }

}

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

//건축법 시행령 46조 (방화구획의 설치) 1항

Check(EDBA_46_1){

   IF (!CS1 AND CS2) THEN KS

}

CS1{

  getBuildingUsage()="NuclearReactorAndRelatedFacility"

}

CS2{

  (isObjectProperty(MainStructuralPart.isFireResistantStructure)=TRUE

  OR isObjectProperty(MainStructuralPart.Material.nonCombustibility)=TRUE))

  AND Building.grossFloorArea>1000 m2

}

KS{

  Floor myFloor{

      isObjectProperty(FloorSlab.isFireResistantStructure)=TRUE

  }

  Wall myWall{

      isObjectProperty(Wall.isFireResistantStructure)=TRUE

  }

  Door myDoor{

      isObjectProperty(Door.isStrictFireproofDoor)=TRUE

  }

  isFirePartition(Building, myFloor)=TRUE

  AND  isFirePartition(Building, myWall)=TRUE

  AND  isFirePatrition(Building, myDoor)=TRUE

  AND getResult(REFB_14_1)=TRUE

  AND getResult(REFB_14_2)=TRUE

  AND getResult(REFB_14_3)=TRUE

}

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

1203 건축물의 설비기준 등에 관한 규칙 14 조 1항 2호

"2. 배연창의 유효면적은 별표 2의 산정기준에 의하여 산정된 면적이 1제곱미터 이상으로서 그 면적의 합계가 당해 건축물의 바닥면적(영 제46조제1항 또는 제3항의 규정에 의하여 방화구획이 설치된 경우에는 그 구획된 부분의 바닥면적을 말한다)의 100분의 1이상일 것. 이 경우 바닥면적의 산정에 있어서 거실바닥면적의 20분의 1 이상으로 환기창을 설치한 거실의 면적은 이에 산입하지 아니한다."

//건축물의 설비기준 등에 관한 규칙 14조 (배연설비) 1항 2호
Check(RFB_14_1_2){
     IF (CS) THEN (KS1 OR KS2)
}

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

Space mySpace{
     getSpaceUsage(Space) = "Room"
     getTotalElementArea(Ventilator) >= getFloorArea(Space)*0.05
}

Space mySpace2{
     hasSpace(Space, myZone) = TRUE
     getResult(EDBA_46_1) = TRUE 
     getREsult(EDBA_46_3) = TRUE
}

CS{
     getElementArea(SmokeVentilator) >= 1 m2
     getResult(RFB_*_2) = TRUE
}

KS1{
     getTotalElementArea(Ventilator) >= (getBuildingArea()-getFloorArea(mySpace))*0.01
}

KS2{
     getTotalElementArea(Ventilator) >= (getFloorArea(myZone)-getFloorArea(mySpace))*0.01
} 

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

//건축법 시행령 46조 (방화구획의 설치) 1항

Check(EDBA_46_1){

   IF (!CS1 AND CS2) THEN KS

}

CS1{

  getBuildingUsage()="NuclearReactorAndRelatedFacility"

}

CS2{

  (isObjectProperty(MainStructuralPart.isFireResistantStructure)=TRUE

  OR isObjectProperty(MainStructuralPart.Material.nonCombustibility)=TRUE))

  AND Building.grossFloorArea>1000 m2

}

KS{

  Floor myFloor{

      isObjectProperty(FloorSlab.isFireResistantStructure)=TRUE

  }

  Wall myWall{

      isObjectProperty(Wall.isFireResistantStructure)=TRUE

  }

  Door myDoor{

      isObjectProperty(Door.isStrictFireproofDoor)=TRUE

  }

  isFirePartition(Building, myFloor)=TRUE

  AND  isFirePartition(Building, myWall)=TRUE

  AND  isFirePatrition(Building, myDoor)=TRUE

  AND getResult(REFB_14_1)=TRUE

  AND getResult(REFB_14_2)=TRUE

  AND getResult(REFB_14_3)=TRUE

}

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

2753 건축법 시행령 46 조 3항

"③ 건축물의 일부가 법 제50조제1항에 따른 건축물에 해당하는 경우에는 그 부분과 다른 부분을 방화구획으로 구획하여야 한다."

//건축법 시행령 46조 (방화구획의 설치) 3항
check(EDBA_46_3){
KS
}

KS{
getResult(BA_50_1)=TRUE
AND isGroupedFirePartition()=TRUE
} 

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

1204 건축물의 설비기준 등에 관한 규칙 14 조 1항 3호

"3. 배연구는 연기감지기 또는 열감지기에 의하여 자동으로 열 수 있는 구조로 하되, 손으로도 열고 닫을 수 있도록 할 것"

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

1205 건축물의 설비기준 등에 관한 규칙 14 조 1항 4호

"4. 배연구는 예비전원에 의하여 열 수 있도록 할 것"

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

1206 건축물의 설비기준 등에 관한 규칙 14 조 1항 5호

"5. 기계식 배연설비를 하는 경우에는 제1호 내지 제4호의 규정에 불구하고 소방관계법령의 규정에 적합하도록 할 것"

하위 법규문장 모두 거짓이어야 상위법규가 만족하는 관계

2745 건축법 시행령 46 조 2항

"② 다음 각 호의 어느 하나에 해당하는 건축물의 부분에는 제1항을 적용하지 아니하거나 그 사용에 지장이 없는 범위에서 제1항을 완화하여 적용할 수 있다. <개정 2010.2.18.>"

//건축법 시행령 46조 (방화구획의 설치) 2항
check(EDBA_46_2){
IF CS THEN KS
}

KS{ 
getResult(EDBA_46_1)=FALSE
}

CS{
getResult(EDBA_46_2_2)=TRUE
OR getResult(EDBA_46_2_3)=TRUE
OR getResult(EDBA_46_2_4)=TRUE
OR getResult(EDBA_46_2_5)=TRUE
OR getResult(EDBA_46_2_6)=TRUE
OR getResult(EDBA_46_2_7)=TRUE 
} 

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

2746 건축법 시행령 46 조 2항 1호

"1. 문화 및 집회시설(동ㆍ식물원은 제외한다), 종교시설, 운동시설 또는 장례식장의 용도로 쓰는 거실로서 시선 및 활동공간의 확보를 위하여 불가피한 부분"

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

1449 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 14 조 4항

"④ 제2항제2호에 따른 건축물의 외벽과 바닥 사이의 내화충전방법에 필요한 사항은 국토교통부장관이 정하여 고시한다. <신설 2012.1.6., 2013.3.23.>"

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

2748 건축법 시행령 46 조 2항 3호

"3. 계단실부분ㆍ복도 또는 승강기의 승강로 부분(해당 승강기의 승강을 위한 승강로비 부분을 포함한다)으로서 그 건축물의 다른 부분과 방화구획으로 구획된 부분"

//건축법 시행령 46조 (방화구획의 설치) 2항 3호

check(EDBA_46_2_3){

KS

}

KS{

 isObjectProperty(Stair.Space.isFirePartition)=TRUE

 OR isObjectProperty(Passage.isFirePartition)=TRUE

 OR isObjectProperty(ElevatorShaft.isFirePartition)=TRUE

}

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

2749 건축법 시행령 46 조 2항 4호

"4. 건축물의 최상층 또는 피난층으로서 대규모 회의장ㆍ강당ㆍ스카이라운지ㆍ로비 또는 피난안전구역 등의 용도로 쓰는 부분으로서 그 용도로 사용하기 위하여 불가피한 부분"

//건축법 시행령 46조 (방화구획의 설치) 2항 4호

check(EDBA_46_2_4){

KS

}

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

 AND 

 (getSpaceUsage(myFloor.Space)="ConferenceRoom"

 OR getSpaceUsage(myFloor.Space)="Hall"

 OR getSpaceUsage(myFloor.Space)="SkyLounge"

 OR getSpaceUsage(myFloor.Space)="Lobby"

 OR isObjectProperty(Zone.isEgressSafetyZone)= TRUE

}

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

2750 건축법 시행령 46 조 2항 5호

"5. 복층형 공동주택의 세대별 층간 바닥 부분"

//건축법 시행령 46조 (방화구획의 설치) 2항 5호
check(EDBA_46_2_5){
     Zone myZone{
          isObjectProperty(Zone.isOccupiedByOneHousehold) = TRUE
     }
     getBuildingUsage() = "DuplexMultiUnitHouses"
     hasSpace(myZone, Floor) = TRUE
     getFloorNumber(Floor) != 1
} 

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

2751 건축법 시행령 46 조 2항 6호

"6. 주요구조부가 내화구조 또는 불연재료로 된 주차장"

//건축법 시행령 46조 (방화구획의 설치) 2항 6호

check(EDBA_46_2_6){

KS

}

KS{

  isObjectProperty(MainStructuralPart.isFireResistantStructure)=TRUE

  AND isObjectProperty(MainStructuralPart.Material.nonCombustibility)=TRUE

  AND getSpaceUsage()=ParkingLot

}

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

2752 건축법 시행령 46 조 2항 7호

"7. 단독주택, 동물 및 식물 관련 시설 또는 교정 및 군사시설 중 군사시설(집회, 체육, 창고 등의 용도로 사용되는 시설만 해당한다)로 쓰는 건축물"

//건축법 시행령 46조 (방화구획의 설치) 2항 7호

check(EDBA_46_2_7){

KS

}

KS{

getBuildingUsage()="DetachedHouses"

OR getBuildingUsage()="FacilitiesForAnimalsAndPlants"

OR (getBuildingUsage()="CorrectionalFacilityANDMilitaryFacilities" and (getSpaceUsage()= "Assembly" OR "Gymnasium" OR "Warehouses")

}

특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계

//건축물의 설비기준 등에 관한 규칙 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

}

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

//건축물의 설비기준 등에 관한 규칙 14조 (배연설비) 1항 1호

Check(RFB_14_1_1){

     IF (CS) THEN KS1 AND KS2

}

Zone myZone{

          isObjectProperty(Zone.isFirePartition) = TRUE

     }

CS{

     isObjectProperty(Building.isFirePartition) = TRUE

}

KS1{

     hasSpace(myZone, SmokeVentilator) = TRUE

     getObjectVerticalDistance(SmokeVentilator, Ceiling) < 0.9 m

     OR getObjectVerticalDistance(SmokeVentilator, CeilingCovering) < 0.9 m

}

KS2{     

     IF{

          getSpaceHeight(myZone, b) >= 3 m

     }

     THEN{

          getObjectVerticalDistance(SmokeVentilator, FloorSlab) >= 2.1 m 

     }

}

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

//건축법 시행령 46조 (방화구획의 설치) 1항

Check(EDBA_46_1){

   IF (!CS1 AND CS2) THEN KS

}

CS1{

  getBuildingUsage()="NuclearReactorAndRelatedFacility"

}

CS2{

  (isObjectProperty(MainStructuralPart.isFireResistantStructure)=TRUE

  OR isObjectProperty(MainStructuralPart.Material.nonCombustibility)=TRUE))

  AND Building.grossFloorArea>1000 m2

}

KS{

  Floor myFloor{

      isObjectProperty(FloorSlab.isFireResistantStructure)=TRUE

  }

  Wall myWall{

      isObjectProperty(Wall.isFireResistantStructure)=TRUE

  }

  Door myDoor{

      isObjectProperty(Door.isStrictFireproofDoor)=TRUE

  }

  isFirePartition(Building, myFloor)=TRUE

  AND  isFirePartition(Building, myWall)=TRUE

  AND  isFirePatrition(Building, myDoor)=TRUE

  AND getResult(REFB_14_1)=TRUE

  AND getResult(REFB_14_2)=TRUE

  AND getResult(REFB_14_3)=TRUE

}

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

//건축물의 설비기준 등에 관한 규칙 14조 (배연설비) 1항 2호
Check(RFB_14_1_2){
     IF (CS) THEN (KS1 OR KS2)
}

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

Space mySpace{
     getSpaceUsage(Space) = "Room"
     getTotalElementArea(Ventilator) >= getFloorArea(Space)*0.05
}

Space mySpace2{
     hasSpace(Space, myZone) = TRUE
     getResult(EDBA_46_1) = TRUE 
     getREsult(EDBA_46_3) = TRUE
}

CS{
     getElementArea(SmokeVentilator) >= 1 m2
     getResult(RFB_*_2) = TRUE
}

KS1{
     getTotalElementArea(Ventilator) >= (getBuildingArea()-getFloorArea(mySpace))*0.01
}

KS2{
     getTotalElementArea(Ventilator) >= (getFloorArea(myZone)-getFloorArea(mySpace))*0.01
} 

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

//건축법 시행령 46조 (방화구획의 설치) 1항

Check(EDBA_46_1){

   IF (!CS1 AND CS2) THEN KS

}

CS1{

  getBuildingUsage()="NuclearReactorAndRelatedFacility"

}

CS2{

  (isObjectProperty(MainStructuralPart.isFireResistantStructure)=TRUE

  OR isObjectProperty(MainStructuralPart.Material.nonCombustibility)=TRUE))

  AND Building.grossFloorArea>1000 m2

}

KS{

  Floor myFloor{

      isObjectProperty(FloorSlab.isFireResistantStructure)=TRUE

  }

  Wall myWall{

      isObjectProperty(Wall.isFireResistantStructure)=TRUE

  }

  Door myDoor{

      isObjectProperty(Door.isStrictFireproofDoor)=TRUE

  }

  isFirePartition(Building, myFloor)=TRUE

  AND  isFirePartition(Building, myWall)=TRUE

  AND  isFirePatrition(Building, myDoor)=TRUE

  AND getResult(REFB_14_1)=TRUE

  AND getResult(REFB_14_2)=TRUE

  AND getResult(REFB_14_3)=TRUE

}

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

//건축법 시행령 46조 (방화구획의 설치) 3항
check(EDBA_46_3){
KS
}

KS{
getResult(BA_50_1)=TRUE
AND isGroupedFirePartition()=TRUE
} 

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

1205 건축물의 설비기준 등에 관한 규칙 14 조 1항 4호

"4. 배연구는 예비전원에 의하여 열 수 있도록 할 것"

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

7550 다중이용업소의 안전관리에 관한 특별법 시행령 2 조 4호

"4. 목욕장업으로서 다음 각 목에 해당하는 것"

//건축법 시행령 46조 (방화구획의 설치) 3항
check(EDBA_46_3){
KS
}

KS{
getResult(BA_50_1)=TRUE
AND isGroupedFirePartition()=TRUE
} 

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

7551 다중이용업소의 안전관리에 관한 특별법 시행령 2 조 4호 가목

"가. 하나의 영업장에서 「공중위생관리법」 제2조제1항제3호가목에 따른 목욕장업 중 맥반석이나 대리석 등 돌을 가열하여 발생하는 열기나 원적외선 등을 이용하여 땀을 배출하게 할 수 있는 시설을 갖춘 것으로서 수용인원(물로 목욕을 할 수 있는 시설부분의 수용인원은 제외한다)이 100명 이상인 것"

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

7552 다중이용업소의 안전관리에 관한 특별법 시행령 2 조 4호 나목

"나. 「공중위생관리법」 제2조제1항제3호나목의 시설을 갖춘 목욕장업"

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

7553 다중이용업소의 안전관리에 관한 특별법 시행령 2 조 5호

"5. 「게임산업진흥에 관한 법률」 제2조제6호ㆍ제6호의2ㆍ제7호 및 제8호의 게임제공업ㆍ인터넷컴퓨터게임시설제공업 및 복합유통게임제공업. 다만, 게임제공업 및 인터넷컴퓨터게임시설제공업의 경우에는 영업장(내부계단으로 연결된 복층구조의 영업장은 제외한다)이 지상 1층 또는 지상과 직접 접하는 층에 설치되고 그 영업장의 주된 출입구가 건축물 외부의 지면과 직접 연결된 구조에 해당하는 경우는 제외한다."

//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업) 5호


Check(ERSASP_2_0_5){
KS1 AND IF CS THEN !KS2
}


KS1{
getObjectProperty(Building.business)= "GIPA_2_0_6"
OR getObjectProperty(Building.business)= "GIPA_2_0_6-2"
OR getObjectProperty(Building.business)= "GIPA_2_0_7"
OR getObjectProperty(Building.business)= "GIPA_2_0_8"
}


CS{
getObjectProperty(Building.business)= "GIPA_2_0_6"
OR getObjectProperty(Building.business)= "GIPA_2_0_7"
}

KS2{
Space mySpace{
Space.usage = "GIPA_2_0_6"
OR Space.usage = "GIPA_2_0_7"
}
Floor myFloor{
hasObject(Floor,mySpace)=TRUE
}
Door myDoor{
isObjectProperty(mySpace.Door.isEntrance)=TRUE
}

(getObjectProperty(myFloor.number)=1
OR isDirectlyAccessible(myFloor, Ground)=TRUE)
isConnectedToExternal(myDoor)=TRUE
} 

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

7554 다중이용업소의 안전관리에 관한 특별법 시행령 2 조 6호

"6. 「음악산업진흥에 관한 법률」 제2조제13호에 따른 노래연습장업"

//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업) 6호


Check(ERSASP_2_0_6){
KS
}

KS{
getObjectProperty(Building.business)= "MIPA_2_0_13"
}
 

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

7555 다중이용업소의 안전관리에 관한 특별법 시행령 2 조 7호

"7. 「모자보건법」 제2조제12호에 따른 산후조리업"

//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업) 7호


Check(ERSASP_2_0_7){
KS
}

KS{
getObjectProperty(Building.business)= "MCHA_2_0_11"
}
 

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

7556 다중이용업소의 안전관리에 관한 특별법 시행령 2 조 7의2호

"7의2. 고시원업[구획된 실(室) 안에 학습자가 공부할 수 있는 시설을 갖추고 숙박 또는 숙식을 제공하는 형태의 영업]"

//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업)7-2호

Check(ERSASP_2_0_7-2){
KS
}

KS{
getObjectProperty(Building.business)= "AccommodationForExaminers"
}

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

7557 다중이용업소의 안전관리에 관한 특별법 시행령 2 조 7의3호

"7의3. 「사격 및 사격장 안전관리에 관한 법률 시행령」 제2조제1항 및 별표 1에 따른 권총사격장(실내사격장에 한정하며, 같은 조 제1항에 따른 종합사격장에 설치된 경우를 포함한다)"

//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업) 7의3호


Check(ERSASP_2_0_7-3){
KS
}

KS{
getObjectProperty(Building.business)= "GunShootingRange"
}
 

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

7558 다중이용업소의 안전관리에 관한 특별법 시행령 2 조 7의4호

"7의4. 「체육시설의 설치ㆍ이용에 관한 법률」 제10조제1항제2호에 따른 골프 연습장업(실내에 1개 이상의 별도의 구획된 실을 만들어 스크린과 영사기 등의 시설을 갖추고 골프를 연습할 수 있도록 공중의 이용에 제공하는 영업에 한정한다)"

//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업) 7-4호


Check(ERSASP_2_0_7-4){
KS
}

KS{
getObjectProperty(Building.business)="IUSA_10_1_2_9"
} 

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

7559 다중이용업소의 안전관리에 관한 특별법 시행령 2 조 7의5호

"7의5. 「의료법」 제82조제4항에 따른 안마시술소"

//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업) 7-5호


Check(ERSASP_2_0_7-5){
KS
}

KS{
getObjectProperty(Building.business)="MassageParlor"
} 

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

7560 다중이용업소의 안전관리에 관한 특별법 시행령 2 조 8호

"8. 법 제15조제2항에 따른 화재위험평가결과 위험유발지수가 제11조제1항에 해당하거나 화재발생시 인명피해가 발생할 우려가 높은 불특정다수인이 출입하는 영업으로서 국민안전처장관이 관계 중앙행정기관의 장과 협의하여 총리령으로 정하는 영업"

//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업) 7-5호


Check(ERSASP_2_0_7-5){
KS
}

KS{
getObjectProperty(Building.business)="MassageParlor"
} 

하위 법규문장 모두 만족해야 상위법규가 만족하는 관계

//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업) 1호


Check(ERSASP_2_0_1){
IF CS THEN KS
}

CS{
getObjectProperty(Building.business) = "EDFA_21_0_8"

}
KS{
getResult(ERSASP_2_0_1_1)= TRUE
OR getResult(ERSASP_2_0_1_2)= TRUE

} 

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

7542 다중이용업소의 안전관리에 관한 특별법 시행령 2 조 1호 나목

"나. 단란주점영업과 유흥주점영업"

하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계

7542 다중이용업소의 안전관리에 관한 특별법 시행령 2 조 1호 나목

"나. 단란주점영업과 유흥주점영업"

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