// 스프링클러설비의 화재안전기준(nfsc 103) 4조 (수원) 1항 Check(NFSC103_4_1){ KS }
KS{ getResult(NFSC103_4_1_1) = TRUE getResult(NFSC103_4_1_2) = TRUE }
// 스프링클러설비의 화재안전기준(nfsc 103) 4조 (수원) 5항 Check(NFSC103_4_5){ IF CS THEN KS }
CS{ isObjectProperty(Tank.isWaterSource) = TRUE
(getResult(NFSC103_4_5_1) = FALSE OR getResult(NFSC103_4_5_2) = FALSE) }
KS{ isObjectProperty(Tank.isShared) = FALSE }
// 스프링클러설비의 화재안전기준(nfsc 103) 4조 (수원) 5항 1호 Check(NFSC103_4_5_1){ KS }
Pump myPump{ isInstalled(Pump, SprinklerSystem) = TRUE }
Valve myValve{ isObjectProperty(Valve.isFootValve) = TRUE isInstalled(Valve, myPump) = TRUE }
Valve myValve2{ isObjectProperty(Valve.isFootValve) = TRUE Valve != myValve }
Pipe myPipe{ isObjectProperty(Pipe.isObsorptionPipe) = TRUE }
Obsorption myObsorptionOpening{ isInstalled(ObsorptionOpening, myPipe) = TRUE }
Obsorption myObsorptionOpening2{ ObsorptionOpening != myObsorptionOpening }
KS{ getObjectVerticalLocation(myValve, myValve2) < 0 OR getObjectVerticalLocation(myObsorptionOpening, myOpsorptionOpening2) < 0 }
// 스프링클러설비의 화재안전기준(nfsc 103) 4조 (수원) 5항 2호 Check(NFSC103_4_5_2){ KS }
Pipe myPipe{ isObjectProperty(Pipe.isRiser) = TRUE isInstalled(Pipe, SprinklerSystem) = TRUE }
Tank myTank{ getObjectProperty(Tank.operationType) = "ElevatedWaterTank" }
WaterSupplyOpening myWaterSupplyOpening{ isConnectedTo(WaterSupplyOpening, myPipe) = TRUE }
WaterSupplyOpening myWaterSupplyOpening2{ WaterSupplyOpening != myWaterSupplyOpening }
KS{ getObjectVerticalLocation(myWaterSupplyOpening, myWaterSupplyOpening2) < 0 }
// 스프링클러설비의 화재안전기준 (nfsc 103) 4조 (수원) 7항 Check(NFSC103A_4_7){ KS }
KS{ getResult(NFSC103_4_7_3) = TRUE getResult(NFSC103_4_7_4) = TRUE getResult(NFSC103_4_7_5) = TRUE getResult(NFSC103_4_7_6) = TRUE }
|