|
|
|
L
|
특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계
|
14664
스프링클러설비의 화재안전기준(NFSC 103) 10 조
3항
"③ 스프링클러헤드를 설치하는 천장·반자·천장과 반자사이·덕트·선반등의 각 부분으로부터 하나의 스프링클러헤드까지의 수평거리는 다음 각 호와 같이 하여야 한다. 다만, 성능이 별도로 인정된 스프링클러헤드를 수리계산에 따라 설치하는 경우에는 그러하지 아니하다."
//스프링클러설비의 화재안전기준(NFSC 103) 10조 3항
check(NFSC103_10_3){
getResult(NFSC103_10_3_1) = TRUE
getResult(NFSC103_10_3_2) = TRUE
getResult(NFSC103_10_3_3) = TRUE
getResult(NFSC103_10_3_4) = TRUE
}
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14665
스프링클러설비의 화재안전기준(NFSC 103) 10 조
3항
1호
"1. 무대부·「소방기본법시행령」별표 2의 특수가연물을 저장 또는 취급하는 장소에 있어서는 1.7m 이하"
//스프링클러설비의 화재안전기준(NFSC 103) 10조 3항 1호
check(NFSC103_10_3_1){
IF CS THEN KS
}
Space mySpace1{
Space.usage="StagePart"
OR isObjectProperty(Space.hasSpecialCombustible)=TRUE
}
CS{
isExist(PlenumSpace)=TRUE
}
KS{
getHorizontalDistance(Ceiling | CeilingCovering | mySpace2 | Duct | Shelf,SprinklerSystem.Head)<=1.7m
}
|
L
|
특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계
|
15288
소방기본법 시행령 별표2 조
"특수가연물(제6조관련)"
|
|
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14666
스프링클러설비의 화재안전기준(NFSC 103) 10 조
3항
2호
"2. 랙크식 창고에 있어서는 2.5m 이하 다만, 특수가연물을 저장 또는 취급하는 랙크식 창고의 경우에는 1.7 m 이하"
//스프링클러설비의 화재안전기준(NFSC 103) 10조 3항 2호
check(NFSC103_10_3_2){
IF (CS1 THEN KS1) OR (CS2 THEN KS2)
}
Space mySpace1{
Space.usage="RackWarehouse"
Space mySpace2{
Space.usage="RackWarehouse"
isObjectProperty(Space.hasSpecialCombustible)=TRUE
}
CS1{
isExist(mySpace1)=TRUE
}
KS1{
getHorizontalDistance(Ceiling|CeilingCovering|PlenumSpace|Duct|Shelf,SprinklerHead)<=2.5m
}
CS2{
isExist(mySpace2)=TRUE
}
KS2{
getHorizontalDistance(Ceiling|CeilingCovering|PlenumSpace|Duct|Shelf,SprinklerHead)<=1.7m
}
|
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14667
스프링클러설비의 화재안전기준(NFSC 103) 10 조
3항
3호
"3. 공동주택(아파트) 세대 내의 거실에 있어서는 3.2m 이하(「스프링클러헤드의 형식승인 및 제품검사의 기술기준」 유효반경의 것으로 한다)＜개정 2008.12.15, 2013.6.10>"
//스프링클러설비의 화재안전기준(NFSC 103) 10조 3항 3호
check(NFSC103_10_3_3){
IF (CS) THEN KS ENDIF
}
CS{
getBuildingUsage() = "MultiUnitHouse"
}
KS{
Space mySpace = getObject(Room)
getObjectVerticalDistance(mySpace.Ceiling, SprinklerHead) <= 3.2m
getObjectVerticalDistance(mySpace.CeilingCover, SprinklerHead) <= 3.2m
getObjectVerticalDistance(mySpace.Duct, SprinklerHead) <= 3.2m
getObjectVerticalDistance(mySpace.Shelf, SprinklerHead) <= 3.2m
}
|
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14668
스프링클러설비의 화재안전기준(NFSC 103) 10 조
3항
4호
"4. 제1호부터 제3호까지 규정 외의 특정소방대상물에 있어서는 2.1m 이하(내화구조로 된 경우에는 2.3m 이하)"
//스프링클러설비의 화재안전기준(NFSC 103) 10조 3항 4호
check(NFSC103_10_3_4){
IF CS1 THEN IF (CS2) THEN KS ELSE KS2 ENDIF ENDIF
}
CS1{
Space mySpace = getObject(특정소방대상물)
getResult(_1) = False
getResult(_2) = False
getResult(_3) = False
}
CS2{
isFireResistanceStructure(mySpace) = TRUE
}
KS1{
getObjectVerticalDistance(mySpace.Ceiling, SprinklerHead) <= 2,3m
getObjectVerticalDistance(mySpace.CeilingCover, SprinklerHead) <= 2.3m
getObjectVerticalDistance(mySpace.Duct, SprinklerHead) <= 2.3m
getObjectVerticalDistance(mySpace.Shelf, SprinklerHead) <= 2.3m
}
KS2{
getObjectVerticalDistance(mySpace.Ceiling, SprinklerHead) <= 2,1m
getObjectVerticalDistance(mySpace.CeilingCover, SprinklerHead) <= 2.1m
getObjectVerticalDistance(mySpace.Duct, SprinklerHead) <= 2.1m
getObjectVerticalDistance(mySpace.Shelf, SprinklerHead) <= 2.1m
}
|
|
PAGE MENU
법규 문장 내.외 관계논리 체계화 - 법규조항간 문장 관계
