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

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조 (직통계단의 설치기준) 1항 Check(REFB_8_1){ Stair myStair{ isObjectProperty(Stair.isDirect)=TRUE } Passage myPassage{ isConnectedTo(Room, Passage)=TRUE }      isExist(myPassage)=TRUE isConnectedTo(myStair,myPassage)=TRUE }

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

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조 (직통계단의 설치기준) 1항 Check(REFB_8_1){ Stair myStair{ isObjectProperty(Stair.isDirect)=TRUE } Passage myPassage{ isConnectedTo(Room, Passage)=TRUE }      isExist(myPassage)=TRUE isConnectedTo(myStair,myPassage)=TRUE }

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조 (직통계단의 설치기준) 2항 Check(REFB_8_2){ getObjectProperty(Building.usage)=“Factory.SemiconductorAndDisplayPanelManufacturingFactory＂ }

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 4항
Check(REFB_9_4) {
     KS
}
     Building myBuilding{
          Building.usage = “SideCorridorTypeMultiUnitHouse”
}

     Space mySpace = getSpace(“Corridor”)
     isConnectedToExternal(mySpace)=TRUE

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

//건축법 시행령 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조(관람석 등으로부터의 출구 설치) 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"
}

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

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

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

Check(EDBA_39_1_5){     
KS
}

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

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항 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조 (건축물 바깥쪽으로의 출구 설치) 1항 10호

Check(EDBA_39_1_10){     
KS
}


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

isExist(myBuliding) = TRUE
}

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

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

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

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

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

}

KS2 {

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

}

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 2항 Check(REFB_11_2){       IF CS1 AND CS2 THEN KS } CS1 { Building myBuilding{ getBuildingUsage() = “CulturalAndAssemblyFacility” OR getBuildingUsage() = “ReligiousFacility” OR getBuildingUsage() = “AmusementFacility” OR getBuildingUsage() = “FuneralParlor” getBuildingUsage() != “ExhibitionHall” getBuildingUsage() != “ZoologicalAndBotanicalGarden” } Door myDoor{ isObjectProperty(myBuilding.Door.isEntrance)=TRUE } isExist(myDoor) = TRUE } KS { getObjectProperty(myDoor.panelOperationType) != “OpeningInDoor” }

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 3항 Check(REFB_11_3){       IF CS1 AND CS2 THEN KS } CS1 { Building myBuilding{ getBuildingUsage() = “AssemblyHall” OR getBuildingUsage() = “PerformanceHall” } Space mySpace{ myBuilding.Space.name = “Auditorium” Space.FloorSlab.area >= 300 m2 } isExist(mySpace) = TRUE } CS2 { Door myDoor{ isObjectProperty(Door.isEntrance)=TRUE } hasObject(myBuilding,myDoor) = TRUE } KS { Door myDoor{ getObjectProperty(Door.functionType) = "Auxiliary" OR getObjectProperty(Door.functionType) = "Emergency" } getObjectCount(myDoor) >=2 }

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

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

hasObject(myFloor,myDoor) = TRUE
}

KS{

myFloor.myDoor.effectiveWidth >=

}

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

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

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

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

isExist(myPassage)=TRUE
}

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

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

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

}

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

Check(EDBA_39_1_1){     
KS}

KS {

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

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

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

}

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

Check(EDBA_39_1_5){     
KS
}

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

isExist(myBuliding) = TRUE
}

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

Check(EDBA_39_1_6){     
KS
}


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

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항 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
}

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

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

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

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

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

}

KS2 {

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

}

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 2항 Check(REFB_11_2){       IF CS1 AND CS2 THEN KS } CS1 { Building myBuilding{ getBuildingUsage() = “CulturalAndAssemblyFacility” OR getBuildingUsage() = “ReligiousFacility” OR getBuildingUsage() = “AmusementFacility” OR getBuildingUsage() = “FuneralParlor” getBuildingUsage() != “ExhibitionHall” getBuildingUsage() != “ZoologicalAndBotanicalGarden” } Door myDoor{ isObjectProperty(myBuilding.Door.isEntrance)=TRUE } isExist(myDoor) = TRUE } KS { getObjectProperty(myDoor.panelOperationType) != “OpeningInDoor” }

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 3항 Check(REFB_11_3){       IF CS1 AND CS2 THEN KS } CS1 { Building myBuilding{ getBuildingUsage() = “AssemblyHall” OR getBuildingUsage() = “PerformanceHall” } Space mySpace{ myBuilding.Space.name = “Auditorium” Space.FloorSlab.area >= 300 m2 } isExist(mySpace) = TRUE } CS2 { Door myDoor{ isObjectProperty(Door.isEntrance)=TRUE } hasObject(myBuilding,myDoor) = TRUE } KS { Door myDoor{ getObjectProperty(Door.functionType) = "Auxiliary" OR getObjectProperty(Door.functionType) = "Emergency" } getObjectCount(myDoor) >=2 }

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 12조 (회전문의 설치기준)
Check(REFB_12){     
IF CS THEN KS
}

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

KS {
getResult(REFB_12_1)=TRUE
}

//건축법 시행령 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조 (피난계단의 설치) 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
}