//연결송수관설비의 화재안전기준(NFSC 502) 5조 (배관) 1항

Check(NFSC502_5_1){
           KS
}

KS{
   getResult(NFSC502_5_1_1)=True
   getResult(NFSC502_5_1_2)=True
}




//연결송수관설비의 화재안전기준(NFSC 502) 5조 (배관) 1항 1호



Check(NFSC502_5_1_1){

        KS

}



KS{
Pipe myPipe{
     Pipe.isRiser = TRUE
Pipe.systemType = "FireDepartmentConnectionSystem"
}
   getObjectDiameter(myPipe)>=100 mm

}


//연결송수관설비의 화재안전기준(NFSC 502) 5조 (배관) 1항 2호



Check(NFSC502_5_1_2){

    IF CS THEN KS 

}



CS{

   (

      getBuildingHeight()>=31 m

      OR getBuildingStoriesCount()>=11 

    )

   getBuildingUsage()="SpecificFireFightingBuilding"

   

}



KS{

      getObjectProperty(FireDepartmentConnectionSystem.dryWetType)="WetFireDepartmentConnectionSystem" 

}


//연결송수관설비의 화재안전기준(NFSC 502) 5조 (배관) 2항

Check(NFSC502_5_2){
         KS
}

KS{
    getResult(NFSC502_5_2_1)=True
    OR getResult(NFSC502_5_2_2)=True
}


//연결송수관설비의 화재안전기준(NFSC 502) 5조 (배관) 2항 1호

Check(NFSC502_5_2_1){
        IF CS THEN KS
}

CS{
   getObjectProperty(Pipe.workingPressure)<1.2 MPa 

}

KS{
     getResult(NFSC502_5_2_1_가)=True
     OR getResult(NFSC502_5_2_1_나)=True
     OR getResult(NFSC502_5_2_1_다)=True
}


//연결송수관설비의 화재안전기준(NFSC 502) 5조 (배관) 2항 1호 가목

Check(NFSC502_5_2_1_가){
        KS
}

KS{
     getObjectMaterial(Pipe)="KSD3507"
}


//연결송수관설비의 화재안전기준(NFSC 502) 5조 (배관) 2항 1호 나목 

Check(NFSC502_5_2_1_나){
          IF CS THEN KS
}

CS{
   getObjectProperty(Pipe.type)="WetPipe"
}

KS{
   getObjectMaterial(Pipe)="KSD5301"
}


//연결송수관설비의 화재안전기준(NFSC 502) 5조 (배관) 2항 1호 다목

Check(NFSC502_5_2_1){
     KS
}


KS{
  getObjectMaterial(Pipe)="KSD3576"
  OR getObjectMateral(Pipe)="KSD3595"

}


//연결송수관설비의 화재안전기준(NFSC 502) 5조 (배관) 2항 2호

Check(NFSC502_5_2_2){
      IF CS THEN KS 
}

CS{
  getObjectProperty(Pipe.workingPressure)>=1.2 MPa 

}

KS{
  getObjectMaterial(Pipe)="KSD3562"
  
}


//연결송수관설비의 화재안전기준(NFSC 502) 5조 (배관) 3항

Check(NFSC502_5_3){
     IF CS THEN KS
}
CS{
    getResult(NFSC502_5_3_2)=True
    OR getResult(NFSC502_5_3_3)=True
}

KS{

isObejctProperty(Pipe.isSyntheticResinForfirefighting)=True

}


//연결송수관설비의 화재안전기준(NFSC 502) 5조 (배관) 3항 2호

Check(NFSC502_5_3_2){
     KS
}

KS{
  Duct myDuct{
       isFireResistantStructure(Duct)=True 
  }
  Pit myPit{
      isFireResistantStructure(Pit)=True 
  }

  isInstalled(Pipe, myDuct)=True
  OR isInstalled(Pipe, myPit)=True
  
}


//연결송수관설비의 화재안전기준(NFSC 502) 5조 (배관) 3항 3호

Check(NFSC502_5_3_3){
     KS
}

KS{
   
    (  isObjectProperty(Ceiling.Material.quasiNonCombustibility)=True
      OR isObjectProperty(Ceiling.Material.nonCombustibility)=True
    )

    (
       isObjectProperty(CeilingCovering.Material.quasiNonCombustibility)=True
       OR isObjectProperty(CeilingCovering.Material.nonCombustibility)=True
     )


}



//연결송수관설비의 화재안전기준(NFSC 502) 5조 (배관) 4항

Check(NFSC502_5_4){
     IF CS THEN KS
}
CS2{
     isObjectProperty(Pipe.systemType) = "FireDepartmentConnectionSystem"
}
KS{
     Pipe myPipe1{
     isObjectProperty(Pipe.isRiser) = TRUE
     getObjectProperty(Pipe.diameter) >= 100mm
     isObjectProperty(Pipe.systemType) = "IndoorFireHydrantSystem"
     }
     Pipe myPipe2{
     isObjectProperty(Pipe.isRiser) = TRUE
     getObjectProperty(Pipe.diameter) >= 100mm
     isObjectProperty(Pipe.systemType) = "WaterSprayExtingushingSystem"
     }
     isShared(Pipe,myPipe1) = TRUE
     OR isShared(Pipe,myPipe2) = TRUE
     OR isShared(Pipe,myPipe1) != TRUE
     OR isShared(Pipe,myPipe2) != TRUE
}