|
|
L
|
특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계
|
14771
스프링클러설비의 화재안전기준(NFSC 103) 15 조
1항
"제15조(헤드의 설치제외) ① 스프링클러설비를 설치하여야 할 특정소방대상물에 있어서 다음 각 호의 어느 하나에 해당하는 장소에는 스프링클러헤드를 설치하지 아니할 수 있다."
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 Check(NFSC103_15_1){ IF !CS THEN KS }
CS{ getResult(NFSC103_15_1_1) = TRUE OR getResult(NFSC103_15_1_2) = TRUE OR getResult(NFSC103_15_1_3) = TRUE OR getResult(NFSC103_15_1_4) = TRUE OR getResult(NFSC103_15_1_5) = TRUE OR getResult(NFSC103_15_1_6) = TRUE OR getResult(NFSC103_15_1_7) = TRUE OR getResult(NFSC103_15_1_8) = TRUE OR getResult(NFSC103_15_1_10) = TRUE OR getResult(NFSC103_15_1_11) = TRUE OR getResult(NFSC103_15_1_13) = TRUE OR getResult(NFSC103_15_1_14) = TRUE OR getResult(NFSC103_15_1_15) = TRUE }
KS{ isInstalled(SprinklerSystem) = TRUE }
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14772
스프링클러설비의 화재안전기준(NFSC 103) 15 조
1항
1호
"1. 계단실(특별피난계단의 부속실을 포함한다)·경사로·승강기의 승강로·비상용승강기의 승강장·파이프덕트 및 덕트피트(파이프·덕트를 통과시키기 위한 구획된 구멍에 한한다)·목욕실·수영장(관람석부분을 제외한다)·화장실·직접 외기에 개방되어 있는 복도·기타 이와 유사한 장소<개정 2008.12.15, 2011.11.24>"
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 1호 Check(NFSC103_15_1_1){ KS }
KS{ getBuildingUsage() = "Stair.Space" OR getSpaceUsage() = "Ramp" OR getSpaceUsage() = "Elevator.ElevatorShaft" OR getSpaceUsage() = "EmergencyElevatorPlatform" OR getObjectProperty(Duct.isPipeDuct) = TRUE OR getObjectProperty(Pit.isPipePit) = TRUE OR getBuildingUsage() = "BathRoom" OR getBuildingUsage() = "SwimmingPool" OR getBuildingUsage() = "Toilet" }
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14773
스프링클러설비의 화재안전기준(NFSC 103) 15 조
1항
2호
"2. 통신기기실·전자기기실·기타 이와 유사한 장소"
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 2호 Check(NFSC103_15_1_2){ KS }
KS{ getBuildingUsage() = "CommunicationsApparatusRoom" OR getBuildingUsage() = "ElectronicEquipmentRoom" }
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14774
스프링클러설비의 화재안전기준(NFSC 103) 15 조
1항
3호
"3. 발전실·변전실·변압기·기타 이와 유사한 전기설비가 설치되어 있는 장소"
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 3호
Check(NFSC103_15_1_3){
KS
}
KS{
getBuildingUsage() = "GeneratorRoom"
OR getBuildingUsage() = "TransformerRoom"
OR isInstalled(
Transformer, Room) = TRUE
}
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14775
스프링클러설비의 화재안전기준(NFSC 103) 15 조
1항
4호
"4. 병원의 수술실·응급처치실·기타 이와 유사한 장소"
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 4호 Check(NFSC103_15_1_4){ KS }
KS{ getBuildingUsage() = "Hospital.수술실" OR getBuildingUsage() = "Hospital.응급처치실" }
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14776
스프링클러설비의 화재안전기준(NFSC 103) 15 조
1항
5호
"5. 천장과 반자 양쪽이 불연재료로 되어 있는 경우로서 그 사이의 거리 및 구조가 다음 각 목의 어느 하나에 해당하는 부분"
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 5호 Check(NFSC103_15_1_5){ IF CS THEN KS }
CS{ isObjectProperty(Ceiling.Material.nonCombustibility) = TRUE isObjectProperty(CeilingCovering.Material.nonCombustibility) = TRUE }
KS{ getResult(NFSC103_15_1_5_1) = TRUE OR getResult(NFSC103_15_1_5_2) = TRUE }
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14777
스프링클러설비의 화재안전기준(NFSC 103) 15 조
1항
5호
가목
"가. 천장과 반자사이의 거리가 2m 미만인 부분"
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 5호 가목 Check(NFSC103_15_1_5_1){ KS }
KS{ getObjectDistance(Ceiling, CeilingCovering) < 2m }
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14778
스프링클러설비의 화재안전기준(NFSC 103) 15 조
1항
5호
나목
"나. 천장과 반자사이의 벽이 불연재료이고 천장과 반자사이의 거리가 2m 이상으로서 그 사이에 가연물이 존재하지 아니하는 부분"
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 5호 나목 Check(NFSC103_15_1_5_2){ KS }
KS{ Wall myWall{ isConnectedTo(Wall, Ceiling) = TRUE isConnectedTo(Wall, CeilingCovering) = TRUE }
isObjectProperty(myWall.Material.nonCombustibility) = TRUE getObjectDistance(Ceiling, CeilingCovering) >= 2m }
|
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14779
스프링클러설비의 화재안전기준(NFSC 103) 15 조
1항
6호
"6. 천장·반자중 한쪽이 불연재료로 되어있고 천장과 반자사이의 거리가 1m 미만인 부분"
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 6호 Check(NFSC103_15_1_6){ KS }
KS{ (isObjectProperty(Ceiling.Material.nonCombustibility) = TRUE isObjectProperty(CeilingCovering.Material.nonCombustibility) = FALSE) OR (isObjectProperty(Ceiling.Material.nonCombustibility) = FALSE isObjectProperty(CeilingCovering.Material.nonCombustibility) = TRUE) getObjectDistance(Ceiling, CeilingCovering) < 1m }
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14780
스프링클러설비의 화재안전기준(NFSC 103) 15 조
1항
7호
"7. 천장 및 반자가 불연재료 외의 것으로 되어 있고 천장과 반자사이의 거리가 0.5m 미만인 부분"
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 7호 Check(NFSC103_15_1_7){ KS }
KS{ isObjectProperty(Ceiling.Material.nonCombustibility) = FALSE isObjectProperty(CeilingCovering.Material.nonCombustibility) = FALSE getObjectDistance(Ceiling, CeilingCovering) < 0.5m }
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14781
스프링클러설비의 화재안전기준(NFSC 103) 15 조
1항
8호
"8. 펌프실·물탱크실 엘리베이터 권상기실 그 밖의 이와 비슷한 장소<신설 2008.12.15>"
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 8호 Check(NFSC103_15_1_8){ KS }
KS{ getBuildingUsage() = "펌프실" OR getBuildingUsage() = "물탱크실" OR getBuildingUsage() = "엘리베이터 권상기실" }
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14783
스프링클러설비의 화재안전기준(NFSC 103) 15 조
1항
10호
"10. 현관 또는 로비 등으로서 바닥으로부터 높이가 20m 이상인 장소"
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 10호 Check(NFSC103_15_1_10){ KS }
KS{ getSpaceUsage() = "EntranceHall" OR getSpaceUsage() = "Lobby"
getObjectVerticalLocation(Ground, Space) >= 20m }
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14784
스프링클러설비의 화재안전기준(NFSC 103) 15 조
1항
11호
"11. 영하의 냉장창고의 냉장실 또는 냉동창고의 냉동실<신설 2008.12.15>"
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 11호 Check(NFSC103_15_1_11){ KS }
KS{ getSpaceUsage() = "ColdStorage" OR getSpaceUsage() = "RefrigerationRoom" }
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14786
스프링클러설비의 화재안전기준(NFSC 103) 15 조
1항
13호
"13. 불연재료로 된 특정소방대상물 또는 그 부분으로서 다음 각 목의 어느 하나에 해당하는 장소"
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 13호 Check(NFSC103_15_1_13){ KS }
KS{ getObjectMaterial(SpecificFireFightingBuilding.Material.nonCombustibility) = TRUE (getResult(NFSC103_15_1_13_1) = TRUE OR getResult(NFSC103_15_1_13_2) = TRUE OR getResult(NFSC103_15_1_13_3) = TRUE) }
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14787
스프링클러설비의 화재안전기준(NFSC 103) 15 조
1항
13호
가목
"가. 정수장·오물처리장 그 밖의 이와 비슷한 장소"
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 13호 가목 Check(NFSC103_15_1_13_1){ KS }
KS{ getBuildingUsage() = "PurificationPlant" OR getBuildingUsage() = "오물처리장" }
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14788
스프링클러설비의 화재안전기준(NFSC 103) 15 조
1항
13호
나목
"나. 펄프공장의 작업장·음료수공장의 세정 또는 충전하는 작업장 그 밖의 이와 비슷한 장소"
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 13호 나목 Check(NFSC103_15_1_13_2){ KS }
KS{ getBuildingUsage() = "PulpMill.WorkPlace" OR getBuildingUsage() = "BeverageFactory.WorkPlace" }
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14789
스프링클러설비의 화재안전기준(NFSC 103) 15 조
1항
13호
다목
"다. 불연성의 금속·석재 등의 가공공장으로서 가연성물질을 저장 또는 취급하지 아니하는 장소"
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 13호 다목 Check(NFSC103_15_1_13_3){ KS }
KS{ getBuildingUsage() = "ProcessingFactory" isObjectProperty(Space.hasCombustible) = FALSE }
|
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14790
스프링클러설비의 화재안전기준(NFSC 103) 15 조
1항
14호
"14. 실내에 설치된 테니스장·게이트볼장·정구장 또는 이와 비슷한 장소로서 실내 바닥·벽·천장이 불연재료 또는 준불연재료로 구성되어 있고 가연물이 존재하지 않는 장소로서 관람석이 없는 운동시설(지하층은 제외한다)"
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 14호 Check(NFSC103_15_1_14){ KS }
KS{ (getBuildingUsage() = "Indoor.TennisCourts" OR getBuildingUsage() = "Indoor.게이트볼장" OR getBuildingUsage() = "Indoor.정구장")
(getObjectProperty(Floor.InteriorFinish.Material.nonCombustibility) = TRUE OR getObjectProperty(Floor.InteriorFinish.Material.quasiNonCombustibility) TRUE)
(getObjectProperty(Wall.InteriorFinish.Material.nonCombustibility) = TRUE OR getObjectProperty(Wall.InteriorFinish.Material.quasiNonCombustibility) TRUE)
(getObjectProperty(Ceiling.InteriorFinish.Material.nonCombustibility) = TRUE OR getObjectProperty(Ceiling.InteriorFinish.Material.quasiNonCombustibility) TRUE)
isObjectProperty(Space.hasCombustible) = FALSE hasSpace(Auditorium, SportsFacility) = FALSE getObjectProperty(Floor.number) > 0 }
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14791
스프링클러설비의 화재안전기준(NFSC 103) 15 조
1항
15호
"15. 「건축법 시행령」제46조제4항에 따른 공동주택 중 아파트의 대피공간<신설 2013.6.10>"
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 15호 Check(NFSC103_15_1_15){ KS }
KS{ getResult(EDBA_46_4) = TRUE getBuildingUsage() = "MultiUnitHouse" isObjectProperty(Space.isEscape) = TRUE }
L
|
특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계
|
2754
건축법 시행령 46 조
4항
"④ 공동주택 중 아파트로서 4층 이상인 층의 각 세대가 2개 이상의 직통계단을 사용할 수 없는 경우에는 발코니에 인접 세대와 공동으로 또는 각 세대별로 다음 각 호의 요건을 모두 갖춘 대피공간을 하나 이상 설치하여야 한다. 이 경우 인접 세대와 공동으로 설치하는 대피공간은 인접 세대를 통하여 2개 이상의 직통계단을 쓸 수 있는 위치에 우선 설치되어야 한다. <개정 2013.3.23.>"
//건축법 시행령 46조 (방화구획의 설치) 4항
check(EDBA_46_4){
IF CS THEN KS1 AND KS2
}
Zone myZone{
isObjectProperty(Zone.isOccupiedByOneHousehold) = TRUE
}
KS1{
Space mySpace{
Space.isEscape = TRUE
}
isExist(Balcony)=TRUE
AND hasElement(Balcony,mySpace)=TRUE
AND (getResult(EDBA_46_4_1)=TRUE
AND getResult(EDBA_46_4_2)=TRUE
AND getResult(EDBA_46_4_3)=TRUE
AND getResult(EDBA_46_4_4)=TRUE)
}
KS2{
Stair myStair{
Stair.isDirect = TRUE
}
isGoThrough(myZone,mySpace,myZone)=TRUE
AND isGoThrough(mySpace,myZone,myStair)=TRUE
}
CS{
getBuildingUsage()="MultiUnitHouses.ApartmentHouses"
AND Floor.number >=4
AND isDirectlyAccessible(myZone, myStair)=TRUE
AND myStair.Number>=2
}
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
2755
건축법 시행령 46 조
4항
1호
"1. 대피공간은 바깥의 공기와 접할 것"
//건축법 시행령 46조 (방화구획의 설치) 4항 1호
check(EDBA_46_4_1){
KS
}
KS{
Space mySpace{
isObjectProperty(Space.isEscape) = TRUE
}
isConnectedToExternal(mySpace)=TRUE
}
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
2756
건축법 시행령 46 조
4항
2호
"2. 대피공간은 실내의 다른 부분과 방화구획으로 구획될 것"
//건축법 시행령 46조 (방화구획의 설치) 4항 2호
check(EDBA_46_4_2){
KS
}
KS{
Space mySpace{
isObjectProperty(Space.isEscape) = TRUE
}
isObjectProperty(mySpace.isFirePartition)=TRUE
}
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
2757
건축법 시행령 46 조
4항
3호
"3. 대피공간의 바닥면적은 인접 세대와 공동으로 설치하는 경우에는 3제곱미터 이상, 각 세대별로 설치하는 경우에는 2제곱미터 이상일 것"
//건축법 시행령 46조 (방화구획의 설치) 4항 3호 check(EDBA_46_4_3)
CS1{ }
CS2{ }
KS1{ }
KS2{ }
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
2758
건축법 시행령 46 조
4항
4호
"4. 국토교통부장관이 정하는 기준에 적합할 것"
|
|
|
|