|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14906
간이스프링클러설비의 화재안전기준(NFSC 103A) 8 조
6항
1호
"1. 성능시험배관은 펌프의 토출측에 설치된 개폐밸브 이전에서 분기하여 설치하고, 유량측정장치를 기준으로 전단 직관부에 개폐밸브를 후단 직관부에는 유량조절밸브를 설치할 것"
// 옥내소화전설비의 화재안전기준(NFSC 102) 6조 (배관 등) 8항 1호
Check(NFSC102_6_8_1){
KS
}
KS{
Pipe myPipe{
isObjectProperty(Pipe.isForTest) = TRUE
}
Valve myValve{
isObjectProperty(Valve.isShutoffValve) = TRUE
isInstalled(Valve, Pump.Outlet) = TRUE
}
Valve myValve2{
isObjectProperty(Valve.isShutoffValve) = TRUE
isInstalled(Valve, Pump.Outlet) = FALSE
}
Valve myValve3{
isObjectProperty(Valve.isFloatControlValve) = TRUE
}
isDiverged(Pump, myPipe) = TRUE
getObjectDistance(StraightPipeLine, myPipe) < getObjectDistance(StraightPipeLine, myValve)
isInstalled(myValve2, myPipe) = TRUE
isInstalled(myValve3, myPipe) = TRUE
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14907
간이스프링클러설비의 화재안전기준(NFSC 103A) 8 조
6항
2호
"2. 유량측정장치는 성능시험배관의 직관부에 설치하되, 펌프의 정격토출량의 175% 이상 측정할 수 있는 성능이 있을 것"
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 6항 2호
Check(NFSC103A_8_6_2){
KS
}
KS{
Pipe myPipe{
isObjectProperty(Pipe.isForTest) = TRUE
}
isConnectedTo(myPipe, DischargeMeasuringEquipment) = TRUE
getObjectProperty(DischargeMeasuringEquipment.measurementCapacity) = DME
getObjectProperty(Pump.ratedDischargePressure) = PDP
PDP*1.75 <= DME
}
|
PAGE MENU
법규 문장 내.외 관계논리 체계화 - 법규조항간 문장 관계
