|
|
|
관계유형
|
|
|
|
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 }
|