//      연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 1항
Check(NFSC503_4_1){
     getResult(NFSC503_4_1_2)=TRUE
     getResult(NFSC503_4_1_3)=TRUE
     getResult(NFSC503_4_1_4)=TRUE
     getResult(NFSC503_4_1_5)=TRUE
}


//  연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 1항 2호



Check(NFSC503_4_1_2){

 IF CS THEN KS 

}

CS{

 Zone myZone{

  isObjectProperty(Zone.isWaterSupplyZone)=TRUE

 }

 hasObject(myZone.One,HookingUpSprinklerSystem.Head.)=TRUE

 getObjectCount(HookingUpSprinklerSystem.Head.) <= 10  

}

KS{

 Port myPort{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
 getObjectProperty(Port.typeForWater) = "FireDepartmentConnection" 

 }

 isObjectProperty(myPort.diameter) = 65mm

 getObjectProperty(myPort.shapeType) = "DoubleType"

}


//  연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 1항 3호



Check(NFSC503_4_1_3){

 IF !CS THEN KS 

}

     Zone myZone{

  isObjectProperty(Zone.isWaterSupplyZone)=TRUE

     }

CS{

     Valve myValve{

     isObjectProerpty(Valve.isSelectionValve) = TRUE

     }

     isInstalled(myValve) = TRUE

     hasObject(myZone,MainStructuralPart) = TRUE

     isFireResistantStructure(MainStructuralPart) = TRUE

}

KS{

      Port myPort{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
 getObjectProperty(Port.typeForWater) = "FireDepartmentConnection" 

 }

     Head myHead{

     getObjectProperty(Head.openAndCloseType) = "OpenType"

     }

     isInstalled(myPort.호스접결구, myZone.One) = TRUE

}


Check(NFSC503_4_1_4){

 KS

}

KS{

     Port myPort{ 
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"

     getObjectProperty(Port.typeForWater) = "FireDepartmentConnection" 

      }

      getObjectVerticalDistance(Ground, myPort) >= 0.5m

      getObjectVerticalDistance(Ground, myPort) <= 1m

}


//  연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 1항 5호



Check(NFSC503_4_1_5){

 IF !CS THEN KS 

}

CS{
Pipe myPipe1{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
}
Pipe myPipe2{
getObjectProperty(Port.systemType) = "SprinklerSystem"
}
Pipe myPipe3{
getObjectProperty(Port.systemType) = "WaterSprayExtingushingSystem"
}
Pipe myPipe4{
getObjectProperty(Port.systemType) = "FoamExtinguishingSystem"
}
Pipe myPipe5{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
}
Pipe myPipe6{
getObjectProperty(Port.systemType) = "FireDepartmentConnectionSystem"
}
     isShared(myPipe1, myPipe2, myPipe3, myPipe4) = TRUE

     OR isShared(myPipe5, myPipe6) = TRUE

}

KS{

     Port myPort{ 
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
     getObjectProperty(Port.typeForWater) = "FireDepartmentConnection" 

      }

      Pipe myPipe{

     isObjectProperty(Pipe.isRiser)=TRUE

     }

     Vavle myValve{

     isObjectProperty(Valve.isShutoffValve)= TRUE

     }

      isConnectedTo(myPort, Pipe) = TRUE

      isConnectedTo(Pipe, myPipe) = TRUE

       isInstalled(myValve, myPipe) = FALSE

 }


//  연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 3항



Check(NFSC503_4_3){

 KS 

}

KS{

     Valve myValve1{

     isObjectProperty(Valve.isAutomiaticDeliveryValve) = TRUE

     }

     Valve myValve2{

     isObjectProperty(Valve.isCheckValve) = TRUE

     }



     isInstalled(myValve1, HookingUpSprinklerSystem) = TRUE

     isInstalled(myValve2, HookingUpSprinklerSystem) = TRUE

     getResult(NFSC503_4_3_1) = TRUE

     getResult(NFSC503_4_3_2) = TRUE


//  연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 3항 1호



Check(NFSC503_4_3_1){

     IF CS THEN KS

}

CS{

     Head myHead{

     getObjectProperty(Head.openAndCloseType) = "EnclosedType"     

     }

     getObjectProperty(myHead.systemType) = "HookingUpSprinklerSystem"

}

KS{

     Port myPort{ 
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
     getObjectProperty(Port.typeForWater) = "FireDepartmentConnection" 

      }

      Valve myValve1{

     isObjectProperty(Valve.isAutomiaticDeliveryValve) = TRUE

     }

     Valve myValve2{

     isObjectProperty(Valve.isCheckValve) = TRUE

     }



     isInstalledInOrder(myPort, myValve1, myValve2) = TRUE

}


//  연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 3항 2호



Check(NFSC503_4_3_2){

     IF CS THEN KS

}

CS{

     Head myHead{

     getObjectProperty(Head.openAndCloseType) = "OpenType"     

     }

     getObjectProperty(myHead.systemType) = "HookingUpSprinklerSystem"

}

KS{

     Port myPort{ 
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
     getObjectProperty(Port.typeForWater) = "FireDepartmentConnection" 

      }

      Valve myValve1{

     isObjectProperty(Valve.isAutomiaticDeliveryValve) = TRUE

     }



     isInstalledInOrder(myPort, myValve1) = TRUE

}


//  연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 4항

Check(NFSC503_4_4){
     IF CS THEN KS
}
CS{
     Head myHead{
     getObjectProperty(Head.openAndCloseType) = "OpenType"     
     }
     getObjectProperty(myHead.systemType) = "HookingUpSprinklerSystem"
}
KS{
     Zone myZone{
     isObjectProperty(Zone.isWaterSupplyZone) = TRUE
     }
     Head myHead{
     isInstalled(HookingUpSprinklerSystem.Head, myZone.One) = TRUE
     }

     getObjectCount(myHead) <= 10
}