|
1
|
건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 제 11조 5 항 1호
1. 제1종 근린생활시설 중 지역자치센터·파출소·지구대·소방서·우체국·방송국·보건소·공공도서관·지역건강보험조합 기타 이와 유사한 것으로서 동일한 건축물안에서 당해 용도에 쓰이는 바닥면적의 합계가 1천제곱미터 미만인 것
|
//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 5항 1호
Check(REFB_11_5_1){
KS
}
KS {
Building myBuilding{
getBuildingUsage() = “ClassINeighborhoodLivingFacility.CommunityCenter”
OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PoliceBox”
OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PoliceSubstation”
OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.FireStation”
OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PostOffice”
OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.BroadcastingStation”
OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.HealthCenter”
OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PublicLibrary”
OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.RegionalHealthInsuranceAssociation”
}
Space mySpace{
Space.usage=“CommunityCenter”
Space.usage=“PoliceBox”
Space.usage=“PoliceSubstation”
Space.usage=“FireStation”
Space.usage=“PostOffice”
Space.usage=“BroadcastingStation”
Space.usage=“HealthCenter”
Space.usage=“PublicLibrary”
Space.usage=“RegionalHealthInsuranceAssociation”
Space.FloorSlab.area < 1000 m2
}
isExist(myBuilding) = TRUE
isExist(mySpace) = TRUE
}
|
Python Code 변환 예정
|
|
|