|
|
|
|
관계유형
|
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14840
간이스프링클러설비의 화재안전기준(NFSC 103A) 4 조
4항
3호
"3. 수조의 외측에 수위계를 설치할 것. 다만, 구조상 불가피한 경우에는 수조의 맨홀 등을 통하여 수조 안의 물의 양을 쉽게 확인할 수 있도록 하여야 한다. "
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 4조 (수원) 4항 3호
Check(NFSC503A_4_4_3){
KS
}
KS{
isInstalled(Tank.SideSurface, WaterLevelGauge) = TRUE
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14841
간이스프링클러설비의 화재안전기준(NFSC 103A) 4 조
4항
4호
"4. 수조의 상단이 바닥보다 높은 때에는 수조의 외측에 고정식 사다리를 설치할 것"
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 4조 (수원) 4항 3호
Check(NFSC503A_4_4_3){
IF CS THEN KS
}
CS{
getObjectVerticalLocation(Tank.TopSurface, FloorSlab) = TRUE
}
KS{
isInstalled(Ladder, Tank.SideSurface) = TRUE
isObjectProperty(Ladder.isFixed) = TRUE
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14842
간이스프링클러설비의 화재안전기준(NFSC 103A) 4 조
4항
5호
"5. 수조가 실내에 설치된 때에는 그 실내에 조명설비를 설치할 것"
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 4조 5호(수원)
Check(NFSC503A_4_5){
IF CS THEN KS
}
CS{
Space mySpace{
isExternal(Space) = FALSE
}
hasSpace(mySpace,Tank) = TRUE
KS{
hasSpace(mySpace,LightingSystem) = TRUE
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14843
간이스프링클러설비의 화재안전기준(NFSC 103A) 4 조
4항
6호
"6. 수조의 밑부분에는 청소용 배수밸브 또는 배수관을 설치할 것"
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 4조 (수원) 4항 6호
Check(NFSC503A_4_2_6){
KS
}
KS{
Valve myValve{
isObjectProperty(Valve.isDeliveryValveForCleaning) = TRUE
}
Pipe myPipe{
isObjectProperty(Pipe.usage) = "WaterDrainPipe"
}
isInstalled(Tank.BottomSurface, myValve) = TRUE
OR isInstalled(Tank.BottomSurface, myPipe) = TRUE
}
|
PAGE MENU
법규 문장 내.외 관계논리 체계화 - 법규조항간 문장 관계
