국토부 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

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

1580 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙30조 피난용승강기의 설치기준 1호 KBimCode 내보내기

상위 법규문장 ID 1579 최상위 법규조항 ID 15287

 
		 1. 피난용승강기 승강장의 구조

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 1호
check(REFB_30_0_1){
       KS
}
KS{
     getResult(REFB_30_0_1_가) = TRUE
     getResult(REFB_30_0_1_나) = TRUE
     getResult(REFB_30_0_1_다) = TRUE
} 

관계유형

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

1581 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30 조 1호 가목

"가. 승강장의 출입구를 제외한 부분은 해당 건축물의 다른 부분과 내화구조의 바닥 및 벽으로 구획할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 1호 가목

check(REFB_30_0_1_가){

      KS

}

KS{

     FloorSlab myFloorSlab{

     isFireResistantStructure(FloorSlab) = TRUE

}

     Wall myWall{

     isFireResistantStructure(Wall) = TRUE

}

     Object  myElement{

          getObject(Platform.Object) - getObject(Opening)

     }

     isPartitioned(myElement, , myFloorSlab) = TRUE

     isPartitioned(myElement, , myWall) = TRUE

}

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

1582 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30 조 1호 나목

"나. 승강장은 각 층의 내부와 연결될 수 있도록 하되, 그 출입구에는 갑종방화문을 설치할 것. 이 경우 방화문은 언제나 닫힌 상태를 유지할 수 있는 구조이어야 한다."

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 1호 나목
check(REFB_30_0_1_나){
      KS
}
KS{
     isConnectedTo(Platform, Floor.One.Space) = TRUE
     Door myDoor{
     isObjectProperty(Door.isEntrance) = TRUE
     isInstalled(Door, Floor.One) = TRUE
     }
     isObjectProperty(myDoor.isStrictFireproofDoor) = TRUE
} 

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

1583 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30 조 1호 다목

"다. 실내에 접하는 부분(바닥 및 반자 등 실내에 면한 모든 부분을 말한다)의 마감(마감을 위한 바탕을 포함한다)은 불연재료로 할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 1호 다목

check(REFB_30_0_1_다){

      KS

}

KS{

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

}

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

1585 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30 조 1호 마목

"마. 승강장의 바닥면적은 피난용승강기 1대에 대하여 6제곱미터 이상으로 할 것"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 1호 마목

Check(REFB_30_0_1_마){
      KS
}

KS{
     
        EC= getObjectCount(myElevator)  
        getFloorArea(myElevator.Platform)>=6*EC m2
} 

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

1588 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30 조 1호 아목

"아. 「건축물의 설비기준 등에 관한 규칙」 제14조에 따른 배연설비를 설치할 것. 다만, 「소방시설 설치ㆍ유지 및 안전관리에 법률 시행령」 별표 5 제5호가목에 따른 제연설비를 설치한 경우에는 배연설비를 설치하지 아니할 수 있다."

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 1호 아목

Check(REFB_30_0_1_아){

     IF !CS THEN KS

}

CS{

   isExist(SmokeExhaustionSystem)=True

   getResult(Unimplemented_EDIMSFA_*5_0_5_가)=True

}

KS{

    getResult(RFB_14_1)=True

    getResult(RFB_14_2)=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 

     }

}

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

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

}

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

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

     }

}

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

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
} 

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

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

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

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

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

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

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

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

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

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

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

}

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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
} 

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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

        )

}

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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  
}


 

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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)

}

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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 
}
 

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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
} 

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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
} 

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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
}
 

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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
} 

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

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙      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

}

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

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

     }

}

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

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

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

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

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

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

2753 건축법 시행령 46 조 3항

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

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

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

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

3830 건축법 50 조 1항

"제50조(건축물의 내화구조와 방화벽) ① 문화 및 집회시설, 의료시설, 공동주택 등 대통령령으로 정하는 건축물은 국토교통부령으로 정하는 기준에 따라 주요구조부를 내화(耐火)구조로 하여야 한다. <개정 2013.3.23.>"

//건축법 50조 (건축물의 내화구조와 방화벽) 1항
check(BA_50_1){
     getResult(EDBA_56_1) = TRUE
     getResult(EDBA_56_2) = TRUE
     isObjectProperty(MainStructuralPart.isFireResistantStructure) = TRUE
} 

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

2821 건축법 시행령 56 조 1항

"제56조(건축물의 내화구조) ① 법 제50조제1항에 따라 다음 각 호의 어느 하나에 해당하는 건축물(제5호에 해당하는 건축물로서 2층 이하인 건축물은 지하층 부분만 해당한다)의 주요구조부는 내화구조로 하여야 한다. 다만, 연면적이 50제곱미터 이하인 단층의 부속건축물로서 외벽 및 처마 밑면을 방화구조로 한 것과 무대의 바닥은 그러하지 아니하다. <개정 2009.6.30., 2010.2.18., 2010.8.17., 2013.3.23., 2014.3.24.>"

//건축법 시행령 56조 (건축물의 내화구조) 1항

check(EDBA_56_1){

        IF !CS THEN KS

}

Space mySpace{
Space.usage="StagePart"
}

Floor myFloor{

     hasSpace(mySpace, Floor) = TRUE

}

CS {

       getTotalFloorArea()<= 50m2

       AND getBuildingStoriesCount()=1

       AND getBuildingUsage()="AccessoryBuidling"

       AND isFireProofStructure("OuterWall" | "eaves" | myFloor)=TRUE

}

KS {

     getResult(EDBA_56_1_1 = TRUE  

     OR getResult(EDBA_56_1_2) = TRUE  

     OR getResult(EDBA_56_1_3) = TRUE  

     OR getResult(EDBA_56_1_4) = TRUE  

     OR getResult(EDBA_56_1_5) = TRUE  

     AND isFireProofStructure(MainStructuralPart) = TRUE

}

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

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

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

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

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

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

}

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

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

"1. 배연구 및 배연풍도는 불연재료로 하고, 화재가 발생한 경우 원활하게 배연시킬 수 있는 규모로서 외기 또는 평상시에 사용하지 아니하는 굴뚝에 연결할 것"

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

Check(RFB_14_2_1){
Duct myDuct{
getObjectProperty(Duct.functionType) = "Exhaust"
}
     isObjectProperty(SmokeExhaustionOpening.Material.nonCombustibility) = TRUE

     isObjectProperty(myDuct.Material.nonCombustibility) = TRUE

     (isConnectedToExternal(SmokeExhaustionOpening) = TRUE

        isConnectedToExternal(myDuct) = TRUE)

     OR( isConnectedTo(SmokeExhaustionOpening,Chimney) = TRUE

            isConnectedTo(myDuct,Chimney) = TRUE)

}

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

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

"4. 배연구가 외기에 접하지 아니하는 경우에는 배연기를 설치할 것"

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

Check(RFB_14_2_4){

     IF    isConnectedToExternal(SmokeExhaustionOpening) = FALSE

           THEN isExist(SmokeExtractor) = TRUE

}

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

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

Check(RFB_14_2_1){
Duct myDuct{
getObjectProperty(Duct.functionType) = "Exhaust"
}
     isObjectProperty(SmokeExhaustionOpening.Material.nonCombustibility) = TRUE

     isObjectProperty(myDuct.Material.nonCombustibility) = TRUE

     (isConnectedToExternal(SmokeExhaustionOpening) = TRUE

        isConnectedToExternal(myDuct) = TRUE)

     OR( isConnectedTo(SmokeExhaustionOpening,Chimney) = TRUE

            isConnectedTo(myDuct,Chimney) = TRUE)

}

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

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

"4. 배연구가 외기에 접하지 아니하는 경우에는 배연기를 설치할 것"

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

Check(RFB_14_2_4){

     IF    isConnectedToExternal(SmokeExhaustionOpening) = FALSE

           THEN isExist(SmokeExtractor) = TRUE

}

광법위한 하위법규의 검토결과에 따라 상위법규의 검토결과가 정해지는 관계

9211 소방시설 설치ㆍ유지 및 안전관리에 관한 법률 시행령 별표5 조

"특정소방대상물의 관계인이 특정소방대상물의 규모ㆍ용도 및 수용인원 등을 고려하여 갖추어야 하는 소방시설등의 종류(제15조 관련) "

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

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


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
} 

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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

        )

}

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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  
}


 

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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)

}

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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 
}
 

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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
} 

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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
} 

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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
}
 

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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
} 

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

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙      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

}

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

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

     }

}

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

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

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

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

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

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

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

}

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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
} 

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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

        )

}

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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  
}


 

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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)

}

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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 
}
 

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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
} 

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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
} 

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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
}
 

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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
} 

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

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙      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

}

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

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

     }

}

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

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

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

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

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

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

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

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

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

//건축법 50조 (건축물의 내화구조와 방화벽) 1항
check(BA_50_1){
     getResult(EDBA_56_1) = TRUE
     getResult(EDBA_56_2) = TRUE
     isObjectProperty(MainStructuralPart.isFireResistantStructure) = TRUE
} 

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

//건축법 시행령 56조 (건축물의 내화구조) 1항

check(EDBA_56_1){

        IF !CS THEN KS

}

Space mySpace{
Space.usage="StagePart"
}

Floor myFloor{

     hasSpace(mySpace, Floor) = TRUE

}

CS {

       getTotalFloorArea()<= 50m2

       AND getBuildingStoriesCount()=1

       AND getBuildingUsage()="AccessoryBuidling"

       AND isFireProofStructure("OuterWall" | "eaves" | myFloor)=TRUE

}

KS {

     getResult(EDBA_56_1_1 = TRUE  

     OR getResult(EDBA_56_1_2) = TRUE  

     OR getResult(EDBA_56_1_3) = TRUE  

     OR getResult(EDBA_56_1_4) = TRUE  

     OR getResult(EDBA_56_1_5) = TRUE  

     AND isFireProofStructure(MainStructuralPart) = TRUE

}

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

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

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

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

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

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

}

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

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

Check(RFB_14_2_1){
Duct myDuct{
getObjectProperty(Duct.functionType) = "Exhaust"
}
     isObjectProperty(SmokeExhaustionOpening.Material.nonCombustibility) = TRUE

     isObjectProperty(myDuct.Material.nonCombustibility) = TRUE

     (isConnectedToExternal(SmokeExhaustionOpening) = TRUE

        isConnectedToExternal(myDuct) = TRUE)

     OR( isConnectedTo(SmokeExhaustionOpening,Chimney) = TRUE

            isConnectedTo(myDuct,Chimney) = TRUE)

}

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

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

"4. 배연구가 외기에 접하지 아니하는 경우에는 배연기를 설치할 것"

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

Check(RFB_14_2_4){

     IF    isConnectedToExternal(SmokeExhaustionOpening) = FALSE

           THEN isExist(SmokeExtractor) = TRUE

}

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

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

Check(RFB_14_2_1){
Duct myDuct{
getObjectProperty(Duct.functionType) = "Exhaust"
}
     isObjectProperty(SmokeExhaustionOpening.Material.nonCombustibility) = TRUE

     isObjectProperty(myDuct.Material.nonCombustibility) = TRUE

     (isConnectedToExternal(SmokeExhaustionOpening) = TRUE

        isConnectedToExternal(myDuct) = TRUE)

     OR( isConnectedTo(SmokeExhaustionOpening,Chimney) = TRUE

            isConnectedTo(myDuct,Chimney) = TRUE)

}

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

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

"4. 배연구가 외기에 접하지 아니하는 경우에는 배연기를 설치할 것"

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

Check(RFB_14_2_4){

     IF    isConnectedToExternal(SmokeExhaustionOpening) = FALSE

           THEN isExist(SmokeExtractor) = TRUE

}

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