// 스프링클러설비의 화재안전기준(NFSC 103) 16조 (수원 및 가압송수장치의 펌프 등의 겸용) 2항
Check(NFSC103_16_2){
IF CS THEN KS
}
Pump myPump{
isInstalled(SprinklerSystem, PressurizedWaterSupplySystem) = TRUE
getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
}
Pump myPump2{
isInstalled(IndoorFireHydrantSystem, PressurizedWaterSupplySystem) = TRUE
getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
}
Pump myPump3{
isInstalled(SimpleSprinklerSystem, PressurizedWaterSupplySystem) = TRUE
getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
}
Pump myPump4{
isInstalled(SprinklerSystemForEarlyFireSuppression, PressurizedWaterSupplySystem) = TRUE
getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
}
Pump myPump5{
isInstalled(WaterSprayExtingushingSystem, PressurizedWaterSupplySystem) = TRUE
getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
}
Pump myPump6{
isInstalled(FoamExtinguishingSystem, PressurizedWaterSupplySystem) = TRUE
getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
}
Pump myPump7{
isInstalled(OutdoorFireHydrantSystem, PressurizedWaterSupplySystem) = TRUE
getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
}
CS{
isShared(myPump, myPump2) = TRUE
OR isShared(myPump, myPump3) = TRUE
OR isShared(myPump, myPump4) = TRUE
OR isShared(myPump, myPump5) = TRUE
OR isShared(myPump, myPump6) = TRUE
OR isShared(myPump, myPump7) = TRUE
}
KS{
getObjectProperty(myPump.ratedDischargeRate) = PRD
getObjectProperty(myPump2.ratedDischargeRate) + getObjectProperty(myPump3.ratedDischargeRate) + getObjectProperty(myPump4.ratedDischargeRate) + getObjectProperty(myPump5.ratedDischargeRate) + getObjectProperty(myPump6.ratedDischargeRate) + getObjectProperty(myPump7.ratedDischargeRate) = TPRD
PRD >= TPRD
}
|
( 기준) 국가법령정보센터의 대한민국 전체 법규 목록
