| 
//  스프링클러설비의 화재안전기준(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
 }
 
 
 
 |