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

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

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

상위 법규문장 ID 3824 최상위 법규조항 ID 15267

관계유형

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

2773 건축법 시행령 48 조 1항

"제48조(계단ㆍ복도 및 출입구의 설치) ① 법 제49조제2항에 따라 연면적 200제곱미터를 초과하는 건축물에 설치하는 계단 및 복도는 국토교통부령으로 정하는 기준에 적합하여야 한다. <개정 2013.3.23.>"

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

Check(EDBA_48_1){
     IF CS THEN KS 
}

CS{
   getGrossFloorArea()>200 m2
}

KS{
   getResult(REFB_15_1)=True
   getResult(REFB_15_1_1)=True
   getResult(REFB_15_1_2)=True
   getResult(REFB_15_1_3)=True
   getResult(REFB_15_1_4)=True

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

   getResult(REFB_15-2_1)=True
   getResult(REFB_15-2_2)=True
   getResult(REFB_15-2_2_1)=True
   getResult(REFB_15-2_2_2)=True
   getResult(REFB_15-2_2_3)=True

   getResult(REFB_15-2_3)=True
   getResult(REFB_15-2_3_1)=True
   getResult(REFB_15-2_3_2)=True
} 

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

15604 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15 조

""

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

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

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

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

check(REFB_15_1){

     KS

}

KS{

     getResult(REFB_15_1_1)= TRUE

     getResult(REFB_15_1_2)=TRUE

     getResult(REFB_15_1_3)=TRUE

     getResult(REFB_15_1_4)=TRUE

}

하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계

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

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

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

CS{
     getObjectHeight(Stair)>3 m
}

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

하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계

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

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

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

check(REFB_15_1_2){

      KS

}

KS{

     IF   getObjectHeight(Stair)>1 m 

          OR getObjectHeight(StairLanding)>1 m)

          THEN  isExist(Railing)=TRUE

     END IF

}

하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계

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

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

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

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

KS{
   IF   getObjectWidth(Stair)>=3 m
       
       THEN  hasObject(Stair, Railing) = TRUE
             N=getObjectWidth(Stair)/3
             getObjectCount(Railing)>=N
            IF N>1
                 THEN getObjectDistance(Railing,Railing)<3 m
            END IF
   END IF 
}
 

하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계

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

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

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

check(REFB_15_1_4){

     KS

}

KS{

getObjectProperty(Stair.effectiveHeight)>=2.1 m

}

하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계

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

}

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

1469 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15 조 3항

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

check(REFB_15_3){

     IF CS THEN KS

}

CS{

       getBuildingUsage()= "ClassINeighborhoodLivingFacility"

OR getBuildingUsage() = "ClassIINeighborhoodLivingFacility"

OR getBuildingUsage() = "CulturalAndAssemblyFacility"

OR getBuildingUsage() = "ReligiousFacility"

OR getBuildingUsage() = "CommercialFacility"

OR getBuildingUsage() = "TransportationFacility"

OR getBuildingUsage() = "MedicalFacility"

OR getBuildingUsage() = "FacilitiesForTheAgedAndChildren"

OR getBuildingUsage() = "BusinessFacility"

OR getBuildingUsage() = "LodgingFacility"

OR getBuildingUsage() = "AmusementFacility"

OR getBuildingUsage() = "FacilityForTourismAndRelaxation"

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

}

KS{

       isExist(Railing)=TRUE 

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

}

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

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

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

check(REFB_15_4){

     KS

}

KS{

       getResult(REFB_15_4_1)=TRUE

       AND getResult(REFB_15_4_2)=TRUE

       AND getResult(REFB_15_4_3)=TRUE

}

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

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

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

check(REFB_15_4_1){

     KS

}

KS{

       getElementWidth(Railing,Handle) >= 3.2CM

       AND getElementWidth(Handle) <= 3.8CM

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

}

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

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

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

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

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

1473 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15 조 4항 3호

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

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

check(REFB_15_4_3){
     KS
}
KS{
    getElementDistance(Handle,Stair.EndPart) <= 30cm
}
 

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

1478 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15 조 6항

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

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


Stair myStair{
     getResult(REFB_15_1) = TRUE
}

CS{
     isReplaced(myStair, Ramp) = TRUE
}

KS{
     getResult(REFB_15_5) = TRUE
} 

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

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

check(REFB_15_1){

     KS

}

KS{

     getResult(REFB_15_1_1)= TRUE

     getResult(REFB_15_1_2)=TRUE

     getResult(REFB_15_1_3)=TRUE

     getResult(REFB_15_1_4)=TRUE

}

하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계

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

CS{
     getObjectHeight(Stair)>3 m
}

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

하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계

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

check(REFB_15_1_2){

      KS

}

KS{

     IF   getObjectHeight(Stair)>1 m 

          OR getObjectHeight(StairLanding)>1 m)

          THEN  isExist(Railing)=TRUE

     END IF

}

하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계

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

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

KS{
   IF   getObjectWidth(Stair)>=3 m
       
       THEN  hasObject(Stair, Railing) = TRUE
             N=getObjectWidth(Stair)/3
             getObjectCount(Railing)>=N
            IF N>1
                 THEN getObjectDistance(Railing,Railing)<3 m
            END IF
   END IF 
}
 

하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계

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

check(REFB_15_1_4){

     KS

}

KS{

getObjectProperty(Stair.effectiveHeight)>=2.1 m

}

하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계

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

}

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

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

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

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

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

 

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

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

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

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

KS{
getObjectGradient(Ramp) <= 12.5%
} 

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

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

"2. 표면을 거친 면으로 하거나 미끄러지지 아니하는 재료로 마감할 것"

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

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

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

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

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

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

15676 장애인ㆍ노인ㆍ임산부등의 편의증진보장에 관한 법률 조

""

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

1479 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15 조 7항

"⑦ 제1항 및 제2항에도 불구하고 영 제34조제4항 후단에 따라 피난층 또는 지상으로 통하는 직통계단을 설치하는 경우 계단 및 계단참의 너비는 다음 각 호의 구분에 따른 기준에 적합하여야 한다. <신설 2012.1.6.>"

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

CS{

Floor myFloor{
isObjectProperty(Floor.isEscape)=TRUE
}
      isAccessible(Stair,myFloor) 
      OR isAccessible(Stair,Ground)
}

KS{
      getResult(REFP_15_7_1)
      OR getResult(REFP_15_7_2)
} 

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

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

"1. 공동주택: 120센티미터 이상"

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

KS{
      getBuildingUsage() = "MultiUnitHouse"
      AND getStairStepWidth >= 1.2M
      AND getPaceWidth >= 1.2M
} 

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

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

"2. 공동주택이 아닌 건축물: 150센티미터 이상"

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

KS{
      getBuildingUsage() != "MultiUnitHouse"
      AND getStairStepWidth >= 1.5M
      AND getPaceWidth >= 1.5M
} 

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

1482 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15 조 8항

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

check(REFP_15_8){

     KS

}

KS{

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

      AND getResult(REFP_15_1)=FALSE

      AND getResult(REFP_15_2)=FALSE

      AND getResult(REFP_15_3)=FALSE

      AND getResult(REFP_15_4)=FALSE

      AND getResult(REFP_15_5)=FALSE

      AND getResult(REFP_15_6)=FALSE

      AND getResult(REFP_15_7)=FALSE

}

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

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

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

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


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


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

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

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

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15조의2 (복도의 너비 및 설치기준) 2항

check(REFB_15-2_2){

     IF CS THEN KS 

}

CS{

Space  mySpace{

getSpaceUsage(Space) = “AssemblyHall”

OR getSpaceUsage(Space) = “PerformanceHall”

}

    Corridor myCorridor{

       isAdjacent(mySpace,Corridor) = TRUE

    }

    (getBuildingUsage()="CulturalAndAssemblyFacility.PerformanceHall"

    OR getBuildingUsage()="CulturalAndAssemblyFacility.AssemblyHall"

    OR getBuildingUsage()="CulturalAndAssemblyFacility.Auditorium"

    OR getBuildingUsage()="CulturalAndAssemblyFacility.ExhibitionHall"

    OR getBuildingUsage()="ReligiousFacility.ReligiousAssemblyFacility"

    OR getBuildingUsage()="FacilitiesForTheAgedAndChildren.ChildrenRelatedFacility"

    OR getBuildingUsage()="FacilitiesForTheAgedAndChildren.WelfareFacilityForTheAged"

    OR getBuildingUsage()="Trainingfacility.TrainingFacilitiesInLiving "

    OR getBuildingUsage()="AmusementFacility.tavern"

    OR getBuildingUsage()="AmusementFacility.FuneralParlors" )

    isExist(myCorridor)=TRUE   

}

KS{

   getResult(REFB_15-2_2_1)=TRUE

   getResult(REFB_15-2_2_2)=TRUE

   getResult(REFB_15-2_2_3)=TRUE

}

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

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

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

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

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

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

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

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


 

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

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

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

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


 

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

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

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

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

CS{
   getSpaceUsage(Space)="CulturalAndAssemblyFacility.PerformanceHall"
   isExist(Corridor)=TRUE
}
KS{
    
     getResult(REFB_15-2_3_1) = TRUE
     getResult(REFB_15-2_3_2) = TRUE
} 

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

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

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

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

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

    getFloorArea(mySpace)>300 m2
}

KS{

} 

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

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

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15조의2 (복도의 너비 및 설치기준) 3항2호

Check(REFB_15-2_3_2){

  IF CS THEN KS

}

CS{

    Space mySpace{

       getSpaceUsage(Space)="IndividualAuditorium"

    }

    getFloorArea(mySpace)>300 m2

    getObjectCount(Floor.One.mySpace)>=2 

}

KS{

}

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

2774 건축법 시행령 48 조 2항

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

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

Check(EDBA_48_2){
     IF CS THEN KS 
}

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

KS{
   getResult(REFB_11_1)=True
   getResult(REFB_11_2)=True
   getResult(REFB_11_3)=True
   getResult(REFB_11_4)=True
   getResult(REFB_11_5)=True
   getResult(REFB_11_6)=True
} 

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

2713 건축법 시행령 39 조 1항

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

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

Check(EDBA_39_1){     
IF  CS THEN KS
}

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

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

isExist(myDoor)=TRUE

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

}

 

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

2714 건축법 시행령 39 조 1항 1호

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

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

Check(EDBA_39_1_1){     
KS}

KS {

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

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

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

}
 

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

1403 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11 조 6항

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

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

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

} 

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

2715 건축법 시행령 39 조 1항 2호

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

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

Check(EDBA_39_1_2){     
KS
}

KS {

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

isExist(myBuliding) = TRUE

}
 

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

2716 건축법 시행령 39 조 1항 3호

"3. 종교시설"

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

Check(EDBA_39_1_3){     
KS
}

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

isExist(myBuliding) = TRUE
}
 

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

2717 건축법 시행령 39 조 1항 4호

"4. 판매시설"

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

Check(EDBA_39_1_4){     
KS
}

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

isExist(myBuliding) = TRUE
}
 

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

2718 건축법 시행령 39 조 1항 5호

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

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

Check(EDBA_39_1_5){     
KS
}

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

isExist(myBuliding) = TRUE
}
 

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

2720 건축법 시행령 39 조 1항 7호

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

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

Check(EDBA_39_1_7){     
KS
}


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

isExist(myBuliding) = TRUE
}
 

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

2721 건축법 시행령 39 조 1항 8호

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

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

Check(EDBA_39_1_8){
 
KS

}

KS {

Building myBuilding{

getBuildingUsage() = “EducationAndResearchFacility.School”

}

isExist(myBuliding) = TRUE

}

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

2722 건축법 시행령 39 조 1항 9호

"9. 장례식장"

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

Check(EDBA_39_1_9){     
KS}

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

isExist(myBuliding) = TRUE
}


 

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

2723 건축법 시행령 39 조 1항 10호

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

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

Check(EDBA_39_1_10){     
KS
}


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

isExist(myBuliding) = TRUE
}
 

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

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

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

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

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

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

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

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

}

KS2 {

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

}

 

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

2680 건축법 시행령 34 조 1항

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

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

Check(EDBA_34_1){
     KS
}

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

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

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

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

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

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

     Zone myZone{

          isDirectlyAccessible(myStair, Zone)=FALSE

     }

IF

     getFloorNumber(mySpace)>0

     getFloorArea(mySpace)<=300 m2

     isFireResistantStructure(MainStructuralPart)=TRUE

     OR isObjectProperty(MainStructuralPart.Material.nonCombustibility)=TRUE 

     THEN IF        getBuildingStoriesCount()>=16

                    getBuildingUsage()="MultiUnitHouse"

               THEN ED= 40 

     ELSE THEN   ED=50               

     END IF

ELSE IF   

     getBuildingUsage() = "Factory" 

     isExist(ExtinguishingSystem)=TRUE 

     isObjectProperty(ExtinguishingSystem.isAutomatic)=TRUE

     getResult(REFB_8_2)=TRUE

     THEN IF        getBuildingUsage() = "UnmannedFactory" 

               THEN ED=100

     ELSE THEN  ED=75

     END IF 

ELSE THEN ED=30

     END IF 

     (hasObject(myFloor,myStair)=TRUE

     hasObject(myZone, myStair)=TRUE

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

     OR 

     (hasObject(myFloor,myRamp)=TRUE

     hasObject(myZone, myRamp)=TRUE

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

}

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

1343 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8 조 2항

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

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

Check(REFB_8_2){

getObjectProperty(Building.usage)=“Factory.SemiconductorAndDisplayPanelManufacturingFactory＂

}

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

2687 건축법 시행령 34 조 3항

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

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

check(EDBA_34_3){

          IF CS THEN KS ENDIF

}

CS{

isObjectProperty(Building.isHighriseBuilding) = TRUE

}

KS{

          Stair myStair{

                    isObjectProperty(Stair.isDirect) = TRUE               

          }

          Zone myZone{

                    isObjectProperty(Zone.isEgressSafetyZone) = TRUE

          }

          Floor myFloor{

                    isObjectProperty(Floor.isEscape) = TRUE

          }

isGoThrough(myFloor, myZone, myStair) = TRUE

          OR isGoThrough(myFloor, Ground, myStair) = TRUE

          getObjectCount(myZone) >= getBuildingStoriesCount()/30

}

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

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

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

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

Check(REFB_8_1){

        Stair myStair{

             isObjectProperty(Stair.isDirect)=TRUE  

        }

        Passage myPassage{

             isConnectedTo(Room, Passage)=TRUE

        }

     isExist(myPassage)=TRUE

        isConnectedTo(myStair,myPassage)=TRUE

}

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

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

"제8조의2(피난안전구역의 설치기준) ① 영 제34조제3항 및 제4항에 따라 설치하는 피난안전구역(이하 "피난안전구역"이라 한다)은 해당 건축물의 1개층을 대피공간으로 하며, 대피에 장애가 되지 아니하는 범위에서 기계실, 보일러실, 전기실 등 건축설비를 설치하기 위한 공간과 같은 층에 설치할 수 있다. 이 경우 피난안전구역은 건축설비가 설치되는 공간과 내화구조로 구획하여야 한다. <개정 2012.1.6.>"

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 1항
check(REFB_8-2_1){
     KS1 AND IF CS THEN KS2
}

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

     Space mySpace{
          hasSpace(Space, FacilitiesOfABuilding)
     }

     Structure myStructure{
          isObjectProperty(Space.isfireResistantStructure) = TRUE
     }

KS1{
      BSC = getBuildingStoriesCount()
     getFloorNumber(myZone) <= BSC
}

CS{
     getFloorNumber(mySpace) = getFloorNumber(myZone)
}

KS2{
     isPartitioned(myZone, myStructure, mySpace) = TRUE
}
 

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

1345 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 조 2항

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

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

Check(REFB_8-2_2){

   Zone myZone{

      isObjectProperty(Zone.isEgressSafetyZone)=TRUE

   }

   Stair myStair{

      isObjectProperty(Stair.isSpecialEscape)=TRUE

      isAccessible(myZone, Stair)=TRUE

   }

  Floor myFloor{

         Floor.number>getFloorNumber(myZone)

         OR Floor.number

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

1346 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 조 3항

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 3항
Check(REFB_8-2_3){
 
   getResult(REFB_8-2_3_2)=TRUE
   getResult(REFB_8-2_3_3)=TRUE
   getResult(REFB_8-2_3_4)=TRUE
   getResult(REFB_8-2_3_5)=TRUE
   getResult(REFB_8-2_3_6)=TRUE
   getResult(REFB_8-2_3_7)=TRUE
   getResult(REFB_8-2_3_8)=TRUE
   getResult(REFB_8-2_3_9)=TRUE
}  

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

2689 건축법 시행령 34 조 5항

"⑤ 제3항 및 제4항에 따른 피난안전구역의 규모와 설치기준은 국토교통부령으로 정한다. <신설 2009.7.16., 2011.12.30., 2013.3.23.>"

// 건축법 시행령 34조 (직통계단의 설치) 5항
check(EDBA_34_5){
          getResult(REFB_8_1) = TRUE
          getResult(REFB_8-2_1) = TRUE
          getResult(REFB_8-2_2) = TRUE
          getResult(REFB_8-2_3) = TRUE
}
 

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

2688 건축법 시행령 34 조 4항

"④ 준초고층 건축물에는 피난층 또는 지상으로 통하는 직통계단과 직접 연결되는 피난안전구역을 해당 건축물 전체 층수의 2분의 1에 해당하는 층으로부터 상하 5개층 이내에 1개소 이상 설치하여야 한다. 다만, 국토교통부령으로 정하는 기준에 따라 피난층 또는 지상으로 통하는 직통계단을 설치하는 경우에는 그러하지 아니하다. <신설 2011.12.30., 2013.3.23.>"

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

check(EDBA_34_4){

          IF !CS THEN KS ENDIF

}

CS{

          Stair myStair{

                    isObjectProperty(Stair.isDirect) = TRUE

          }

          Floor myFloor{

                    isObjectProperty(Floor.isEscape) = TRUE

          }

          isDirectlyAccessible(myStair, myFloor) = TRUE

          OR isDirectlyAccessible(myStair, Ground) = TRUE

}

KS{

          isObjectProperty(Building.isQuasiHighriseBuilding) = TRUE

          Stair myStair{

                    isObjectProperty(Stair.isDirect) = TRUE               

          }

          Zone myZone{

                    isObjectProperty(Zone.isEgressSafetyZone) = TRUE

          }

          Floor myFloor{

                    isObjectProperty(Floor.isEscape) = TRUE

          }

                isGoThrough(myFloor, myZone, myStair) = TRUE

          OR isGoThrough(myFloor, Ground, myStair) = TRUE

          (getBuildingStoriesCount()/2)-5 < getFloorNumber(myZone)

                getFloorNumber(myZone) < (getBuildingStoriesCount()/2)+5

}

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

// 건축법 시행령 34조 (직통계단의 설치) 5항
check(EDBA_34_5){
          getResult(REFB_8_1) = TRUE
          getResult(REFB_8-2_1) = TRUE
          getResult(REFB_8-2_2) = TRUE
          getResult(REFB_8-2_3) = TRUE
}
 

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

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 1항
check(REFB_8-2_1){
     KS1 AND IF CS THEN KS2
}

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

     Space mySpace{
          hasSpace(Space, FacilitiesOfABuilding)
     }

     Structure myStructure{
          isObjectProperty(Space.isfireResistantStructure) = TRUE
     }

KS1{
      BSC = getBuildingStoriesCount()
     getFloorNumber(myZone) <= BSC
}

CS{
     getFloorNumber(mySpace) = getFloorNumber(myZone)
}

KS2{
     isPartitioned(myZone, myStructure, mySpace) = TRUE
}
 

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

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

Check(REFB_8_2){

getObjectProperty(Building.usage)=“Factory.SemiconductorAndDisplayPanelManufacturingFactory＂

}

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

1393 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11 조 2항

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

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

Check(REFB_11_2){
     
IF CS1 AND CS2 THEN KS

}

CS1 {

Building myBuilding{

getBuildingUsage() = “CulturalAndAssemblyFacility”

OR getBuildingUsage() = “ReligiousFacility”

OR getBuildingUsage() = “AmusementFacility”

OR getBuildingUsage() = “FuneralParlor”

getBuildingUsage() != “ExhibitionHall”

getBuildingUsage() != “ZoologicalAndBotanicalGarden”

}

Door myDoor{

isObjectProperty(myBuilding.Door.isEntrance)=TRUE

}

isExist(myDoor) = TRUE

}

KS {

getObjectProperty(myDoor.panelOperationType) != “OpeningInDoor”

}

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

1394 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11 조 3항

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

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

Check(REFB_11_3){
     
IF CS1 AND CS2 THEN KS

}

CS1 {

Building myBuilding{

getBuildingUsage() = “AssemblyHall”

OR getBuildingUsage() = “PerformanceHall”

}

Space mySpace{

myBuilding.Space.name = “Auditorium”

Space.FloorSlab.area >= 300 m2

}

isExist(mySpace) = TRUE

}

CS2 {

Door myDoor{

isObjectProperty(Door.isEntrance)=TRUE

}

hasObject(myBuilding,myDoor) = TRUE

}

KS {

Door myDoor{

getObjectProperty(Door.functionType) = "Auxiliary"

OR getObjectProperty(Door.functionType) = "Emergency" 

}

getObjectCount(myDoor) >=2

}

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

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

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

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

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

hasObject(myFloor,myDoor) = TRUE
}

KS{

myFloor.myDoor.effectiveWidth >= 

}
 

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

1396 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11 조 5항

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

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

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

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

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

isExist(myPassage)=TRUE
}

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


 

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

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

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

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

Check(REFB_11_5_1){
      
KS

}

KS {

Building myBuilding{

getBuildingUsage() = “ClassINeighborhoodLivingFacility.CommunityCenter”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PoliceBox”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PoliceSubstation”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.FireStation”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PostOffice”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.BroadcastingStation”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.HealthCenter”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PublicLibrary”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.RegionalHealthInsuranceAssociation”

}

Space mySpace{

Space.usage=“CommunityCenter”

Space.usage=“PoliceBox”

Space.usage=“PoliceSubstation”

Space.usage=“FireStation”

Space.usage=“PostOffice”

Space.usage=“BroadcastingStation”

Space.usage=“HealthCenter”

Space.usage=“PublicLibrary”

Space.usage=“RegionalHealthInsuranceAssociation”

Space.FloorSlab.area < 1000 m2

}

isExist(myBuilding) = TRUE

isExist(mySpace) = TRUE

}

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

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

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

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

Check(REFB_11_5_2){
      
KS

}

KS {

Building myBuilding{

getBuildingUsage() = “ClassINeighborhoodLivingFacility.VillageHall”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.CommunityWorkspace”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.CommunitySalesShop”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.Substation”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PumpingStation”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PurificationPlant”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.Shelter”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PublicLibrary”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PublicToilet”

}

isExist(myBuilding) = TRUE

}

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

1399 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11 조 5항 3호

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

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

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

}
 

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

1400 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11 조 5항 4호

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

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

Check(REFB_11_5_4){
     
KS

}

KS {

Building myBuilding{

getBuildingUsage() = “EducationAndResearchFacility.School”

}

isExist(myBuliding) = TRUE

}

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

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

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

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

Check(REFB_11_5_5){
      
KS

}

KS {

Building myBuilding{

getBuildingUsage() = “BusinessFacility.GovernmentOfficeBuilding”

OR getBuildingUsage() = “BusinessFacility.ForeignOfficialResidence”

getBuildingUsage() != “ClassINeighborhoodLivingFacility”

}

isExist(myBuilding) = TRUE

}

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

1402 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11 조 5항 6호

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

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

Check(REFB_11_5_6){
KS
}

KS {

hasObject(Building,Elevator)=TRUE

}

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

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

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

 

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

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

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

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

KS{
getObjectGradient(Ramp) <= 12.5%
} 

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

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

"2. 표면을 거친 면으로 하거나 미끄러지지 아니하는 재료로 마감할 것"

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

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

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

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

15676 장애인ㆍ노인ㆍ임산부등의 편의증진보장에 관한 법률 조

""

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

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

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

} 

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

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

Check(EDBA_39_1_1){     
KS}

KS {

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

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

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

}
 

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

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

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

} 

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

2715 건축법 시행령 39 조 1항 2호

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

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

Check(EDBA_39_1_2){     
KS
}

KS {

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

isExist(myBuliding) = TRUE

}
 

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

2716 건축법 시행령 39 조 1항 3호

"3. 종교시설"

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

Check(EDBA_39_1_3){     
KS
}

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

isExist(myBuliding) = TRUE
}
 

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

2717 건축법 시행령 39 조 1항 4호

"4. 판매시설"

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

Check(EDBA_39_1_4){     
KS
}

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

isExist(myBuliding) = TRUE
}
 

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

2718 건축법 시행령 39 조 1항 5호

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

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

Check(EDBA_39_1_5){     
KS
}

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

isExist(myBuliding) = TRUE
}
 

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

2719 건축법 시행령 39 조 1항 6호

"6. 위락시설"

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

Check(EDBA_39_1_6){     
KS
}


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

isExist(myBuliding) = TRUE
}
 

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

2720 건축법 시행령 39 조 1항 7호

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

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

Check(EDBA_39_1_7){     
KS
}


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

isExist(myBuliding) = TRUE
}
 

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

2721 건축법 시행령 39 조 1항 8호

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

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

Check(EDBA_39_1_8){
 
KS

}

KS {

Building myBuilding{

getBuildingUsage() = “EducationAndResearchFacility.School”

}

isExist(myBuliding) = TRUE

}

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

2722 건축법 시행령 39 조 1항 9호

"9. 장례식장"

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

Check(EDBA_39_1_9){     
KS}

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

isExist(myBuliding) = TRUE
}


 

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

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

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

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

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

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

}

KS2 {

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

}

 

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

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

Check(EDBA_34_1){
     KS
}

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

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

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

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

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

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

     Zone myZone{

          isDirectlyAccessible(myStair, Zone)=FALSE

     }

IF

     getFloorNumber(mySpace)>0

     getFloorArea(mySpace)<=300 m2

     isFireResistantStructure(MainStructuralPart)=TRUE

     OR isObjectProperty(MainStructuralPart.Material.nonCombustibility)=TRUE 

     THEN IF        getBuildingStoriesCount()>=16

                    getBuildingUsage()="MultiUnitHouse"

               THEN ED= 40 

     ELSE THEN   ED=50               

     END IF

ELSE IF   

     getBuildingUsage() = "Factory" 

     isExist(ExtinguishingSystem)=TRUE 

     isObjectProperty(ExtinguishingSystem.isAutomatic)=TRUE

     getResult(REFB_8_2)=TRUE

     THEN IF        getBuildingUsage() = "UnmannedFactory" 

               THEN ED=100

     ELSE THEN  ED=75

     END IF 

ELSE THEN ED=30

     END IF 

     (hasObject(myFloor,myStair)=TRUE

     hasObject(myZone, myStair)=TRUE

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

     OR 

     (hasObject(myFloor,myRamp)=TRUE

     hasObject(myZone, myRamp)=TRUE

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

}

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

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

Check(REFB_8_2){

getObjectProperty(Building.usage)=“Factory.SemiconductorAndDisplayPanelManufacturingFactory＂

}

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

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

check(EDBA_34_3){

          IF CS THEN KS ENDIF

}

CS{

isObjectProperty(Building.isHighriseBuilding) = TRUE

}

KS{

          Stair myStair{

                    isObjectProperty(Stair.isDirect) = TRUE               

          }

          Zone myZone{

                    isObjectProperty(Zone.isEgressSafetyZone) = TRUE

          }

          Floor myFloor{

                    isObjectProperty(Floor.isEscape) = TRUE

          }

isGoThrough(myFloor, myZone, myStair) = TRUE

          OR isGoThrough(myFloor, Ground, myStair) = TRUE

          getObjectCount(myZone) >= getBuildingStoriesCount()/30

}

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

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

Check(REFB_8_1){

        Stair myStair{

             isObjectProperty(Stair.isDirect)=TRUE  

        }

        Passage myPassage{

             isConnectedTo(Room, Passage)=TRUE

        }

     isExist(myPassage)=TRUE

        isConnectedTo(myStair,myPassage)=TRUE

}

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

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 1항
check(REFB_8-2_1){
     KS1 AND IF CS THEN KS2
}

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

     Space mySpace{
          hasSpace(Space, FacilitiesOfABuilding)
     }

     Structure myStructure{
          isObjectProperty(Space.isfireResistantStructure) = TRUE
     }

KS1{
      BSC = getBuildingStoriesCount()
     getFloorNumber(myZone) <= BSC
}

CS{
     getFloorNumber(mySpace) = getFloorNumber(myZone)
}

KS2{
     isPartitioned(myZone, myStructure, mySpace) = TRUE
}
 

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

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

Check(REFB_8-2_2){

   Zone myZone{

      isObjectProperty(Zone.isEgressSafetyZone)=TRUE

   }

   Stair myStair{

      isObjectProperty(Stair.isSpecialEscape)=TRUE

      isAccessible(myZone, Stair)=TRUE

   }

  Floor myFloor{

         Floor.number>getFloorNumber(myZone)

         OR Floor.number

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 3항
Check(REFB_8-2_3){
 
   getResult(REFB_8-2_3_2)=TRUE
   getResult(REFB_8-2_3_3)=TRUE
   getResult(REFB_8-2_3_4)=TRUE
   getResult(REFB_8-2_3_5)=TRUE
   getResult(REFB_8-2_3_6)=TRUE
   getResult(REFB_8-2_3_7)=TRUE
   getResult(REFB_8-2_3_8)=TRUE
   getResult(REFB_8-2_3_9)=TRUE
}  

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

// 건축법 시행령 34조 (직통계단의 설치) 5항
check(EDBA_34_5){
          getResult(REFB_8_1) = TRUE
          getResult(REFB_8-2_1) = TRUE
          getResult(REFB_8-2_2) = TRUE
          getResult(REFB_8-2_3) = TRUE
}
 

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

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

check(EDBA_34_4){

          IF !CS THEN KS ENDIF

}

CS{

          Stair myStair{

                    isObjectProperty(Stair.isDirect) = TRUE

          }

          Floor myFloor{

                    isObjectProperty(Floor.isEscape) = TRUE

          }

          isDirectlyAccessible(myStair, myFloor) = TRUE

          OR isDirectlyAccessible(myStair, Ground) = TRUE

}

KS{

          isObjectProperty(Building.isQuasiHighriseBuilding) = TRUE

          Stair myStair{

                    isObjectProperty(Stair.isDirect) = TRUE               

          }

          Zone myZone{

                    isObjectProperty(Zone.isEgressSafetyZone) = TRUE

          }

          Floor myFloor{

                    isObjectProperty(Floor.isEscape) = TRUE

          }

                isGoThrough(myFloor, myZone, myStair) = TRUE

          OR isGoThrough(myFloor, Ground, myStair) = TRUE

          (getBuildingStoriesCount()/2)-5 < getFloorNumber(myZone)

                getFloorNumber(myZone) < (getBuildingStoriesCount()/2)+5

}

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

// 건축법 시행령 34조 (직통계단의 설치) 5항
check(EDBA_34_5){
          getResult(REFB_8_1) = TRUE
          getResult(REFB_8-2_1) = TRUE
          getResult(REFB_8-2_2) = TRUE
          getResult(REFB_8-2_3) = TRUE
}
 

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

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 1항
check(REFB_8-2_1){
     KS1 AND IF CS THEN KS2
}

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

     Space mySpace{
          hasSpace(Space, FacilitiesOfABuilding)
     }

     Structure myStructure{
          isObjectProperty(Space.isfireResistantStructure) = TRUE
     }

KS1{
      BSC = getBuildingStoriesCount()
     getFloorNumber(myZone) <= BSC
}

CS{
     getFloorNumber(mySpace) = getFloorNumber(myZone)
}

KS2{
     isPartitioned(myZone, myStructure, mySpace) = TRUE
}
 

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

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

Check(REFB_8_2){

getObjectProperty(Building.usage)=“Factory.SemiconductorAndDisplayPanelManufacturingFactory＂

}

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

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

Check(REFB_11_2){
     
IF CS1 AND CS2 THEN KS

}

CS1 {

Building myBuilding{

getBuildingUsage() = “CulturalAndAssemblyFacility”

OR getBuildingUsage() = “ReligiousFacility”

OR getBuildingUsage() = “AmusementFacility”

OR getBuildingUsage() = “FuneralParlor”

getBuildingUsage() != “ExhibitionHall”

getBuildingUsage() != “ZoologicalAndBotanicalGarden”

}

Door myDoor{

isObjectProperty(myBuilding.Door.isEntrance)=TRUE

}

isExist(myDoor) = TRUE

}

KS {

getObjectProperty(myDoor.panelOperationType) != “OpeningInDoor”

}

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

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

Check(REFB_11_3){
     
IF CS1 AND CS2 THEN KS

}

CS1 {

Building myBuilding{

getBuildingUsage() = “AssemblyHall”

OR getBuildingUsage() = “PerformanceHall”

}

Space mySpace{

myBuilding.Space.name = “Auditorium”

Space.FloorSlab.area >= 300 m2

}

isExist(mySpace) = TRUE

}

CS2 {

Door myDoor{

isObjectProperty(Door.isEntrance)=TRUE

}

hasObject(myBuilding,myDoor) = TRUE

}

KS {

Door myDoor{

getObjectProperty(Door.functionType) = "Auxiliary"

OR getObjectProperty(Door.functionType) = "Emergency" 

}

getObjectCount(myDoor) >=2

}

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

15604 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15 조

""

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

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

check(REFB_15_1){

     KS

}

KS{

     getResult(REFB_15_1_1)= TRUE

     getResult(REFB_15_1_2)=TRUE

     getResult(REFB_15_1_3)=TRUE

     getResult(REFB_15_1_4)=TRUE

}

하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계

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

CS{
     getObjectHeight(Stair)>3 m
}

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

하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계

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

check(REFB_15_1_2){

      KS

}

KS{

     IF   getObjectHeight(Stair)>1 m 

          OR getObjectHeight(StairLanding)>1 m)

          THEN  isExist(Railing)=TRUE

     END IF

}

하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계

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

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

KS{
   IF   getObjectWidth(Stair)>=3 m
       
       THEN  hasObject(Stair, Railing) = TRUE
             N=getObjectWidth(Stair)/3
             getObjectCount(Railing)>=N
            IF N>1
                 THEN getObjectDistance(Railing,Railing)<3 m
            END IF
   END IF 
}
 

하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계

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

check(REFB_15_1_4){

     KS

}

KS{

getObjectProperty(Stair.effectiveHeight)>=2.1 m

}

하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계

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

}

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

check(REFB_15_3){

     IF CS THEN KS

}

CS{

       getBuildingUsage()= "ClassINeighborhoodLivingFacility"

OR getBuildingUsage() = "ClassIINeighborhoodLivingFacility"

OR getBuildingUsage() = "CulturalAndAssemblyFacility"

OR getBuildingUsage() = "ReligiousFacility"

OR getBuildingUsage() = "CommercialFacility"

OR getBuildingUsage() = "TransportationFacility"

OR getBuildingUsage() = "MedicalFacility"

OR getBuildingUsage() = "FacilitiesForTheAgedAndChildren"

OR getBuildingUsage() = "BusinessFacility"

OR getBuildingUsage() = "LodgingFacility"

OR getBuildingUsage() = "AmusementFacility"

OR getBuildingUsage() = "FacilityForTourismAndRelaxation"

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

}

KS{

       isExist(Railing)=TRUE 

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

}

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

check(REFB_15_4){

     KS

}

KS{

       getResult(REFB_15_4_1)=TRUE

       AND getResult(REFB_15_4_2)=TRUE

       AND getResult(REFB_15_4_3)=TRUE

}

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

check(REFB_15_4_1){

     KS

}

KS{

       getElementWidth(Railing,Handle) >= 3.2CM

       AND getElementWidth(Handle) <= 3.8CM

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

}

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

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

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

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

check(REFB_15_4_3){
     KS
}
KS{
    getElementDistance(Handle,Stair.EndPart) <= 30cm
}
 

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

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


Stair myStair{
     getResult(REFB_15_1) = TRUE
}

CS{
     isReplaced(myStair, Ramp) = TRUE
}

KS{
     getResult(REFB_15_5) = TRUE
} 

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

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

check(REFB_15_1){

     KS

}

KS{

     getResult(REFB_15_1_1)= TRUE

     getResult(REFB_15_1_2)=TRUE

     getResult(REFB_15_1_3)=TRUE

     getResult(REFB_15_1_4)=TRUE

}

하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계

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

CS{
     getObjectHeight(Stair)>3 m
}

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

하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계

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

check(REFB_15_1_2){

      KS

}

KS{

     IF   getObjectHeight(Stair)>1 m 

          OR getObjectHeight(StairLanding)>1 m)

          THEN  isExist(Railing)=TRUE

     END IF

}

하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계

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

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

KS{
   IF   getObjectWidth(Stair)>=3 m
       
       THEN  hasObject(Stair, Railing) = TRUE
             N=getObjectWidth(Stair)/3
             getObjectCount(Railing)>=N
            IF N>1
                 THEN getObjectDistance(Railing,Railing)<3 m
            END IF
   END IF 
}
 

하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계

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

check(REFB_15_1_4){

     KS

}

KS{

getObjectProperty(Stair.effectiveHeight)>=2.1 m

}

하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계

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

}

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

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

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

 

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

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

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

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

KS{
getObjectGradient(Ramp) <= 12.5%
} 

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

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

"2. 표면을 거친 면으로 하거나 미끄러지지 아니하는 재료로 마감할 것"

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

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

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

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

15676 장애인ㆍ노인ㆍ임산부등의 편의증진보장에 관한 법률 조

""

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

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

CS{

Floor myFloor{
isObjectProperty(Floor.isEscape)=TRUE
}
      isAccessible(Stair,myFloor) 
      OR isAccessible(Stair,Ground)
}

KS{
      getResult(REFP_15_7_1)
      OR getResult(REFP_15_7_2)
} 

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

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

"1. 공동주택: 120센티미터 이상"

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

KS{
      getBuildingUsage() = "MultiUnitHouse"
      AND getStairStepWidth >= 1.2M
      AND getPaceWidth >= 1.2M
} 

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

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

"2. 공동주택이 아닌 건축물: 150센티미터 이상"

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

KS{
      getBuildingUsage() != "MultiUnitHouse"
      AND getStairStepWidth >= 1.5M
      AND getPaceWidth >= 1.5M
} 

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

check(REFP_15_8){

     KS

}

KS{

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

      AND getResult(REFP_15_1)=FALSE

      AND getResult(REFP_15_2)=FALSE

      AND getResult(REFP_15_3)=FALSE

      AND getResult(REFP_15_4)=FALSE

      AND getResult(REFP_15_5)=FALSE

      AND getResult(REFP_15_6)=FALSE

      AND getResult(REFP_15_7)=FALSE

}

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

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


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


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

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15조의2 (복도의 너비 및 설치기준) 2항

check(REFB_15-2_2){

     IF CS THEN KS 

}

CS{

Space  mySpace{

getSpaceUsage(Space) = “AssemblyHall”

OR getSpaceUsage(Space) = “PerformanceHall”

}

    Corridor myCorridor{

       isAdjacent(mySpace,Corridor) = TRUE

    }

    (getBuildingUsage()="CulturalAndAssemblyFacility.PerformanceHall"

    OR getBuildingUsage()="CulturalAndAssemblyFacility.AssemblyHall"

    OR getBuildingUsage()="CulturalAndAssemblyFacility.Auditorium"

    OR getBuildingUsage()="CulturalAndAssemblyFacility.ExhibitionHall"

    OR getBuildingUsage()="ReligiousFacility.ReligiousAssemblyFacility"

    OR getBuildingUsage()="FacilitiesForTheAgedAndChildren.ChildrenRelatedFacility"

    OR getBuildingUsage()="FacilitiesForTheAgedAndChildren.WelfareFacilityForTheAged"

    OR getBuildingUsage()="Trainingfacility.TrainingFacilitiesInLiving "

    OR getBuildingUsage()="AmusementFacility.tavern"

    OR getBuildingUsage()="AmusementFacility.FuneralParlors" )

    isExist(myCorridor)=TRUE   

}

KS{

   getResult(REFB_15-2_2_1)=TRUE

   getResult(REFB_15-2_2_2)=TRUE

   getResult(REFB_15-2_2_3)=TRUE

}

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

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

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

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

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

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


 

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

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

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

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


 

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

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

CS{
   getSpaceUsage(Space)="CulturalAndAssemblyFacility.PerformanceHall"
   isExist(Corridor)=TRUE
}
KS{
    
     getResult(REFB_15-2_3_1) = TRUE
     getResult(REFB_15-2_3_2) = TRUE
} 

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

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

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

    getFloorArea(mySpace)>300 m2
}

KS{

} 

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15조의2 (복도의 너비 및 설치기준) 3항2호

Check(REFB_15-2_3_2){

  IF CS THEN KS

}

CS{

    Space mySpace{

       getSpaceUsage(Space)="IndividualAuditorium"

    }

    getFloorArea(mySpace)>300 m2

    getObjectCount(Floor.One.mySpace)>=2 

}

KS{

}

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

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

Check(EDBA_39_1_1){     
KS}

KS {

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

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

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

}
 

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

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

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

} 

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

2715 건축법 시행령 39 조 1항 2호

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

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

Check(EDBA_39_1_2){     
KS
}

KS {

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

isExist(myBuliding) = TRUE

}
 

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

2716 건축법 시행령 39 조 1항 3호

"3. 종교시설"

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

Check(EDBA_39_1_3){     
KS
}

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

isExist(myBuliding) = TRUE
}
 

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

2717 건축법 시행령 39 조 1항 4호

"4. 판매시설"

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

Check(EDBA_39_1_4){     
KS
}

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

isExist(myBuliding) = TRUE
}
 

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

2718 건축법 시행령 39 조 1항 5호

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

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

Check(EDBA_39_1_5){     
KS
}

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

isExist(myBuliding) = TRUE
}
 

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

2719 건축법 시행령 39 조 1항 6호

"6. 위락시설"

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

Check(EDBA_39_1_6){     
KS
}


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

isExist(myBuliding) = TRUE
}
 

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

2720 건축법 시행령 39 조 1항 7호

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

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

Check(EDBA_39_1_7){     
KS
}


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

isExist(myBuliding) = TRUE
}
 

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

2721 건축법 시행령 39 조 1항 8호

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

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

Check(EDBA_39_1_8){
 
KS

}

KS {

Building myBuilding{

getBuildingUsage() = “EducationAndResearchFacility.School”

}

isExist(myBuliding) = TRUE

}

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

2722 건축법 시행령 39 조 1항 9호

"9. 장례식장"

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

Check(EDBA_39_1_9){     
KS}

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

isExist(myBuliding) = TRUE
}


 

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

2723 건축법 시행령 39 조 1항 10호

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

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

Check(EDBA_39_1_10){     
KS
}


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

isExist(myBuliding) = TRUE
}
 

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

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

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

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

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

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

}

KS2 {

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

}

 

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

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

Check(EDBA_34_1){
     KS
}

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

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

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

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

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

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

     Zone myZone{

          isDirectlyAccessible(myStair, Zone)=FALSE

     }

IF

     getFloorNumber(mySpace)>0

     getFloorArea(mySpace)<=300 m2

     isFireResistantStructure(MainStructuralPart)=TRUE

     OR isObjectProperty(MainStructuralPart.Material.nonCombustibility)=TRUE 

     THEN IF        getBuildingStoriesCount()>=16

                    getBuildingUsage()="MultiUnitHouse"

               THEN ED= 40 

     ELSE THEN   ED=50               

     END IF

ELSE IF   

     getBuildingUsage() = "Factory" 

     isExist(ExtinguishingSystem)=TRUE 

     isObjectProperty(ExtinguishingSystem.isAutomatic)=TRUE

     getResult(REFB_8_2)=TRUE

     THEN IF        getBuildingUsage() = "UnmannedFactory" 

               THEN ED=100

     ELSE THEN  ED=75

     END IF 

ELSE THEN ED=30

     END IF 

     (hasObject(myFloor,myStair)=TRUE

     hasObject(myZone, myStair)=TRUE

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

     OR 

     (hasObject(myFloor,myRamp)=TRUE

     hasObject(myZone, myRamp)=TRUE

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

}

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

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

Check(REFB_8_2){

getObjectProperty(Building.usage)=“Factory.SemiconductorAndDisplayPanelManufacturingFactory＂

}

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

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

check(EDBA_34_3){

          IF CS THEN KS ENDIF

}

CS{

isObjectProperty(Building.isHighriseBuilding) = TRUE

}

KS{

          Stair myStair{

                    isObjectProperty(Stair.isDirect) = TRUE               

          }

          Zone myZone{

                    isObjectProperty(Zone.isEgressSafetyZone) = TRUE

          }

          Floor myFloor{

                    isObjectProperty(Floor.isEscape) = TRUE

          }

isGoThrough(myFloor, myZone, myStair) = TRUE

          OR isGoThrough(myFloor, Ground, myStair) = TRUE

          getObjectCount(myZone) >= getBuildingStoriesCount()/30

}

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

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

Check(REFB_8_1){

        Stair myStair{

             isObjectProperty(Stair.isDirect)=TRUE  

        }

        Passage myPassage{

             isConnectedTo(Room, Passage)=TRUE

        }

     isExist(myPassage)=TRUE

        isConnectedTo(myStair,myPassage)=TRUE

}

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

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 1항
check(REFB_8-2_1){
     KS1 AND IF CS THEN KS2
}

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

     Space mySpace{
          hasSpace(Space, FacilitiesOfABuilding)
     }

     Structure myStructure{
          isObjectProperty(Space.isfireResistantStructure) = TRUE
     }

KS1{
      BSC = getBuildingStoriesCount()
     getFloorNumber(myZone) <= BSC
}

CS{
     getFloorNumber(mySpace) = getFloorNumber(myZone)
}

KS2{
     isPartitioned(myZone, myStructure, mySpace) = TRUE
}
 

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

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

Check(REFB_8-2_2){

   Zone myZone{

      isObjectProperty(Zone.isEgressSafetyZone)=TRUE

   }

   Stair myStair{

      isObjectProperty(Stair.isSpecialEscape)=TRUE

      isAccessible(myZone, Stair)=TRUE

   }

  Floor myFloor{

         Floor.number>getFloorNumber(myZone)

         OR Floor.number

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 3항
Check(REFB_8-2_3){
 
   getResult(REFB_8-2_3_2)=TRUE
   getResult(REFB_8-2_3_3)=TRUE
   getResult(REFB_8-2_3_4)=TRUE
   getResult(REFB_8-2_3_5)=TRUE
   getResult(REFB_8-2_3_6)=TRUE
   getResult(REFB_8-2_3_7)=TRUE
   getResult(REFB_8-2_3_8)=TRUE
   getResult(REFB_8-2_3_9)=TRUE
}  

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

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

"1. 피난안전구역의 바로 아래층 및 윗층은 「건축물의 설비기준 등에 관한 규칙」 제21조제1항제1호에 적합한 단열재를 설치할 것. 이 경우 아래층은 최상층에 있는 거실의 반자 또는 지붕 기준을 준용하고, 윗층은 최하층에 있는 거실의 바닥 기준을 준용할 것"

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

1348 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 조 3항 2호

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

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

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

    isObjectProperty(myZone.InteriorFinish.nonCombustibility)=TRUE
} 

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

1349 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 조 3항 3호

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

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항3호
check(REFB_8-2_3_3){
   
  Stair myStair{
     isExternal(Stair)=FALSE
     isAccessible(myZone, Stair)=TRUE
  }
  isObjectProperty(Stair.isSpecialEscape)=TRUE
  
} 

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

1350 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 조 3항 4호

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

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

   isDirectlyAccessible(myZone, myElevator)=TRUE
} 

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

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

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

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

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

1352 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 조 3항 6호

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

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

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

1353 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 조 3항 7호

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

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

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

1354 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 조 3항 8호

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

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

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

1355 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 조 3항 9호

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

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

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

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

1356 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 조 3항 10호

"10. 그 밖에 국민안전처장관이 정하는 소방 등 재난관리를 위한 설비를 갖출 것"

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

// 건축법 시행령 34조 (직통계단의 설치) 5항
check(EDBA_34_5){
          getResult(REFB_8_1) = TRUE
          getResult(REFB_8-2_1) = TRUE
          getResult(REFB_8-2_2) = TRUE
          getResult(REFB_8-2_3) = TRUE
}
 

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

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

CS{

Floor myFloor{
isObjectProperty(Floor.isEscape)=TRUE
}
      isAccessible(Stair,myFloor) 
      OR isAccessible(Stair,Ground)
}

KS{
      getResult(REFP_15_7_1)
      OR getResult(REFP_15_7_2)
} 

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

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

check(EDBA_34_4){

          IF !CS THEN KS ENDIF

}

CS{

          Stair myStair{

                    isObjectProperty(Stair.isDirect) = TRUE

          }

          Floor myFloor{

                    isObjectProperty(Floor.isEscape) = TRUE

          }

          isDirectlyAccessible(myStair, myFloor) = TRUE

          OR isDirectlyAccessible(myStair, Ground) = TRUE

}

KS{

          isObjectProperty(Building.isQuasiHighriseBuilding) = TRUE

          Stair myStair{

                    isObjectProperty(Stair.isDirect) = TRUE               

          }

          Zone myZone{

                    isObjectProperty(Zone.isEgressSafetyZone) = TRUE

          }

          Floor myFloor{

                    isObjectProperty(Floor.isEscape) = TRUE

          }

                isGoThrough(myFloor, myZone, myStair) = TRUE

          OR isGoThrough(myFloor, Ground, myStair) = TRUE

          (getBuildingStoriesCount()/2)-5 < getFloorNumber(myZone)

                getFloorNumber(myZone) < (getBuildingStoriesCount()/2)+5

}

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

// 건축법 시행령 34조 (직통계단의 설치) 5항
check(EDBA_34_5){
          getResult(REFB_8_1) = TRUE
          getResult(REFB_8-2_1) = TRUE
          getResult(REFB_8-2_2) = TRUE
          getResult(REFB_8-2_3) = TRUE
}
 

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

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

CS{

Floor myFloor{
isObjectProperty(Floor.isEscape)=TRUE
}
      isAccessible(Stair,myFloor) 
      OR isAccessible(Stair,Ground)
}

KS{
      getResult(REFP_15_7_1)
      OR getResult(REFP_15_7_2)
} 

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

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 1항
check(REFB_8-2_1){
     KS1 AND IF CS THEN KS2
}

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

     Space mySpace{
          hasSpace(Space, FacilitiesOfABuilding)
     }

     Structure myStructure{
          isObjectProperty(Space.isfireResistantStructure) = TRUE
     }

KS1{
      BSC = getBuildingStoriesCount()
     getFloorNumber(myZone) <= BSC
}

CS{
     getFloorNumber(mySpace) = getFloorNumber(myZone)
}

KS2{
     isPartitioned(myZone, myStructure, mySpace) = TRUE
}
 

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

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

Check(REFB_8_2){

getObjectProperty(Building.usage)=“Factory.SemiconductorAndDisplayPanelManufacturingFactory＂

}

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

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

Check(REFB_11_2){
     
IF CS1 AND CS2 THEN KS

}

CS1 {

Building myBuilding{

getBuildingUsage() = “CulturalAndAssemblyFacility”

OR getBuildingUsage() = “ReligiousFacility”

OR getBuildingUsage() = “AmusementFacility”

OR getBuildingUsage() = “FuneralParlor”

getBuildingUsage() != “ExhibitionHall”

getBuildingUsage() != “ZoologicalAndBotanicalGarden”

}

Door myDoor{

isObjectProperty(myBuilding.Door.isEntrance)=TRUE

}

isExist(myDoor) = TRUE

}

KS {

getObjectProperty(myDoor.panelOperationType) != “OpeningInDoor”

}

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

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

Check(REFB_11_3){
     
IF CS1 AND CS2 THEN KS

}

CS1 {

Building myBuilding{

getBuildingUsage() = “AssemblyHall”

OR getBuildingUsage() = “PerformanceHall”

}

Space mySpace{

myBuilding.Space.name = “Auditorium”

Space.FloorSlab.area >= 300 m2

}

isExist(mySpace) = TRUE

}

CS2 {

Door myDoor{

isObjectProperty(Door.isEntrance)=TRUE

}

hasObject(myBuilding,myDoor) = TRUE

}

KS {

Door myDoor{

getObjectProperty(Door.functionType) = "Auxiliary"

OR getObjectProperty(Door.functionType) = "Emergency" 

}

getObjectCount(myDoor) >=2

}

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

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

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

hasObject(myFloor,myDoor) = TRUE
}

KS{

myFloor.myDoor.effectiveWidth >= 

}
 

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

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

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

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

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

isExist(myPassage)=TRUE
}

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


 

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

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

Check(REFB_11_5_1){
      
KS

}

KS {

Building myBuilding{

getBuildingUsage() = “ClassINeighborhoodLivingFacility.CommunityCenter”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PoliceBox”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PoliceSubstation”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.FireStation”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PostOffice”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.BroadcastingStation”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.HealthCenter”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PublicLibrary”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.RegionalHealthInsuranceAssociation”

}

Space mySpace{

Space.usage=“CommunityCenter”

Space.usage=“PoliceBox”

Space.usage=“PoliceSubstation”

Space.usage=“FireStation”

Space.usage=“PostOffice”

Space.usage=“BroadcastingStation”

Space.usage=“HealthCenter”

Space.usage=“PublicLibrary”

Space.usage=“RegionalHealthInsuranceAssociation”

Space.FloorSlab.area < 1000 m2

}

isExist(myBuilding) = TRUE

isExist(mySpace) = TRUE

}

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

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

Check(REFB_11_5_2){
      
KS

}

KS {

Building myBuilding{

getBuildingUsage() = “ClassINeighborhoodLivingFacility.VillageHall”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.CommunityWorkspace”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.CommunitySalesShop”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.Substation”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PumpingStation”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PurificationPlant”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.Shelter”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PublicLibrary”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PublicToilet”

}

isExist(myBuilding) = TRUE

}

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

1399 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11 조 5항 3호

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

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

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

}
 

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

1400 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11 조 5항 4호

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

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

Check(REFB_11_5_4){
     
KS

}

KS {

Building myBuilding{

getBuildingUsage() = “EducationAndResearchFacility.School”

}

isExist(myBuliding) = TRUE

}

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

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

Check(REFB_11_5_5){
      
KS

}

KS {

Building myBuilding{

getBuildingUsage() = “BusinessFacility.GovernmentOfficeBuilding”

OR getBuildingUsage() = “BusinessFacility.ForeignOfficialResidence”

getBuildingUsage() != “ClassINeighborhoodLivingFacility”

}

isExist(myBuilding) = TRUE

}

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

1402 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11 조 5항 6호

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

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

Check(REFB_11_5_6){
KS
}

KS {

hasObject(Building,Elevator)=TRUE

}

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

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

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

 

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

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

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

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

KS{
getObjectGradient(Ramp) <= 12.5%
} 

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

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

"2. 표면을 거친 면으로 하거나 미끄러지지 아니하는 재료로 마감할 것"

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

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

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

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

15676 장애인ㆍ노인ㆍ임산부등의 편의증진보장에 관한 법률 조

""

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

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

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

} 

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

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

Check(EDBA_39_1_1){     
KS}

KS {

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

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

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

}
 

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

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

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

} 

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

2715 건축법 시행령 39 조 1항 2호

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

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

Check(EDBA_39_1_2){     
KS
}

KS {

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

isExist(myBuliding) = TRUE

}
 

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

2716 건축법 시행령 39 조 1항 3호

"3. 종교시설"

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

Check(EDBA_39_1_3){     
KS
}

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

isExist(myBuliding) = TRUE
}
 

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

2717 건축법 시행령 39 조 1항 4호

"4. 판매시설"

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

Check(EDBA_39_1_4){     
KS
}

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

isExist(myBuliding) = TRUE
}
 

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

2718 건축법 시행령 39 조 1항 5호

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

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

Check(EDBA_39_1_5){     
KS
}

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

isExist(myBuliding) = TRUE
}
 

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

2719 건축법 시행령 39 조 1항 6호

"6. 위락시설"

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

Check(EDBA_39_1_6){     
KS
}


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

isExist(myBuliding) = TRUE
}
 

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

2720 건축법 시행령 39 조 1항 7호

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

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

Check(EDBA_39_1_7){     
KS
}


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

isExist(myBuliding) = TRUE
}
 

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

2721 건축법 시행령 39 조 1항 8호

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

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

Check(EDBA_39_1_8){
 
KS

}

KS {

Building myBuilding{

getBuildingUsage() = “EducationAndResearchFacility.School”

}

isExist(myBuliding) = TRUE

}

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

2722 건축법 시행령 39 조 1항 9호

"9. 장례식장"

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

Check(EDBA_39_1_9){     
KS}

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

isExist(myBuliding) = TRUE
}


 

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

2723 건축법 시행령 39 조 1항 10호

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

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

Check(EDBA_39_1_10){     
KS
}


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

isExist(myBuliding) = TRUE
}
 

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

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

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

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

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

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

}

KS2 {

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

}

 

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

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

Check(EDBA_34_1){
     KS
}

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

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

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

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

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

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

     Zone myZone{

          isDirectlyAccessible(myStair, Zone)=FALSE

     }

IF

     getFloorNumber(mySpace)>0

     getFloorArea(mySpace)<=300 m2

     isFireResistantStructure(MainStructuralPart)=TRUE

     OR isObjectProperty(MainStructuralPart.Material.nonCombustibility)=TRUE 

     THEN IF        getBuildingStoriesCount()>=16

                    getBuildingUsage()="MultiUnitHouse"

               THEN ED= 40 

     ELSE THEN   ED=50               

     END IF

ELSE IF   

     getBuildingUsage() = "Factory" 

     isExist(ExtinguishingSystem)=TRUE 

     isObjectProperty(ExtinguishingSystem.isAutomatic)=TRUE

     getResult(REFB_8_2)=TRUE

     THEN IF        getBuildingUsage() = "UnmannedFactory" 

               THEN ED=100

     ELSE THEN  ED=75

     END IF 

ELSE THEN ED=30

     END IF 

     (hasObject(myFloor,myStair)=TRUE

     hasObject(myZone, myStair)=TRUE

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

     OR 

     (hasObject(myFloor,myRamp)=TRUE

     hasObject(myZone, myRamp)=TRUE

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

}

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

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

Check(REFB_8_2){

getObjectProperty(Building.usage)=“Factory.SemiconductorAndDisplayPanelManufacturingFactory＂

}

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

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

check(EDBA_34_3){

          IF CS THEN KS ENDIF

}

CS{

isObjectProperty(Building.isHighriseBuilding) = TRUE

}

KS{

          Stair myStair{

                    isObjectProperty(Stair.isDirect) = TRUE               

          }

          Zone myZone{

                    isObjectProperty(Zone.isEgressSafetyZone) = TRUE

          }

          Floor myFloor{

                    isObjectProperty(Floor.isEscape) = TRUE

          }

isGoThrough(myFloor, myZone, myStair) = TRUE

          OR isGoThrough(myFloor, Ground, myStair) = TRUE

          getObjectCount(myZone) >= getBuildingStoriesCount()/30

}

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

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

Check(REFB_8_1){

        Stair myStair{

             isObjectProperty(Stair.isDirect)=TRUE  

        }

        Passage myPassage{

             isConnectedTo(Room, Passage)=TRUE

        }

     isExist(myPassage)=TRUE

        isConnectedTo(myStair,myPassage)=TRUE

}

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

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 1항
check(REFB_8-2_1){
     KS1 AND IF CS THEN KS2
}

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

     Space mySpace{
          hasSpace(Space, FacilitiesOfABuilding)
     }

     Structure myStructure{
          isObjectProperty(Space.isfireResistantStructure) = TRUE
     }

KS1{
      BSC = getBuildingStoriesCount()
     getFloorNumber(myZone) <= BSC
}

CS{
     getFloorNumber(mySpace) = getFloorNumber(myZone)
}

KS2{
     isPartitioned(myZone, myStructure, mySpace) = TRUE
}
 

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

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

Check(REFB_8-2_2){

   Zone myZone{

      isObjectProperty(Zone.isEgressSafetyZone)=TRUE

   }

   Stair myStair{

      isObjectProperty(Stair.isSpecialEscape)=TRUE

      isAccessible(myZone, Stair)=TRUE

   }

  Floor myFloor{

         Floor.number>getFloorNumber(myZone)

         OR Floor.number

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 3항
Check(REFB_8-2_3){
 
   getResult(REFB_8-2_3_2)=TRUE
   getResult(REFB_8-2_3_3)=TRUE
   getResult(REFB_8-2_3_4)=TRUE
   getResult(REFB_8-2_3_5)=TRUE
   getResult(REFB_8-2_3_6)=TRUE
   getResult(REFB_8-2_3_7)=TRUE
   getResult(REFB_8-2_3_8)=TRUE
   getResult(REFB_8-2_3_9)=TRUE
}  

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

1348 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 조 3항 2호

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

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

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

    isObjectProperty(myZone.InteriorFinish.nonCombustibility)=TRUE
} 

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

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항3호
check(REFB_8-2_3_3){
   
  Stair myStair{
     isExternal(Stair)=FALSE
     isAccessible(myZone, Stair)=TRUE
  }
  isObjectProperty(Stair.isSpecialEscape)=TRUE
  
} 

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

1350 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 조 3항 4호

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

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

   isDirectlyAccessible(myZone, myElevator)=TRUE
} 

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

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

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

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

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

1353 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 조 3항 7호

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

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

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

1354 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 조 3항 8호

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

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

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

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

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

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

// 건축법 시행령 34조 (직통계단의 설치) 5항
check(EDBA_34_5){
          getResult(REFB_8_1) = TRUE
          getResult(REFB_8-2_1) = TRUE
          getResult(REFB_8-2_2) = TRUE
          getResult(REFB_8-2_3) = TRUE
}
 

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

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

CS{

Floor myFloor{
isObjectProperty(Floor.isEscape)=TRUE
}
      isAccessible(Stair,myFloor) 
      OR isAccessible(Stair,Ground)
}

KS{
      getResult(REFP_15_7_1)
      OR getResult(REFP_15_7_2)
} 

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

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

check(EDBA_34_4){

          IF !CS THEN KS ENDIF

}

CS{

          Stair myStair{

                    isObjectProperty(Stair.isDirect) = TRUE

          }

          Floor myFloor{

                    isObjectProperty(Floor.isEscape) = TRUE

          }

          isDirectlyAccessible(myStair, myFloor) = TRUE

          OR isDirectlyAccessible(myStair, Ground) = TRUE

}

KS{

          isObjectProperty(Building.isQuasiHighriseBuilding) = TRUE

          Stair myStair{

                    isObjectProperty(Stair.isDirect) = TRUE               

          }

          Zone myZone{

                    isObjectProperty(Zone.isEgressSafetyZone) = TRUE

          }

          Floor myFloor{

                    isObjectProperty(Floor.isEscape) = TRUE

          }

                isGoThrough(myFloor, myZone, myStair) = TRUE

          OR isGoThrough(myFloor, Ground, myStair) = TRUE

          (getBuildingStoriesCount()/2)-5 < getFloorNumber(myZone)

                getFloorNumber(myZone) < (getBuildingStoriesCount()/2)+5

}

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

// 건축법 시행령 34조 (직통계단의 설치) 5항
check(EDBA_34_5){
          getResult(REFB_8_1) = TRUE
          getResult(REFB_8-2_1) = TRUE
          getResult(REFB_8-2_2) = TRUE
          getResult(REFB_8-2_3) = TRUE
}
 

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

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

CS{

Floor myFloor{
isObjectProperty(Floor.isEscape)=TRUE
}
      isAccessible(Stair,myFloor) 
      OR isAccessible(Stair,Ground)
}

KS{
      getResult(REFP_15_7_1)
      OR getResult(REFP_15_7_2)
} 

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

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 1항
check(REFB_8-2_1){
     KS1 AND IF CS THEN KS2
}

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

     Space mySpace{
          hasSpace(Space, FacilitiesOfABuilding)
     }

     Structure myStructure{
          isObjectProperty(Space.isfireResistantStructure) = TRUE
     }

KS1{
      BSC = getBuildingStoriesCount()
     getFloorNumber(myZone) <= BSC
}

CS{
     getFloorNumber(mySpace) = getFloorNumber(myZone)
}

KS2{
     isPartitioned(myZone, myStructure, mySpace) = TRUE
}
 

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

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

Check(REFB_8_2){

getObjectProperty(Building.usage)=“Factory.SemiconductorAndDisplayPanelManufacturingFactory＂

}

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

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

Check(REFB_11_2){
     
IF CS1 AND CS2 THEN KS

}

CS1 {

Building myBuilding{

getBuildingUsage() = “CulturalAndAssemblyFacility”

OR getBuildingUsage() = “ReligiousFacility”

OR getBuildingUsage() = “AmusementFacility”

OR getBuildingUsage() = “FuneralParlor”

getBuildingUsage() != “ExhibitionHall”

getBuildingUsage() != “ZoologicalAndBotanicalGarden”

}

Door myDoor{

isObjectProperty(myBuilding.Door.isEntrance)=TRUE

}

isExist(myDoor) = TRUE

}

KS {

getObjectProperty(myDoor.panelOperationType) != “OpeningInDoor”

}

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

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

Check(REFB_11_3){
     
IF CS1 AND CS2 THEN KS

}

CS1 {

Building myBuilding{

getBuildingUsage() = “AssemblyHall”

OR getBuildingUsage() = “PerformanceHall”

}

Space mySpace{

myBuilding.Space.name = “Auditorium”

Space.FloorSlab.area >= 300 m2

}

isExist(mySpace) = TRUE

}

CS2 {

Door myDoor{

isObjectProperty(Door.isEntrance)=TRUE

}

hasObject(myBuilding,myDoor) = TRUE

}

KS {

Door myDoor{

getObjectProperty(Door.functionType) = "Auxiliary"

OR getObjectProperty(Door.functionType) = "Emergency" 

}

getObjectCount(myDoor) >=2

}

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

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

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

hasObject(myFloor,myDoor) = TRUE
}

KS{

myFloor.myDoor.effectiveWidth >= 

}
 

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

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

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

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

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

isExist(myPassage)=TRUE
}

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


 

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

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

Check(REFB_11_5_1){
      
KS

}

KS {

Building myBuilding{

getBuildingUsage() = “ClassINeighborhoodLivingFacility.CommunityCenter”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PoliceBox”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PoliceSubstation”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.FireStation”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PostOffice”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.BroadcastingStation”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.HealthCenter”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PublicLibrary”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.RegionalHealthInsuranceAssociation”

}

Space mySpace{

Space.usage=“CommunityCenter”

Space.usage=“PoliceBox”

Space.usage=“PoliceSubstation”

Space.usage=“FireStation”

Space.usage=“PostOffice”

Space.usage=“BroadcastingStation”

Space.usage=“HealthCenter”

Space.usage=“PublicLibrary”

Space.usage=“RegionalHealthInsuranceAssociation”

Space.FloorSlab.area < 1000 m2

}

isExist(myBuilding) = TRUE

isExist(mySpace) = TRUE

}

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

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

Check(REFB_11_5_2){
      
KS

}

KS {

Building myBuilding{

getBuildingUsage() = “ClassINeighborhoodLivingFacility.VillageHall”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.CommunityWorkspace”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.CommunitySalesShop”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.Substation”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PumpingStation”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PurificationPlant”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.Shelter”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PublicLibrary”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PublicToilet”

}

isExist(myBuilding) = TRUE

}

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

1399 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11 조 5항 3호

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

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

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

}
 

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

1400 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11 조 5항 4호

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

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

Check(REFB_11_5_4){
     
KS

}

KS {

Building myBuilding{

getBuildingUsage() = “EducationAndResearchFacility.School”

}

isExist(myBuliding) = TRUE

}

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

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

Check(REFB_11_5_5){
      
KS

}

KS {

Building myBuilding{

getBuildingUsage() = “BusinessFacility.GovernmentOfficeBuilding”

OR getBuildingUsage() = “BusinessFacility.ForeignOfficialResidence”

getBuildingUsage() != “ClassINeighborhoodLivingFacility”

}

isExist(myBuilding) = TRUE

}

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

1402 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11 조 5항 6호

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

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

Check(REFB_11_5_6){
KS
}

KS {

hasObject(Building,Elevator)=TRUE

}

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

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

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

 

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

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

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

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

KS{
getObjectGradient(Ramp) <= 12.5%
} 

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

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

"2. 표면을 거친 면으로 하거나 미끄러지지 아니하는 재료로 마감할 것"

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

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

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

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

15676 장애인ㆍ노인ㆍ임산부등의 편의증진보장에 관한 법률 조

""

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

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

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

} 

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