![](/bim/img/spacer.gif) |
|
|
|
관계유형
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9323
연결살수설비의 화재안전기준(nfsc 503) 4 조
1항
"제4조(송수구 등) ①연결살수설비의 송수구는 다음 각 호의 기준에 따라 설치하여야 한다. <개정 2012.8.20>"
// 연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 1항 Check(NFSC503_4_1){ getResult(NFSC503_4_1_2)=TRUE getResult(NFSC503_4_1_3)=TRUE getResult(NFSC503_4_1_4)=TRUE getResult(NFSC503_4_1_5)=TRUE }
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9325
연결살수설비의 화재안전기준(nfsc 503) 4 조
1항
2호
"2. 송수구는 구경 65㎜의 쌍구형으로 설치할 것. 다만, 하나의 송수구역에 부착하는 살수헤드의 수가 10개 이하인 것은 단구형의 것으로 할 수 있다. "
// 연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 1항 2호
Check(NFSC503_4_1_2){
IF CS THEN KS
}
CS{
Zone myZone{
isObjectProperty(Zone.isWaterSupplyZone)=TRUE
}
hasObject(myZone.One,HookingUpSprinklerSystem.Head.)=TRUE
getObjectCount(HookingUpSprinklerSystem.Head.) <= 10
}
KS{
Port myPort{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
getObjectProperty(Port.typeForWater) = "FireDepartmentConnection"
}
isObjectProperty(myPort.diameter) = 65mm
getObjectProperty(myPort.shapeType) = "DoubleType"
}
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9326
연결살수설비의 화재안전기준(nfsc 503) 4 조
1항
3호
"3. 개방형헤드를 사용하는 송수구의 호스접결구는 각 송수구역마다 설치할 것. 다만, 송수구역을 선택할 수 있는 선택밸브가 설치되어 있고 각 송수구역의 주요구조부가 내화구조로 되어 있는 경우에는 그러하지 아니하다. "
// 연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 1항 3호
Check(NFSC503_4_1_3){
IF !CS THEN KS
}
Zone myZone{
isObjectProperty(Zone.isWaterSupplyZone)=TRUE
}
CS{
Valve myValve{
isObjectProerpty(Valve.isSelectionValve) = TRUE
}
isInstalled(myValve) = TRUE
hasObject(myZone,MainStructuralPart) = TRUE
isFireResistantStructure(MainStructuralPart) = TRUE
}
KS{
Port myPort{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
getObjectProperty(Port.typeForWater) = "FireDepartmentConnection"
}
Head myHead{
getObjectProperty(Head.openAndCloseType) = "OpenType"
}
isInstalled(myPort.호스접결구, myZone.One) = TRUE
}
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9327
연결살수설비의 화재안전기준(nfsc 503) 4 조
1항
4호
"4. 지면으로부터 높이가 0.5m 이상 1m 이하의 위치에 설치할 것 "
Check(NFSC503_4_1_4){
KS
}
KS{
Port myPort{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
getObjectProperty(Port.typeForWater) = "FireDepartmentConnection"
}
getObjectVerticalDistance(Ground, myPort) >= 0.5m
getObjectVerticalDistance(Ground, myPort) <= 1m
}
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9328
연결살수설비의 화재안전기준(nfsc 503) 4 조
1항
5호
"5. 송수구로부터 주배관에 이르는 연결배관에는 개폐밸브를 설치하지 아니 할 것. 다만, 스프링클러설비·물분무소화설비·포소화설비 또는 연결송수관설비의 배관과 겸용하는 경우에는 그러하지 아니하다. "
// 연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 1항 5호
Check(NFSC503_4_1_5){
IF !CS THEN KS
}
CS{
Pipe myPipe1{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
}
Pipe myPipe2{
getObjectProperty(Port.systemType) = "SprinklerSystem"
}
Pipe myPipe3{
getObjectProperty(Port.systemType) = "WaterSprayExtingushingSystem"
}
Pipe myPipe4{
getObjectProperty(Port.systemType) = "FoamExtinguishingSystem"
}
Pipe myPipe5{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
}
Pipe myPipe6{
getObjectProperty(Port.systemType) = "FireDepartmentConnectionSystem"
}
isShared(myPipe1, myPipe2, myPipe3, myPipe4) = TRUE
OR isShared(myPipe5, myPipe6) = TRUE
}
KS{
Port myPort{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
getObjectProperty(Port.typeForWater) = "FireDepartmentConnection"
}
Pipe myPipe{
isObjectProperty(Pipe.isRiser)=TRUE
}
Vavle myValve{
isObjectProperty(Valve.isShutoffValve)= TRUE
}
isConnectedTo(myPort, Pipe) = TRUE
isConnectedTo(Pipe, myPipe) = TRUE
isInstalled(myValve, myPipe) = FALSE
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9335
연결살수설비의 화재안전기준(nfsc 503) 4 조
3항
"③ 연결살수설비에는 송수구의 가까운 부분에 자동배수밸브와 체크밸브를 다음 각 목의 기준에 따라 설치하여야 한다. <개정 2012.8.20>"
// 연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 3항
Check(NFSC503_4_3){
KS
}
KS{
Valve myValve1{
isObjectProperty(Valve.isAutomiaticDeliveryValve) = TRUE
}
Valve myValve2{
isObjectProperty(Valve.isCheckValve) = TRUE
}
isInstalled(myValve1, HookingUpSprinklerSystem) = TRUE
isInstalled(myValve2, HookingUpSprinklerSystem) = TRUE
getResult(NFSC503_4_3_1) = TRUE
getResult(NFSC503_4_3_2) = TRUE
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
9336
연결살수설비의 화재안전기준(nfsc 503) 4 조
3항
1호
"1. 폐쇄형헤드를 사용하는 설비의 경우에는 송수구·자동배수밸브·체크밸브의 순으로 설치할 것 "
// 연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 3항 1호
Check(NFSC503_4_3_1){
IF CS THEN KS
}
CS{
Head myHead{
getObjectProperty(Head.openAndCloseType) = "EnclosedType"
}
getObjectProperty(myHead.systemType) = "HookingUpSprinklerSystem"
}
KS{
Port myPort{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
getObjectProperty(Port.typeForWater) = "FireDepartmentConnection"
}
Valve myValve1{
isObjectProperty(Valve.isAutomiaticDeliveryValve) = TRUE
}
Valve myValve2{
isObjectProperty(Valve.isCheckValve) = TRUE
}
isInstalledInOrder(myPort, myValve1, myValve2) = TRUE
}
|
L
|
하위 법규문장들의 경우 별 검토결과에 따라 상위법규의 검토결과가 정해지는 관계
|
9337
연결살수설비의 화재안전기준(nfsc 503) 4 조
3항
2호
"2. 개방형헤드를 사용하는 설비의 경우에는 송수구·자동배수밸브의 순으로 설치할 것 "
// 연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 3항 2호
Check(NFSC503_4_3_2){
IF CS THEN KS
}
CS{
Head myHead{
getObjectProperty(Head.openAndCloseType) = "OpenType"
}
getObjectProperty(myHead.systemType) = "HookingUpSprinklerSystem"
}
KS{
Port myPort{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
getObjectProperty(Port.typeForWater) = "FireDepartmentConnection"
}
Valve myValve1{
isObjectProperty(Valve.isAutomiaticDeliveryValve) = TRUE
}
isInstalledInOrder(myPort, myValve1) = TRUE
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9339
연결살수설비의 화재안전기준(nfsc 503) 4 조
4항
"④개방형헤드를 사용하는 연결살수설비에 있어서 하나의 송수구역에 설치하는 살수헤드의 수는 10개 이하가 되도록 하여야 한다. "
// 연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 4항
Check(NFSC503_4_4){ IF CS THEN KS } CS{ Head myHead{ getObjectProperty(Head.openAndCloseType) = "OpenType" } getObjectProperty(myHead.systemType) = "HookingUpSprinklerSystem" } KS{ Zone myZone{ isObjectProperty(Zone.isWaterSupplyZone) = TRUE } Head myHead{ isInstalled(HookingUpSprinklerSystem.Head, myZone.One) = TRUE }
getObjectCount(myHead) <= 10 }
|
|