//     장애인ㆍ노인ㆍ임산부등의편의증진보장에관한법률 7조 (대상시설) 6호
Check(CDAPA_7_0_6){
     KS
}

KS{
     getBuildingUsage() = "CommunicationFacility"
}



//     장애인ㆍ노인ㆍ임산부등의편의증진보장에관한법률 7조 (대상시설) 

Check(CDAPA_7){

     IF CS THEN KS

}



CS{

     getResult(CDAPA_7_0_1) = TRUE

     OR getResult(CDAOA_7_0_2) = TRUE

     OR getResult(CDAOA_7_0_3) = TRUE

     OR getResult(CDAOA_7_0_4) = TRUE

}



KS{

     isInstalled(ConvenientFacility) = TRUE

}


//     장애인ㆍ노인ㆍ임산부등의편의증진보장에관한법률 7조 (대상시설) 1호
Check(CDAPA_7_0_1){
     KS
}

KS{
     getBuildingUsage() = "Park"
}


//     장애인ㆍ노인ㆍ임산부등의편의증진보장에관한법률 7조 (대상시설) 2호
Check(CDAPA_7_0_2){
     KS
}

KS{
     getBuildingUsage() = "PublicFacility"
}


//     장애인ㆍ노인ㆍ임산부등의편의증진보장에관한법률 7조 (대상시설) 3호
Check(CDAPA_7_0_3){
     KS
}

KS{
     getBuildingUsage() = "MultiUnitHouse"
}


//     장애인ㆍ노인ㆍ임산부등의편의증진보장에관한법률 7조 (대상시설) 4호
Check(CDAPA_7_0_4){
     KS
}

KS{
     getBuildingUsage() = "CommunicationFacility"
}

//  장애인ㆍ노인ㆍ임산부 등의 편의증진 보장에 관한 법률 8조 (편의시설의 설치기준) 1항
Check(CDAPA_8_1){
     KS
}

KS{
     getResult(EDCDAPA_4) = TRUE
}

//주차장법 12조의2 (다른 법률과의 관계) 1호

Check(PLA_12-2_0_1){
      KS
}

KS{

getBuildingToLandRatio() <90/100
}




//주차장법 12조의2 (다른 법률과의 관계)2호

Check(PLA_12-2_0_2){
      KS
}

KS{
   getFloorAreaRatio()<1500%
}




//주차장법 12조의2 (다른 법률과의 관계) 3호

Check(PLA_12-2_0_3){
      KS
}

KS{
   getSiteArea()>45 m2
}




// 주차장법 12조의2 (다른 법률과의 관계)

Check(PLA_12-2){
     IF CS THEN KS
}

CS{
  isObjectProperty(Building.isExclusiveUseOfParkingLot)=True
}

KS{
     getResult(PLA_12-2_0_1)=True
      getResult(PLA_12-2_0_2)=True
      getResult(PLA_12-2_0_3)=True
}

//주차장법 19조 (부설주차장의 설치) 1항



Check(PLA_19_1){

   IF CS THEN KS 

}



CS{

   getSiteUsage()="UrbanArea"

   OR getSiteUsage()="DistrictUnitPlanningZone"

   OR getSiteUsage()="ControlArea"

}



KS{

   ParkingLot myParkingLot{

     isObjectProperty(ParkingLot.isAttachedParking)=True

   }

   isInstalled(myParkingLot, Facility)=True

   isInstalled(myParkingLot, Site)=True

}

//주차장법 19조의5 (기계식주차장의 설치기준)

Check(PLA_19-5){
  IF CS THEN KS
}

CS{
   getSpaceUsage()="MechanicalParking"
}

KS{
    getResult(ERPA_16-2_0_1)=True
}

//주차장법 6조 (주차장설비기준 등) 1항

Check(PLA_6_1){
       KS
}

KS{

   getResult(ERPA_2)=TRUE
   getResult(ERPA_3)=TRUE
   getResult(ERPA_4)=TRUE
   getResult(ERPA_6)=TRUE
   getResult(ERPA_11)=TRUE
}

//건축법 47조 (건축선에 따른 건축제한) 1항

Check(BA_47_1){
      KS
}

KS{
    Floor myFloor{
        Floor.number>0
    }
     isOverBldAlignment(myFloor)=False
}


//건축법 47조 (건축선에 따른 건축제한) 2항

Check(BA_47_2){
     KS
}

KS{
    Floor myFloor{
          getVerticleDistance(Floor, "도로면" )<=4.5
    }
    isOverBldAlignment(myFloor, 1)=False
}

//건축법 48조 (구조내력 등) 1항



1

//건축법 49조 (건축물의 피난시설 및 용도제한 등) 1항
Check(BA_49_1){
   IF CS THEN KS 
}

CS{
  getResult(EDBA_34_2)= TRUE
  OR getResult(EDBA_35_1) = TRUE
  OR getResuLt(EDBA_35_2) = TRUE
  OR getResuLt(EDBA_35_3) = TRUE
  OR getResuLt(EDBA_35_5) = TRUE
  OR getResult (EDBA_38) = TRUE
  OR getResuLt(EDBA_39_1) = TRUE
  OR getResuLt(EDBA_39_2) = TRUE
}

KS{

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

   isExist(Corridor) = TRUE
   isExist(Stair) = TRUE
   isExist(myDoor) = TRUE
   isExist(EvacuationFacility) = TRUE
   isExist(FireHydrant) = TRUE
   isExist(Tank) = TRUE
   isExist(ExtinguishingSystem)= TRUE
   isExist(Passage)=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
}


//건축법 49조 (건축물의 피난시설 및 용도제한 등) 3항 

Check(BA_49_3){
   KS
}

KS{
   getResult(EDBA_53_1)=True
   getResult(EDBA_53_2)=True
}




//건축법 49조 (건축물의 피난시설 및 용도제한 등) 2항
Check(BA_49_2){
     IF CS THEN KS
}

CS{
    getResult(EDBA_34_1)= TRUE
    OR getResult(EDBA_34_3)= TRUE
    OR getResult(EDBA_34_4)= TRUE
    OR getResult(EDBA_46_1)= TRUE
    OR getResult(EDBA_46_2)= TRUE
    OR getResult(EDBA_46_3)= TRUE
    OR getResult(EDBA_46_4)= TRUE
    OR getResult(EDBA_46_5)= TRUE
    OR getResult(EDBA_47_1)= TRUE 
    OR getResult(EDBA_47_2)= TRUE
    OR getResult(EDBA_48_1)= TRUE 
    OR getResult(EDBA_48_2)= TRUE
    OR getResult(EDBA_50)= TRUE 
    OR getResult(EDBA_51_1)= TRUE 
    OR getResult(EDBA_51_2)= TRUE
    OR getResult(EDBA_51_3)= TRUE  
    OR getResult(EDBA_52)= TRUE
}

KS{
   getResult(REFB_3)= TRUE 
   AND getResult(REFB_4)= TRUE
   AND getResult(REFB_8)= TRUE
   AND getResult(REFB_9)= TRUE 
   AND getResult(REFB_10)= TRUE
   AND getResult(REFB_11)= TRUE
   AND getResult(REFB_14)= TRUE
   AND getResult(REFB_15)= TRUE 
   AND getResult(REFB_16)= TRUE
   AND getResult(REFB_17)= TRUE
   AND getResult(REFB_18)= TRUE
}

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

//건축법 51조 (방화지구 안의 건축물) 2항



Check(BA_51_2){

       IF CS THEN KS 

}



CS{

   getResult(LPUA_37_1_4)=True

   

}



KS{



   Construction  myConstruction {

       

       isInstalled(Construction , Rooftop)=True

       OR Construction.height>=3 m 

   }



   isObjectProperty(myConstruction.MainStructuralPart.Material.nonCombustibility)=True

}


//건축법 51조 (방화지구 안의 건축물) 3항

Check(BA_51_3){
    KS
}

KS{
   getResult(REFB_23_1)=True
   getResult(REFB_23_2)=True
}


//건축법 51조 (방화지구 안의 건축물) 1항 

Check(BA_51_1){
   IF (!CS1 AND CS2) THEN KS
}

CS1{
    getResult(EDBA_58)=True
}

CS2{
    getResult(LPUA_37_1_4)=True
}

KS{

   Wall myWall{
     isObjectProperty(Wall.isExternal)=True
   }

        isFireResistantStructure(MainStructure) = TRUE
        isFireResistantStructure(myWall) = TRUE
}

//건축법 52조 (건축물의 마감재료) 3항
Check(BA_52_3){

}

// 비대상?


//건축법 52조 (건축물의 마감재료) 1항
Check(BA_52_1){
   IF CS THEN KS 
}

Building myBuilding{
getResult(EDBA_61_1)=TRUE
}
CS{
isExist(myBuilding)=TRUE
}
KS{
getResult(REFB_24_1)=TRUE
getResult(REFB_24_2)=TRUE
getResult(REFB_24_3)=TRUE
getResult(REFB_24_4)=TRUE
}


//건축법 52조 (건축물의 마감재료) 2항

Check(BA_52_2){
IF CS THEN KS
}

CS{
getResult(EDBA_61_2)=TRUE
}
KS{
getResult(REFB_24_5)=TRUE

}

Check(BA_53){

IF (CS) THEN KS END IF

}



CS{

   Space.Floor.number<0 ;

}



KS{

   getResult(REFB_25_1)=True

}

//     건축법 55조 (건축물의 건폐율)
Check(BA_55){
     IF CS THEN KS
}

KS{
     getResult(LPUA_77_1) = TRUE
     getResult(LPUA_77_2) = TRUE
     getResult(LPUA_77_3) = TRUE
}

//건축법 56조 (건축물의 용적률)

Check(BA_56){
KS
}

KS{

getResult(LPUA_78)= TRUE

}

//건축법 64조 (승강기) 1항
check(BA_64_1){
   IF CS THEN KS
}

CS{ 
   getBuildingStoriesCount() >= 6    
   getGrossFloorArea()>= 2000 m2
}

KS{
     isExist(Elevator) = TRUE
        getResult(RFB_5)=TRUE
        getResult(RFB_6)=TRUE
        getResult(REFB_29_1)=True
}


//건축법 64조 (승강기) 2항

check(BA_64_2){

  IF (!CS1 AND CS2) THEN KS

}



CS1{

    getResult(RFB_9)=TRUE

} 



CS2{

    getBuildingHeight()>31 m

}

KS{


   getResult(BA_64_1) = TRUE 

   isObjectProperty(Elevator.isEmergency)= TRUE

   getResult(EDBA_90_1)=TRUE

   getResult(RFB_10)=TRUE

}

//

check() {

getobjectproperty(CeilingCovering.height)

}


test

// 건축법 시행령 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조 (직통계단의 설치) 2항3호

Check(EDBA_34_2_3){



     Floor myFloor{

           getFloorUsage()= “MultiUnitHouse”

          getObjectProperty(Floor.numberOfHousehold)>=4 



          OR getFloorUsage() = “BusinessFacility.Officetel”

     }     



                    getTotalFloorArea(myFloor.Room)>=300 m2



}


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

     IF getResult(EDBA_34_2_1)=FALSE
        OR getResult(EDBA_34_2_2)=FALSE
     OR getResult(EDBA_34_2_3)=FALSE
        THEN getTotalFloorNumber(myFloor.Room)>=400 m2
     END IF
}


//건축법 시행령 34조 (직통계단의 설치) 2항5호
check(EDBA_34_2_5){
     Floor myFloor {
          getFloorNumber()<0
     }
          
     getTotalFloorArea(myFloor.Room)>= 200 m2
}



// 건축법 시행령 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)

}


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

Check(EDBA_34_2){

   IF (CS1 AND CS2) THEN KS

}



CS1{

     isObjectProperty(Floor.isEscape) = FALSE

}



CS2{

     getResult(EDBA_34_2_1)=TRUE

        OR getResult(EDBA_34_2_2)=TRUE

        OR getResult(EDBA_34_2_3)=TRUE  

        OR getResult(EDBA_34_2_4)=TRUE

        OR getResult(EDBA_34_2_5)=TRUE

}



KS{

        Floor myFloor{

        isObjectProperty(Floor.isEscape)=TRUE

        }



        Stair myStair{

                isObjectProperty(Stair.isDirect) = TRUE

                isAccessible(myFloor, Stair)= TRUE

                OR isAccessible(Ground,Stair) = TRUE

        }



        getObjectCount(myStair)>2 

        getResult(REFB_8_1) = True

}


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

Check(EDBA_34_2_1){

KS

}

KS{

Floor myFloor1{

       getObjectUsage(Floor) ="ClassIINeighborhoodLivingFacility.PerformanceHall"

       OR  getObjectUsage(Floor)="ClassIINeighborhoodLivingFacility.ReligiousAssemblyFacility"

}



Floor myFloor2 {

       getObjectUsage(Floor)="CulturalAndAssemblyFacility"

       getObjectUsage(Floor) != "CulturalAndAssemblyFacility.ExhibitionHall"          

       getObjectUsage(Floor) != "CulturalAndAssemblyFacility.ZoologicalAndBotanicalGarden“

          

       getObjectUsage(Floor) = "ReligiousFacility"

       getObjectUsage(Floor) = “AmusementFacility.BarBusiness"

       getObjectUsage(Floor) = “AmusementFacility.FuneralParlors“

}



      getTotalFloorArea(myFloor1.Space)>=300 m2

         OR getTotalFloorArea(myFloor2.Space)>=200 m2

        

}


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

Check(EDBA_34_2_2){



        Building myBuilding{

              getBuildingUsage()="DentalClinic"

        }


Space mySpace{
getSpaceUsage() = "Ward"
}
     Floor myFloor1 {

          getObjectProperty(Floor.number)>=3

                getObjectUsage(Floor)  = “DetachedHouse.MultiUserHouse”

          OR getObjectUsage(Floor)  = “DetachedHouse.MultiFamilyHouse”

          OR getObjectUsage(Floor)  = “ClassIINeighborhoodLivingFacility.EducationalInstitute”

          OR getObjectUsage(Floor)  = “ClassIINeighborhoodLivingFacility.ReadingRooms” 

                OR getObjectUsage(Floor)  = “CommercialFacility”

                OR getObjectUsage(Floor)  = “TransportationFacility.PassengerTrafficFacilities”

                OR ( getObjectUsage(Floor)  = “MedicalFacility” ADN hasObject(myBuilding, mySpace)=TRUE )

                OR getObjectUsage(Floor)  = “EducationAndResearchFacility.EducationalInstitutes” 

          OR getObjectUsage(Floor)  = “FacilitiesForTheAgedAndChildren.ChildrenRelatedFacilities” 

          OR getObjectUsage(Floor)  = “EducationAndResearchFacility.WelfareFacilityForTheAged” 

          OR getObjectUsage(Floor)  = “Trainingfacility.YouthHostel” 

          OR getObjectUsage(Floor)  = “LodgingFacility”

                

     }



     Floor myFloor2{

           getObjectUsage(Floor)  = “ClassIINeighborhoodLivingFacility.FacilityForProvidingInternetComputerGameService”

          }



           getTotalFloorArea(myFloor1.Room)>= 200 m2

          OR getTotalFloorArea(myFloor2.Room)>= 300 m2     

}


// 건축법 시행령 제 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

}


// 건축법 시행령 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

}

//건축법 시행령 35조(피난계단의 설치) 1항
Check(EDBA_35_1){
     IF (!CS1 AND !CS2 AND CS3) THEN KS
}

CS1 {
     isFireProofStructure(MainStructuralPart) = TRUE
     OR isObjectProperty(MainStructuralPart.Material.nonCombustibility) = TRUE
}

CS2 {
     getResult(EDBA_35_1_1) = TRUE
     OR getResult(EDBA_35_1_2) = TRUE
}

CS3{
     Floor myFloor {
          Floor.number > 5
          OR Floor.number <= -2
     }

     Stair myStair {     
          isObjectProperty(Stair.isDirect) = TRUE
     }

     hasElement(myFloor, myStair) = TRUE
}

KS {
     isObjectProperty(myStair.isEscape) = TRUE
     OR isObjectProperty(myStair.isSpecialEscape) = TRUE
}


//건축법 시행령 35조(피난계단의 설치) 1항1호

Check(EDBA_35_1_1){
     KS
}



KS { 
     Floor myFloor { 
     getObjectProperty(Floor.number) >= 5 
     } 

     getTotalFloorArea(myFloor) <= 200m2 

}


//건축법 시행령 35조(피난계단의 설치) 1항2호

Check(EDBA_35_1_2){

     KS

}



KS { 

     Floor myFloor { 

           Floor.number >= 5 

     } 



     isFirePartition(myFloor, a, 200) = TRUE 

}


//건축법 시행령 35조 (피난계단의 설치) 2항
check(EDBA_35_2){
     IF (CS1 AND CS2) THEN KS
}

CS1{
     Building.usage != "MultiUnitHouse.SideCorridorTypeMultiUnitHouse"
}

CS2{
     Floor myFloor{
           IF (Building.usage = "MultiUnitHouse“) 
               THEN getFloorNumber(Floor) >= 16
               ELSE           
               getFloorNumber(Floor) >= 11
               ENDIF

           OR getFloorNumber(Floor) < -3
          getFloorArea(Floor) >= 400m2
     }

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

     hasObject(myFloor, myStair) = TRUE
}

KS{
     isObjectProperty(myStair.isSpecialEscape) = TRUE
}



//건축법 시행령 35조 (피난계단의 설치) 3항
check(EDBA_35_3){
     IF (CS) THEN KS
CS{
     getResult(EDBA_35_1) = TRUE

     Floor myFloor {
          Floor.usage = “CommercialFacility”
     }

     Stair myStair{
          isObjectProperty(Stair.isDirect) = TRUE
     }

     isAccessible(myFloor, myStair) = TRUE
}

KS{
     isObjectProperty(one.myStair.isSpecialEscape) = TRUE
}



//건축법 시행령 35조 (피난계단의 설치) 5항
check(EDBA_35_5){
     IF (CS) THEN KS
}

CS{
     Floor myFloor{
          Floor.number >= 5
          OR Floor.usage = "CulturalAndAssemblyFacility.ExhibitionHall"
          OR Floor.usage = "CulturalAndAssemblyFacility.ZoologicalAndBotanicalGarden"
          OR Floor.usage = "CommercialFacility"
          OR Floor.usage = "PassengerTrafficFacilities“??
          OR Floor.usage = "SportsFacility"
          OR Floor.usage = "AmusementFacility"
          OR Floor.usage = "FacilityForTourismAndRelaxation“???
          OR Floor.usage = "Trainingfacility.TrainingFacilityInLivingZone“
     }

     isExist(myFloor)=True           
}

KS{     
     Stair myStair2{
          isObjectProperty(Stair.isSpecialEscape) = True
          OR isObjectProperty(Stair.isEscape) = True
     }

     getResult(EDBA_34) = TRUE

     IF (getTotalFloorArea(myFloor.Space) >= 2000m2)           
          THEN getObjectCount(myStair2) >= 1+ getFloorArea(myFloor.Space)/2000
}

//건축법 시행령 36조 (옥외 피난계단의 설치) 1호

Check(EDBA_36_0_1){
        KS
}

KS{
      Floor myFloor{
          getFloorUsage()="CulturalAndAssemblyFacility.PerformanceHall"
          OR getFloorUsage()="AmusementFacility.BarBusiness"
      }

      FloorSlab myFloorSlab{
           getObjectUsage(FloorSlab)="NeighborhoodLivingFacility.PerformanceHall"
      }


      getFloorUsage()="NeighborhoodLivingFacility.PerformanceHall"
      getObjectArea(myFloorSlab)>=300 m2
      OR getTotalFloorArea(myFloor.Room)>300 m2

     
}


//건축법 시행령 36조 (옥외 피난계단의 설치) 2호

Check(EDBA_36_0_2){
            KS
}

KS{   
      Floor myFloor{
           getFloorUsage()="CulturalAndAssemblyFacility.AssemblyHall"
      }

      getTotalFloorArea(myFloor.Room)>=1000 m2


}


//건축법 시행령 36조 (옥외 피난계단의 설치)

Check(EDBA_36){
    IF CS THEN KS
}

CS{
   getBuildingStoriesCount()>=3
   getResult(EDBA_36_0_1)=True
   OR getResult(EDBA_36_0_2)=True
}

KS{
   Stair myStair1{
       isObjectProperty(Stair.isDirect)=True
   }
   
   Stair myStair2{
       isObjectProperty(Stair.isEscape)=True
       isAccessible(Stair, Ground)=True
   }
  
   isExist(myStair1)=True
   isExist(myStair2)=True
}

Check(EDBA_37){

  IF (CS) THEN KS END IF

  Space mySpace{

        Space.Floor.area > 3000 M2;

        Space.usage="PerformanceHall"

        OR Space.usage="AssemblyHall"

        OR Space.usage="Auditorium"

        OR Space.usage="ExhibitionHall"

  }

}



CS{

    

    mySpace.Floor.number< 0 

    

}



KS{

Stair myStair{
Stair.isOutdoor = TRUE
}
Floor myFloor{
Floor.isEscape = TRUE
}
Space mySpace{
hasObject(Space, Ceiling) != TRUE
}
     (isGoThrough(mySpace, myStair, myFloor)=True

     OR isGoThrough(mySpace, Ramp, myFloor)=True)

     AND isExternal(mySpace)=True

    

}

//건축법 시행령 38조(관람석 등으로부터의 출구 설치) 1호
Check(EDBA_38_0_1){
     (getBuildingUsage() = "ClassIINeighborhoodLivingFacility.performancehall"
     OR getBuildingUsage() = "ClassIINeighborhoodLivingFacility.ReligiousAssemblyFacility")

     Space mySpace {
          getSpaceUsage(Space) = "ClassIINeighborhoodLivingFacility.performancehall"
          OR getSpaceUsage(Space) = "ClassIINeighborhoodLivingFacility.ReligiousAssemblyFacility"
     }

     getTotalFloorArea(mySpace) > 300
}




//건축법 시행령 38조(관람석 등으로부터의 출구 설치) 4호
Check(EDBA_38_0_4){
    getBuildingUsage() = "AmusementFacility"
}


//건축법 시행령 38조(관람석 등으로부터의 출구 설치) 3호
Check(EDBA_38_0_5){
    getBuildingUsage() = "FuneralParlor"
}


//건축법 시행령 38조(관람석 등으로부터의 출구 설치)

Check(EDBA_38){

  IF (CS) THEN  KS ENDIF

}



CS{

    getResult(EDBA_38_0_1) = TRUE

    OR getResult(EDBA_38_0_2) = TRUE

    OR getResult(EDBA_38_0_3) = TRUE

    OR getResult(EDBA_38_0_4) = TRUE

    OR getResult(EDBA_38_0_5) = TRUE

}



KS {

    Space mySpace = getSpace("Auditorium")+getSpace("AssemblyHall")



    Door myExit {

        isObjectProperty(Door.isEntrance) = TRUE

        isAccessible(mySpace, Door) = TRUE

        getResult(REFB_10_1) = TRUE

    }



    hasElement(mySpace, myExit)=TRUE 

}


//건축법 시행령 38조(관람석 등으로부터의 출구 설치) 2호
Check(EDBA_38_0_2){
     getBuildingUsage() = "CulturalAndAssemblyFacility
"
     getBuildingUsage() != "CulturalAndAssemblyFacility.ExhibitionHall"
     getBuildingUsage() != "CulturalAndAssemblyFacility.ZoologicalAndBotanicalGarden"

     getResult(REFB_10_2) = TRUE
}




//건축법 시행령 38조(관람석 등으로부터의 출구 설치) 3호
Check(EDBA_38_0_3){
    getBuildingUsage() = "ReligiousFacility" 
}

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

Check(EDBA_39_1_5){     
KS
}

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

isExist(myBuliding) = TRUE
}



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

Check(EDBA_39_1_10){     
KS
}


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

isExist(myBuliding) = TRUE
}



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

Check(EDBA_39_1_7){     
KS
}


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

isExist(myBuliding) = TRUE
}



// 건축법 시행령 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

}




// 건축법 시행령 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

}



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

Check(EDBA_39_1_2){     
KS
}

KS {

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

isExist(myBuliding) = TRUE

}



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

Check(EDBA_39_1_3){     
KS
}

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

isExist(myBuliding) = TRUE
}



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

Check(EDBA_39_1_4){     
KS
}

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

isExist(myBuliding) = TRUE
}



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

Check(EDBA_39_1_6){     
KS
}


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

isExist(myBuliding) = TRUE
}



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



Check(EDBA_39_1_8){
 

KS


}







KS {

Building myBuilding{

getBuildingUsage() = “EducationAndResearchFacility.School”

}



isExist(myBuliding) = TRUE

}


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

Check(EDBA_39_1_9){     
KS}

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

isExist(myBuliding) = TRUE
}





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

Check(EDBA_39_2){     
IF  CS THEN KS
}

CS {
Door myDoor {
isObjectProperty(Door.isEntrance) = TRUE
Door.panelOperationType=“RevolvingDoor”
}
isExist(myDoor) = TRUE
}

KS {
getResult(REFB_11_2)=TRUE
}

//건축법 시행령 40조 (옥상광장 등의 설치) 3항 1호

Check(EDBA_40_3_1){

  IF (CS) THEN KS

}



CS{

     getObjectProperty(Roof.shapeType) = “FlatRoof”

}



KS{

     isExist(Heliport) = True

        getResult(REFB_13_1)=True

        getResult(REFB_13_2)=True

}


//건축법 시행령 40조 (옥상광장 등의 설치) 3항 2호

Check(EDBA_40_3_2){

  IF (CS) THEN KS

}



CS{

     getObjectProperty(Roof.shapeType) = “PitchedRoof ”

}



KS{
Space mySpace{
Space.isEscape = TRUE
}
     isExist(mySpace) = True

     getObjectProperty(mySpace.Roof.shapeType) = “PitchedRoof”



        getResult(REFB_13_3)=True

        

}


//건축법 시행령 40조 (옥상광장 등의 설치) 4항
Check(EDBA_40_4){
  IF (CS1) THEN KS1 ELSE IF (CS2) THEN KS2
}
CS1{
  getResult(EDBA_40_3_1)=True
 
}
KS1{
   getResult(REFB_13_1)=True
   getResult(REFB_13_2)=True
  
}
CS2{
   getResult(EDBA_40_3_2)=True
}

KS2{
   getResult(REFB_13_3)=True
}


//건축법 시행령 40조 (옥상광장 등의 설치) 1항

check(EDBA_40_1){

     IF (CS) THEN KS

}



CS{

     Space myBalcony {

          getSpace(“Balconly”)

          Space.Floor.number >= 2

     }



     Space mySpace{

          getSpace(“RoofTopPlaza”) + getSpace(myBalcony)

     }



     isAccessible(mySpace) = TRUE

}



KS{

     hasElement(mySpace, Railing) = TRUE

     mySpace.Rail.height >= 1.2m

}


//건축법 시행령 40조 (옥상광장 등의 설치) 2항

Check(EDBA_40_2){

 IF (CS) THEN KS

}



CS{

     Floor myFloor{

          getObjectUsage(Floor) = “ClassIINeighborhoodLivingFacility.PerformanceHall“

          OR getObjectUsage(Floor) = "ClassIINeighborhoodLivingFacility.ReligiousAssemblyFacility"

        OR getObjectUsage(Floor)= "ClassIINeighborhoodLivingFacility.FacilityForProvidingInternetComputerGameService“


//건축법 시행령 40조 (옥상광장 등의 설치) 3항
Check(EDBA_40_3){
  IF (CS) THEN KS 
}

CS{
     Floor myFloor{
          Floor.number > 11
     }

        getBuildingStoriesCount() > 11
        getTotalFloorArea(myFloor) > 10000m2
}

KS{
  getResult(EDBA_40_3_1) = True
  getResult(EDBA_40_3_2) = True
}

Check(EDBA_41_1_1){

getresult(EDBA_41_1_1_가) =True 
getresult(EDBA_41_1_1_나) =True 
getresult(EDBA_41_1_1_다) =True 
}


Check(EDBA_41_1_1){

  IF (CS) THEN KS END IF 

}

CS{

getObjectProperty(Building.usage)="DetachedHouse"

}

KS{

  getObjectProperty(Passage.effectiveWidth)> 0.9M

}


Check(EDBA_41_1_3){

IF (CS) THEN KS END IF

}

CS{

Building.usage !="DetachedHouse"

OR   Building.usage !="CulturalAndAssemblyFacility"

   OR Building.usage !="ReligiousFacility" 

   OR  Building.usage !="MedicalFacility" 

   OR Building.usage !="AmusementFacility" 

   OR Building.usage !="FuneralParlor"  
}

KS{

 getObjectProperty(Passage.effectiveWidth)> 1.5m ;

}


Check(EDBA_41_1){

    KS

}







KS{



   Door  myDoor {
getObjectProperty(Door.functionType) = "Main"
   }

   Stair myStair{
isAccessible(Stair, Ground) = TRUE
isObjectProperty(Stair.isEscape) = TRUE

       OR isObjectProperty(Stair.isSpecialEscape) = TRUE



   }

   Passage  myPassage{

       isGoThrough(myStair, Road, Passage)=True

       OR isGoThrough(myStair, OpenSpace, Passage )=True

   }



   isExist(myDoor)=True

   isExist(myPassage)=True

   getResult(EDBA_41_1_1)=True

   getResult(EDBA_41_1_2)=True

   getResult(EDBA_41_1_3)=True

}


Check(EDBA_41_1_2){

   IF (CS) THEN  KS END IF

}



CS{

FloorSlab.area> 500 m2 

   Building.usage="CulturalAndAssemblyFacility"

   OR Building.usage="ReligiousFacility" 

   OR  Building.usage="MedicalFacility" 

   OR Building.usage="AmusementFacility" 

   OR Building.usage="FuneralParlor"  

}



KS{

  Passage.effectiveWidth> 3m ;

}

//건축법 시행령 44조 (피난 규정의 적용례)



Check(EDBA_44){

   IF CS THEN KS

}



CS{

   Door myDoor{

      isObjectProperty(Door.isEntrance)=True

   }



   Object  myElement {

        getObject(Window)

        getObject(Opening)

        getObject(myDoor)

   }

   

   FloorSlab myFloorSlab{



        getObjectProperty(FloorSlab.isFireResistantStructure)=True

   }



     Wall myWall{

        getObjectProperty(FloorSlab.isFireResistantStructure)=True

        hasObject(Wall, myElement) =False

   }



   isFirePartition(Building, myFloorSlab)=True

   OR  isFirePartition(Building, myWall)=True

   



}



KS{

   getResult(EDBA_34)=True

   getResult(EDBA_35)=True

   getResult(EDBA_36)=True

   getResult(EDBA_37)=True

   getResult(EDBA_38)=True

   getResult(EDBA_39)=True

   getResult(EDBA_40)=True

   getResult(EDBA_41)=True

}

//건축법 시행령 46조 (방화구획의 설치) 5항 1호
Check(EDBA_46_5_1){CS
}

CS{
   isObjectProperty(Wall.isPartitionWall)=TRUE
   AND isObjectProperty(Wall.isLightWeightStructure)=TRUE
}


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

Check(EDBA_46_5_2){CS

}





CS{
Opening myOpening{
Opening.isEscape = TRUE
}
Wall myWall{
  isObjectProperty(Wall.isPartitionWall)=TRUE
}
  AND hasObject(myWall,myOpening)=TRUE

}


//건축법 시행령 46조 (방화구획의 설치) 5항 3호
Check(EDBA_46_5_3){
CS}


CS{

AND getResult(REFB_14_3)=TRUE
}


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

check(EDBA_46_4_1){

KS

}



KS{
Space mySpace{
isObjectProperty(Space.isEscape) = TRUE
}
isConnectedToExternal(mySpace)=TRUE

}


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

check(EDBA_46_4_2){

KS

}



KS{
Space mySpace{
isObjectProperty(Space.isEscape) = TRUE
}
isObjectProperty(mySpace.isFirePartition)=TRUE

}


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

Check(EDBA_46_1){

   IF (!CS1 AND CS2) THEN KS

}





CS1{

  getBuildingUsage()="NuclearReactorAndRelatedFacility"

}



CS2{

  (isObjectProperty(MainStructuralPart.isFireResistantStructure)=TRUE

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

  AND Building.grossFloorArea>1000 m2

}



KS{



  Floor myFloor{

      isObjectProperty(FloorSlab.isFireResistantStructure)=TRUE

  }

  Wall myWall{

      isObjectProperty(Wall.isFireResistantStructure)=TRUE

  }

  Door myDoor{

      isObjectProperty(Door.isStrictFireproofDoor)=TRUE

  }



  isFirePartition(Building, myFloor)=TRUE

  AND  isFirePartition(Building, myWall)=TRUE

  AND  isFirePatrition(Building, myDoor)=TRUE



  AND getResult(REFB_14_1)=TRUE

  AND getResult(REFB_14_2)=TRUE

  AND getResult(REFB_14_3)=TRUE



}


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

KS{ 
getResult(EDBA_46_1)=FALSE
}

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


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

check(EDBA_46_2_2){

IF CS THEN KS

}



KS{

isExist(StationaryLargeComponent)=TRUE

}



CS{

Floor myFloor{
getFloorNumber()<0
}

AND isAccessible(myFloor, Ground) = TRUE

}


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

check(EDBA_46_2_3){

KS

}



KS{

 isObjectProperty(Stair.Space.isFirePartition)=TRUE

 OR isObjectProperty(Passage.isFirePartition)=TRUE

 OR isObjectProperty(ElevatorShaft.isFirePartition)=TRUE

}


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

check(EDBA_46_2_4){

KS

}



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


 AND 

 (getSpaceUsage(myFloor.Space)="ConferenceRoom"

 OR getSpaceUsage(myFloor.Space)="Hall"

 OR getSpaceUsage(myFloor.Space)="SkyLounge"

 OR getSpaceUsage(myFloor.Space)="Lobby"

 OR isObjectProperty(Zone.isEgressSafetyZone)= TRUE

}


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


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

check(EDBA_46_2_6){

KS

}



KS{

  isObjectProperty(MainStructuralPart.isFireResistantStructure)=TRUE

  AND isObjectProperty(MainStructuralPart.Material.nonCombustibility)=TRUE

  AND getSpaceUsage()=ParkingLot

}


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

check(EDBA_46_2_7){

KS

}



KS{

getBuildingUsage()="DetachedHouses"

OR getBuildingUsage()="FacilitiesForAnimalsAndPlants"

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

}


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

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


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

check(EDBA_46_4){

IF CS THEN KS1 AND KS2

}



Zone myZone{

     isObjectProperty(Zone.isOccupiedByOneHousehold) = TRUE

}



KS1{
Space mySpace{
Space.isEscape = TRUE
}

isExist(Balcony)=TRUE

AND hasElement(Balcony,mySpace)=TRUE

AND (getResult(EDBA_46_4_1)=TRUE

AND getResult(EDBA_46_4_2)=TRUE

AND getResult(EDBA_46_4_3)=TRUE

AND getResult(EDBA_46_4_4)=TRUE)

}



KS2{
Stair myStair{
Stair.isDirect = TRUE
}

isGoThrough(myZone,mySpace,myZone)=TRUE

AND isGoThrough(mySpace,myZone,myStair)=TRUE

}



CS{

getBuildingUsage()="MultiUnitHouses.ApartmentHouses"

AND Floor.number >=4

AND isDirectlyAccessible(myZone, myStair)=TRUE

AND myStair.Number>=2

}


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

CS1{
}


CS2{
}


KS1{
}


KS2{
}


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

Check(EDBA_5){

CS 

}

Space mySpace{
Space.isEscape = TRUE
}

CS{getObjectProperty(Building.usage)="ApartmentHouses"
  AND isExist(Balcony)=TRUE

  AND (hasObject(Balcony,Structure)=TRUE

  AND (getResult(EDBA_5_1)=TRUE

  or getResult(EDBA_5_2)=TRUE

  or getResult(EDBA_5_3)=TRUE)

  AND isExist(mySpace)=FALSE

}

// 건축법 시행령 47조 (방화에 장애가 되는 용도의 제한) 1항 1호

Check(EDBA_47_1_1){
       KS
}

KS{
     Space mySpace1{
         getSpaceUsage(Space)="MultiUnitHouse.Dormitory"
     }
 
     Space mySpace2{
         getSpaceUsage(Space)="Factory"
     }


    isExistTogether(mySpace1, mySpace2)=True
       
}


//건축법 시행령 47조 (방화에 장애가 되는 용도의 제한) 1항

Check(EDBA_47_1){
   IF !CS THEN KS
}

CS{
   getResult(EDBA_47_1_1)=True
   OR getResult(EDBA_47_1_3)=True

   getResult(REFB_14-2)=True
}

KS{
   Space mySpace1{
      getSpaceUsage(Space)="MedicalFacility"
      OR getSpaceUsage(Space)="FacilitiesForTheAgedAndChildren.ChildrenRelatedFacility"
      OR getSpaceUsage(Space)="FacilitiesForTheAgedAndChildren.WelfareFacilityForTheAged"
      OR getSpaceUsage(Space)="MultiUnitHouse"
   }

   Space mySpace2{
      getSpaceUsage(Space)="FuneralParlor"
      OR getSpaceUsage(Space)="AmusementFacility"
      OR getSpaceUsage(Space)="FacilityForStorageAndTreatmentOfDangerousSubstance"
      OR getSpaceUsage(Space)="Factory"
      OR getSpaceUsage(Space)="FacilityForMotorVehicle.AutomobileRepairShop"

    
   isExistTogether(mySpace1, mySpace2)=False
    
   }
   
} 


//건축법 시행령 47조 (방화에 장애가 되는 용도의 제한) 1항 3호

Check(EDBA_47_1_3){
         KS
}

KS{
    Space mySpace1{
        getSpaceUsage(Space)="MultiUnitHouse"
    }
 
    Space mySpace2{
        getSpaceUsage(Space)="AmusementFacility"
    }

  
    Building myBuilding{
       isObjectProperty(Building.isHighriseBuilding)=True
    }

   
    isExistTogether(mySpace1, mySpace2, myBuilding)=True

   //다만, 주택의 출입구ㆍ계단 및 승강기 등을 주택 외의 시설과 분리된 구조로 하여야 한다.

}


//건축법 시행령 47조 (방화에 장애가 되는 용도의 제한) 2항 



Check(EDBA_47_2){

      KS

}



  Space  myFacility{

    getResult(EDBA_47_2_1)=True

  } 



  Space  myFacility2{

    OR getResult(EDBA_47_2_2)=True

  } 

     



KS{

    isShared(myFacility.Building, myFacility2.Building)=False

}


//건축법 시행령 47조 (방화에 장애가 되는 용도의 제한) 2항 1호

Check(EDBA_47_2_1){
       KS
}

KS{
     getBuildingUsage()="FacilitiesForTheAgedAndChildren.ChildrenRelatedFacility"
     OR getBuildingUsage()="FacilitiesForTheAgedAndChildren.WelfareFacilityForTheAged" 
     OR getBuildingUsage()="CommercialFacility.WholesaleMarket"
     OR getBuildingUsage()="CommercialFacility.RetailMarket"
}


//건축법 시행령 47조 (방화에 장애가 되는 용도의 제한) 2항 2호



Check(EDBA_47_2_2){

      KS

}



KS{

       getBuildingUsage()="DetachedHouse.MultiUserHouse"

       OR getBuildingUsage()="DetachedHouse.MultiFamilyHouse"

       OR getBuildingUsage()="MultiUnitHouse"

       OR getBuildingUsage()="ClassINeighborhoodLivingFacility.MaternityCenter"

       OR getBuildingUsage()="ClassINeighborhoodLivingFacility.PostnatalCareCenter"

       OR getBuildingUsage()="ClassIINeighborhoodLivingFacility.CommunalLivingFacility"



}

//건축법 시행령 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
}


//건축법 시행령 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
}

// 건축법 시행령 50조 (거실반자의 설치)
check(EDBA_50){
     IF (CS) THEN KS
}

CS{
     Building.usage != "Factory"
     OR Building.usage != "Warehouse"
     OR Building.usage != "FacilityForStorageAndTreatmentOfDangerousSubstance"
     OR Building.usage != "FacilityForAnimalAndPlant"
     OR Building.usage != "ResourceRecyclingFacility"
     OR Building.usage != "CemeteryAndRelatedFacility"
}

KS{
     getResult(REFB_16_1) = TRUE
     getResult(REFB_16_2) = TRUE
}

//건축법 시행령 51조 (거실의 채광 등) 2항 1호
Check(EDBA_51_2_1){
     KS1 OR KS2
}     
KS1{
     Space mySpace{
          getBuildingUsage() = "ClassIINeighborhoodLivingFacility.PerformanceHall"
          OR getBuildingUsage() = "ClassIINeighborhoodLivingFacility.ReligiousAssemblyFacility"
          OR getBuildingUsage() = "ClassIINeighborhoodLivingFacility.FacilityForProvidingInternetComputerGameService"     
     }

     getFloorArea(mySpace) >= 300 m2
}

KS2{
     getBuildingUsage() = "ClassIINeighborhoodLivingFacility.CommunalLivingFacilities"
}



//건축법 시행령 51조 (거실의 채광 등) 2항 2호
Check(EDBA_51_2_2){
     getBuildingUsage() = "CulturalAndAssemblyFacility"
}


//건축법 시행령 51조 (거실의 채광 등) 2항 3호
Check(EDBA_51_2_3){
     getBuildingUsage() = "ReligiousFacility"
}


Check(EDBA_51_2_4){

  getBuildingUsage()="CommercialFacility"

}


//건축법 시행령 51조 (거실의 채광 등) 2항 5호
Check(EDBA_51_2_5){
     getBuildingUsage() = "TransportationFacility"
}


//건축법 시행령 51조 (거실의 채광 등) 2항 6호
Check(EDBA_51_2_6){
     getBuildingUsage() = "MedicalFacility"
}


//건축법 시행령 51조 (거실의 채광 등) 2항 7호
Check(EDBA_51_2_7){
     getBuildingUsage() = "EducationAndResearchFacility.Laboratory"
}


//건축법 시행령 51조 (거실의 채광 등) 2항 8호
Check(EDBA_51_2_8){
     getBuildingUsage() = "FacilitiesForTheAgedAndChildren.ChildrenRelatedFacilities"
     OR getBuildingUsage() = "FacilitiesForTheAgedAndChildren.WelfareFacilitiesForTheAged"
}


//건축법 시행령 51조 (거실의 채광 등) 2항 9호
Check(EDBA_51_2_9){
     getBuildingUsage() = "Trainingfacility.YouthHostels"
}


//건축법 시행령 51조 (거실의 채광 등) 2항 10호
Check(EDBA_51_2_10){
     getBuildingUsage() = "SportsFacility"
}


//건축법 시행령 51조 (거실의 채광 등) 2항 11호
Check(EDBA_51_2_11){
     getBuildingUsage() = "BusinessFacility"
}


//건축법 시행령 51조 (거실의 채광 등) 2항 12호
Check(EDBA_51_2_12){
     getBuildingUsage() = "LodgingFacility"
}


//건축법 시행령 51조 (거실의 채광 등) 2항 13호
Check(EDBA_51_2_13){
     getBuildingUsage() = "AmusementFacility"
}


//건축법 시행령 51조 (거실의 채광 등) 2항 14호
Check(EDBA_51_2_14){
     getBuildingUsage() = "FacilityForTourismAndRelaxation"
}


//건축법 시행령 51조 (거실의 채광 등) 2항 15호
Check(EDBA_51_2_15){
     getBuildingUsage() = "FuneralParlors"
}



// 건축법 시행령 51조 (거실의 채광 등) 1항
check(EDBA_51_1){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "DetachedHouse.Room"
     OR getBuildingUsage() = "MultiUnitHouse.Room"
     OR getBuildingUsage() = "School.Classroom"
     OR getBuildingUsage() = "MedicalFacility.Ward"
     OR getBuildingUsage() = "LodgingFacility.GuestRoom"
}

KS{
     hasElement(Window) = TRUE
}


//건축법 시행령 51조 (거실의 채광 등) 2항
Check(EDBA_51_2){
     IF (!CS1 AND CS2) THEN KS
}


CS1{
     Floor myFloor{
          isObjectProperty(Floor.isEscape) = TRUE
     }
     getFloorNumber(Room) = getFloorNumber(myFloor)
}

CS2{
     getBuildingStoriesCount() >= 6
     getResult(EDBA_51_2_1) = True
     OR getResult(EDBA_51_2_2) = True
     OR getResult(EDBA_51_2_3) = True
     OR getResult(EDBA_51_2_4) = True
     OR getResult(EDBA_51_2_5) = True
     OR getResult(EDBA_51_2_6) = True
     OR getResult(EDBA_51_2_7) = True
     OR getResult(EDBA_51_2_8) = True
     OR getResult(EDBA_51_2_9) = True
     OR getResult(EDBA_51_2_10) = True
     OR getResult(EDBA_51_2_11) = True
     OR getResult(EDBA_51_2_12) = True
     OR getResult(EDBA_51_2_13) = True
     OR getResult(EDBA_51_2_14) = True
     OR getResult(EDBA_51_2_15) = True
}

KS{
     hasSpace(Room, SmokeExhaustionSystem) = True
     getResult(RFB_14_1) = True
     getResult(REFB_17_1) = True
     getResult(REFB_17_2) = True
}



// 건축법 시행령 51조 (거실의 채광 등) 3항

check(EDBA_51_3){

     IF CS THEN KS

}



CS{

Window myWindow{
getObjectProperty(Window.panelOperationType) = "SwingingWindow"
}
     getBuildingUsage() = "Officetels.Room"

     getElementHeight(myWindow) <= 1.2 m

}



KS{

     isExist(FallPreventionSafetyFacility) = TRUE

     getResult(REFB_17_4) = TRUE

}

//건축법 시행령 52조 (거실 등의 방습) 1호

Check(EDBA_52_0_1){

CS}



CS{

hasObject(BottomFloor, Room) = TRUE
 getObjectProperty(FloorSlab.Structure.materialType) = "Timber"

}


//건축법 시행령 52조 (거실 등의 방습) 2호

Check(EDBA_52_0_2){

KS

}



KS{

Building myBuilding1{
Building.usage = "ClassiNeighborhoodLivingFacilites.BathHouse"
}
Building myBuilding2{
Building.usage = "ClassiNeighborhoodLivingFacilites" OR "RestingRestaurant"
}

getSpaceUsage(myBuilding1.Space)="BathRoom"

getSpaceUsage(myBuilding2.Space)="Kitchen"

}


//건축법 시행령 52조 (거실 등의 방습) 3호

Check(EDBA_52_0_3){

KS

}



KS{

Building myBuilding1{
Building.usage = "ClassiiNeighborhoodLivingFacilites.Restaurant" OR "ClassiiNeighborhoodLivingFacilites.RestingRestaurant" OR "ClassiiNeighborhoodLivingFacilites.Bakery"
}
Building myBuilding2{
Building.usage = "ClassiiNeighborhoodLivingFacilites.LodgingFacility" 
}

getSpaceUsage(myBuilding1.Space)="Kitchen"

getSpaceUsage(myBuilding2.Space)="BathRoom"


}


//건축법 시행령 52조 (거실 등의 방습)
Check(EDBA_52){
IF CS THEN KS}

CS{
  getResult(EDBA_52_0_1)=TRUE
  OR getResult(EDBA_52_0_2)=TRUE
  OR getResult(EDBA_52_0_3)=TRUE
  getObject(Floor)
}

KS{
  getResult(REFB_18_1)=TRUE
  AND getResult(REFB_18_2)=TRUE
}

// 건축법 시행령 53조 (경계벽 등의 설치) 1항 2호



check(EDBA_53_1_1){

     KS

}

KS{


Space mySpace1{

Space.Building.usage = “MultiUnitHouse.Dormitory”

Space.name = “BedRoom”

}



Space mySpace1_1{

Space.Building.usage = “MultiUnitHouse.Dormitory”

Space.name != “BedRoom”

}



Space mySpace2{

Space.Building.usage = “MedicalFacility”

Space.name = “Ward”

}



Space mySpace2_1{

Space.Building.usage = “MedicalFacility”

Space.name != “Ward”

}



Space mySpace3{

Space.Building.usage = “EducationAndResearchFacility.School”

Space.name = “ClassRoom”

}

Space mySpace3_1{

Space.Building.usage = “EducationAndResearchFacility.School”

Space.name != “ClassRoom”

}



Space mySpace4{

Space.Building.usage = “LodgingFacility”

Space.name = “GuestRoom”

}

Space mySpace4_1

Space.Building.usage = “LodgingFacility”

Space.name != “GuestRoom”

}



Wall myWall1{

isObjectProperty(Wall.isPartitionWall)=TRUE

hasObject(mySpace1, Wall) =TRUE

}



Wall myWall2{

isObjectProperty(Wall.isPartitionWall)=TRUE

hasObject(mySpace2, Wall) =TRUE

}



Wall myWall3{

isObjectProperty(Wall.isPartitionWall)=TRUE

hasObject(mySpace3, Wall) =TRUE

}



Wall myWall4{

isObjectProperty(Wall.isPartitionWall)=TRUE

hasObject(mySpace4, Wall) =TRUE

}



(hasObject(mySpace1, myWall) =TRUE

hasObject(mySpace1_1, myWall) =FALSE)

OR

(hasObject(mySpace2, myWall) =TRUE

hasObject(mySpace2_1, myWall) =FALSE)

OR

(hasObject(mySpace3, myWall) =TRUE

hasObject(mySpace3_1, myWall) =FALSE)

OR

(hasObject(mySpace4, myWall) =TRUE

hasObject(mySpace4_1, myWall) =FALSE)



}


// 건축법 시행령 53조 (경계벽 등의 설치) 1항 3호



check(EDBA_53_1_3){

     KS

}


KS{

Space mySpace1{

Space.Building.usage = “ClassIINeighborhoodLivingFacility.CommunalLivingFacility”

}



Wall myWall{

isObjectProperty(Wall.isPartitionWall)=TRUE
hasObject(mySpace1, Wall) =TRUE
}



isObjectProperty(myWall.isSharedByHouseholds) = TRUE


}


// 건축법 시행령 53조 (경계벽 등의 설치) 1항 4호





check(EDBA_53_1_4){

     KS

}


KS{

Building  myBuilding{

Zone.Building.usage = “FacilitiesForTheAgedAndChildren.WelfareFacilityForTheAged ”

getResult(WOPA_32_1_3)=TRUE

}



Wall myWall{

isObjectProperty(Wall.isPartitionWall)=TRUE
hasObject(myBuilding, Wall) =TRUE
}



isObjectProperty(myWall.isSharedByHouseholds) = TRUE



}


//건축법 시행령 53조 (경계벽 등의 설치) 2항 1호

Check(EDBA_53_2_1){
   KS
}

KS{
   getBuildingUsage()="DetachedHouse.MultiFamilyHouse"
} 


//건축법 시행령 53조 (경계벽 등의 설치) 2항 3호

Check(EDBA_53_2_3){
   KS
}

KS{
   getBuildingUsage()="BusinessFacility.Officetel"
   
} 


//건축법 시행령 53조 (경계벽 등의 설치) 2항 4호

Check(EDBA_53_2_4){
   KS
}

KS{
   getBuildingUsage()="ClassIINeighborhoodLivingFacility.CommunalLivingFacility"
   
} 


//건축법 시행령 53조 (경계벽 등의 설치) 2항 5호

Check(EDBA_53_2_5){
   KS
}

KS{
   getBuildingUsage()="LodgingFacility.CommunalLivingFacility"
   
} 


// 건축법 시행령 53조 (경계벽 등의 설치) 1항



check(EDBA_53_1){

     IF CS THEN KS

}



CS{

     getResult(EDBA_53_1_1) = TRUE

     OR getResult(EDBA_53_1_2) = TRUE

     OR getResult(EDBA_53_1_3) = TRUE

     OR getResult(EDBA_53_1_4) = TRUE

}



KS{

     getResult(REFB_19_1)=True     

        getResult(REFB_19_2)=True

}


// 건축법 시행령 53조 (경계벽 등의 설치) 1항 1호



check(EDBA_53_1_1){

     KS

}




KS{



Zone myZone1{

Zone.Building.usage = “DetachedHouse.MultiFamilyHouse ”

}



Zone myZone2{

Zone.Building.usage = “MultiUnitHouse”

}



Balcony myBalcony{

Balcony.usage != “BedRoom”

Balcony.usage != “LivingRoom”

}



Wall myWall1{

isObjectProperty(Wall.isPartitionWall)=TRUE

hasObject(myZone1.Household, Wall) =TRUE

hasObject(myBalcony,Wall) =FALSE

}



Wall myWall1{

isObjectProperty(Wall.isPartitionWall)=TRUE

hasObject(myZone2.Household, Wall) =TRUE

hasObject(myBalcony,Wall) =FALSE

}





isExist(myWall1)=TRUE

isExist(myWall2)=TRUE



}


test


//건축법 시행령 53조 (경계벽 등의 설치) 2항 

Check(EDBA_53_2){
    IF CS THEN KS
}

CS{
   getResult(EDBA_53_2_1)=True
   OR getResult(EDBA_53_2_2)=True
   OR getResult(EDBA_53_2_3)=True
   OR getResult(EDBA_53_2_4)=True
   OR getResult(EDBA_53_2_5)=True
 }

KS{
    getResult(REFB_19_3)=True
}


//건축법 시행령 53조 (경계벽 등의 설치) 2항 2호

Check(EDBA_53_2_2){
   KS
}

KS{
   getBuildingUsage()="MultiUnitHouse"
   getResult(Unimplemented_HA_16)=False
} 

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

check(EDBA_56_1_1){

     KS

}


Space mySpace{
Space.usage = "Auditorium "
isExternal(Space) = TRUE
}



KS {

        (getBuildingUsage() = "PerformanceHall" | "ReligiousAssemblyFacility"

        AND getFloorArea(getSpace("PerformanceHall" | “ReligiousAssemblyFacility”)) > = 300m2;)

     

        OR (getBuildingUsage() = "CulturalAndAssemblyFacility" 

        AND getBuildingUsage() != "ExhibitionHall" | "ZoologicalAndBotanicalGarden"

        

        OR (getBuildingUsage() = "ReligiousFacility" | "BarBusiness" | "FuneralParlor"

     AND getFloorArea(getSpace(“Seat” | “AssemblyHall”) > = 200m2 

        OR getFloorArea(mySpace) > = 1000m2;)

}


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

check(EDBA_56_1_2){

        KS

}

     

KS{

        (getBuildingUsage() = "ExhibitionHall" |  "ZoologicalANDbotanicalGarden" | "CommercialFacility"  | "TransportationFacilities"  | "gymnasium.educationAndresearchFacilities"   | "hall.educationAndresearchFacilities" | "gymnasium" | "sportsfacilities.stadium" | "sports facilities.warehouses"  | "factory.facilitiesForStorageAndreatmentOfDangerousSubstance"  | "factory.facilitiesForMotorVehicles" | "facilitiesforbroadcastingAndTelecommunications.broadcastingStation"  | "facilitiesforbroadcasting andtelecommunications.telegraphAndTelephoneStations" | "facilitiesforbroadcasting and telecommunications.studio" | "cemeteries and relatedfacilities.Crematorium | "facilitiesfortourismandrelaxation"

OR (getBuildingUsage() = "amusementfacilities"

AND getBuildingUsage() != "barbusiness.amusementfacilities"))

AND getFloorArea(getSpace(getBuildingUsage()) > = 500m2))

}


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

CS{
     getResult(REFB_20-2) = TRUE
}

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

     getTotalFloorArea(myFloor.Space) >= 2000 m2
}


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

          getFloorNumber = 2

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


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

check(EDBA_56_2){

     IF (!CS1 AND CS2) THEN !KS



CS1{

        getResult(EDBA_56_1_1)=TRUE

        AND getResult(EDBA_56_1_2)=TRUE

}



CS2{

        getObjectMaterialType(RoofTruss)= "NonCombustibleMaterial"

}



KS{

        isFireResistantStructure(RoofTruss) = TRUE

}


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

check(EDBA_56_1){

        IF !CS THEN KS

}

Space mySpace{
Space.usage="StagePart"
}

Floor myFloor{

     hasSpace(mySpace, Floor) = TRUE

}



CS {

       getTotalFloorArea()<= 50m2

       AND getBuildingStoriesCount()=1

       AND getBuildingUsage()="AccessoryBuidling"

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

}



KS {

     getResult(EDBA_56_1_1 = TRUE  

     OR getResult(EDBA_56_1_2) = TRUE  

     OR getResult(EDBA_56_1_3) = TRUE  

     OR getResult(EDBA_56_1_4) = TRUE  

     OR getResult(EDBA_56_1_5) = TRUE  

             

     AND isFireProofStructure(MainStructuralPart) = TRUE

}


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

check(EDBA_56_1_5){

     IF !CS THEN KS

}

Building myBuilding{

     getBuildingUsage() = "PowerPlant"

     isObjectProperty(Building.isAttachedBuilding) = TRUE

}


Building  myBuilding{

     getResult(REFB_*_3_30) = TRUE

     getResult(REFB_*_3_31) = TRUE

}



CS{

         getBuildingUsage() = "facilities for animals and plants"

                                       

                              | "facilities for power generation"

                              | "correctional facilities and military installations.prison"

                              | "correctional facilities and military installations.reformatories 

                              | "myFactory"



      OR (getBuildingUsage() = "detached houses"

             AND getBuildingUsage() != "detached houses.multi-user houses" 

                                     | "detached houses.multi-family houses" )



      OR (getBuildingUsage() = "facilities for power generation" 

      AND (getBuildingUsage() = "myBuilding"



      OR (getBuildingUsage() = "cemeteries and related facilities"

      AND getBuildingUsage() != "Crematorium") 





}



KS{

Floor myFloor{
Floor.number < 0
}

          getBuildingStoriesCount() >= 3 

       AND isExist(myFloor) = TRUE

}

//  건축법 시행령 57조 (     대규모 건축물의 방화벽 등) 1항
Check(EDBA_57_1){
     IF (CS1 AND CS2) THEN KS
}

CS1{
     getObjectProperty(MainStructuralPart.isFireResistantStructure) = TRUE
     OR getObjectProperty(MainStructuralPart.Material.nonCombustibility) = TRUE
     OR getResult(EDBA_56_1_5) = TRUE
}

CS2{
     getObjectProperty(Building.grossFloorArea) >= 1000m2
}

KS{
     Space mySpace{
          getFloorArea(Space) < 1000m2
     }

     Space mySpace2{
          Space != mySpace
     }

     Wall myWall{
          isObjectProperty(Wall.isFireProofWall) = TRUE
     }

     isPartitioned(mySpace, mySpace2, myWall) = TRUE
}


check(EDBA_57_2){
     KS
}

KS{
     getResult(REFB_21_1) = TRUE                
}


//  건축법 시행령 57조 (대규모 건축물의 방화벽 등) 3항

Check(EDBA_57_3){

     IF CS THEN KS

}



CS{

     getObjectProperty(Building.grossFloorArea) >= 1000m2

     getObjectProperty(Building.Structure.materialType) = "Timber"

}



KS{

     getObjectProperty(MainStructuralPart.Material.nonCombustibility) = TRUE

     OR getObjectProperty(MainStructuralPart.isFireProofStructure) = TRUE

}

check(EDBA_58_0_1){

     getGrossFloorArea() < 30m2;

     isObjectProperty(Building.isAttachedBuilding) = TRUE

     getBuildingStoriesCount() = 1;

     isFireResistantStructure(MainStructure) = TRUE

     OR isFireResistantStructure(ExternalWall) = TRUE;

}


check(EDBA_58_0_2){

     getBuildingUsage() < "WholeSale Market"

     isFireResistantStructure(MainStructure) = TRUE

}


check(EDBA_58){
     KS
}

KS{
     getResult(EDBA_58_0_1) = TRUE;
     getResult(EDBA_58_0_2) = TRUE;
}

Check(EDBA_61_1_4){
IF !CS THEN KS}


CS{
getResult(EDBA_61_1_4_가)=PASS
OR getResult(EDBA_61_1_4_나)=PASS 
OR getResult(EDBA_61_1_4_다)=PASS
}


KS{
getBuildingUsage="Factory"}


Check(EDBA_61_1_5){
KS}

Floor myFloor {
Floor.number>=5
}

KS{
getTotalfloorArea(myFloor)>=500 m2
}


//건축법 시행령 61조 (건축물의 마감재료) 1항7호

Check(EDBA_61_1_7){
  KS
}

KS{

  Floor myFloor{
      getObjectUsage(Floor)="Storage"

  }
   IF (isExist(SprinklerSystem)=TRUE
       OR isExist(ExtinguishingSystem.isAutomatic)=TRUE ) 

   THEN  getFloorArea(myFloor)>6000 m2
   ELSE THEN  getFloorArea(myFloor)>3000 m2
}


// 건축법 시행령 61조 (건축물의 마감재료) 2항 1호


Check(EDBA_61_2_1){
       KS
}




KS{
    getObjectProperty(Building.SpecialPurposeArea.type) = "CommercialArea"
    getResult(EDBA_61_2_1_가)=TRUE
  

}


Check(EDBA_61_1_3){
KS}


KS{
getBuildingUsage()="FacilityForStorageAndTreatmentOfDangerousSubstance"
OR getBuildingUsage()="FacilityForMotorVehicle"
OR (getBuildingUsage()="FacilityForBroadcastingAndTelecommunication.BroadcastingStation"
OR getBuildingUsage()="FacilityForBroadcastingAndTelecommunication.Studio"
OR getBuildingUsage()="FacilityForBroadcastingAndTelecommunication.PowerPlant"
}


Check(EDBA_61_1_4_1){
KS}


KS{
getResult(REFB_24-2_1)= TRUE
}


Check(EDBA_61_1_4_2){
KS}


KS{
getResult(REFB_24-2_2)= TRUE 
}


Check(EDBA_61_1_4_3){
KS}


KS{
getResult(REFB_24-2_3)=TRUE 
}


Check(EDBA_61_1_1){

IF CS THEN KS

}



Floor myfloor1 {  

isObjectProperty(ClassIINeighborhoodLivingFacility.PerformanceHall)=TRUE

OR isObjectProperty(ClassIINeighborhoodLivingFacility.ReligiousAssemblyFacility)=TRUE

OR isObjectProperty(ClassIINeighborhoodLivingFacility.ReligiousAssemblyFacility)=TRUE

AND getFloorArea()>=300

}



CS{

isExist(myfloor1)=TRUE

OR(getBuildingUsage()= "CulturalAndAssemblyFacility"

AND getBuildingUsage()!= "CulturalAndAssemblyFacility.WeddingHall")

OR getBuildingUsage()= "ReligiousFacility"

OR getBuildingUsage()= "CommercialFacility"

OR getBuildingUsage()= "TransportationFacility"

OR (getBuildingUsage()= "AmusementFacility"

OR (getBuildingUsage()!= "AmusementFacility.Pubs"

AND getBuildingUsage()!= "AmusementFacility.BarBusiness")

}





KS{

getFloorArea(Room)>=200m2

OR (isObjectProperty(MainStructuralPart.isFireResistantStructure)=TRUE

OR isObjectProperty(MainStructuralPart.Material.nonCombustibility)=TRUE

getFloorArea(Room)>=400m2

}


Check(EDBA_61_1_2){

IF CS THEN KS1 OR KS2}



Building myBuilding{

getBuildingUsage()="DetachedHouse.Multi-userHouses"

OR getBuildingUsage()="DetachedHouse.Multi-familyHouses" 

OR getBuildingUsage()="ClassIINeighborhoodLivingFacility.EducationalInstitute"

OR getBuildingUsage()="ClassIINeighborhoodLivingFacility.ReadingRooms

OR getBuildingUsage()="ClassIINeighborhoodLivingFacility.CommunalLivingFacility 

OR getBuildingUsage()="ClassIINeighborhoodLivingFacility.LodgingFacility"

OR getBuildingUsage()="ClassIINeighborhoodLivingFacility.MedicalFacility"

OR getBuildingUsage()="EducationAndResearchFacility.EducationalInstitute"

OR getBuildingUsage()="BusinessFacility.Oofficetels"

OR getBuildingUsage()="FuneralParlors"

}



MBU = getObjectUsage(myBuilding)



CS{

getBuildingUsage() = MBU



Floor myfloor{

Floor.number>=3

}



KS1{

(Floor.number>=3

AND getTotalfloorarea(Room)>=200m2)





KS2{isObjectProperty(MainStructuralPart.isFireResistantStructure)=TRUE

OR isObjectProperty(MainStructuralPart.Material.nonCombustibility)=TRUE

AND Floor.number>=3

getTotalfloorarea(Room)>=200m2

}


//건축법 시행령 61조 (건축물의 마감재료) 2항



Check(EDBA_61_2){
     KS
}

KS{
   getResult(EDBA_61_2_1)=TRUE
   OR getResult(EDBA_61_2_2)=TRUE
}


//건축법 시행령 61조 (건축물의 마감재료) 2항 1호 가목

Check(EDBA_61_2_1_가){
            KS 
}



KS{
   Building myBuilding{
    getResult(SASP_2_1_1)=True
   }

  FloorSlab myFloorSlab{

     //   getFloorUsage()=myBuilding.usage
  }
  
   getObjectArea(myFloorSlab)>2000 m2

   
}


//  건축법 시행령 61조 (건축물의 마감재료) 2항 2호
Check(EDBA_61_2_2){
     KS
}

KS{
     getObjectProperty(Building.isHighriseBuilding) = TRUE
     OR getObjectProperty(Building.isQuasiHighriseBuilding) = TRUE
}


//건축법 시행령 61조 (건축물의 마감재료) 1항

Check(EDBA_61_1){

   IF !CS THEN  KS

}



CS{

 (isObjectProperty(MainStructuralPart.isFireResistantStructure)=TRUE

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

 

 isFirePartition(Room.Floor, a, 200)=TRUE



 

}



KS{

    getResult(EDBA_61_1_1)=TRUE

    OR getResult(EDBA_61_1_2)=TRUE

    OR getResult(EDBA_61_1_3)=TRUE

    OR getResult(EDBA_61_1_4)=TRUE

    OR getResult(EDBA_61_1_5)=TRUE

    OR getResult(EDBA_61_1_6)=TRUE

    OR getResult(EDBA_61_1_7)=TRUE

}


Check(EDBA_61_1_6){
KS}


KS{
(getBuildingUsage()="ClassIINeighborhoodLivingFacility.PerformanceHall"
OR getBuildingUsage()="ClassIINeighborhoodLivingFacility.BilliardRoom")
OR getBuildingUsage()="CulturalAndAssemblyFacility.WeddingHall"
OR getBuildingUsage()="EducationAndResearchFacility.ElementarySchool"
OR getBuildingUsage()="Trainingfacility"
OR (getBuildingUsage()="AmusementFacility.BarBusiness"
OR  getResult(ERSASP_2)= TRUE)
}

//건축법 시행령 8조 (건축허가) 3항 4호

Check(EDBA_8_3_4){
     KS
}
KS{
     getBuildingUsage() = "LodgingFacility"
}


//건축법 시행령 8조 (건축허가) 3항

Check(EDBA_8_3){
     KS
}

KS{
    getResult(EDBA_8_3_1)=True
    OR getResult(EDBA_8_3_2)=True
    OR getResult(EDBA_8_3_3)=True
    OR getResult(EDBA_8_3_4)=True
    OR getResult(EDBA_8_3_5)=True
   
}


//건축법 시행령 8조 (건축허가) 3항 2호

Check(EDBA_8_3_2){
     KS
}
KS{
     getBuildingUsage() = "ClassIINeighborhoodLivingFacility.Restaurant"
}


//건축법 시행령 8조 (건축허가) 3항 3호

Check(EDBA_8_3_3){
     KS
}
KS{
     getBuildingUsage() = "BusinessFacility.GeneralBusinessFacility"
}


//건축법 시행령 8조 (건축허가) 3항 1호

Check(EDBA_8_3_1){
     KS
}
KS{
     getBuildingUsage() = "MultiUnitHouse"
}


//건축법 시행령 8조 (건축허가) 3항 5호

Check(EDBA_8_3_5){
     KS
}
KS{
     getBuildingUsage() = "AmusementFacility"
}

//건축법 시행령 80조 (건축물이 있는 대지의 분할제한) 1호

Check(EDBA_80_1){
     IF CS THEN KS
}
CS{
     getBuildingUsage() = "ResidentialArea"
}
KS{
     getObjectProperty(Building.Site.area) >= 60m2
}



//건축법 시행령 80조 (건축물이 있는 대지의 분할제한) 2호

Check(EDBA_80_2){
     IF CS THEN KS
}
CS{
     getBuildingUsage() = "CommercialArea"
}
KS{
     getObjectProperty(Building.Site.area) >= 150m2
}


//건축법 시행령 80조 (건축물이 있는 대지의 분할제한) 3호

Check(EDBA_80_3){
     IF CS THEN KS
}
CS{
     getBuildingUsage() = "IndustrialArea"
}
KS{
     getObjectProperty(Building.Site.area) >= 150m2
}


//건축법 시행령 80조 (건축물이 있는 대지의 분할제한) 4호

Check(EDBA_80_4){
     IF CS THEN KS
}
CS{
     getBuildingUsage() = "GreenArea"
}
KS{
     getObjectProperty(Building.Site.area) >= 200m2
}



//건축법 시행령 80조 (건축물이 있는 대지의 분할제한) 5호

Check(EDBA_80_5){
     IF CS THEN KS
}
CS{
     getBuildingUsage() != "ResidentialArea"
     getBuildingUsage() != "CommercialArea"     
     getBuildingUsage() != "IndustrialArea"
     getBuildingUsage() != "GreenArea"
}
KS{
     getObjectProperty(Building.Site.area) >= 60m2
}


//건축법 시행령 80조 (건축물이 있는 대지의 분할제한) 

Check(EDBA_80){
     KS
}
KS{
     getResult(EDBA_80_1) = TRUE
     getResult(EDBA_80_2) = TRUE
     getResult(EDBA_80_3) = TRUE
     getResult(EDBA_80_4) = TRUE
     getResult(EDBA_80_5) = TRUE
}

//  건축법 시행령 81조 (맞벽건축 및 연결복도) 3항
Check(EDBA_81_3){
     KS
}

KS{
     getResult(EDBA_81_3_1) = TRUE
     getResult(EDBA_81_3_2) = TRUE
}


//  건축법 시행령 81조 (맞벽건축 및 연결복도) 3항 1호
Check(EDBA_81_3_1){
     KS
}

KS{
     getObjectProperty(MainStructuralPart.isFireResistantStructure) = TRUE
}


//  건축법 시행령 81조 (맞벽건축 및 연결복도) 3항 2호
Check(EDBA_81_3_2){
     KS
}

KS{
     getObjectProperty(Wall.Finish.Material.nonCombustibility) = TRUE
}

//건축법 시행령 87조 (건축설비 설치의 원칙) 6항

Check(EDBA_87_6){
      IF CS THEN KS 
}

CS{
    getGrossFloorArea()>= 500 m2
}

KS{
    getResult(RFB_20-2)=True
}

//건축법 시행령 89조 (승용 승강기의 설치)
Check(EDBA_89){
     KS
}

KS{
     Stair myStair{
          isObjectProperty(Stair.isDirect) = TRUE
     }
     getBuildingStoriesCount() = 6
     isExist(myStair) = TRUE
}

//건축법 시행령 90조 (비상용 승강기의 설치) 1항

Check(EDBA_90_1){
  IF (!CS1 AND CS2) THEN KS

}

CS1{
    getResult(BA_64_1)=TRUE
    isObjectProperty(Elevator.isEmergency)=TRUE
    
}

CS2{
    getBuildingHeight()>31 m
}

KS{
    getResult(EDBA_90_1_1)=TRUE
    getReslut(EDBA_90_1_2)=TRUE
}


//건축법 시행령 90조 (비상용 승강기의 설치) 1항 1호
Check(EDBA_90_1_1){
     IF CS THEN KS
}

CS{
     Floor myFloor{
          getObjectHeight(myFloor) > 31 m
     }

     getFloorArea(myFloor) <= 1500 m2
}

KS{
     isExist(Elevator.isEmergency) = TRUE
}


//건축법 시행령 90조 (비상용 승강기의 설치) 1항2호
Check(EDBA_1_2){
   IF CS THEN KS
}

 Floor myFloor{
     getObjectHeight(Floor)>31 m
  }

CS{
   getFloorArea(myFloor)>1500 m2
}

KS{
   FA=getFloorArea(myFloor) //FA means floor area
   IF FA>=4500 m2
      THEN   {(FA-1500)/3000}+1 < getObjectCount(EmergencyElevator)
             getObjectCount(EmergencyElevator) < {(FA-1500)/3000}+2
   END IF 
  
  

}


//건축법 시행령 90조 (비상용 승강기의 설치) 2항

Check(EDBA_90_2){
     KS
}

KS{
     getObjectCount(Elevator.isEmergency) >= 2
}




//건축법 시행령 90조 (비상용 승강기의 설치) 3항

Check(EDBA_90_3){
        KS
}


KS{
     getResult(RFB_14_2)=True
  
}

// 장애인ㆍ노인ㆍ임산부 등의 편의증진보장에 관한 법률 시행령 3조 (대상시설)


Check(EDCDAPA_3){
KS
}

KS{
getResult(EDCDAPA_*_1)=TRUE
}

// 장애인ㆍ노인ㆍ임산부 등의 편의증진보장에 관한 법률 시행령 4조 (편의시설의 종류)

Check(EDCDAPA_4){
KS
}

KS{
getResult(EDCDAPA_*_2)=TRUE
}

// 장애인ㆍ노인ㆍ임산부 등의 편의증진보장에 관한 법률 시행령 별표1 편의시설 설치 대상시설(제3조 관련)


Check(EDCDAPA_*_1_2_가_1){
getBuildingUsage()=“RetailStore”
Floor myFloor{
     getFloorUsage(Floor)=”RetailStore”
}
getTotalFloorArea(myFloor)>=300 m2
getTotalFloorArea(myFloor)<1000 m2
}


Check(EDCDAPA_*_1_2_가_2){
Building myBuilding {
getBuildingUsage()=“Barbershop”
OR getBuildingUsage()=“BeautyShop”
OR getBuildingUsage()=“Bathhouse”
}
Floor myFloor{
     getFloorUsage(Floor)= myBuilding.usage
}
getTotalFloorArea(myFloor)>=500 m2
}

Check(EDCDAPA_*_1_2_가_3){
Building myBuilding{
getBuildingUsage()=“CommunityCenter”
OR getBuildingUsage()=“PoliceBox”
OR getBuildingUsage()=“PoliceSubstation”
OR getBuildingUsage()=“PostOffice”
OR getBuildingUsage()=“HealthCenter”
OR getBuildingUsage()=“PublicLibrary”
OR getBuildingUsage()=“NationalHealthInsuranceService_NationalPensionService_Korea EmploymentAgencyForTheDisabled_KoreaWorkersCompensationAndWelfareServiceOffice”
}
Floor myFloor{
     getFloorUsage(Floor)= myBuilding.usage
}
getTotalFloorArea(myFloor)<1000 m2
}


Check(EDCDAPA_*_1_2_가_4){
getBuildingUsage()=“Shelter”
}

Check(EDCDAPA_*_1_2_가_5){
getBuildingUsage()=“PublicToilet”
}

Check(EDCDAPA_*_1_2_가_6){
Building myBuilding{
getBuildingUsage()=“Clinic_ DentalClinic_OrientalMedicalClinic_MaternityClinic”
}
Floor myFloor{
     getFloorUsage(Floor)= myBuilding.usage
}
getTotalFloorArea(myFloor)>=500 m2
}

Check(EDCDAPA_*_1_2_가_7){
getBuildingUsage()=“CommunityChildCenter”
Floor myFloor{
     getFloorUsage(Floor)= “CommunityChildCenter”
}
getTotalFloorArea(myFloor)>=300 m2
}


Check(EDCDAPA_*_1_2_나_1){
getBuildingUsage()=“Restaurant”
Floor myFloor{
     getFloorUsage(Floor)= “CommunityChildCenter”
}
getTotalFloorArea(myFloor)>=300 m2
}

Check(EDCDAPA_*_1_2_나_2){
Building myBuilding {
(getBuildingUsage()=“RestingRestaurant”
OR getBuildingUsage()=“Bakery”)
getBuildingUsage() !=”ClassINeighborhoodLivingFacility”
}
Floor myFloor{
     getFloorUsage(Floor)= myBuilding.usage
}
getTotalFloorArea(myFloor)>=300 m2

}

Check(EDCDAPA_*_1_2_나_2){
getBuildingUsage()=“MassageParlor”
Floor myFloor{
     getFloorUsage(Floor)= “MassageParlor”
}
getTotalFloorArea(myFloor)>=500 m2

}

Check(EDCDAPA_*_1_2_카_1){
getBuildingUsage()=“PublicOfficeBuilding. OfficeBuildingOfLocalGovernment ”
getBuildingUsage() !=”ClassINeighborhoodLivingFacility”
}

Check(EDCDAPA_*_1_2_카_2){
Building myBuilding{
getBuildingUsage()=“GeneralBusinessFacility.FinanceBusiness”
OR getBuildingUsage()=“GeneralBusinessFacility.Office”
OR getBuildingUsage()=“GeneralBusinessFacility.NewspaperOffice”
OR getBuildingUsage()=“GeneralBusinessFacility. Officetel”
}
Floor myFloor {
 getFloorUsage()=myBuilding.usage
}
getTotalFloorArea(myFloor)>=500 m2
}

Check(EDCDAPA_*_1_2_카_3){
Building myBuilding{
getBuildingUsage()=“GeneralBusinessFacility.NationalHealthInsuranceService_NationalPensionService_Korea EmploymentAgencyForTheDisabled_KoreaWorkersCompensationAndWelfareServiceOffice”
}
Floor myFloor {
 getFloorUsage()=myBuilding.usage
}
getTotalFloorArea(myFloor)>=1000 m2
}

// 장애인ㆍ노인ㆍ임산부 등의 편의증진보장에 관한 법률 시행령 별표2 대상시설별 편의시설의 종류 및 설치기준(제4조관련)



Check(EDCDAPA_*_2_3_가_2_가){

IF CS1 AND CS2 THEN KS

}



ParkingLot myParkingLot{

isObjectProperty(ParkingLot.isAttachedParking) = TRUE

}

CS1 {

isExist(myParkingLot) = TRUE

}

CS2 {

getObjectProperty(myParkingLot.numberOfParkingUnit) >= 10

}

KS1 {

Area myArea{

isObjectProperty(ParkingLotArea.isHandicapParking)=TRUE

}

hasSpace(myParkingLot, myArea) = TRUE

getResult(EDPA_*_1) = TRUE

}



Check(EDCDAPA_*_2_3_가_4_가){

KS1 IF CS1 THEN KS2

}



Door myDoor1{

     isObjectProperty(Door.isEntrance)=TRUE

     isObjectProperty(myDoor1.isHandicapAccessible)=TRUE

}

Door myDoor2{

Door.Space.usage = “Office”

isObjectProperty(myDoo2.isHandicapAccessible)=TRUE

}

KS1 {

isExist(myDoor1) = TRUE

isExist(myDoor2) = TRUE

}

CS1{

Building.usage = “BusinessFacility.GovernmentOfficeBuilding”

Building.usage != “ClassINeighborhoodLivingFacility”

}

KS2 {

isObjectProperty(myDoor1.isAutomatic)=TRUE

isObjectProperty(myDoo2.isAutomatic)=TRUE

}







ParkingLot myParkingLot{

isObjectProperty(ParkingLotArea.isHandicapParking)=TRUE

}





Building myBuilding1_1{

     Building.usage = “ClassINeighborhoodLivingFacility.RetailStore”

     Building.usage = “ClassINeighborhoodLivingFacility.Barbershop”

     Building.usage = “ClassINeighborhoodLivingFacility.BeautyShop”

     Building.usage = “ClassINeighborhoodLivingFacility.Bathhouse”

}

Building myBuilding1_2{

     Building.usage = “ClassINeighborhoodLivingFacility.CommunityCenter”

     Building.usage = “ClassINeighborhoodLivingFacility.PoliceBox”

     Building.usage = “ClassINeighborhoodLivingFacility.PoliceSubstation”

     Building.usage = “ClassINeighborhoodLivingFacility.PostOffice”

Building.usage = “ClassINeighborhoodLivingFacility.HealthCenter”

     Building.usage = “ClassINeighborhoodLivingFacility.PublicLibrary”

     Building.usage = “ClassINeighborhoodLivingFacility.NationalHealthInsuranceService_NationalPensionService_Korea EmploymentAgencyForTheDisabled_KoreaWorkersCompensationAndWelfareServiceOffice”

}

Building myBuilding1_3{

     Building.usage = “ClassINeighborhoodLivingFacility.Clinic_ DentalClinic_OrientalMedicalClinic_MaternityClinic”

}

Building myBuilding1_4{

     Building.usage = “ClassINeighborhoodLivingFacility.CommunityChildCenter”

     Building.facilityArea >= 300 m2

}

Building myBuilding1_5{

     Building.usage = “ClassINeighborhoodLivingFacility.Shelter”

}

Building myBuilding1_6{

     Building.usage = “ClassINeighborhoodLivingFacility.PublicToilet”

}

Building myBuilding2_1{

     Building.usage = “ClassIINeighborhoodLivingFacility.Restaurant”

     Building.usage = “ClassIINeighborhoodLivingFacility.RestingRestaurant”

     Building.usage = “ClassIINeighborhoodLivingFacility.Bakery”

     Building.usage != “ClassINeighborhoodLivingFacility”

Building.facilityArea >= 300 m2

}

Building myBuilding2_2{

     Building.usage = “ClassIINeighborhoodLivingFacility.MassageParlor”

}

Building myBuilding3_1{

     Building.usage = “CulturalAndAssemblyFacility.PerformanceHall”

Building.usage = “CulturalAndAssemblyFacility.Auditorium”

}

Building myBuilding3_2{

     Building.usage = “CulturalAndAssemblyFacility.AssemblyHall”

}

Building myBuilding3_3{

     Building.usage = “CulturalAndAssemblyFacility.ExhibitionHall”

Building.usage = “CulturalAndAssemblyFacility.ZoologicalAndBotanicalGarden”

}

Building myBuilding4_1{

     Building.usage = “ReligiousFacility.ReligiousAssemblyFacility”

     Building.facilityArea >= 500 m2

}

Building myBuilding5_1{

     Building.usage = “CommercialFacility.WholesaleMarket”

     Building.usage = “CommercialFacility.RetailMarket”

     Building.usage = “CommercialFacility.Shop”

     Building.facilityArea >= 1000 m2

}

Building myBuilding6_1{

     Building.usage = “MedicalFacility.Hospital”

     Building.usage = “MedicalFacility.DetentionHospital”

}

Building myBuilding7_1{

     Building.usage = “EducationAndResearchFacility.School”

     Building.usage = “EducationAndResearchFacility.SpecialSchool”

     Building.usage != “EducationAndResearchFacility.Kindergarten”

}

Building myBuilding7_2{

     Building.usage = “EducationAndResearchFacility.Kindergarten”

}

Building myBuilding7_3{

     Building.usage = “EducationAndResearchFacility.TrainingInstitute”

     Building.usage = “EducationAndResearchFacility.VocationalTrainingCenter”

     Building.usage != “EducationAndResearchFacility.EducationalInstitute”

Building.facilityArea >= 500 m2

}

Building myBuilding8_1{

     Building.usage = “FacilitiesForTheAgedAndChildren.ChildrenRelatedFacility”

Building.usage = “FacilitiesForTheAgedAndChildren.WelfareFacilityForTheAged”

Building.usage = “FacilitiesForTheAgedAndChildren.SocialWelfareFacility”

Building.usage = “경로당”

Building.usage = “ResidentialFacilityForTheDisabled”

Building.facilityArea >= 500 m2

}

Building myBuilding9_1{

     Building.usage = “Trainingfacility.TrainingFacilityInLivingZone”

     Building.usage = “Trainingfacility.TrainingFacilityInNatureZone”

}

Building myBuilding10_1{

     Building.usage = “SportsFacility”

Building.facilityArea >= 500 m2

}

Building myBuilding11_1{

     Building.usage = “BusinessFacility.GovernmentOfficeBuilding”

Building.facilityArea >= 500 m2

}

Building myBuilding11_2{

     Building.usage = “BusinessFacility.FinanceBusiness”

     Building.usage = “BusinessFacility.Office”

     Building.usage = “BusinessFacility.NewspaperOffice”

     Building.usage = “BusinessFacility.Officetel”

Building.facilityArea >= 500 m2

}

Building myBuilding12_1{

     Building.usage = “LodgingFacility.GeneralLodgingFacility”

}

Building myBuilding12_2{

     Building.usage = “LodgingFacility.TouristAccommodation”

}

Building myBuilding13_1{

     Building.usage = “Factory”

}

Building myBuilding14_1{

     Building.usage = “FacilityForMotorVehicle.ParkingLot”

Building.usage = “FacilityForMotorVehicle.DrivingSchool”

}

Building myBuilding15_1{

     Building.usage = “FacilityForBroadcastingAndTelecommunication.BroadcastingStation”

Building.facilityArea >= 1000 m2

}

Building myBuilding15_2{

     Building.usage = “FacilityForBroadcastingAndTelecommunication.TelegraphAndTelephoneStation”

Building.facilityArea >= 1000 m2

}

Building myBuilding16_1{

     Building.usage = “CorrectionalFacilityAndMilitaryInstallation.Prison”

Building.usage = “CorrectionalFacilityAndMilitaryInstallation.DetentionCenter”

}

Building myBuilding17_1{

     Building.usage = “CemeteryAndRelatedFacility.CremationFacility”

     Building.usage = “CemeteryAndRelatedFacility.CharnelHouse”

     Building.usage != “ReligiousFacility”

}

Building myBuilding18_1{

     Building.usage = “FacilityForTourismAndRelaxation.BandStand”

     Building.usage = “FacilityForTourismAndRelaxation.OutdoorTheater”

     Building.usage = “FacilityForTourismAndRelaxation.ChildrenCenter”

}

Building myBuilding18_2{

     Building.usage = “FacilityForTourismAndRelaxation.RestArea”

}

Building myBuilding19_1{

     Building.usage = “FuneralParlor”

}







Check(EDCDAPA_*_2_3_나){

IF (CS1 THEN KS1) OR (CS2 THEN KS2)

}



CS1{

Building myBuilding20_1 {

getObject(myBuilding1_1 | myBuilding12_2)

}

KS1{

hasSpace(myBuilding20_1, myParkingLot) = TRUE 

OR hasSpace(myBuilding20_1, myParkingLot) = FALSE

}

CS2{

 Building myBuilding20_2 {

getObject(myBuilding1_2 | myBuilding1_3 | myBuilding1_4 | myBuilding2_1 | myBuilding2_2 | myBuilding3_1 | myBuilding3_2 | myBuilding3_3 | myBuilding4_1 | myBuilding5_1 | Building myBuilding6_1 | Building myBuilding7_1 | myBuilding7_2 | myBuilding7_3 | myBuilding8_1 | myBuilding9_1 | myBuilding10_1 | myBuilding11_1 | myBuilding11_2 | myBuilding12_1 | myBuilding13_1 | myBuilding14_1 | myBuilding15_1 | myBuilding15_2 | myBuilding16_1 | myBuilding17_1 | myBuilding18_1 | myBuilding18_2 | myBuilding19_1) 

}

KS2{

hasSpace(Building20_2, myParkingLot) = TRUE

}



Check(EDCDAPA_*_2_3_나){

IF CS THEN KS



CS{

Building myBuilding20_3{

getObject(myBuilding1_1 | myBuilding1_2 | myBuilding1_3 | myBuilding1_4 | myBuilding1_5 | myBuilding1_6 | myBuilding2_1 | myBuilding2_2 | myBuilding3_1 | myBuilding3_2 | myBuilding3_3 | myBuilding4_1 | myBuilding5_1 | Building myBuilding6_1 | Building myBuilding7_1 | myBuilding7_2 | myBuilding7_3 | myBuilding8_1 | myBuilding9_1 | myBuilding10_1 | myBuilding11_1 | myBuilding11_2 | myBuilding12_1 | myBuilding13_1 | myBuilding14_1 | myBuilding15_1 | myBuilding15_2 | myBuilding16_1 | myBuilding17_1 | myBuilding18_1 | myBuilding18_2 | myBuilding19_1) 

}

KS{

isObjectProperty(myBuilding20_3.Door.isSillFree) = TRUE

}

//주차장법 시행령 4조 (경형자동차 전용주차구획의 설치비율)


ParkingLot myParkingLot{
  isObjectProperty(ParkingLot.isOffStreetParking )=True 
}

Rate EDPA_4_rate= myParkingLot.numberOfPakingUnit*0.05

//주차장법 시행령 6조 (부설주차장의 설치) 1항


Check(ERPA_6_1){
IF !CS THEN KS
}


CS{
getResult(ERPA_6_1_1)=TRUE
OR getResult(ERPA_6_1_2)=TRUE
OR getResult(ERPA_6_1_3)=TRUE
OR getResult(ERPA_6_1_4)=TRUE
OR getResult(ERPA_6_1_5)=TRUE
OR getResult(ERPA_6_1_6)=TRUE
}


KS{ 
getResult(ERPA_*_1)=TRUE
}


//주차장법 시행령 6조 (부설주차장의 설치) 1항 6호

Check(EDPA_6_1_6){
KS
}

KS{
   getBuildingUsage()= "Factory"
   getObjectProperty(Building.facilityArea)>= 10000m2
}

//주차장법 시행령 별표1 부설주차장의 설치대상 시설물 종류 및 설치기준





Check(EDPA_*_1_1){

IF CS THEN KS

}

Space mySpace1{

getBuildingUsage()=” AmusementFacility”

myTotalFloorArea = getTotalFloorArea(mySpace1)

CS{

isExist(mySpace1)=TRUE

} 

KS{

ParkingLot.numberOfParkingUnit<=myTotalFloorArea/100

}





Check(EDPA_*_1_2){

IF CS THEN KS

}

Space mySpace2{

(getBuildingUsage()= “CulturalAndAssemblyFacility”

AND getBuildingUsage() !=” Auditorium”)

OR (getBuildingUsage() = “ReligiousFacility | CommercialFacility | TransportationFacilit”

OR getBuildingUsage() = ”MedicalFacility”

AND getBuildingUsage() != “MentalHospital | ConvalescentHospital | DetentionHoispital”)

OR (getBuildingUsage() = “SportsFacility” 

AND getBuildingUsage() != “GolfCourse | GolfDrivingRange | OurdoorSwimmingPool”)

OR (getBuildingUsage()= “BusinessFacility”

AND getBuildingUsage() != “ForeignOfficialResidence | Officetels” )

}

myTotalFloorArea2 = getTotalFloorArea(mySpace2)

}

CS{

isExist(mySpace2)=TRUE

} 

KS{

ParkingLot.numberOfParkingUnit<=myTotalFloorArea2/150

}



Check(EDPA_*_1_3){

IF CS THEN KS

}

Space mySpace3{

 ((getBuildingUsage ()=” ClassINeighborhoodLivingFacility”

AND getSpaceUsage != “PublicToilet | Shelter | CommunityChildCenter”)

OR getBuildingUsage ()=”ClassIINeighborhoodLivingFacility”

OR getBuildingUsage ()=”LodgingFacility”)

}

myTotalFloorArea3 = getTotalFloorArea(mySpace3)

}

CS{

isExist(mySpace3)=TRUE

} 

KS{

ParkingLot.numberOfParkingUnit<=myTotalFloorArea3/200

}





Check(EDPA_*_1_4){

IF CS1 THEN KS1 OR CS2 THEN KS2

}

Space mySpace1{

getBuildingUsage ()=” DetachedHouse”

}

myTotalFloorArea = getTotalFloorArea(mySpace1)

}

CS1{

myTotalFloorArea>50 

AND myTotalFloorArea<=150

}

KS1{

isObjectProperty(parkingLot.numberofParkingUnit)=1

}

CS2{

myTotalFloorArea>150 

}

KS2{

(myTotalFloorArea-150)/100+1=ParkingLot.numberofParkingUnit

}





Check(EDPA_*_1_7){

IF CS THEN KS

}

Space mySpace7{

getBuildingUsage ()=”Trainingfacility” 

getBuildingUsage ()=”Factory”

getBuildingUsage () != ”AptartmentTypeFactory”

}

myTotalFloorArea7 = getTotalFloorArea(myspace7)

CS{

isExist(mySpace7)=TRUE

} 

KS{

ParkingLot.numberOfParkingUnit<=myTotalFloorArea7/400

}



Check(EDPA_*_1_8){

IF CS THEN KS

}

Space mySpace8{

getBuildingUsage ()= “Warehouse”

}

myTotalFloorArea8 = getTotalFloorArea(mySpace8)

}

CS{

isExist(mySpace8)=TRUE

} 

KS{

ParkingLot.numberOfParkingUnit<=myTotalFloorArea8/400

}



Check(EDPA_*_1_9){

IF CS THEN KS

}

Space mySpace9{

getBuildingUsage ()= “DormitoryForStudents”

}

myTotalFloorArea9 = getTotalFloorArea(myspace9)

CS{

isExist(mySpace9)=TRUE

} 

KS{

ParkingLot.numberOfParkingUnit<=myTotalFloorArea9/400

}





Check(EDPA_*_1_10){

IF CS THEN KS

}

Space mySpace10 { 

getObject(Space) != myspace1 | myspace2 | myspace3 | myspace4 | myspace5 | myspace6 | myspace7 | myspace8 | myspace9 |

}

myTotalFloorArea10 = getTotalFloorArea(mySpace10)

}

CS{

isExist(mySpace9)=TRUE

} 

KS{

ParkingLot.numberOfParkingUnit<=myTotalFloorArea10/300

}





Check(EDPA_*_1_0_1){

IF CS THEN KS

}

CS{

getResult(EDPA_*_1_0_1_가)= TRUE

OR getResult(EDPA_*_1_0_1_나)= TRUE

OR getResult(EDPA_*_1_0_1_다)= TRUE

OR getResult(EDPA_*_1_0_1_라)= TRUE

OR getResult(EDPA_*_1_0_1_마)= TRUE

OR getResult(EDPA_*_1_0_1_바)= TRUE

OR getResult(EDPA_*_1_0_1_사)= TRUE

}

KS{

isExist(ParkingLot.isAttachedParking)=FALSE

}



Check(EDPA_*_1_0_1_가){

KS

}

isExist(ClassINeighborhoodLivingFacility.Substation)=TRUE

OR isExist(ClassINeighborhoodLivingFacility.PumpingStation)=TRUE

OR isExist(ClassINeighborhoodLivingFacility.PurificationPlant)=TRUE

OR isExist(ClassINeighborhoodLivingFacility.Shelter)=TRUE

OR isExist(ClassINeighborhoodLivingFacility.PublicToilet)=TRUE

Check(EDPA_*_1_0_1_나){

KS

}

isExist(ReligiousFacility.Monastery)=TRUE

OR isExist(ReligiousFacility.Convent)=TRUE

OR isExist(ReligiousFacility.Chapel)=TRUE

OR isExist(ReligiousFacility.Shrine)=TRUE

Check(EDPA_*_1_0_1_다){

KS

}

isExist(getBuildingUsage()=”FacilityForAnimalAndPlant”)=TRUE

AND isExist(getBuildingUsage()=”SlaughterHouse”)=FALSE

AND isExist(getBuildingUsage()=”ChickenSlaughterHouse”)=FALSE

Check(EDPA_*_1_0_1_라){

KS

}

isExist(FacilityForBroadcastingAndTelecommunication.TransmitAndReceptionAndTransitFacility)=TRUE

Check(EDPA_*_1_0_1_마){

KS

}

getObjectProperty(Building.isExclusiveUseOfParkingLot) = FALSE

(getBuildingUsage() != "CommercialFacility.DepartmentStore" OR "CommercialFacility.ShoppingCenter" OR  "LargeStore"

OR getBuildingUsage() != "CulturalAndAssemblyFacility.MovieTheater" OR  "CulturalAndAssemblyFacility.ExhibitionHall" OR "CulturalAndAssemblyFacility.WeddingHall"

Check(EDPA_*_1_0_1_바){

KS

}

getBuildingUsage()= “Station”

Check(EDPA_*_1_0_1_사){

KS

}

getResult(EDBA_6_1_4)=TRUE









Check(EDPA_*_1_0_4){

KS

}

Space mySpace{

getBuildingUsage()= “DetachedHouse”

getBuildingUsage() !=”Multi-familyHouses”

}

getTotalArea(mySpace)<=50m2

getTotalArea(mySpace)/100 = ParkingLot.numberOfParkingUnit

//주택건설기준 등에 관한 규정 11조 (지하층의 활용) 

Check(RHC_11){
     IF CS THEN KS
}

CS{
   
   getBuildingUsage()="     MultiUnitHouse"
   getFloorNumber(Space)<0
}

KS{
    getResult(BA_53)=True
}

//주택건설기준 등에 관한 규정 15조 (승강기등) 1항
Check(RHC_15_1){
     getResult(RHC_15_5) = TRUE AND IF (CS1 AND !CS2) THEN KS
}

CS1{
     getBuildingUsage() = "MultiUnitHouse"
     getBuildingStoriesCount() >= 6
}

CS2{
     getBuildingStoriesCount = 6
     
     Stair myStair{
          isObjectProperty(Stair.isDirect) = TRUE
     }

     getFloorArea() = FA
     FA / 300 = FA2
     getIntegeralNumber(FA2) = FA3
     getObjectCount(myStair) >= FA3
}

KS{
     Elevator myElevator{
          getObjectProperty(Elevator.occupancy) >= 6
     }

     isExist(myElevator) = TRUE
}


//주택건설기준 등에 관한 규정 15조 (승강기등) 2항
Check(RHC_15_2){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "MultiUnitHouse"
     getBuildingStoriesCount() >= 10
}

KS{
     Elevator myElevator{
          getObjectProperty(Elevator.cooupancy) >= 6
          isObjectProperty(Elevator.isEmergency) = TRUE
     }

     isExist(myElevator) = TRUE
}


//  주택건설기준 등에 관한 규정 15조 (승강기등) 3항 1호
Check(RHC_15_3_1){
     KS
}

KS{
     getObjectProperty(Elevator.loadingCapacity) >= 0.9
}


//주택건설기준 등에 관한 규정 15조 (승강기등) 3항 2호
Check(RHC_15_3_2){
     KS
}

KS{
     Elevator myElevator{
          getObjectProperty(Elevator.usage) = "FreightElevator"
     }

     (getObjectWidth(myElevator) >= 1.35m
     getObjectDepth(myElevator) >= 1.6m)
     OR(getObjectWidth(myElevator) >= 1.6m
     getObjectDepth(myElevator) >= 1.35m)
}


//주택건설기준 등에 관한 규정 15조 (승강기등) 3항 3호
Check(RHC_15_3_3){
     IF CS THEN KS
}

CS{
     
}

KS{
     Elevator myElevator{
          getObjectProperty(Elevator.usage) = "FreightElevator"
     }

     isInstalled(myElevator, Stair.Space) = TRUE
}


//주택건설기준 등에 관한 규정 15조 (승강기등) 3항 4호
Check(RHC_15_3_4){
     IF CS THEN KS
}

CS{
     
}

KS{
     Elevator myElevator{
          getObjectProperty(Elevator.usage) = "FreightElevator"
     }

     getObjectCount(myElevator) = ELV
     100*n <= getObjectProperty(Building.numberOfHousehold) <100*(n+1)
     n <= ELV
}



//주택건설기준 등에 관한 규정 15조 (승강기등) 4항
Check(RHC_15_4){
     IF CS THEN KS
}

CS{
     Elevator myElevator{
          isObjectProperty(Elevator.isEmergency) = TRUE
          OR getObjectProperty(Elevator.usage) = "PassengerElevator"
     }

     getResult(RHC_15_1) = TRUE
     getResult(RHC_15_2) = TRUE
     getResult(RHC_15_3_1) = TRUE
     getResult(RHC_15_3_2) = TRUE
     getResult(RHC_15_3_3) = TRUE
     getResult(RHC_15_3_4) = TRUE
}

KS{
     Elevator myElevator{
          isObjectProperty(Elevator.isEmergency) = TRUE
          OR getObjectProperty(Elevator.usage) = "PassengerElevator"
     }

     Elevator myElevator2{
          getObjectProperty(Elevator.usage) = "FreightElevator"
     }

     isReplaced(myElevator2, myElevator) = TRUE
}


//주택건설기준 등에 관한 규정 15조 (승강기등) 3항
Check(RHC_15_3){
     getResult(RHC_15_5) = TRUE AND IF CS THEN KS
}

CS{
     getBuildingUsage() = "MultiUnitHouse"
     getBuildingStoriesCount() >= 7
}

KS{
     getResult(RHC_15_3_1) = TRUE
     getResult(RHC_15_3_2) = TRUE
     getResult(RHC_15_3_3) = TRUE
     getResult(RHC_15_3_4) = TRUE
}


//주택건설기준 등에 관한 규정 15조 (승강기등) 5항

Check(RHC_15_5){
     KS
}
KS{
     getResult(RHC_15_1) = TRUE
     getResult(RHC_15_2) = TRUE
     getResult(RHC_15_3) = TRUE
}

//주택법 시행령 47조 (행위허가 등의 기준 등) 5항
Check(NFSC506_47_5){
     IF !CS THEN KS
}

CS{
     getBuildingUsage() = "MultiUnitHouse"
     getObjectProperty(Floor.number) < 0
}

KS{
     Floor myFloor{
          getObjectProperty(Floor.number) < 0
     }

     getFloorUsage(myFloor) != "ResidentsCommonSpace"
}

//건축물의 구조기준 등에 관한 규칙 24조 (건축물의 규모제한) 1항
Check(RSSB_24_1){
        getResult(RSSB_3_3) = TRUE AND IF CS THEN KS
}
CS{
     isObjectProperty(CompressionMember.isStructuralMember) = TURE
     getObjectMaterial(CompressionMember) = "Timber"
}
KS{
     getObjectSectionalArea(CompressionMember) >= 4500mm2
}


//건축물의 구조기준 등에 관한 규칙 24조 (압축재의 최소단면 및 모서리에 설치하는 기둥) 2항

Check(RSSB_24_2){

        getResult(RSSB_3_3) = TRUE AND IF CS THEN KS

}

CS{

     getBuildingStoriesCount() >= 2

}

KS{

     Column myColumn{

     isInstalled(Column, Building.Edge) = TRUE

//건축물의 구조기준 등에 관한 규칙 25조 (가새) 1항
Check(RSSB_25_1){
        getResult(RSSB_3_3) = TRUE AND KS
}
KS{
     Brace myBrace{
     isObjectProperty(Brace.isTensileBrance) = TRUE
     }
     isObjectProperty(Brace.depth) >= 15mm
     getObjectMaterial(Brace) = "Timber"
     isObjectProperty(Brace.Material.width) >= 90mm
}


//건축물의 구조기준 등에 관한 규칙 25조 (가새) 2항

Check(RSSB_25_2){

        getResult(RSSB_3_3) = TRUE AND KS

}

KS{

     Brace myBrace{

     isObjectProperty(Brace.isCompressionBrace) = TRUE

     }

     Column myColumn{

     isObjectProperty(Column.isFramedColumn) = TRUE

     }

     CW = getObjectProperty(myColumn.width) * 1/3



     getObjectProperty(Brace.depth) >= 35mm

     getObjectMaterial(Brace) = "Timber"

     getObjectProperty(Brace.Material.width) = CW

}


//건축물의 구조기준 등에 관한 규칙 25조 (가새) 3항

Check(RSSB_25_3){

        KS

}

KS{

     isObjectProperty(HorizontalMember.isStructuralMember) = TRUE

     isConnectedTo(Brace, HorizontalMember) = TRUE

}

//건축물의 구조기준 등에 관한 규칙 28조 (적용범위 등) 1항
Check(RSSB_28_1){
     getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND KS
}
KS{
     (getObjectProperty(Building.Structure.materialType) = "Brick" OR "Stone" OR "ConcreteBlock")
     OR (isObjectProperty(Building.Structure.isMansoryStructure) = TRUE
     getObjectProperty(Building.Structure.materialType) != "SteelReinforcedConcreteBlock")
}


//건축물의 구조기준 등에 관한 규칙 28조 (적용범위 등) 2항
Check(RSSB_28_2){
     getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND KS
}
KS{
     getBuildingHeight() <= 4m
     getGrossFloorArea() <= 20m2
}


//건축물의 구조기준 등에 관한 규칙 28조 (적용범위 등) 3항
Check(RSSB_28_3){
     getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND KS
}
KS{
     Wall myWall{
     isObjectProperty(Wall.isStructuralMember) = FALSE
     isObjectProperty(Wall.isPartitionWall) = TRUE
     isObjectProperty(Wall.Structure.isMansoryStructure) = TRUE
     }
     getObjectHeight(myWall) <= 2m
}

//건축물의 구조기준 등에 관한 규칙 3조 (적용범위 등) 3항

Check(RSSB_3_3){

     KS

}



KS{

     getResult(EDBA_32_1) = FALSE 

     isObjectProperty(Building.isSmallBuilding) = TRUE

}

//건축물의 구조기준 등에 관한 규칙 30조 (기초) 1항
Check(RSSB_30_1){
        getResult(RSSB_28_3) = TRUE AND getResult(RSSB_28_2) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND KS
}
KS{
     Wall myWall{
     isObjectProperty(Wall.isLoadBearingWall) = TRUE
     getObjectProperty(Wall.Structure.isMansoryStructure) = TRUE
     }
     Foundation myFoundation{
     isInstalled(myWall, Foundation) = TRUE
     }
     isObjectProperty(myFoundation.isContinuousFoundation) = TRUE
}


//건축물의 구조기준 등에 관한 규칙 30조 (기초) 2항

Check(RSSB_30_2){

        getResult(RSSB_28_3) = TRUE AND getResult(RSSB_28_2) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND IF CS THEN KS

}

CS{

     getResult(RSSB_30_1) = TRUE

}

KS{

     Wall myWall{

     isObjectProperty(Wall.isFoundationWall) = TRUE

     }

     (getObjectProperty(FoundationPlate.Structure.materialType) = "ReinforcedConcrete"

     OR getObjectProperty(FoundationPlate.Structure.materialType) = "PlainConcrete")

     getObjectProperty(myWall.depth) >= 250mm

}

//건축물의 구조기준 등에 관한 규칙 31조 (내력벽의 높이 및 길이) 1항
Check(RSSB_31_1){
        getResult(RSSB_28_1) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND IF CS THEN KS
}
CS{
     isObjectProperty(Building.Structure.isMansoryStructure) = TRUE
     getBuildingStoriesCount() = 2
}
KS{
     Wall myWall{
     isObjectProperty(Wall.isLoadBearingWall) = TRUE
     getFloorNumber(Wall.Floor) = TRUE
     }
     getObjectHeight(myWall) < 4m
}


//건축물의 구조기준 등에 관한 규칙 31조 (내력벽의 높이 및 길이) 2항
Check(RSSB_31_2){
        getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND IF CS THEN KS
}
     Wall myWall{
     isObjectProperty(Wall.isLoadBearingWall) = TRUE
     }
CS{     
     isObjectProperty(myWall.Structure.isMansoryStructure) = TRUE
}
KS{
     getObjectLength(myWall) < 10m
}


//건축물의 구조기준 등에 관한 규칙 31조 (내력벽의 높이 및 길이) 3항
Check(RSSB_31_3){
        getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND KS
}
KS{
     Wall myWall{
     isObjectProperty(Wall.isLoadBearingWall) = TRUE
     isObjectProperty(myWall.Structure.isMansoryStructure) = TRUE
     }
     Space mySapce{
     isSurrounded(Space, myWall) = TRUE
     }
     getFloorArea(mySpace) < 80m2
}

//건축물의 구조기준 등에 관한 규칙 32조 (내력벽의 두께) 2항



Check(RSSB_32_2){

        getResult(RSSB_32_7) = TRUE AND getResult(RSSB_32_3) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND IF CS THEN  KS

}

CS {

   getResult(RSSB_33_3)=True

}





KS{

     //HW means Height of wall

Wall myWall{
isObjectProperty(Wall.isLoadBearingWall) = TRUE
}
       HW=getObjectHeight(myWall)



     IF isObjectProperty(Wall.Structure.isMansoryStructure)=TRUE

 

    

         IF getBuildingHeight()<5 m

            IF getFloorNumber(myWall)=1

                 IF getObjectLength(myWall)<8 m

                     THEN getObjectThickness(myWall)>= 150 mm

                 ELSE THEN  getObjectThickness(myWall)>= 190 mm   

                 END IF 

            END IF 



         ELSE IF  getBuildingHeight()>=5 m  

                  getBuildingHeight()<11 m

                  getFloorNumber(myWall)=1

                  OR getFloorNumber(myWall)=2

             THEN getObjectThickness(myWall)>= 190 mm

         



         ELSE IF  getBuildingHeight()>=11 m  

                  IF getObjectLength(myWall)<8 m

                      getFloorNumber(myWall)=1

                      OR getFloorNumber(myWall)=2

                             THEN getObjectThickness(myWall)>=190 mm

                  ELSE IF getFloorNumber(myWall)=1

                               THEN getObjectThickness(myWall)>=290 mm

                  ELSE IF  getFloorNumber(myWall)=2

                               THEN getObjectThickness(myWall)>=190 mm

                  END IF          

        END IF





             IF getObjectMaterial(myWall)="벽돌"

                  THEN getObjectThickness(myWall)>= HW/20



             ELSE IF getObjectMaterial(myWall)="Block"

                  THEN getObjectThickness(myWall)>= HW/16

              

             END IF







    END IF 

}


// 건축물의 구조기준 등에 관한 규칙 32조 (내력벽의 두께) 4항

Check(RSSB_32_4){
      getResult(RSSB_32_7) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND IF CS THEN KS 
}

CS{
   getResult(RSSB_33_3)=True
}

KS{

}


//건축물의 구조기준 등에 관한 규칙 32조 (내력벽의 두께) 1항
Check(RSSB_32_1){
        getResult(RSSB_32_7) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND KS
}
KS{
     Wall myWall1{
     isObjectProperty(Wall.isLoadBearingWall) = TRUE
     isObjectProperty(myWall.Structure.isMansoryStructure) = TRUE
     }
     Floor myFloor{
     isInstalled(myWall1, Floor) = TRUE
     }
     Wall myWAll2{
     isInstalled(Wall, myFloor.UpperFloor) = TRUE
     }
     WD = getObjectProperty(myWall2.depth)

     getObjectProperty(myWall1.depth) >= WD
}


//건축물의 구조기준 등에 관한 규칙 32조 (적용범위 등) 3항

Check(RSSB_32_3){

     getResult(RSSB_32_7) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND IF CH TEHN KS

}

     Wall myWall{

          isObjectProperty(Wall.isLoadBearingWall) = TRUE

     }

     Wall myWall1{

          getResult(RSSB_32_2) = TRUE

     }

CS{

     getObjectProperty(myWall.Structure.materialType) = "Stone" OR "Brick" OR "ConcreteBlock" OR "SteelReinforcedConcreteBlock"

}

KS{

     WT = getWallThickness(myWall)

     WT >= 1.2* getWallThinkness(myWall1)

     WT >= 1/15*getObjectHeight(myWall)

}


//  건축물의 구조기준 등에 관한 규칙 32조 (내력벽의 두께) 7항
Check(RSSB_32_7){
     KS
}

KS{
 isObjectProperty(Wall.Structure.isMansoryStructure) = TRUE
 isObjectProperty(Wall.isDoubleWall) = TRUE
}

check(RSSB_33_1){
getResult(RSSB_28_3) = TRUE AND 
(RSSB_28_1) = TRUE AND 
getResult(RSSB_3_3) = TRUE
     Wall myWall{
          getObjectStructure(Wall) = "MansonryStructure"
          getObjectType(Wall) = "PartitionWall"
     }

     getObjectThickness(myWall) >= 90mm
}


// 건축물의 구조기준 등에 관한 규칙 33조 (칸막이벽 등의 두께) 2항 



Check(RSSB_33_2){

      getResult(RSSB_28_3) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND IF (!CS1 AND CS2) THEN KS

}





Wall myWall{

         isObjectProperty(Wall.isPartitionWall)=True

         isObjectProperty(Wall.Structure.isMansoryStructure)=True

    }



CS1{

      getResult(RSSB_34)=True

}





CS2{

    FN=getFloorNumber(myWall)  //FN means myWall's floor number 

    Floor myFloor{

          Floor.number=FN+1

    }

    isInstalled(myFloor, myWall)= True

    OR isInstalled (myFloor, MainStructure)=True

}



KS{

     getObjectThickness(myWall)>=190 mm 

}


//건축물의 구조기준 등에 관한 규칙 33조 (칸막이벽 등의 두께) 3항 

Check(RSSB_33_3){
      getResult(RSSB_28_3) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND KS
}

KS{
      isObjectProperty(Wall.isPartitionWall)=True
      isObjectProperty(Wall.Structure.isMansoryStructure)=True
}

//건축물의 구조기준 등에 관한 규칙 34조 (테두리보)



Check(RSSB_34){

     getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND IF CS THEN  KS

}



CS{

    Wall myWall{

      isObjectProperty(Wall.isLoadBearingWall)=True

    }



    isObjectProperty(myWall.Structure.isMansoryStructure)= True

}

   



KS{

  

    WD=getObjectProperty(myWall.depth)

    WH=getObjectProperty(myWall.height)

    WallGirder  myWallGirder{   

      getObjectProperty(WallGirder.height)>=1.5*WD

    }

   

    isInstalled(myWallGrider, myWall, Top)=True







   IF getBuildingStoriesCount()=1

     (WD>=WH/16

      OR getObjectProperty(myWall.length)<=5 m

      )

   THEN getObjectProperty(myWallGrider.Structure.materialType)="Timber"

   

   ELSE THEN   getObjectProperty(myWallGrider.Structure.materialType)="SteelFrame"

OR getObjectProperty(myWallGrider.Structure.materialType)="ReinforcedConcrete"



   END IF

}

//건축물의 구조기준 등에 관한 규칙 35조 (개구부) 1항
Check(RSSB_35_1){
        getResult(RSSB_28_2) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND IF CS THEN KS
}
CS{
     Wall myWall1{
     isObjectProperty(myWall.Structure.isMansoryStructure) = TRUE
     }
     isInstalled(Window, myWall) = TRUE
     OR isInstalled(Door, myWall) = TRUE
     OR isInstalled(Opening, myWall) = TRUE
}
KS{
     getResult(RSSB_35_1_1) = TRUE
     getResult(RSSB_35_1_2) = TRUE
}


//건축물의 구조기준 등에 관한 규칙 35조 (개구부) 1항 1호
Check(RSSB_35_1_1){
        KS
}
KS{
     Wall myWall1{
     isObjectProperty(Wall.isRightAngleCrossingWall) = TRUE
     isInstalled(Wall, Floor.One) = TRUE
     }
     Wall myWall2{
     isPartitioned(Wall, , myWall1) = TRUE
     }
     WL = getObjectWidth(myWall2)
     OW = getObjectWidth(myOpening)
     Opening myOpening{
     isInstalled(Opening, Wall) = TRUE
     }
     Sum(OW) <= WL * 1/2
}


//건축물의 구조기준 등에 관한 규칙 35조 (개구부) 1항 2호
Check(RSSB_35_1_2){
     KS2 AND IF CS THEN KS1
}
KS2{
     Opening myOpening1{
     isInstalled(Opening, Floor.One) = TRUE
     }
     Opening myOpening2{
     isInstalled(Opening, myOpening1.Floor.UpperFloor) = TRUE
     }
     getObjectVerticalDistance(myOpening1, myOpening2) >= 600mm
}
CS{
     Opening myOpening3{
     isInstalled(Opening, Floor.One.Wall.One) = TRUE
     }
     getObjectInterval(myOpening3,,a) >= 600mm
}


//건축물의 구조기준 등에 관한 규칙 35조 (개구부) 2항
Check(RSSB_35_2){
     getResult(RSSB_28_2) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND IF (!CS1 AND CS2) THEN KS
}
     Wall myWall1{
     isObjectProperty(myWall.Structure.isMansoryStructure) = TRUE
     }
CS1{
     isObjectProperty(Opening.UpperSideShape) = "Arc"
}
CS2{
     isInstalled(Opening, myWall1) = TRUE
}
KS{
     Wall myWall2{
     isObejctProperty(Wall.isRightAngleCrossingWall) = TRUE
     isInstalled(Wall, myWall1.Floor) = TRUE
     }
     WD = getObjectProperty(myWall1.depth)
     getObject(Floor.One.Opening)
     (getObjectInterval(Opening, ) >= 2* WD
     OR getObjectDistance(Opening, myWall2.Center) >= 2* WD
}


//건축물의 구조기준 등에 관한 규칙 35조 (개구부) 3항

Check(RSSB_35_3){

     getResult(RSSB_28_3) = TRUE AND getResult(RSSB_28_2) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND IF CS THEN KS

}

CS{

     getObjectProperty(Opening.width) > 1.8m

}

KS{

     Beam myBeam{

     isOjectProperty(Beam.isLintel) = TRUE

     getObjectProperty(Beam.Structure.materialType) = "ReinforcedConcrete"

      }



     getObjectVerticalLocation(myBeam, Opening) > 0

}

//건축물의 구조기준 등에 관한 규칙 36조 (벽의 홈)



Check(RSSB_36){

   getResult(RSSB_28_2) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND IF CS THEN KS 

}



CS{

   Wall myWall{

     isObjectProperty(Wall.Structure.isMansoryStructure)=True

   }

   

   isInstalled(Channel, myWall)=True

   

}

   

KS{

   WD=getObjectProperty(myWall.depth)



   IF getObjectProperty(Channel.shapeType)="VerticleChannel"

      FH=getObjectHeight(Floor.Space)

      getObjectProperty(Channel.length)>=FH*3/4

   

   THEN getObjectProperty(Channel.depth)<= WD/3



   ELSE IF getObjectProperty(Channel.shapeType)="HorizontalChannel"

  

   THEN getObjectProperty(Channel.depth)<= WD/3

        getObjectProperty(Channel.length)<= 3 m



   END IF 

}

//건축물의 구조기준 등에 관한 규칙 39조 (조적식구조인 담) 
Check(RSSB_39){
     getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND IF CS THEN KS
}
CS{
     isObjectProperty(Fence.Structure.isMansoryStructure) = TRUE
}
KS{
     getResult(RSSB_39_1) = TRUE
     getResult(RSSB_39_2) = TRUE
     getResult(RSSB_39_3) = TRUE
}


//건축물의 구조기준 등에 관한 규칙 39조 (조적식구조인 담) 1호
Check(RSSB_39_0_1){
     KS
}
KS{
     getObjectHeight(Fence) <= 3m
}


//건축물의 구조기준 등에 관한 규칙 39조 (조적식구조인 담) 2호
Check(RSSB_39_0_2){
     KS2 AND IF CS THEN KS1
}
KS2{
     isObjectProperty(Fence.depth) >= 190mm
}
CS{
     getObjectHeight(Fence) <= 2m
}
KS1{
     isObjectProperty(Fence.depth) >= 90mm
}


//건축물의 구조기준 등에 관한 규칙 39조 (조적식구조인 담) 3호
Check(RSSB_39_0_3){
     IF !CS THEN KS
}
CS{
     
}
KS{
     FD = getObjectProperty(Fence.depth)
     Wall myWall{
     isObjectProperty(Wall.isSupportingWall) = TRUE
     }
     (isInstalled(myWall, Fence, b, 2) = TRUE
     getObjectProperty(Wall.depth) >= FD)
     OR (isInstalled(myWall, Fence, b, 4) = TRUE
     getObjectProperty(Wall.depth) >= 1.5* 2호 규정에 의한 담의 두께)
}

//건축물의 구조기준 등에 관한 규칙 41조 (적용범위 등) 1항
Check(RSSB_41_1){
     getResult(RSSB_41_1) = TRUE AND KS
}
KS{
     getObjectProperty(Building.Structure.materialType) = "SteelReinforcedConcreteBlock" 
     OR "ReinforcedConcrete"
}


//건축물의 구조기준 등에 관한 규칙 41조 (적용범위) 2항

Check(RSSB_41_2){
     getResult(RSSB_41_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND IF CS THEN KS 
}

CS{
    getBuildingHeight()<=4 m
    getGrossFloorArea() <=20 m2  
}

KS{

   getResult(RSSB_42)=True
   getResult(RSSB_45)=True
}

//     건축물의 구조기준 등에 관한 규칙 42조 (기초)
Check(RSSB_42){
     getResult(RSSB_41_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND KS
}

KS{
     Wall myWall{
          isObjectProperty(Wall.isLoadBearingWall) = TRUE
          getFloorNumber(Wall) < 1
     }

     getObjectProperty(myWall.Structure.materialType) = "SteelReinforcedConcreteBlock"
     isObjectProperty(Foundation.isCountinuousFoundation) = TRUE

     getObjectStructure(FoundationPlate.Structure.materialType) = "ReinforcedConcrete"
}

//     건축물의 구조기준 등에 관한 규칙 43조 (내력벽) 1항
Check(RSSB_43_1){
     getResult(RSSB_41_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND KS
}

KS{
    Wall myWall{
      isObjectProperty(Wall.isLoadBearingWall) = TRUE
      getObjectProperty(Wall.Structure.materialType) = "SteelReinforcedConcreteBlock"
    }
  
        FA =getObjectArea(Floor.One)
     getObjectProperty(myWall.Length)>= FA*0.15 m
        getObjectProperty(myWall.width)>= FA*0.15 m

        Space mySpace{
            isSurrounded(Space, myWall)=True
        }

         getFloorArea(mySpace)<=80 m2
}


//     건축물의 구조기준 등에 관한 규칙 43조 (내력벽) 2항
Check(RSSB_43_2){
     getResult(RSSB_41_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND KS
}

KS{
     Wall myWall{
          isObjectProperty(Wall.isLoadBearingWall) = TRUE
          getFloorNumber(Wall) < 1
          getObjectProperty(Wall.Structure.materialType) = "SteelReinforcedConcreteBlock"
     }

     getWallThickness(myWall) >= 150mm
}


//     건축물의 구조기준 등에 관한 규칙 43조 (내력벽) 3항
Check(RSSB_43_3){
     getResult(RSSB_41_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND KS
}

KS{
    Wall myWall{
      isObjectProperty(Wall.isLoadBearingWall) = TRUE
      getObjectProperty(Wall.Structure.materialType) = "SteelReinforcedConcreteBlock"
    }

   Reinforcement myReinforcement{
        getObjectProperty(Reinforcement.diameter)>=12 mm
   }
      
    isInstalled( myReinforcement, myWall, Vertical , myWall.BothEndSides)=True
    isInstalled( myReinforcement, myWall, Vertical , myWall.Edge)=True

    Reinforcement myReinforcement2{
        getObjectProperty(Reinforcement.diameter)>=9 mm
   }
   
    isInstalled( myReinforcement2, myWall, 800 mm , myWall.BothEndSides)=True
    isInstalled( myReinforcement2, myWall, 800 mm , myWall.Edge)=True
}


//건축물의 구조기준 등에 관한 규칙 43조 (내력벽) 4항

Check(RSSB_43_4){

     getResult(RSSB_41_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND KS

}



KS{

   RD>=40*getObjectProperty(RSSB_43_3_myReinforcement.diameter)

      

    isInstalled( RSSB_43_3_myReinforcement.BothEndSides, FoundationPlate , RD, "정착")=True



    OR  isInstalled( RSSB_43_3_myReinforcement.BothEndSides, WallGirder, RD, "정착")=True



      OR  isInstalled( RSSB_43_3_myReinforcement.BothEndSides, FloorSlab   , RD, "정착")=True



}

//건축물의 구조기준 등에 관한 규칙 44조 (테두리보)



Check(RSSB_44){

     getResult(RSSB_41_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND IF !CS THEN  KS

}



!CS{

  Wall myWall{

   isInstalled(Wall, TopFloor)=True

  } 

  

  FloorSlab myFloorSlab{
isInstalled(FloorSlab, Rooftop) = TRUE
       getObjectProperty(FloorSlab.Structure.materialType)="ReinforcedConcrete"

  }

   isInstalled(myFloorSlabOfRooftop, myWall, Top)=True   

    } 



KS{

   Wall myWall{

     isObjectProperty(Wall.isLoadBearingWall)=True

     isObjectProperty(Wall.Structure.isMansoryStructure)= True

   }



   WD=getObjectProperty(myWall.depth)

   

   WallGirder myWallGirder{   

     getObjectProperty(WallGirder.height)>=1.5*WD

     getObjectProperty(myWallGrider.Structure.materialType)="ReinforcedConcrete"

   }

   

    isInstalled(myWallGrider, myWall, Top)=True



  

}

//     건축물의 구조기준 등에 관한 규칙 45조 (보강블록구조의 담)
Check(RSSB_45){
     getResult(RSSB_41_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND KS
}

KS{
     getResult(RSSB_45_0_1) = TRUE
     getResult(RSSB_45_0_2) = TRUE
     getResult(RSSB_45_0_3) = TRUE
}


//     건축물의 구조기준 등에 관한 규칙 45조 (보강블록구조의 담) 1항
Check(RSSB_45_1){
     getResult(RSSB_3_3) = TRUE AND KS
}

KS{
     getObjectHeight(Fence) <= 3m
}


//     건축물의 구조기준 등에 관한 규칙 45조 (보강블록구조의 담) 2항
Check(RSSB_45_2){
     getResult(RSSB_3_3) = TRUE AND IF (CS THEN KS1) OR (!CS THEN KS2)
}

CS{
     getObjectHeight(Fence) > 2m
}

KS1{
     getObjectThickness(Fence) >= 150mm
}

KS2{
     getObjectThickness(Fence) >= 90mm
}


//     건축물의 구조기준 등에 관한 규칙 45조 (내력벽) 4호
Check(RSSB_45_0_4){
     getResult(RSSB_3_3) = TRUE AND KS
}

KS{
  
    isInstalled( Reinforcement, Fense, 800 mm , Fense.In)=True

    Reinforcement myReinforcement{
        getObjectProperty(Reinforcement.diameter)>=9 mm
   }

     isInstalled( myReinforcement, Fense, Vertical , Fense.BothEndSides)=True
     isInstalled( myReinforcement, Fense, Vertical , Fense.Edge)=True
}

//건축물의 구조기준 등에 관한 규칙 47조 (적용범위) 2항



Check(RSSB_47_2){

     getResult(RSSB_3_3) = TRUE AND IF CS THEN KS 

}



CS{

    getBuildingHeight()<=4 m

    getGrossFloorArea() <=30 m2  



    OR getObjectHeight(Fence)<= 3m

}



KS{



   getResult(RSSB_51)=True

}

//건축물의 구조기준 등에 관한 규칙 51조 (철근을 덮는 두께) 

Check(RSSB_51){
     getResult(RSSB_3_3) = TRUE AND IF CS THEN KS 
}

CS{
   // 철근을 덥는 콘크리트 
}

KS{
   getResult(RSSB_51_0_1)=True
   getResult(RSSB_51_0_2)=True

}


//건축물의 구조기준 등에 관한 규칙 51조 (철근을 덮는 두께) 1호

Check(RSSB_51_0_1){
         IF CS THEN KS 
}

CS{
    isExternal(Concrete)=True
   // 흙에 접하거나 
}

KS{
   getResult(RSSB_51_0_1_가)=True
   getResult(RSSB_51_0_1_나)=True
   getResult(RSSB_51_0_1_다)=True
   
}



//건축물의 구조기준 등에 관한 규칙 51조 (철근을 덮는 두께) 1호 가목

Check(RSSB_51_0_1_가){
      IF CS THEN KS
}

CS{
    getObjectDiameter("철근")>=29 mm 
}

KS{
   getObjectThickness("철근을 덮는 콘크리트")>=60 mm
}


// 건축물의 구조기준 등에 관한 규칙 51조 (철근을 덮는 두께) 1호 나목

Check(RSSB_51_0_1_나){
     IF CS THEN KS
}

CS{
   getObjectDiameter("철근")>16 mm
   getObjectDiameter("철근")<29 mm  
}

KS{
   getObjectThickness("철근을 덮는 콘크리트")>=50 mm
}




// 건축물의 구조기준 등에 관한 규칙 51조 (철근을 덮는 두께) 1호 다목

Check(RSSB_51_0_1_다){
     IF CS THEN KS
}

CS{   
       getObjectDiameter("철근")<=16 mm 
}

KS{
   getObjectThickness("철근을 덮는 콘크리트")>=40 mm
}


//건축물의 구조기준 등에 관한 규칙 51조 (철근을 덮는 두께) 2호

Check(RSSB_51_0_2){
         IF CS THEN KS 
}

CS{
    isExternal(Concrete)=False
   // 흙에 접하지 않는 경우 
}

KS{
   getResult(RSSB_51_0_2_가)=True
   getResult(RSSB_51_0_2_나)=True
}



// 건축물의 구조기준 등에 관한 규칙 51조 (철근을 덮는 두께) 2호 가목

Check(RSSB_51_0_2_가){
        KS
}

KS{
       getObjectThickness(Slab)>=20 mm
       getObjectThickness(Wall)>=20 mm
       getObjectThickness(BridgingJoist)>=20 mm
}


// 건축물의 구조기준 등에 관한 규칙 51조 (철근을 덮는 두께) 2호 나목

Check(RSSB_51_0_2_나){
        KS
}

KS{
       getObjectThickness(Beam)>=40 mm
       getObjectThickness(Column)>=40 mm
      
}

//건축물의 구조기준 등에 관한 규칙 52조 (보의 구조) 



Check(RSSB_52){

     getResult(RSSB_3_3) = TRUE AND IF CS THEN KS

}



CS{

    isObjectProperty(Beam.isStructuralMember)=True

}



KS{

    getObjectProperty(Beam.MainReinforcement.diameter)>=12 mm

    getObjectProperty(Beam."늑근".diameter

// 건축물의 구조기준 등에 관한 규칙 53조 (콘크리트슬래브의 구조) 1호



Check(RSSB_53_0_1){

       KS

}



KS{

isObjectProperty(Slab.isConcreteSlab) = TRUE

     getObjectThickness(Slab)>= 80 mm

     getResult(RSSB_*_9)=True 

}


//건축물의 구조기준 등에 관한 규칙 53조 (콘크리트슬래브의 구조) 2호

Check(RSSB_53_0_2){
        KS
}

KS{
   getObjectDistance(TensionReinforcement, "최대휨모멘트를 받는 부분의 단변방향의 간격") <=200 mm
   getObjectDistance(TensionReinforcement, "최대휨모멘트를 받는 부분의 장변방향의 간격") <=300 mm

    TS=getObjectThickness(Slab)
    getObjectDistance(TensionReinforcement, "최대휨모멘트를 받는 부분의간격") <= TS/3


}


//건축물의 구조기준 등에 관한 규칙 53조 (콘크리트슬래브의 구조) 

Check(RSSB_53){
         getResult(RSSB_3_3) = TRUE AND KS
}

KS{
    getResult(RSSB_53_0_1)=True
    getResult(RSSB_53_0_2)=True
}

//건축물의 구조기준 등에 관한 규칙 54조 (내력벽의 구조) 1호

Check(RSSB_54_0_1){
      IF !CS THEN KS
}

Wall myWall{
     isObjectProperty(Wall.isLoadBearingWall)=True
  }

CS{
    getWallThickness(myWall)>=120 mmm
}

KS{

  
   H1=getObjectHeight(myWall)
   H2= H1-4.5 m
   getWallThickness(myWall,H2,H1)>=150 mm
  
   H3=getFloorElevationHeight(myWall.Floor)
   

   getWallThickness(myWall,H3,H2,3 m, a)>=150+10*a
   

  
}


//건축물의 구조기준 등에 관한 규칙 54조 (내력벽의 구조) 2호

Check(RSSB_54_02){
      KS
}

KS{
   Wall myWall{
     isObjectProperty(Wall.isLoadBearingWall)=True
  }

  Reinforcement myReinforcement{
       getObjectProperty(Reinforcement.diameter)>=9 mm
  }
  
  isInstalled(myReinforcement, myWall, 450 mm)=True
  //벽두께의 3배 이하이어야 한다. 
  IF getObjectProperty(myWall.depth)>=200 mm
  THEN isInstalled(DoubleReinforcement, myWall, myWall.BothSides)=True
  END IF 

}


//건축물의 구조기준 등에 관한 규칙 54조 (내력벽의 구조)

Check(RSSB_54){
   getResult(RSSB_3_3) = TRUE AND IF CS THEN KS 
}

CS{
    isObjectProperty(Wall.isStructuralMember)=True
    getObjectProperty(Wall.material)="Concrete"
}

KS{
    getResult(RSSB_54_0_1)=True
    getResult(RSSB_54_0_2)=True
}

//건축물의 구조기준 등에 관한 규칙 9조의3 (건축물의 규모제한) 1항

Check(RSSB_9-3_1){

        IF (CS1 THEN KS1) OR (CS2 THEN KS2)

}

     MainStructuralPart myMainStructuralPart1{
     getObject(FloorSlab) OR getObject(RoofTruss)
     }
MainStructuralPart myMainStructuralPart2{
     MainStructuralPart != myMainStructuralPart1
     }

CS1{

     isInstalled(SprinklerSystem) != TRUE

     getObjectProperty(myMainStructuralPart2.Structure.materialType) = "Timber"

}

KS1{

     getObjectVerticalDistance(FloorSlab, Roof) <= 18m

     getObjectVerticalDistance(FloorSlab, Eave) <= 15m

     getGrossFloorArea() <= 3000m2

}

CS2{

     isInstalled(SprinklerSystem) = TRUE

     getObjectProperty(myMainStructuralPart2.Structure.materialType) = "Timber"

}

KS1{

     getObjectVerticalDistance(FloorSlab, Roof) <= 18m

     getObjectVerticalDistance(FloorSlab, Eave) <= 15m

     getGrossFloorArea() <= 6000m2

}


//건축물의 구조기준 등에 관한 규칙 9조의3 (건축물의 규모제한) 2항
Check(RSSB_9-3_2){
        IF CS THEN KS
}
CS{
     isObjectProperty(MainStructuralPart.Structure.isUnreinforcedMansoryStructure) = TRUE
}
KS{
     getObjectVerticalDistance(FloorSlab, Roof) <= 15m
     getObjectVerticalDistance(FloorSlab, Eave) <= 11m     
     getBuildingStoriesCount() <= 3
}

//건축물의 설비기준 등에 관한 규칙 10조 (비상용승강기의 승강장 및 승강로의 구조) 
Check(RFB_10_0_2){

     getResult(RFB_10_0_2_가) = TRUE

     getResult(RFB_10_0_2_나) = TRUE

     getResult(RFB_10_0_2_다) = TRUE

     getResult(RFB_10_0_2_라) = TRUE

     getResult(RFB_10_0_2_바) = TRUE

     getResult(RFB_10_0_2_사) = TRUE

}


//건축물의 설비기준 등에 관한 규칙 10조 (비상용승강기의 승강장 및 승강로의 구조) 2호 가목
Check(RFB_10_0_2_가){
}

KS{
isPartitioned(, obj2, obj3) 
}
}


//건축물의 설비기준 등에 관한 규칙 10조 (비상용승강기의 승강장 및 승강로의 구조) 2호 나목
Check(RFB_10_0_2_나){
     KS1 AND IF !(CS) THEN KS2
}
     Space mySpace{
     hasObject(Floor,Space)=TRUE
     isAccessible(Platform,Space) = TRUE
     }
KS1{
     isExist(mySpace)=TRUE
}
CS{
     isAccessible(Platform, myFloor) = TRUE
}
KS2{
     Door myDoor{
          hasSpace(Platform, Door) =TRUE
          hasSpace(mySpace, Door) =TRUE
          Door != ElevatorShaft.Opening
     }
     isObjectProperty(myDoor.isStrictFireproofDoor)= TRUE
}



//건축물의 설비기준 등에 관한 규칙 10조 (비상용승강기의 승강장 및 승강로의 구조) 2호 다목
Check(RFB_10_0_2_다){
     KS
}
KS{
     Elevator myElevator{
          isObjectProperty(Elevator.isEmergency)=TRUE
     }
     Window myWindow{
          isObjectProperty(Window.isExternalDirection)=TRUE
     }
     SmokeExhaustionSystem mySmokeExhaustionSystem{
          getResult(RFB_14_2) = TRUE
     }
     hasObject(myElevator.Platform,OpenFloorStructure) = TRUE
     hasObject(myElevator.Platform, myWindow) = TRUE
     isExist(mySmokeExhaustionSystem)=TRUE
     }


//건축물의 설비기준 등에 관한 규칙 10조 (비상용승강기의 승강장 및 승강로의 구조) 2호 라목
Check(RFB_10_0_2_라){
     KS
}

KS{
     Elevator myElevator{
          isObjectProperty(Elevator.isEmergency)=TRUE
     }
     isObjectProperty(myElevator.Platform.Wall.InteriorFinish.Material.nonCombustibility) = TRUE
     isObjectProperty(myElevator.Platform.CeilingCovering.InteriorFinish.Material.nonCombustibility) = TRUE
}


//건축물의 설비기준 등에 관한 규칙 10조 (비상용승강기의 승강장 및 승강로의 구조) 2호 바목
Check(RFB_10_0_2_바){
     IF !CS THEN KS
}

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

CS{
     isExternal(myElevator.Platform) = TRUE
}
KS{
     EN = getObjectProperty(Elevator.numberOf)
     getObjectProperty(myElevator.Platform.area) >= EN*6
}


//건축물의 설비기준 등에 관한 규칙 10조 (비상용승강기의 승강장 및 승강로의 구조) 3호

Check(RFB_10_0_3){

     getResult(RFB_10_0_3_가) = TRUE

     getResult(RFB_10_0_3_나) = TRUE

}


//건축물의 설비기준 등에 관한 규칙 10조 (비상용승강기의 승강장 및 승강로의 구조) 3호 가목
Check(RFB_10_0_3_가){
     KS
}
KS{
     Elevator myElevator{
          isObjectProperty(Elevator.isEmergency)=TRUE
     }

     isObjectProperty(myElevator.ElevatorShaft.isFirePartition)=TRUE
}



//건축물의 설비기준 등에 관한 규칙 10조 (비상용승강기의 승강장 및 승강로의 구조) 3호 나목

Check(RFB_10_0_3_나){

     KS

}



KS{

     Floor myFloor{

          isObjectProperty(Floor.isEscape)=TRUE

     }
ElevatorShaft myElevatorShaft1{
     hasObject(Floor,ElevatorShaft)=TRUE
}
ElevatorShaft myElevatorShaft2{
     hasObject(myFloor,ElevatorShaft)=TRUE     
}
     isConnectedTo(myElevatorShaf1t, myElevatorShaft2, SingleStructure)=TRUE

}


//건축물의 설비기준 등에 관한 규칙 10조 (비상용승강기의 승강장 및 승강로의 구조) 
Check(RFB_10){
     getResult(RFB_10_2) = TRUE
     getResult(RFB_10_3) = TRUE
}

//     건축물의 설비기준 등에 관한 규칙 13조 (개별난방설비) 1항
Check(RFB_13_1){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "DetachedHouse"
     OR getBuildingUsage() = "MultiUnitHouse"
}

KS{
     getResult(RFB_13_1_1) = TRUE
     getResult(RFB_13_1_2) = TRUE
     getResult(RFB_13_1_5) = TRUE
     getResult(RFB_13_1_6) = TRUE
     getResult(RFB_13_1_7) = TRUE
}


//     건축물의 설비기준 등에 관한 규칙 13조 (개별난방설비) 1항 1호
Check(RFB_13_1_1){
     KS
}

KS{
     hasSpace(Room, Boiler) = FALSE
     
     Room myRoom{
          hasSpace(Room, Boiler) = TRUE
     }

     Room myRoom2{
          hasAdjacent(myRoom, Room) = TRUE
     }

     Wall myWall{
          isPartitioned(myRoom, myRoom2, Wall) = TRUE
          hasObject(Wall, Door.isEntrance) = FALSE
          isObjectProperty(Wall.isfireResistantStructure) = TRUE
     }

     isExist(myWall) = TRUE
}


//     건축물의 설비기준 등에 관한 규칙 13조 (개별난방설비) 1항 2호

Check(RFB_13_1_2){

     IF CS THEN KS

}



CS{

     isExist(Boiler) = TRUE
isObjectProperty(Boiler.isElectricBoiler) = FALSE
}



KS{

     Ventilator myVentilator{

          getObjectArea(Ventilator) >= 0.5cm2

     }


Space mySpace{
getSpaceUsage(Space) = "BoilerRoom"  
}
     isInstalled(myVentilator, mySpace, a, top) = TRUE



     AirInlet myAirInlet{

          getObjectDiameter(AirInlet, b) >= 10cm

     }



     AirOutlet myAirOutlet{

          getObjectDiameter(AirOutlet, b) >= 10cm

     }



     (isInstalled(myAirInlet, mySpace, a, top) = TRUE

     OR isInstalled(myAirOutlet, mySpace, a, top) = TRUE)



     (isInstalled(myAirInlet, mySpace, a, bottom) = TRUE

     OR isInstalled(myAirOutlet, mySpace, a, bottom) = TRUE)

}


//     건축물의 설비기준 등에 관한 규칙 13조 (개별난방설비) 1항 5호

Check(RFB_13_1_5){

     IF CS THEN KS

}



CS{
isObjectProperty(Boiler.isOilBoiler) = FALSE

}



KS{
Space mySpace1{
getSpaceUsage(Space) = "BoilerRoom"  
}

Space mySpace2{
getSpaceUsage(Space) = "OilStorageFacilities"
}
     hasSpace(mySpace1, mySpace2) = FALSE

}


//     건축물의 설비기준 등에 관한 규칙 13조 (개별난방설비) 1항 6호

Check(RFB_13_1_6){

     IF CS THEN KS

}



CS{

     getBuildingUsage() = "Officetel"

}



KS{

     Wall myWall{

          isObjectProperty(Wall.isfireResistantStructure)

     }



     FloorSlab myFloorSlab{

          isObjectProperty(FloorSlab.isFireResistantStructure) = TRUE

     }



     Door myDoor{

          isObjectProperty(Door.isStrictFireproofDoor) = TRUE

     }


Zone myZone{
isObjectProperty(Zone.isHeatingSection) = TRUE
}
     isPartitioned(myZone, myWall) = TRUE

     OR isPartitioned(myZone, myFloorSlab) = TRUE

     OR isPartitioned(myZone, myDoor) = TRUE

}


//건축물의 설비기준 등에 관한 규칙 13조 (개별난방설비) 1항 7호

Check(RFB_13_1_7){

     KS

}

KS{

     isFireResistantStructure(GasDuct) = TRUE

     isShared(GasDuct) = TRUE

}


//     건축물의 설비기준 등에 관한 규칙 13조 (개별난방설비) 2항

Check(RFB_13_2){

     IF CS THEN KS

}



CS{

     getBuildingUsage() = "Officetel"

}



KS{

     Wall myWall{

          isObjectProperty(Wall.isfireResistantStructure)

     }



     FloorSlab myFloorSlab{

          isObjectProperty(FloorSlab.isFireResistantStructure) = TRUE

     }



     Door myDoor{

          isObjectProperty(Door.isStrictFireproofDoor) = TRUE

     }


Zone myZone{
isObjectProperty(Zone.isHeatingSection) = TRUE
}
     isPartitioned(myZone, myWall) = TRUE

     OR isPartitioned(myZone, myFloorSlab) = TRUE

     OR isPartitioned(myZone, myDoor) = TRUE

}

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

Check(RFB_14_1){

IF (CS) THEN KS

}



CS {

     isObjectProperty(Floor.isEscape) = FALSE

}



KS {

        isExist(SmokeExhaustionSystem)=TRUE

     getResult(RFB_14_1_1) = TRUE

     AND getResult(RFB_14_1_2) = TRUE

}


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

Check(RFB_14_1_1){

     IF (CS) THEN KS1 AND KS2

}



Zone myZone{

          isObjectProperty(Zone.isFirePartition) = TRUE

     }





CS{

     isObjectProperty(Building.isFirePartition) = TRUE

}



KS1{

     

     hasSpace(myZone, SmokeVentilator) = TRUE

     

     getObjectVerticalDistance(SmokeVentilator, Ceiling) < 0.9 m

     OR getObjectVerticalDistance(SmokeVentilator, CeilingCovering) < 0.9 m

}



KS2{     

     IF{

          getSpaceHeight(myZone, b) >= 3 m

     }



     THEN{

          getObjectVerticalDistance(SmokeVentilator, FloorSlab) >= 2.1 m 

     }

}


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

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

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

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

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

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

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


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

Check(RFB_14_2){

IF CS THEN KS

}

CS {     

   

           isObjectProperty(Stair.isSpecialEscape)=TRUE



           OR isObjectProperty(Elevator.isEmergency)=TRUE   

}



KS {

     getResult(RFB_14_2_1) = TRUE

     getResult(RFB_14_2_4) = TRUE

}


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



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

     isObjectProperty(myDuct.Material.nonCombustibility) = TRUE

     (isConnectedToExternal(SmokeExhaustionOpening) = TRUE

        isConnectedToExternal(myDuct) = TRUE)

     OR( isConnectedTo(SmokeExhaustionOpening,Chimney) = TRUE

            isConnectedTo(myDuct,Chimney) = TRUE)

}


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

Check(RFB_14_2_4){

     IF    isConnectedToExternal(SmokeExhaustionOpening) = FALSE

           THEN isExist(SmokeExtractor) = TRUE

}

//     건축물의 설비기준 등에 관한 규칙 17조의2 (차수설비) 1항

Check(RFB_17-2_1){

     IF CS THEN KS

}



CS{

     getResult(RFB_17-2_1_1) = TRUE

     OR getResult(RFB_17-2_1_2) = TRUE



     getGrossFloorArea() >= 10000m2

}



KS{

     Floor myFloor{

          getObjectProperty(Floor.number) <0

     }



     hasSpace(myFloor,WaterCutoffSystem) = TRUE

}


//     건축물의 설비기준 등에 관한 규칙 17조의2 (차수설비) 1항 1호
Check(RFB_17-2_1_1){
     KS
}

KS{
     getResult(LPUA_37_1_5) = TRUE
}


//     건축물의 설비기준 등에 관한 규칙 17조의2 (차수설비) 1항 1호

Check(RFB_17-2_1_2){

     KS

}



KS{

     getResult(Unimplemented_CNDA_12_1) = TRUE

}