|
|
|
관계유형
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9340
연결살수설비의 화재안전기준(nfsc 503) 5 조
1항
"제5조(배관 등) ①배관은 배관용탄소강관(KS D 3507) 또는 압력배관용탄소강관(KS D 3562)이나 이와 동등 이상의 강도·내식성 및 내열성을 가진 것으로 하여야 한다. 다만, 다음 각 호의 어느 하나에 해당하는 장소에는 법 제39조에 따라 제품검사에 합격한 소방용 합성수지배관으로 설치할 수 있다. <개정 2012.8.20>"
// 연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 1항
Check(NFSC503_5_1){ IF !CS THEN KS } CS{ getResult(NFSC503_5_1_2) = TRUE getResult(NFSC503_5_1_3) = TRUE } KS{ getObjectProperty(Pipe.Material) = "KS D 3507" OR getObjectProperty(Pipe.Material) = "KS D 3562" }
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
9341
연결살수설비의 화재안전기준(nfsc 503) 5 조
1항
1호
"1. 배관을 지하에 매설하는 경우 "
|
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
9342
연결살수설비의 화재안전기준(nfsc 503) 5 조
1항
2호
"2. 다른 부분과 내화구조로 구획된 덕트 또는 피트의 내부에 설치하는 경우 "
// 연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 1항 2호
Check(NFSC503_5_1_2){ KS } KS{ Duct myDcut{ isFireResistantStructure(Duct) = TRUE } isInstalled(Pipe, Duct) = TRUE OR isInstalled(Pipe, Pit.Inside) = TRUE }
|
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
9343
연결살수설비의 화재안전기준(nfsc 503) 5 조
1항
3호
"3. 천장(상층이 있는 경우에는 상층바닥의 하단을 포함한다. 이하 같다)과 반자를 불연재료 또는 준불연재료로 설치하고 그 내부에 습식으로 배관을 설치하는 경우 "
//연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 1항 3호
Check(NFSC503_5_1_3){
KS
}
KS{
(isObjectProperty(Ceiling.Material.nonCombustibility)=TRUE
OR isObjectProperty(Ceiling.Material.quasiNonCombustibility)=TRUE)
(isObjectProperty(CeilingCovering.Material.nonCombustibility)=TRUE
OR isObjectProperty(CeilingCovering.Material.quasiNonCombustibility)=TRUE)
SprinklerSystem mySprinklerSystem{
SprinklerSystem.type = "WetPipeSprinklerSystem"
}
isInstalled(mySprinklerSystem, Ceiling)=TRUE
isInstalled(mySprinklerSystem, CeilingCovering)=TRUE
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9344
연결살수설비의 화재안전기준(nfsc 503) 5 조
2항
"②연결살수설비의 배관의 구경은 다음 각 호의 기준에 따라 설치하여야 한다. <개정 2012.8.20>"
// 연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 2항
Check(NFSC503_5_2){ KS } KS{ getResult(NFSC503_5_2_1) = TRUE getResult(NFSC503_5_2_2) = TRUE }
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
9345
연결살수설비의 화재안전기준(nfsc 503) 5 조
2항
1호
"1. 연결살수설비 전용헤드를 사용하는 경우에는 다음 표에 따른 구경 이상으로 할 것 "
// 연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 2항 1호
Check(NFSC503_5_2_1){
IF CS THEN KS
}
CS{
getObjectProperty(Head.systemType) = "HookingUpSprinklerSystem"
isObjectProperty(Head.isShared) = FALSE
}
KS{
Head myHead{
isInstalled(Head., Pipe.One) = TRUE
}
NH = getObjectCount(myHead)
IF NH = 1 THEN getObjectDiameter(Pipe) >= 32mm
ELSE IF NH = 2 THEN getObjectDiameter(Pipe) >= 40mm
ELSE IF NH = 3 THEN getObjectDiameter(Pipe) >= 50mm
ELSE IF NH = 4 OR NH = 5 THEN getObjectDiameter(Pipe) >= 65mm
ELSE IF NH >= 6 AND HN <= 10 THEN getObjectDiameter(Pipe) >= 80mm
}
|
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
9347
연결살수설비의 화재안전기준(nfsc 503) 5 조
2항
2호
"2. 스프링클러헤드를 사용하는 경우에는 「스프링클러설비의 화재안전기준(NFSC 103)」 별표 1의 기준에 따를 것"
// 연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 2항 2호
Check(NFSC503_5_2_2){
IF CS THEN KS
}
CS{
isObjectProperty(SprinklerSystem.Head.systemType) = "HookingUpSprinklerSystem"
}
KS{
getResult(NFSC103_*_1) = TRUE
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9348
연결살수설비의 화재안전기준(nfsc 503) 5 조
3항
"③폐쇄형헤드를 사용하는 연결살수설비의 주배관은 옥내소화전설비의 주배관(옥내소화전설비가 설치된 경우에 한한다) 및 수도배관(연결살수설비가 설치된 건축물 안에 설치된 수도배관 중 구경이 가장 큰 배관을 말한다) 또는 옥상에 설치된 수조(다른 설비의 수조를 포함한다)에 접속하여야 한다. 이 경우 연결살수설비의 주배관과 옥내소화전설비의 주배관·수도배관·옥상에 설치된 수조의 접속부분에는 체크밸브를 설치하되, 점검하기 쉽게 하여야 한다. "
// 연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 3항
Check(NFSC503_5_3){
IF CS THEN KS
}
Head myHead{
isObjectProperty(Head.openAndCloseType) = "EnclosedType"
}
Pipe myPipe1{
isObjectProperty(Pipe.isRiser) = TRUE
isObjectProperty(myPipe.systemType) = "HookingUpSprinklerSystem"
}
CS{
isInstalled(myHead, myPipe1) = TRUE
}
KS{
Pipe myPipe2{
isObjectProperty(Pipe.isRiser) = TRUE
isObjectProperty(myPipe.systemType) = "IndoorFireHydrantSystem"
}
Tank myTank{
isInstalled(Tank, Rooftop) = TRUE
}
Pipe myPipe3{
Pipe.isForWater = TRUE
연결살수설비가 설치된 건축물 안에 설치된 수도배관 중 구경이 가장 큰 배관
}
Valve myValve{
isObjectProperty(Valve.isCheckValve) = TRUE
}
(isConnectedTo(myPipe1, myPipe2) = TRUE
isInstalled(myValve, myPipe1) = TRUE
isInstalled(myValve, myPipe2) = TRUE)
OR (isConnectedTo(myPipe1, myPipe3) = TRUE
isInstalled(myValve, myPipe1) = TRUE
isInstalled(myValve, myPipe3) = TRUE)
OR (isConnectedTo(myPipe1, myTank) = TRUE
isInstalled(myValve, myPipe1) = TRUE
isInstalled(myValve, myTank) = TRUE)
}
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9349
연결살수설비의 화재안전기준(nfsc 503) 5 조
4항
"④폐쇄형헤드를 사용하는 연결살수설비에는 다음 각 호의 기준에 따른 시험배관을 설치하여야 한다. <개정 2012.8.20> "
// 연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 4항
Check(NFSC503_5_4){ IF CS THEN KS } CS{ Head myHead{ isObjectProperty(Head.openAndCloseType) = "EnclosedType" } isObjectProperty(myHead.systemType) = "HookingUpSprinklerSystem" } KS{ isInstalled(myPipe) = TRUE getResult(NFSC503_5_4_1) = TRUE getResult(NFSC503_5_4_2) = TRUE }
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9350
연결살수설비의 화재안전기준(nfsc 503) 5 조
4항
1호
"1. 송수구의 가장 먼 가지배관의 끝으로부터 연결하여 설치할 것 "
// 연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 4항
Check(NFSC503_5_4_1){ KS } KS{ Pipe myPipe1{ isObjectProperty(Pipe.isForTest) = TRUE } Port myPort{ getObjectProperty(Port.typeForWater) = "FireDepartmentConnection" } Pipe myPipe2{ isObjectProperty(Pipe.isBranchLines) = TRUE isFarthestDistance(myPort, Pipe) = TRUE }
isConnectedTo(myPipe1, myPipe2) = TRUE }
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9351
연결살수설비의 화재안전기준(nfsc 503) 5 조
4항
2호
"2. 시험장치 배관의 구경은 가장 먼 가지배관의 구경과 동일한 구경으로 하고, 그 끝에는 물받이 통 및 배수관을 설치하여 시험 중 방사된 물이 바닥으로 흘러내리지 아니하도록 할 것. 다만, 목욕실·화장실 또는 그 밖의 배수처리가 쉬운 장소의 경우에는 물받이 통 또는 배수관을 설치하지 아니할 수 있다. "
// 연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 4항 2호
Check(NFSC503_5_4_2){ KS } KS{ Pipe myPipe1{ isObjectProperty(Pipe.isForTest) = TRUE } Pipe myPipe2{ isObjectProperty(Pipe.isBranchLines) = TRUE isFarthestDistance(myPipe1, Pipe) = TRUE } DP = getObjectDiameter(myPipe1)
getObjectDiameter(myPipe2) = DP
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9352
연결살수설비의 화재안전기준(nfsc 503) 5 조
5항
"⑤개방형헤드를 사용하는 연결살수설비의 수평주행배관은 헤드를 향하여 상향으로 100분의 1 이상의 기울기로 설치하고 주배관중 낮은 부분에는 자동배수밸브를 제4조제3항제3호의 기준에 따라 설치하여야 한다. <개정 2012.8.20>"
// 연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 5항
Check(NFSC503_5_5){
IF CS THEN KS
}
CS{
Head myHead{
isObjectProperty(Head.openAndCloseType) = "OpenType"
}
isInstalled(myHead, HookingUpSprinklerSystem) = TRUE
}
KS{
Pipe myPipe{
isObjectProperty(Pipe.isFeedMains) = TRUE
getObjectProperty(Pipe.systemType) = "HookingUpSprinklerSystem"
}
두 객체의 기울기(myPipe, Head) >= 1/100
}
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9353
연결살수설비의 화재안전기준(nfsc 503) 5 조
6항
"⑥가지배관 또는 교차배관을 설치하는 경우에는 가지배관의 배열은 토너멘트방식이 아니어야 하며, 가지배관은 교차배관 또는 주배관에서 분기되는 지점을 기점으로 한 쪽 가지배관에 설치되는 헤드의 개수는 8개 이하로 하여야 한다."
// 연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 6항
Check(NFSC503_5_6){ IF CS THEN KS }
Pipe myPipe1{ isObjectProperty(Pipe.isBranchLines) = TRUE } Pipe myPipe2{ isObjectProperty(Pipe.isCrossMains) = TRUE } Pipe myPipe3{ isObjectProperty(Pipe.isRiser) = TRUE } CS{ isInstalled(myPipe1) = TRUE OR isInstalled(myPipe2) = TRUE } KS{ Head myHead{ isInstalled(Head, myPipe1.DivergedSide.One) = TRUE } isObjectProperty(myPipe1.tournamentArrangement) = FALSE getObjectCount(myHead) <= 8 }
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9355
연결살수설비의 화재안전기준(nfsc 503) 5 조
8항
"⑧급수배관에 설치되어 급수를 차단할 수 있는 개폐밸브는 개폐표시형으로 하여야 한다. 이 경우 펌프의 흡입측배관에는 버터플라이밸브(볼형식의 것을 제외한다)외의 개폐표시형밸브를 설치하여야 한다. "
// 연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 8항
Check(NFSC503_5_6){ IF CS THEN KS } Pipe myPipe{ isObjectProperty(Pipe.usage) = "WaterSupplyPipe" } Valve myValve1{ isObjectProperty(Valve.isShutoffValve) = TRUE } CS{ isInstalled(myValve1,myPipe) = TRUE } KS{ isObjectProperty(myValve1.isIndicatingValve) = TRUE Valve myValve2{ isInstalled(Valve, Pump.Inlet) = TRUE } isObjectProperty(myValve2.isIndicatingValve) = TRUE isObjectProperty(myValve2.isButterflyValve) = FALSE }
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9356
연결살수설비의 화재안전기준(nfsc 503) 5 조
9항
"⑨연결살수설비 교차배관의 위치·청소구 및 가지배관의 헤드설치는 다음 각 호의 기준에 따른다. <개정 2012.8.20>"
// 연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 9항
Check(NFSC503_5_9){ IF CS THEN KS } CS{ Pipe myPipe1{ isObjectProperty(Pipe.isCrossMains) = TRUE isObjectProperty(Pipe.systemType) = "HookingUpSprinklerSystem") } Pipe myPipe2{ isObjectProperty(Pipe.isBranchLines) = TRUE isObjectProperty(Pipe.systemType) = "HookingUpSprinklerSystem") } CleanOut myCleanOut{ isObjectProperty(CleanOut.systemType) = "HookingUpSprinklerSystem") } isInstalled(myPipe1) = TRUE OR isInstalled(myPipe2.Head) = TRUE OR (isInstalled(myCleanOut) = TRUE
} KS{ getResult(NFSC503_5_9_1) = TRUE getResult(NFSC503_5_9_2) = TRUE getResult(NFSC503_5_9_3) = TRUE }
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
9357
연결살수설비의 화재안전기준(nfsc 503) 5 조
9항
1호
"1. 교차배관은 가지배관과 수평으로 설치하거나 또는 가지배관 밑에 설치하고, 그 구경은 제2항에 따르되, 최소구경이 40㎜ 이상이 되도록 할 것 "
// 연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 9항 1호
Check(NFSC503_5_9_1){ KS } KS{ Pipe myPipe1{ isObjectProperty(Pipe.isCrossMains) = TRUE isObjectProperty(Pipe.systemType) = "HookingUpSprinklerSystem" } Pipe myPipe2{ isObjectProperty(Pipe.isBranchLines) = TRUE isObjectProperty(Pipe.systemType) = "HookingUpSprinklerSystem" } (isParallel(myPipe1, myPipe2) = TRUE OR getObjectVerticalLocation(myPipe1, myPipe2) < 0) getObjectDiameter(myPipe1) >= 40mm getResult(NFSC503_5_2) = TRUE }
|
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
9358
연결살수설비의 화재안전기준(nfsc 503) 5 조
9항
2호
"2. 폐쇄형헤드를 사용하는 연결살수설비의 청소구는 주배관 또는 교차배관(교차배관을 설치하는 경우에 한한다) 끝에 40㎜ 이상 크기의 개폐밸브를 설치하고, 호스접결이 가능한 나사식 또는 고정배수 배관식으로 할 것. 이 경우 나사식의 개폐밸브는 옥내소화전 호스접결용의 것으로 하고, 나사보호용의 캡으로 마감하여야 한다."
// 연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 9항 2호
Check(NFSC503_5_9_2){ IF CS THEN KS } CS{ Head myHead{ isObjectProperty(Head.openAndCloseType)="EnclosedType" } isObjectProperty(myHead.systemType) = "HookingUpSprinklerSystem" } KS{ Pipe myPipe1{ isObjectProperty(Pipe.isRiser) = TRUE } Pipe myPipe2{ isObjectProperty(Pipe.isCrossMains) = TRUE } Valve myValve{ isObjectProperty(Valve.isShutoffValve) = TRUE getObjectLength(Valve) >= 40mm } getObjectProperty(myValve.Type) = "나사식" getObjectProperty(myValve.usage) = "옥내소화전 호스접결용" }
|
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
9359
연결살수설비의 화재안전기준(nfsc 503) 5 조
9항
3호
"3. 폐쇄형헤드를 사용하는 연결살수설비에 하향식헤드를 설치하는 경우에는 가지배관으로부터 헤드에 이르는 헤드접속배관은 가지관상부에서 분기할 것. 다만, 소화설비용 수원의 수질이 「먹는물관리법」 제5조에 따라 먹는물의 수질기준에 적합하고 덮개가 있는 저수조로부터 물을 공급받는 경우에는 가지배관의 측면 또는 하부에서 분기할 수 있다. "
// 연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 9항 3호
Check(NFSC503_5_9_3){ IF CS THEN KS } Head myHead1{ isObjectProperty(Head.openAndCloseType) = "EnclosedType" } Head myHead2{ isObjectProperty(myHead.installationDirectionType) = "TopDownType" } CS{ isObjectProperty(myHead1.systemType) = "HookingUpSprinklerSystem" isInstalled(myHead2, HookingUpSprinklerSystem) = TRUE } KS{ Pipe myPipe1{ isObjectProperty(Pipe.isBranchLines) = TRUE } Pipe myPipe2{ isConnectedTo(Pipe, myPipe1) = TRUE isConnectedTo(Pipe, myHead2) = TRUE } getObjectVerticalLocation(myPipe2, myPipe1) > 0 }
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9360
연결살수설비의 화재안전기준(nfsc 503) 5 조
10항
"⑩ 배관에 설치되는 행가는 다음 각 호의 기준에 따라 설치하여야 한다. <개정 2012.8.20>"
// 연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 10항
Check(NFSC503_5_10){ IF CS THEN KS } CS{ isInstalled(Hanger, Pipe) = TRUE } KS{ getResult(NFSC503_5_10_1) = TRUE getResult(NFSC503_5_10_2) = TRUE getResult(NFSC503_5_10_3) = TRUE }
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9361
연결살수설비의 화재안전기준(nfsc 503) 5 조
10항
1호
"1. 가지배관에는 헤드의 설치지점 사이마다 1개 이상의 행가를 설치하되, 헤드간의 거리가 3.5 m를 초과하는 경우에는 3.5m 이내마다 1개 이상 설치할 것. 이 경우 상향식헤드와 행가 사이에는 8 ㎝ 이상의 간격을 두어야 한다."
//연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 10항 1호
Check(NFSC503_5_10_1){ KS }
Pipe myPipe{ isObjectProperty(Pipe.isBranchLines)=True } Head myHead{ getObjectProperty(Head.installationDirectionType)="BottomUpType" }
KS{ isInstalled(Hanger, myPipe, "헤드의 설치지점 사이")=True IF getObjectDistance(Head)>3.5 m THEN isInstalled(Hanger, myPipe, 3.5 m)=True getObjectDistance(myHead, Hanger)>8 cm
getResult(NFSC503_5_10_3)=True }
L
|
특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계
|
9363
연결살수설비의 화재안전기준(nfsc 503) 5 조
10항
3호
"3. 제1호와 제2호의 수평주행배관에는 4.5 m 이내마다 1개 이상 설치할 것"
//연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 10항 3호
Check(NFSC503_5_10_3){ IF CS THEN KS }
CS{ isObjectProperty(Pipe.isFeedMains)=True }
Pipe myPipe2{ isObjectProperty(Pipe.isFeedMains)=True }
KS{ isInstalled(Hanger, myPipe2,4.5 m)=True
}
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9362
연결살수설비의 화재안전기준(nfsc 503) 5 조
10항
2호
"2. 교차배관에는 가지배관과 가지배관사이마다 1개 이상의 행가를 설치하되, 가지배관 사이의 거리가 4.5 m를 초과하는 경우에는 4.5 m 이내마다 1개 이상 설치할 것"
//연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 10항 2호
Check(NFSC503_5_10_2){ KS }
Pipe myPipe{ isObjectProperty(Pipe.isCrossMains)=True } Pipe myPipe2{ isObjectProperty(Pipe.isBranchLines)=True }
KS{ isInstalled(Hanger, myPipe, "가지배관 사이")=True
IF getObjectDistance(myPipe2)>4.5 m THEN isInstalled(Hanger, myPipe, 4.5 m)=True END IF
getResult(NFSC503_5_10_3)=True }
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9363
연결살수설비의 화재안전기준(nfsc 503) 5 조
10항
3호
"3. 제1호와 제2호의 수평주행배관에는 4.5 m 이내마다 1개 이상 설치할 것"
//연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 10항 3호
Check(NFSC503_5_10_3){ IF CS THEN KS }
CS{ isObjectProperty(Pipe.isFeedMains)=True }
Pipe myPipe2{ isObjectProperty(Pipe.isFeedMains)=True }
KS{ isInstalled(Hanger, myPipe2,4.5 m)=True
}
|
|