|
|
L
|
특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계
|
15283
스프링클러설비의 화재안전기준(NFSC 103) 10 조
""
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 6조 (간이스프링클러설비의 방호구역·유수검지장치) Check(NFSC503A_6){ IF CS THEN KS }
ParkingLot myParkingLot{ hasSpace(SpecificFireFightingBuilding, ParkingLot) = TRUE }
CS{ isInstalled(SimpleSprinklerSystem, SpecificFireFightingBuilding) = TRUE }
KS{ getObjectProperty(SprinklerSystem.type) != "WetPipeSprinklerSystem" }
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14662
스프링클러설비의 화재안전기준(NFSC 103) 10 조
1항
"제10조(헤드) ① 스프링클러헤드는 특정소방대상물의 천장·반자·천장과 반자사이·덕트·선반 기타 이와 유사한 부분(폭이 1.2m를 초과하는 것에 한한다)에 설치하여야 한다. 다만, 폭이 9m 이하인 실내에 있어서는 측벽에 설치할 수 있다."
//스프링클러설비의 화재안전기준(NFSC 103) 10조 (헤드) 1항
Check(NFSC_10_1){
KS2 AND IF CS THEN KS1
KS2{
Space mySpace1{
천장과반자사이
}
hasElement(SpecificFireFightingBuilding.Ceiling,SprinklerHead)= TRUE
hasElement(SpecificFireFightingBuilding.CeilingCovering,SprinklerHead)= TRUE
hasElement(SpecificFireFightingBuilding.mySpace1,SprinklerHead)= TRUE
hasElement(SpecificFireFightingBuilding.Duct,SprinklerHead)= TRUE
hasElement(SpecificFireFightingBuilding.Shelf,SprinklerHead)= TRUE
}
CS{
Space mySpace2{
isExternal(Space)= FALSE
}
getSpaceWidth(Building.mySpace)<= 9m
}
KS1{
Wall myWall{
Wall.isSideWall=TRUE
}
hasElement(myWall,SprinklerSystem.Head)=TRUE
hasElement(myWall,SprinklerSystem.Head)=FALSE
}
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14774
스프링클러설비의 화재안전기준(NFSC 103) 15 조
1항
3호
"3. 발전실·변전실·변압기·기타 이와 유사한 전기설비가 설치되어 있는 장소"
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 3호
Check(NFSC103_15_1_3){
KS
}
KS{
getBuildingUsage() = "GeneratorRoom"
OR getBuildingUsage() = "TransformerRoom"
OR isInstalled(
Transformer, Room) = TRUE
}
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14670
스프링클러설비의 화재안전기준(NFSC 103) 10 조
5항
"⑤ 다음 각 호의 어느 하나에 해당하는 장소에는 조기반응형 스프링클러헤드를 설치하여야 한다."
Check(NFCS103_10_5){
IF CS THEN KS
}
CS{
getResult(NFCS103_10_5_1)
OR getResult(NFCS103_10_5_2)
}
KS{
Head myHead{
getObjectProperty(SprinklerSystem.Head.responseType)=QuickResponseType
}
isInstalled(myHead) = TRUE
}
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14671
스프링클러설비의 화재안전기준(NFSC 103) 10 조
5항
1호
"1. 공동주택·노유자시설의 거실"
Check(NFCS103_10_5_1_1){ KS }
KS{ getSpaceUsage()= "MultiUnitHouse.LivingRoom" OR getSpaceUsage()="FacilitiesForTheAgedAndChildren.LivingRoom" }
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14672
스프링클러설비의 화재안전기준(NFSC 103) 10 조
5항
2호
"2. 오피스텔·숙박시설의 침실, 병원의 입원실"
Check(NFCS103){ KS }
KS{ getSpaceUsage()="Officetels.BedRoom" OR getSpaceUsage()="LodgingFacility.BedRoom" OR getSpaceUsage()="Hospital.HospitalRoom" }
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14674
스프링클러설비의 화재안전기준(NFSC 103) 10 조
7항
"⑦ 스프링클러헤드는 다음 각 호의 방법에 따라 설치하여야 한다."
//스프링클러설비의 화재안전기준(NFSC 103) 10조 7호 check(NFSC103_10_7){ getResult(NFSC103_10_7_1) = TRUE getResult(NFSC103_10_7_2) = TRUE getResult(NFSC103_10_7_3) = TRUE getResult(NFSC103_10_7_4) = TRUE getResult(NFSC103_10_7_5) = TRUE getResult(NFSC103_10_7_6) = TRUE getResult(NFSC103_10_7_7) = TRUE getResult(NFSC103_10_7_8) = TRUE }
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
14675
스프링클러설비의 화재안전기준(NFSC 103) 10 조
7항
1호
"1. 살수가 방해되지 아니하도록 스프링클러헤드로부터 반경 60㎝ 이상의 공간을 보유할 것. 다만, 벽과 스프링클러헤드간의 공간은 10㎝ 이상으로 한다."
//스프링클러설비의 화재안전기준(NFSC 103) 10조 7호 1항
check(NFSC103_10_7_1){ KS }
KS{ getObjectDistance(Wall, SprinklerHead) >= 10cm isVacant(SprinklerHead,a, 60) = TRUE }
|
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
14676
스프링클러설비의 화재안전기준(NFSC 103) 10 조
7항
2호
"2. 스프링클러헤드와 그 부착면(상향식헤드의 경우에는 그 헤드의 직상부의 천장·반자 또는 이와 비슷한 것을 말한다. 이하 같다)과의 거리는 30㎝ 이하로 할 것."
Check(NFCS103){ KS}
KS{ getObjectDistance(SprinklerHead,Ceiling,a)<=30CM }
|
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
14677
스프링클러설비의 화재안전기준(NFSC 103) 10 조
7항
3호
"3. 배관·행가 및 조명기구 등 살수를 방해하는 것이 있는 경우에는 제1호 및 제2호에도 불구하고 그로부터 아래에 설치하여 살수에 장애가 없도록 할 것. 다만, 스프링클러헤드와 장애물과의 이격거리를 장애물 폭의 3배 이상 확보한 경우에는 그러하지 아니하다.<개정 2008.12.15>"
Check(NFCS103_10_7_3){
IF !CS THEN KS
}
objectDistance myObjectDistance1{
getObjectDistance(SprinklerHead,Obstacle,a)
}
objectDistance myObjectDistance2{
getObjectDistance(SprinklerHead,Ceiling,a)
}
CS{
getObjectWidth(Obstacle)<="myObjectDistance"
KS{
getObjectDistance(Pipe,Ceiling,a)<"myObjectDistance"
OR getObjectDistance(Pipe,Hanger,a)<"myObjectDistance"
OR getObjectDistance(Pipe,LightingFixture,a)<"myObjectDistance"
}
|
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
14678
스프링클러설비의 화재안전기준(NFSC 103) 10 조
7항
4호
"4. 스프링클러헤드의 반사판은 그 부착 면과 평행하게 설치할 것. 다만, 측벽형헤드 또는 제6호에 따른 연소할 우려가 있는 개구부에 설치하는 스프링클러헤드의 경우에는 그러하지 아니하다."
//스프링클러설비의 화재안전기준(NFSC 103) 10조 (헤드) 7항4호
Check(NFSC103_10_7_4){ IF !CS THEN KS }
CS{
getObjectProperty(SprinklerHead.shapeType)="SideWallType" OR getResult(NFSC203_10_7_6)=TRUE }
KS{ isParallel(SprinklerHead.Deflector,Deflector.AttachingToSurface)=TRUE
}
|
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
14679
스프링클러설비의 화재안전기준(NFSC 103) 10 조
7항
5호
"5. 천장의 기울기가 10분의 1을 초과하는 경우에는 가지관을 천장의 마루와 평행하게 설치하고, 스프링클러헤드는 다음 각 목의 어느 하나의 기준에 적합하게 설치할 것"
//스프링클러설비의 화재안전기준(NFSC 103) 10조 (헤드) 7항5호 Check(NFSC103_10_7_5){ IF CS THEN KS }
CS{ getObjectProperty(Ceiling.gradient)>1/10 }
KS{ isParallel(BranchPipe, Ceiling.Top)=TRUE getResult(NFSC103_10_7_5_1)=TRUE OR getResult(NFSC103_10_7_5_2)=TRUE }
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
14680
스프링클러설비의 화재안전기준(NFSC 103) 10 조
7항
5호
가목
"가. 천장의 최상부에 스프링클러헤드를 설치하는 경우에는 최상부에 설치하는 스프링클러헤드의 반사판을 수평으로 설치할 것"
//스프링클러설비의 화재안전기준(NFSC 103) 10조 (헤드) 7항5호
Check(NFSC103_10_7_5_1){ IF CS THEN KS }
CS{ isInstalled(SprinklerHead, a)=TRUE }
KS{ isHorizontal(SprinklerHead.Deflector)=TRUE }
|
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
14681
스프링클러설비의 화재안전기준(NFSC 103) 10 조
7항
5호
나목
"나. 천장의 최상부를 중심으로 가지관을 서로 마주보게 설치하는 경우에는 최상부의 가지관 상호간의 거리가 가지관상의 스프링클러헤드 상호간의 거리의 2분의 1이하(최소 1m 이상이 되어야 한다)가 되게 스프링클러헤드를 설치하고, 가지관의 최상부에 설치하는 스프링클러헤드는 천장의 최상부로부터의 수직거리가 90㎝ 이하가 되도록 할 것. 톱날지붕, 둥근지붕 기타 이와 유사한 지붕의 경우에도 이에 준한다."
//스프링클러설비의 화재안전기준(NFSC 103) 10조 (헤드) 7항5호 나목
Check(NFSC103_10_7_5_2){
IF CS THEN KS
}
CS{
isInstalled(Celling,BranchPipe,b)=TRUE
}
KS{
BD=getElementDistance(BranchPipe, c)
SD=getElementDistance(SprinklerHead, c)
SD/BD>=2
BD>=1 m
IF isInstalled(BranchPipe, SprinklerHead, a )=TRUE
THEN getVerticalDistance(SprinklerHead,Ceiling.UppermostPart)<=90 cm
END IF
}
|
|
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
14682
스프링클러설비의 화재안전기준(NFSC 103) 10 조
7항
6호
"6. 연소할 우려가 있는 개구부에는 그 상하좌우에 2.5m 간격으로(개구부의 폭이 2.5m 이하인 경우에는 그 중앙에) 스프링클러헤드를 설치하되, 스프링클러헤드와 개구부의 내측 면으로부터 직선거리는 15㎝ 이하가 되도록 할 것. 이 경우 사람이 상시 출입하는 개구부로서 통행에 지장이 있는 때에는 개구부의 상부 또는 측면(개구부의 폭이 9m 이하인 경우에 한한다)에 설치하되, 헤드 상호간의 간격은 1.2m 이하로 설치하여야 한다."
//스프링클러설비의 화재안전기준(nfsc 103) 10조 (헤드) 7항 6호
Check(NFSC103_10_7_6){ IF (CS1 THEN KS1) or (CS2 THEN KS2) } CS1{ isObjectProperty(Opening.isFireSpreading)=TRUE getObjectWidth(Opening, a) > 2.5m } KS2{ isInstalled(Opening, Sprinkler.Head, 2.5m) = TRUE getElementDistance(Opening.InsideSurface, Sprinkler.Head) <= 15cm }
CS2{ isObjectProperty(Opening.isFireSpreading)=TRUE getObjectWidth(Opening, Sprinkler.Head, a) <= 2.5m } KS2{ isInstalled(Opening, Sprinkler.Head, center) = TRUE getElementDistance(Opening.InsideSurface, Sprinkler.Head) <= 15cm }
|
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
14683
스프링클러설비의 화재안전기준(NFSC 103) 10 조
7항
7호
"7. 습식스프링클러설비 및 부압식스프링클러설비 외의 설비에는 상향식스프링클러헤드를 설치할 것. 다만, 다음 각 목의 어느 하나에 해당하는 경우에는 그러하지 아니하다.<개정 2011.11.24>"
//스프링클러설비의 화재안전기준(NFSC 103) 10조 7항 7호
check(NFSC103_10_7_7){
IF !CS THEN KS
}
CS{
getResult(NFSC103_10_7_7_가)=TRUE
OR getResult(NFSC103_10_7_7_나)=TRUE
}
KS{
SprinklerHead mySprinklerHead{
SprinklerHead.installationDirectionType="BottomUpType"
}
SprinklerSystem mySprinklerSystem1{
SprinklerSystem.type = "VacuumSprinklerExtinguishingSystem"
}
SprinklerSystem mySprinklerSystem2{
SprinklerSystem.type = "WetPipeSprinklerSystem"
}
hasElement(mySprinklerSystem1, mySprinklerHead)=TRUE
hasElement(mySprinklerSystem2, mySprinklerHead)=TRUE
}
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14684
스프링클러설비의 화재안전기준(NFSC 103) 10 조
7항
7호
가목
"가. 드라이펜던트스프링클러헤드를 사용하는 경우"
//스프링클러설비의 화재안전기준(NFSC 103) 10조 7항 7호 가목 check(NFSC103_10_7_7_가){ KS }
KS{ SprinklerHead mySprinklerHead{ isObjectProperty(SprinklerHead.isDryPendent)=TRUE }
SprinklerSystem mySprinklerSystem{ getObject(WetPipeSprinklerSystem) getObject(VacuumSprinklerExtinguishingSystem) } SprinklerSystem mySprinklerSystem1{ getObject(SprinklerSystem)!= mySprinklerSystem }
hasElement(mySprinklerSystem1, mySprinklerHead)=TRUE }
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14686
스프링클러설비의 화재안전기준(NFSC 103) 10 조
7항
7호
다목
"다. 개방형스프링클러헤드를 사용하는 경우"
//스프링클러설비의 화재안전기준(NFSC 103) 10조 7항 7호 다목 check(NFSC103_10_7_7_다){ KS }
KS{ SprinklerHead mySprinklerHead{ isObjectProperty(SprinklerHead.openAndCloseType)="OpenType" }
SprinklerSystem mySprinklerSystem{ getObject(WetPipeSprinklerSystem) getObject(VacuumSprinklerExtinguishingSystem) } SprinklerSystem mySprinklerSystem1{ getObject(SprinklerSystem)!= mySprinklerSystem }
hasElement(mySprinklerSystem1, mySprinklerHead)=TRUE }
|
|
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
14687
스프링클러설비의 화재안전기준(NFSC 103) 10 조
7항
8호
"8. 측벽형스프링클러헤드를 설치하는 경우 긴 변의 한쪽 벽에 일렬로 설치(폭이 4.5m 이상 9m 이하인 실에 있어서는 긴변의 양쪽에 각각 일렬로 설치하되 마주보는 스프링클러헤드가 나란히꼴이 되도록 설치)하고 3.6m 이내마다 설치할 것"
//스프링클러설비의 화재안전기준 10조 (헤드) 7항 8호 check(NFSC103_10_7_8){ IF CS THEN KS }
SprinklerHead mySprinklerHead{ getObjectProperty(SprinklerHead.shapeType) = "SideWallType" }
CS{ isExist(mySprinklerHead) = TRUE }
KS{ isInstalled(mySprinklerHead, c) = TRUE }
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14689
스프링클러설비의 화재안전기준(NFSC 103) 10 조
8항
"⑧ 제7항제2호에도 불구하고 특정소방대상물의 보와 가장 가까운 스프링클러 헤드는 다음 표의 기준에 따라 설치하여야 한다. 다만, 천장 면에서 보의 하단까지의 길이가 55㎝를 초과하고 보의 하단 측면 끝부분으로부터 스프링클러헤드까지의 거리가 스프링클러헤드 상호간 거리의 2분의 1 이하가 되는 경우에는 스프링클러헤드와 그 부착 면과의 거리를 55㎝ 이하로 할 수 있다.<개정 2013.6.10>
(표)"
//스프링클러설비의 화재안전기준 10조 (헤드) 8항 check(NFSC103_10_8){ (IF !(CS1) THEN KS1) or (IF CS1 THEN KS2) }
KS1{ Beam myBeam{ hasObject(SpecificFireFightingBuilding, Beam) = TRUE }
getElementDistance(myBeam, SprinklerHead, 1) = TRUE
//Table
getElementDistance(SprinklerHead.Deflector, Beam, a) + getObjectWidth(SprinklerHead.Deflector)*0.5 = SBD getObjectVerticalDistance(SprinklerHead.Deflector, Beam.BottomSurface, a) = SHD
IF SBD < 0.75 m THEN SHD < getObjectHeight(Beam.BottomSurface)
IF 0.75 m <= SBD < 1 m THEN SHD < 0.1 m
IF 1 m <= SBD < 1.5 m THEN SHD < 0.15 m
IF SBD >= 1.5 m THEN SHD < 0.3 m }
CS1{ getObjectDistance(Ceiling.Surface, Beam.BottomSurface) > 55 cm getObjectDistance(Beam.BottomSideSurface, SprinklerHead) = OD OD <= getElementDistance(SprinklerHead, c)*0.5 }
KS2{ getObjectDistance(SprinklerHead, SprinklerHead.AttachingToSurface) <= 55 cm }
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14663
스프링클러설비의 화재안전기준(NFSC 103) 10 조
2항
"② 랙크식창고의 경우로서「소방기본법시행령」별표 2의 특수가연물을 저장 또는 취급하는 것에 있어서는 랙크높이 4m 이하마다, 그 밖의 것을 취급하는 것에 있어서는 랙크높이 6m 이하마다 스프링클러헤드를 설치하여야 한다. 다만, 랙크식창고의 천장높이가 13.7m 이하로서 「화재조기진압용 스프링클러설비의 화재안전기준(NFSC 103B)」에 따라 설치하는 경우에는 천장에만 스프링클러헤드를 설치할 수 있다.<개정 2013.6.10>"
// 스프링클러설비의 화재안전기준(NFSC 103) 10조 (음향장치 및 기동장치) 2항
Check(NFSC103_10_2){
IF (CS1 THEN KS1) OR (CS2 THEN KS2)
}
CS1{
Space.usage = "RackWarehouse"
isObjectProperty(Space.hasSpecialCombustible) = TRUE
}
KS1{
getObjectHeight(Rack) / 4 = RH
(RH-1) <= getObjectCount(SprinklerHead) < RH
getObjectInterval(SprinklerHead) = 4m
}
CS2{
Space.usage = "RackWarehouse"
isObjectProperty(Space.hasSpecialCombustible) != TRUE
}
KS2{
getObjectHeight(Rack) / 6 = RH
(RH-1) <= getObjectCount(SprinklerHead) < RH
getObjectInterval(SprinklerHead) = 6m
}
|
|