|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14659
스프링클러설비의 화재안전기준(NFSC 103) 9 조
3항
5호
가목
"가. 조작이 쉬운 장소에 설치하고, 스위치는 바닥으로부터 0.8m 이상 1.5m 이하의 높이에 설치할 것"
// 스프링클러설비의 화재안전기준(NFSC 103) 9조 (음향장치 및 기동장치) 3항 5호 가목
Check(NFSC103_9_3_5_가){
KS
}
KS{
isInstalled(Transmitter, Switch) = TRUE
getObjectVerticalDistance(Switch, FloorSlab) >= 0.8m
getObjectVerticalDistance(Switch, FloorSlab) <= 1.5m
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14660
스프링클러설비의 화재안전기준(NFSC 103) 9 조
3항
5호
나목
"나. 특정소방대상물의 층마다 설치하되, 해당 특정소방대상물의 각 부분으로부터 하나의 발신기까지의 수평거리가 25m 이하가 되도록 할 것. 다만, 복도 또는 별도로 구획된 실로서 보행거리가 40m 이상일 경우에는 추가로 설치하여야 한다."
// 스프링클러설비의 화재안전기준(NFSC 103) 9조 (음향장치 및 기동장치) 3항 5호 나목
Check(NFSC103_9_3_5_나){
IF (CS1 THEN KS1) OR (CS2 THEN KS2)
CS1{
getObjectDistance(Corridor | Space, Transmitter) < 40m
}
KS1{
isInstalled(Transmitter, SpecificFireFightingBuilding.Floor.One) = TRUE
getOjectCount(Transmitter) = 1
getElementDistance(SpecificFireFightingBuilding.Wall | SpecificFireFightingBuilding.Column, Transmitter) <= 25m
}
CS2{
getObjectDistance(Corridor | Space, Transmitter) >= 40m
}
KS2{
isInstalled(Transmitter, SpecificFireFightingBuilding.Floor.One) = TRUE
getOjectCount(Transmitter) >= 2
getElementDistance(SpecificFireFightingBuilding.Wall | SpecificFireFightingBuilding.Column, Transmitter) <= 25m
}
|
PAGE MENU
법규 문장 내.외 관계논리 체계화 - 법규조항간 문장 관계
