|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14864
간이스프링클러설비의 화재안전기준(NFSC 103A) 5 조
3항
1호
"1. 고가수조의 자연낙차수두(수조의 하단으로부터 최고층에 설치된 헤드까지의 수직거리를 말한다)는 다음의 식에 따라 산출한 수치 이상이 되도록 할 것
H = h₁+ 10
H : 필요한 낙차(m)
h₁: 배관의 마찰손실수두(m) "
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 3항 1호
Check(NFSC503A_5_3_1){
KS
}
KS{
Tank myTank{
isObjectProperty(Tank.operationType) = "ElevatedWaterTank"
}
Head myHead{
hasSpace(TopFloor,Head) = TRUE
}
getObjectVerticalDistance(myTank.BottomSurface,myHead) >= Pipe.frictionHeadLossH + 10m
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14865
간이스프링클러설비의 화재안전기준(NFSC 103A) 5 조
3항
2호
"2. 고가수조에는 수위계·배수관·급수관·오버플로우관 및 맨홀을 설치할 것 "
//간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 3항 2호
Check(NFSC503A_5_3_2){
KS
}
KS{
Tank myTank{
isObjectProperty(Tank.operationType) = "ElevatedWaterTank"
}
Pipe myPipe1{
isObjectProperty(Pipe.isOverflowPipe) = TRUE
}
Pipe myPipe2{
getObjectProperty(Pipe.usage) = "WaterDrainPipe"
}
Pipe myPipe3{
getObjectProperty(Pipe.usage) = "WaterSupplyPipe"
}
isInstalled(myTank,WaterLevelGauge) = TRUE
isInstalled(myTank,myPipe2) = TRUE
isInstalled(myTank,myPipe3) = TRUE
isInstalled(myTank,myPipe1) = TRUE
isInstalled(myTank,Manshole) = TRUE
}
|
PAGE MENU
법규 문장 내.외 관계논리 체계화 - 법규조항간 문장 관계
