// 스프링클러설비의 화재안전기준(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 }
// 스프링클러설비의 화재안전기준(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" }
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 2호 Check(NFSC103_15_1_2){ KS }
KS{ getBuildingUsage() = "CommunicationsApparatusRoom" OR getBuildingUsage() = "ElectronicEquipmentRoom" }
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 3호
Check(NFSC103_15_1_3){
KS
}
KS{
getBuildingUsage() = "GeneratorRoom"
OR getBuildingUsage() = "TransformerRoom"
OR isInstalled(
Transformer, Room) = TRUE
}
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 4호 Check(NFSC103_15_1_4){ KS }
KS{ getBuildingUsage() = "Hospital.수술실" OR getBuildingUsage() = "Hospital.응급처치실" }
// 스프링클러설비의 화재안전기준(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 }
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 5호 가목 Check(NFSC103_15_1_5_1){ KS }
KS{ getObjectDistance(Ceiling, CeilingCovering) < 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 }
// 스프링클러설비의 화재안전기준(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 }
// 스프링클러설비의 화재안전기준(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 }
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 8호 Check(NFSC103_15_1_8){ KS }
KS{ getBuildingUsage() = "펌프실" OR getBuildingUsage() = "물탱크실" OR getBuildingUsage() = "엘리베이터 권상기실" }
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 10호 Check(NFSC103_15_1_10){ KS }
KS{ getSpaceUsage() = "EntranceHall" OR getSpaceUsage() = "Lobby"
getObjectVerticalLocation(Ground, Space) >= 20m }
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 11호 Check(NFSC103_15_1_11){ KS }
KS{ getSpaceUsage() = "ColdStorage" OR getSpaceUsage() = "RefrigerationRoom" }
// 스프링클러설비의 화재안전기준(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) }
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 13호 가목 Check(NFSC103_15_1_13_1){ KS }
KS{ getBuildingUsage() = "PurificationPlant" OR getBuildingUsage() = "오물처리장" }
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 13호 나목 Check(NFSC103_15_1_13_2){ KS }
KS{ getBuildingUsage() = "PulpMill.WorkPlace" OR getBuildingUsage() = "BeverageFactory.WorkPlace" }
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 13호 다목 Check(NFSC103_15_1_13_3){ KS }
KS{ getBuildingUsage() = "ProcessingFactory" isObjectProperty(Space.hasCombustible) = FALSE }
// 스프링클러설비의 화재안전기준(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 }
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 15호 Check(NFSC103_15_1_15){ KS }
KS{ getResult(EDBA_46_4) = TRUE getBuildingUsage() = "MultiUnitHouse" isObjectProperty(Space.isEscape) = TRUE }
|