|
|
|
관계유형
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9371
연결살수설비의 화재안전기준(nfsc 503) 6 조
3항
1호
"1. 그 설치장소의 평상시 최고 주위온도에 따라 다음 표에 따른 표시온도의 것으로 설치할 것. 다만, 높이가 4m 이상인 공장 및 창고(랙크식창고를 포함한다)에 설치하는 스프링클러헤드는 그 설치장소의 평상시 최고 주위온도에 관계없이 표시온도 121℃ 이상의 것으로 할 수 있다."
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항
Check(NFSC503_6_3){
IF CS THEN KS
}
CS{
Head myHead{
getObjectProperty(SprinklerSystem.Head.openAndCloseType) = "EnclosedType"
}
isExist(myHead) = TRUE
}
KS{
getResult(NFSC503_6_3_2) = TRUE
getResult(NFSC503_6_3_3) = TRUE
getResult(NFSC503_6_3_5) = TRUE
getResult(NFSC503_6_3_6) = TRUE
}
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9373
연결살수설비의 화재안전기준(nfsc 503) 6 조
3항
2호
"2. 살수가 방해되지 아니하도록 스프링클러헤드로부터 반경 60㎝ 이상의 공간을 보유할 것. 다만, 벽과 스프링클러헤드간의 공간은 10㎝이상으로 한다. "
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 2호 Check(NFSC503_6_3_2){ KS }
KS{ isVacant(SprinklerHead,a, 60) = TRUE getObjectDistance(Wall, SprinklerHead) >= 10CM }
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9374
연결살수설비의 화재안전기준(nfsc 503) 6 조
3항
3호
"3. 스프링클러헤드와 그 부착면(상향식헤드의 경우에는 그 헤드의 직상부의 천장·반자 또는 이와 비슷한 것을 말한다. 이하 같다)과의 거리는 30㎝ 이하로 할 것 "
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 3호 Check(NFSC503_6_3_3){ IF (CS1 THEN KS1) or (CS2 THEN KS2) }
CS1{ getObjectProperty(SprinklerHead) != "BottomUpType" }
KS1{ getObjectDistance(SprinklerHead.AttachingToSurface, SprinklerHead) <= 30CM }
CS2{ getObjectProperty(SprinklerHead) = "BottomUpType" }
KS2{ getObjectVerticalDistance(Ceiling, SprinklerHead) <= 30CM }
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9376
연결살수설비의 화재안전기준(nfsc 503) 6 조
3항
5호
"5. 스프링클러헤드의 반사판은 그 부착면과 평행하게 설치할 것. 다만, 측벽형헤드 또는 제7호에 따라 연소할 우려가 있는 개구부에 설치하는 스프링클러헤드의 경우에는 그러하지 아니하다."
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 5호
Check(NFSC503_6_3_5){
IF !CS THEN KS
}
CS{
getObjectProperty(SprinklerSystem.Head.shapeType) = "SideWallType"
}
KS{
isParallel(SprinklerSystem.Head.Deflector, SprinklerSystem.Head.AttachingToSurface) = TRUE
}
L
|
특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계
|
9380
연결살수설비의 화재안전기준(nfsc 503) 6 조
3항
7호
"7. 연소할 우려가 있는 개구부에는 그 상하좌우에 2.5m 간격으로(개구부의 폭이 2.5m 이하인 경우에는 그 중앙에) 스프링클러헤드를 설치하되, 스프링클러헤드와 개구부의 내측면으로부터의 직선거리는 15㎝ 이하가 되도록 할 것. 이 경우 사람이 상시 출입하는 개구부로서 통행에 지장이 있는 때에는 개구부의 상부 또는 측면(개구부의 폭이 9m 이하인 경우에 한한다)에 설치하되, 헤드 상호간의 간격은 1.2m 이하로 설치하여야 한다. "
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 7호
Check(NFSC503_6_3_7){
IF (CS1 THEN KS1) or (CS2 THEN KS2)
}
CS1{
Opening myOpening{
isObjectProperty(Opening.isFireSpreading) = TRUE
}
isExist(myOpening) = TRUE
getObjectWidth(myOpening, a) > 2.5m
}
KS1{
(getObjectDistance(myOpening.InsideSurface, SprinklerSystem.Head) <= 15cm
getObjectWidth(SprinklerSystem.Head, a) = 2.5m)
OR (getObjectWidth(myOpening) <= 9m
getObjectDistance(myOpening.InsideSurface, SprinklerSystem.Head) <= 15cm
getObjectWidth(SprinklerSystem.Head, a) <= 1.2m)
}
CS2{
Opening myOpening{
isObjectProperty(Opening.isFireSpreading) = TRUE
}
isExist(myOpening) = TRUE
getObjectWidth(myOpening, a) <= 2.5m
}
KS2{
hasObject(myOpening, SprinklerSystem.Head) = TRUE
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9377
연결살수설비의 화재안전기준(nfsc 503) 6 조
3항
6호
"6. 천장의 기울기가 10분의 1을 초과하는 경우에는 가지관을 천장의 마루와 평행하게 설치하고, 스프링클러헤드는 다음 각 목의 어느 하나의 기준에 적합하게 설치할 것 "
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 6호
Check(NFSC503_6_3_6){
IF CS THEN (KS1 AND KS2)
}
CS{
getObjectProperty(Ceiling.gradient) > 0.1
}
KS1{
isObjectProperty(Pipe.isBranchLines) = TRUE
isParallel(Pipe, Ceiling.Top.) = TRUE
}
KS2{
getResult(NFSC503_6_3_6_1) = TRUE
getResult(NFSC503_6_3_6_2) = TRUE
}
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
9378
연결살수설비의 화재안전기준(nfsc 503) 6 조
3항
6호
가목
"가. 천장의 최상부에 스프링클러헤드를 설치하는 경우에는 최상부에 설치하는 스프링클러헤드의 반사판을 수평으로 설치할 것 "
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 6호 가목
Check(NFSC503_6_3_6_1){
IF CS THEN KS
}
CS{
hasObject(Celing, SprinklerSystem.Head) = TRUE
}
KS{
isParallel(Ceiling, SprinklerSystem.Head.Deflector) = TRUE
}
|
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
9379
연결살수설비의 화재안전기준(nfsc 503) 6 조
3항
6호
나목
"나. 천장의 최상부를 중심으로 가지관을 서로 마주보게 설치하는 경우에는 최상부의 가지관 상호간의 거리가 가지관상의 스프링클러헤드 상호간의 거리의 2분의 1이하(최소 1m 이상이 되어야 한다)가 되게 스프링클러헤드를 설치하고, 가지관의 최상부에 설치하는 스프링클러헤드는 천장의 최상부로부터의 수직거리가 90㎝ 이하가 되도록 할 것. 톱날지붕, 둥근지붕 기타 이와 유사한 지붕의 경우에도 이에 준한다."
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 6호 나목
Check(NFSC503_6_3_6_2){
IF (CS1 THEN KS1) or (CS2 THEN KS2)
}
CS1{
hasObject(Ceiling, SprinklerHead.Deflector) = TRUE
getObjectWidth(SprinklerHead, c) = SH
getObjectWidth(SprinklerHead.Deflector) = SHD
SH*0.5 < 1m
}
KS1{
getObjectWidth(SprinklerHead.Deflector) = 1m
getVerticalObjectDistance(SprinklerHead, Ceiling) <= 90cm
}
CS2{
hasObject(Ceiling, SprinklerSystemHead.Deflector) = TRUE
getObjectWidth(SprinklerSystemHead, c) = SH
getObjectWidth(SprinklerSystemHead.Deflector) = SHD
SH*0.5 >= 1m
}
KS2{
getObjectWidth(SprinklerSystemHead.Deflector) = SHD
SHD <= SH*0.5
getVerticalObjectDistance(SprinklerSystemHead, Ceiling) <= 90cm
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9380
연결살수설비의 화재안전기준(nfsc 503) 6 조
3항
7호
"7. 연소할 우려가 있는 개구부에는 그 상하좌우에 2.5m 간격으로(개구부의 폭이 2.5m 이하인 경우에는 그 중앙에) 스프링클러헤드를 설치하되, 스프링클러헤드와 개구부의 내측면으로부터의 직선거리는 15㎝ 이하가 되도록 할 것. 이 경우 사람이 상시 출입하는 개구부로서 통행에 지장이 있는 때에는 개구부의 상부 또는 측면(개구부의 폭이 9m 이하인 경우에 한한다)에 설치하되, 헤드 상호간의 간격은 1.2m 이하로 설치하여야 한다. "
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 7호
Check(NFSC503_6_3_7){
IF (CS1 THEN KS1) or (CS2 THEN KS2)
}
CS1{
Opening myOpening{
isObjectProperty(Opening.isFireSpreading) = TRUE
}
isExist(myOpening) = TRUE
getObjectWidth(myOpening, a) > 2.5m
}
KS1{
(getObjectDistance(myOpening.InsideSurface, SprinklerSystem.Head) <= 15cm
getObjectWidth(SprinklerSystem.Head, a) = 2.5m)
OR (getObjectWidth(myOpening) <= 9m
getObjectDistance(myOpening.InsideSurface, SprinklerSystem.Head) <= 15cm
getObjectWidth(SprinklerSystem.Head, a) <= 1.2m)
}
CS2{
Opening myOpening{
isObjectProperty(Opening.isFireSpreading) = TRUE
}
isExist(myOpening) = TRUE
getObjectWidth(myOpening, a) <= 2.5m
}
KS2{
hasObject(myOpening, SprinklerSystem.Head) = TRUE
}
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9381
연결살수설비의 화재안전기준(nfsc 503) 6 조
3항
8호
"8. 습식 연결살수설비외의 설비에는 상향식스프링클러헤드를 설치할 것. 다만, 다음 각 목의 어느 하나에 해당하는 경우에는 그러하지 아니하다. "
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 8호
Check(NFSC503_6_3_8){
IF CS THEN KS
}
CS{
isObjectProperty(SprinklerSystem.type) != WetPipeSprinklerSystem
(getResult(NFSC503_6_3_8_1) = FALSE
OR getResult(NFSC503_6_3_8_2) = FALSE)
}
KS{
mySprinklerHead{
getObjectProperty(SprinklerSystem.Head.installationDirectionType) = "BottomUpType"
}
isExist(mySprinklerHead) = TRUE
}
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
9382
연결살수설비의 화재안전기준(nfsc 503) 6 조
3항
8호
가목
"가. 드라이펜던트스프링클러헤드를 사용하는 경우 "
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 8호 가목
Check(NFSC503_6_3_8_1){
KS
}
KS{
Head myHead{
isObjectProperty(SprinklerSystem.Head.isDryPendent) = TRUE
}
isExist(mySprinklerHead) = TRUE
}
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
9384
연결살수설비의 화재안전기준(nfsc 503) 6 조
3항
8호
다목
"다. 개방형스프링클러헤드를 사용하는 경우 "
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 8호 다목
Check(NFSC503_6_3_8_3){
KS
}
KS{
Head myHead{
getObjectProperty(SprinklerSystem.Head.openAndCloseType) = "OpenType"
}
isExist(myHead) = TRUE
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9385
연결살수설비의 화재안전기준(nfsc 503) 6 조
3항
9호
"9. 측벽형스프링클러헤드를 설치하는 경우 긴변의 한쪽벽에 일렬로 설치(폭이 4.5m 이상 9m 이하인 실은 긴변의 양쪽에 각각 일렬로 설치하되 마주보는 스프링클러헤드가 나란히꼴이 되도록 설치)하고 3.6m 이내마다 설치할 것"
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 9호
Check(NFSC503_6_3_9){
IF (CS1 THEN KS1) or (CS2 THEN KS2)
}
CS1{
SprinklerHead mySprinklerHead{
getObjectProperty(SprinklerHead.shapeType) = "SideWallType"
}
isExist(mySprinklerHead) = TRUE
getObjectWidth(Room) < 4.5m
OR getObjectWidth(Room) > 9m
}
KS1{
SprinklerHead mySprinklerHead{
getObjectProperty(SprinklerHead.shapeType) = "SideWallType"
}
getObjectWidth(mySprinklerHead, c) < 3.6m
}
CS2{
Head myHead{
getObjectProperty(SprinklerSystem.Head.shapeType) = "SideWallType"
}
isExist(mySprinklerHead) = TRUE
getObjectWidth(Room) >= 4.5m
OR getObjectWidth(Room) <= 9m
}
KS2{
Head myHead{
getObjectProperty(SprinklerSystem.Head.shapeType) = "SideWallType"
}
isParallel(mySprinklerHead, Wall) = TRUE
}
|