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

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

상위 법규문장 ID 1201   최상위 법규조항 ID 15267  
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
}
      관계유형  
    L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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 }

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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
}

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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

)

     

}

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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
}



L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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) }

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 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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      } }

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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 }

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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
}

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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

)

     

}

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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
}



L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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) }

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 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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      } }

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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
}

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

"3. 배연구는 연기감지기 또는 열감지기에 의하여 자동으로 열 수 있는 구조로 하되, 손으로도 열고 닫을 수 있도록 할 것"
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1205   건축물의 설비기준 등에 관한 규칙  14 조   1항   4호    

"4. 배연구는 예비전원에 의하여 열 수 있도록 할 것"
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1206   건축물의 설비기준 등에 관한 규칙  14 조   1항   5호    

"5. 기계식 배연설비를 하는 경우에는 제1호 내지 제4호의 규정에 불구하고 소방관계법령의 규정에 적합하도록 할 것"
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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
}

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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 }

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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
}

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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

)

     

}

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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
}



L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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) }

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 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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      } }

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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
}

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

"3. 배연구는 연기감지기 또는 열감지기에 의하여 자동으로 열 수 있는 구조로 하되, 손으로도 열고 닫을 수 있도록 할 것"
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1205   건축물의 설비기준 등에 관한 규칙  14 조   1항   4호    

"4. 배연구는 예비전원에 의하여 열 수 있도록 할 것"
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1206   건축물의 설비기준 등에 관한 규칙  14 조   1항   5호    

"5. 기계식 배연설비를 하는 경우에는 제1호 내지 제4호의 규정에 불구하고 소방관계법령의 규정에 적합하도록 할 것"
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 2753   건축법 시행령  46 조   3항      

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

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

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

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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
}

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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 }

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

"3. 배연구는 연기감지기 또는 열감지기에 의하여 자동으로 열 수 있는 구조로 하되, 손으로도 열고 닫을 수 있도록 할 것"
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1205  건축물의 설비기준 등에 관한 규칙  14 조   1항   4호    

"4. 배연구는 예비전원에 의하여 열 수 있도록 할 것"
L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 1206  건축물의 설비기준 등에 관한 규칙  14 조   1항   5호    

"5. 기계식 배연설비를 하는 경우에는 제1호 내지 제4호의 규정에 불구하고 소방관계법령의 규정에 적합하도록 할 것"
    L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 2753  건축법 시행령  46 조   3항      

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

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

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

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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
}

L 하위 법규문장 모두 만족해야 상위법규가 만족하는 관계 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 }

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

"1. 제2종 근린생활시설 중 공연장ㆍ종교집회장(해당 용도로 쓰는 바닥면적의 합계가 각각 300제곱미터 이상인 경우만 해당한다), 문화 및 집회시설(전시장 및 동ㆍ식물원은 제외한다), 종교시설, 위락시설 중 주점영업 및 장례식장의 용도로 쓰는 건축물로서 관람석 또는 집회실의 바닥면적의 합계가 200제곱미터(옥외관람석의 경우에는 1천 제곱미터) 이상인 건축물"

//건축법 시행령 56조 (건축물의 내화구조) 1항 1호 check(EDBA_56_1_1){      KS } Space mySpace{ Space.usage = "Auditorium " isExternal(Space) = TRUE } KS { (getBuildingUsage() = "PerformanceHall" | "ReligiousAssemblyFacility" AND getFloorArea(getSpace("PerformanceHall" | “ReligiousAssemblyFacility”)) > = 300m2;)       OR (getBuildingUsage() = "CulturalAndAssemblyFacility" AND getBuildingUsage() != "ExhibitionHall" | "ZoologicalAndBotanicalGarden" OR (getBuildingUsage() = "ReligiousFacility" | "BarBusiness" | "FuneralParlor"      AND getFloorArea(getSpace(“Seat” | “AssemblyHall”) > = 200m2 OR getFloorArea(mySpace) > = 1000m2;) }

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

"2. 문화 및 집회시설 중 전시장 또는 동ㆍ식물원, 판매시설, 운수시설, 교육연구시설에 설치하는 체육관ㆍ강당, 수련시설, 운동시설 중 체육관ㆍ운동장, 위락시설(주점영업의 용도로 쓰는 것은 제외한다), 창고시설, 위험물저장 및 처리시설, 자동차 관련 시설, 방송통신시설 중 방송국ㆍ전신전화국ㆍ촬영소, 묘지 관련 시설 중 화장장 또는 관광휴게시설의 용도로 쓰는 건축물로서 그 용도로 쓰는 바닥면적의 합계가 500제곱미터 이상인 건축물"

//건축법 시행령 56조 (건축물의 내화구조) 1항 2호 check(EDBA_56_1_2){ KS }       KS{ (getBuildingUsage() = "ExhibitionHall" | "ZoologicalANDbotanicalGarden" | "CommercialFacility" | "TransportationFacilities" | "gymnasium.educationAndresearchFacilities" | "hall.educationAndresearchFacilities" | "gymnasium" | "sportsfacilities.stadium" | "sports facilities.warehouses" | "factory.facilitiesForStorageAndreatmentOfDangerousSubstance" | "factory.facilitiesForMotorVehicles" | "facilitiesforbroadcastingAndTelecommunications.broadcastingStation" | "facilitiesforbroadcasting andtelecommunications.telegraphAndTelephoneStations" | "facilitiesforbroadcasting and telecommunications.studio" | "cemeteries and relatedfacilities.Crematorium | "facilitiesfortourismandrelaxation" OR (getBuildingUsage() = "amusementfacilities" AND getBuildingUsage() != "barbusiness.amusementfacilities")) AND getFloorArea(getSpace(getBuildingUsage()) > = 500m2)) }

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

"3. 공장의 용도로 쓰는 건축물로서 그 용도로 쓰는 바닥면적의 합계가 2천 제곱미터 이상인 건축물. 다만, 화재의 위험이 적은 공장으로서 국토교통부령으로 정하는 공장은 제외한다."

//건축법 시행령 56조 (건축물의 내화구조와 방화벽) 1항 3호
check(EDBA_56_1_3){
     IF !(CS) THEN KS
}

CS{
     getResult(REFB_20-2) = TRUE
}

KS{
     Floor myFloor{
          getObjectUsage(Floor) = "Factory"
     }

     getTotalFloorArea(myFloor.Space) >= 2000 m2
}

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

"4. 건축물의 2층이 단독주택 중 다중주택 및 다가구주택, 공동주택, 제1종 근린생활시설(의료의 용도로 쓰는 시설만 해당한다), 제2종 근린생활시설 중 다중생활시설, 의료시설, 노유자시설 중 아동 관련 시설 및 노인복지시설, 수련시설 중 유스호스텔, 업무시설 중 오피스텔, 숙박시설 또는 장례식장의 용도로 쓰는 건축물로서 그 용도로 쓰는 바닥면적의 합계가 400제곱미터 이상인 건축물"

//건축법 시행령 56조 (건축물의 내화구조와 방화벽) 1항 4호
check(EDBA_56_1_4){
     
     Floor myFloor{

          getFloorNumber = 2

          getObjectUsage(Floor) = "DetachedHouse.MultiUserHouse"
          OR getObjectUsage(Floor) = "DetachedHouse.MultiFamilyHouse"
          OR getObjectUsage(Floor) = "DetachedHouse.MultiFamilyHouse"
          OR getObjectUsage(Floor) = "MultiUnitHouse"
          OR getObjectUsage(Floor) = "ClassINeighborhoodLivingFacility.MedicalFacility"
          OR getObjectUsage(Floor) = "ClassIINeighborhoodLivingFacility.CommunalLivingFacility"
          OR getObjectUsage(Floor) = "MedicalFacility"
          OR getObjectUsage(Floor) = "FacilitiesForTheAgedAndChildren.ChildrenRelatedFacility"
          OR getObjectUsage(Floor) = "FacilitiesForTheAgedAndChildren.WelfareFacilityForTheAged "
          OR getObjectUsage(Floor) = "Trainingfacility.YouthHostel"
          OR getObjectUsage(Floor) = "BusinessFacility.Officetel"
          OR getObjectUsage(Floor) = "LodgingFacility"
          OR getObjectUsage(Floor) = "FuneralParlor"
     }
     
     getFloorArea(myFloor) >= 400 m2
}

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

"5. 3층 이상인 건축물 및 지하층이 있는 건축물. 다만, 단독주택(다중주택 및 다가구주택은 제외한다), 동물 및 식물 관련 시설, 발전시설(발전소의 부속용도로 쓰는 시설은 제외한다), 교도소ㆍ감화원 또는 묘지 관련 시설(화장장은 제외한다)의 용도로 쓰는 건축물과 철강 관련 업종의 공장 중 제어실로 사용하기 위하여 연면적 50제곱미터 이하로 증축하는 부분은 제외한다."

//건축법 시행령 56조 (건축물의 내화구조) 1항 5호 check(EDBA_56_1_5){      IF !CS THEN KS } Building myBuilding{ getBuildingUsage() = "PowerPlant" isObjectProperty(Building.isAttachedBuilding) = TRUE } Building myBuilding{ getResult(REFB_*_3_30) = TRUE getResult(REFB_*_3_31) = TRUE } CS{ getBuildingUsage() = "facilities for animals and plants" | "facilities for power generation" | "correctional facilities and military installations.prison" | "correctional facilities and military installations.reformatories | "myFactory"       OR (getBuildingUsage() = "detached houses" AND getBuildingUsage() != "detached houses.multi-user houses" | "detached houses.multi-family houses" )       OR (getBuildingUsage() = "facilities for power generation"       AND (getBuildingUsage() = "myBuilding"       OR (getBuildingUsage() = "cemeteries and related facilities"       AND getBuildingUsage() != "Crematorium") } KS{ Floor myFloor{ Floor.number < 0 } getBuildingStoriesCount() >= 3       AND isExist(myFloor) = TRUE }

L 특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계 2827   건축법 시행령  56 조   2항      

"② 제1항제1호 및 제2호에 해당하는 용도로 쓰지 아니하는 건축물로서 그 지붕틀을 불연재료로 한 경우에는 그 지붕틀을 내화구조로 아니할 수 있다."

//건축법 시행령 56조 (건축물의 내화구조) 2항 check(EDBA_56_2){      IF (!CS1 AND CS2) THEN !KS CS1{ getResult(EDBA_56_1_1)=TRUE AND getResult(EDBA_56_1_2)=TRUE } CS2{ getObjectMaterialType(RoofTruss)= "NonCombustibleMaterial" } KS{ isFireResistantStructure(RoofTruss) = TRUE }

L 하위 법규문장 모두 거짓이어야 상위법규가 만족하는 관계 2822   건축법 시행령  56 조   1항   1호    

"1. 제2종 근린생활시설 중 공연장ㆍ종교집회장(해당 용도로 쓰는 바닥면적의 합계가 각각 300제곱미터 이상인 경우만 해당한다), 문화 및 집회시설(전시장 및 동ㆍ식물원은 제외한다), 종교시설, 위락시설 중 주점영업 및 장례식장의 용도로 쓰는 건축물로서 관람석 또는 집회실의 바닥면적의 합계가 200제곱미터(옥외관람석의 경우에는 1천 제곱미터) 이상인 건축물"

//건축법 시행령 56조 (건축물의 내화구조) 1항 1호 check(EDBA_56_1_1){      KS } Space mySpace{ Space.usage = "Auditorium " isExternal(Space) = TRUE } KS { (getBuildingUsage() = "PerformanceHall" | "ReligiousAssemblyFacility" AND getFloorArea(getSpace("PerformanceHall" | “ReligiousAssemblyFacility”)) > = 300m2;)       OR (getBuildingUsage() = "CulturalAndAssemblyFacility" AND getBuildingUsage() != "ExhibitionHall" | "ZoologicalAndBotanicalGarden" OR (getBuildingUsage() = "ReligiousFacility" | "BarBusiness" | "FuneralParlor"      AND getFloorArea(getSpace(“Seat” | “AssemblyHall”) > = 200m2 OR getFloorArea(mySpace) > = 1000m2;) }

L 하위 법규문장 모두 거짓이어야 상위법규가 만족하는 관계 2823   건축법 시행령  56 조   1항   2호    

"2. 문화 및 집회시설 중 전시장 또는 동ㆍ식물원, 판매시설, 운수시설, 교육연구시설에 설치하는 체육관ㆍ강당, 수련시설, 운동시설 중 체육관ㆍ운동장, 위락시설(주점영업의 용도로 쓰는 것은 제외한다), 창고시설, 위험물저장 및 처리시설, 자동차 관련 시설, 방송통신시설 중 방송국ㆍ전신전화국ㆍ촬영소, 묘지 관련 시설 중 화장장 또는 관광휴게시설의 용도로 쓰는 건축물로서 그 용도로 쓰는 바닥면적의 합계가 500제곱미터 이상인 건축물"

//건축법 시행령 56조 (건축물의 내화구조) 1항 2호 check(EDBA_56_1_2){ KS }       KS{ (getBuildingUsage() = "ExhibitionHall" | "ZoologicalANDbotanicalGarden" | "CommercialFacility" | "TransportationFacilities" | "gymnasium.educationAndresearchFacilities" | "hall.educationAndresearchFacilities" | "gymnasium" | "sportsfacilities.stadium" | "sports facilities.warehouses" | "factory.facilitiesForStorageAndreatmentOfDangerousSubstance" | "factory.facilitiesForMotorVehicles" | "facilitiesforbroadcastingAndTelecommunications.broadcastingStation" | "facilitiesforbroadcasting andtelecommunications.telegraphAndTelephoneStations" | "facilitiesforbroadcasting and telecommunications.studio" | "cemeteries and relatedfacilities.Crematorium | "facilitiesfortourismandrelaxation" OR (getBuildingUsage() = "amusementfacilities" AND getBuildingUsage() != "barbusiness.amusementfacilities")) AND getFloorArea(getSpace(getBuildingUsage()) > = 500m2)) }

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

"5. 3층 이상인 건축물 및 지하층이 있는 건축물. 다만, 단독주택(다중주택 및 다가구주택은 제외한다), 동물 및 식물 관련 시설, 발전시설(발전소의 부속용도로 쓰는 시설은 제외한다), 교도소ㆍ감화원 또는 묘지 관련 시설(화장장은 제외한다)의 용도로 쓰는 건축물과 철강 관련 업종의 공장 중 제어실로 사용하기 위하여 연면적 50제곱미터 이하로 증축하는 부분은 제외한다."

//건축법 시행령 56조 (건축물의 내화구조) 1항 5호 check(EDBA_56_1_5){      IF !CS THEN KS } Building myBuilding{ getBuildingUsage() = "PowerPlant" isObjectProperty(Building.isAttachedBuilding) = TRUE } Building myBuilding{ getResult(REFB_*_3_30) = TRUE getResult(REFB_*_3_31) = TRUE } CS{ getBuildingUsage() = "facilities for animals and plants" | "facilities for power generation" | "correctional facilities and military installations.prison" | "correctional facilities and military installations.reformatories | "myFactory"       OR (getBuildingUsage() = "detached houses" AND getBuildingUsage() != "detached houses.multi-user houses" | "detached houses.multi-family houses" )       OR (getBuildingUsage() = "facilities for power generation"       AND (getBuildingUsage() = "myBuilding"       OR (getBuildingUsage() = "cemeteries and related facilities"       AND getBuildingUsage() != "Crematorium") } KS{ Floor myFloor{ Floor.number < 0 } getBuildingStoriesCount() >= 3       AND isExist(myFloor) = TRUE }

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