|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14941
간이스프링클러설비의 화재안전기준(NFSC 103A) 8 조
16항
1호
가목
"가. 수도용계량기, 급수차단장치, 개폐표시형밸브, 체크밸브, 압력계, 유수검지장치(압력스위치 등 유수검지장치와 동등 이상의 기능과 성능이 있는 것을 포함한다. 이하 같다), 2개의 시험밸브의 순으로 설치할 것 <개정 2011.11.24>"
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 16항 1호 가복
Check(NFSC503A_8_16_1_가){
KS
}
KS{
ShutdownEquipment myShutdownEquipment{
isObjectProperty(ShutdownEquipment.type) = "Water"
}
Valve myValve1{
isObjectProperty(Valve.isIndicatingValve) = TRUE
}
Valve myValve2{
isObjectProperty(Valve.isCheckValve) = TRUE
}
Valve myValve3{
isObjectProperty(Valve.isTestValve) = TRUE
getObjectCount(Valve) = 2
}
isInstalledInOrder(WaterGauge, myShutdownEquipment, myValve1, myValve2, PressureGauge, WaterflowIndicator, myValve3) = TRUE
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14942
간이스프링클러설비의 화재안전기준(NFSC 103A) 8 조
16항
1호
나목
"나. 간이스프링클러설비 이외의 배관에는 화재시 배관을 차단할 수 있는 급수차단장치를 설치할 것 <개정 2011.11.24>"
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 16항 1호 나목
Check(NFSC503A_8_16_1_나){
KS
}
KS{
ShutdownEquipment myShutdownEquipment{
isObjectProperty(ShutdownEquipment.type) = "Water"
}
Pipe myPipe{
isObjectProperty(Pipe.systemType) != "SimpleSprinklerSystem"
}
isInstalled(myShutdownEquipment, myPipe) = TRUE
}
|
PAGE MENU
법규 문장 내.외 관계논리 체계화 - 법규조항간 문장 관계
