//연결송수관설비의 화재안전기준(NFSC 502) 4조 (송수구) 8호 나목



Check(NFSC502_4_0_8_나){

    IF CS THEN KS

}



CS{

     getObjectProperty(FireDepartmentConnectionSystem.dryWetType)="DryFireDepartmentConnectionSystem"

}



KS{

    //  송수구·자동배수밸브·체크밸브·자동배수밸브의 순으로 설치할 것

  

} 

//연결송수관설비의 화재안전기준(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
} 

//연결송수관설비의 화재안전기준(NFSC 502) 6조 (방수구)



Check(NFSC502_6){

    KS

}



KS{

    getResult(NFSC502_6_1)=True

    getResult(NFSC502_6_2)=True

    getResult(NFSC502_6_3)=True

    getResult(NFSC502_6_4)=True

    getResult(NFSC502_6_5)=True

    getResult(NFSC502_6_6)=True

    getResult(NFSC502_6_7)=True



} 

연결송수관설비의 화재안전기준(NFSC 502) 6조 (방수구) 1호



Check(NFSC502_6_0_1){



  IF !CS THEN KS



}



CS{

  getResult(NFSC502_6_0_1_가)=True

  getResult(NFSC502_6_0_1_나)=True

}



KS{
Port myPort{
	Port.typeForWater = "Delivery"
}
   isInstalled(myPort,SpecificFireFightingBuilding)=True

} 

//연결송수관설비의 화재안전기준(NFSC 502) 6조 (방수구) 1호 가목

Check(NFSC502_6_0_1_가){
    KS
}

KS{
    getBuildigUsage()="ApartmentHouse"
    getFloorNumber()=1
    OR getFloorNumber()=2
} 

//연결송수관설비의 화재안전기준(NFSC 502) 6조 (방수구) 1호 다목



Check(NFSC502_6_0_1_다목){

         KS

}



KS{

       getBuildingUsage()!="AssemblyHall"

       getBuildingUsage()!="Auditorium"

       getBuildingUsage()!="DepartmentStore"

       getBuildingUsage()!="WholesaleMarket"

       getBuildingUsage()!="CommercialFacility"

       getBuildingUsage()!="Factory"

       getBuildingUsage()!="Warehouse"

       getBuildingUsage()!="UndergroundMarket"



      

FireHydrant myFireHydrant{
isExternal(FireHydrant)  = FALSE
         isInstalled(FireDepartmentConnection, FireHydrant)=True

    }       



    isInstalled(myIndoorFireHydrant,SpecificFireFightingBuilding)=True



    Floor myFloor{

            Floor.number>0

    }

    Floor myFloor2{

            Floor.number<0

    }

    (

    gerObjectCount(myFloor)<=4 

    getGrossFloorArea()<6000 m2

    Floor.number>0

    )



    OR 

    (

     getObjectCount(myFloor)<=2

     Floor.number<0        

    )

    



    

} 

//연결송수관설비의 화재안전기준(NFSC 502) 6조 (방수구) 2호

Check(NFSC502_6_0_2){
     KS 
}

KS{
     Space mySpce{
         getSpaceUsage(Space)="Stair.AncillaryRoom"
         OR
         (
         IF getObjectCoutn(Stair)>=2
             THEN getSpace(Stair.One)
         ELSE 
             getSpaceUsage(Space)="Stair"
         END IF
         )
     }

      Space mySpce2{
         getSpaceUsage(Space)="Stair.AncillaryRoom"
         OR
         (
         IF getObjectCoutn(Stair)>=3
             THEN getSpace(Stair.Two)
         ELSE 
             getSpaceUsage(Space)="Stair"
         END IF
         )
     }

     IF getBuildingUsage()="ApartmentHouse"
        OR getFloorArea()<1000 m2 
      
     THEN getObjectDistance(FireDepartmentConnection, mySpace)<5 m 

     ELSE IF getFloorArea()>1000 m2
    
     THEN getObjectDistance(FireDepartmentConnection, mySpace)<5 m 
          getResult(NFSC502_6_0_2_가)=True
          getResult(NFSC502_6_0_2_나)=True
        
     END IF
} 

//연결송수관설비의 화재안전기준(NFSC 502) 6조 (방수구) 2호 가목



Check(NFSC502_6_0_2_가){



    IF CS THEN KS1 ELSE KS2

}



CS{

       Space mySpace{

            getSpaceUsage()="UndergroundMarket"

            OR getFloorNumber()<0

        }



       getFloorArea(mySpace)>3000 m2

}



KS1{



    getElementDistance(FireDepartmentConnectionSystem.OutLet, Wall )<=25 m

    getElementDistance(FireDepartmentConnectionSystem.OutLet, Column )<=25 m



}





KS2{

       getResult(NFSC502_6_0_2_나)=True

 } 

//연결송수관설비의 화재안전기준(NFSC 502) 6조 (방수구) 2호 나목

Check(NFSC502_6_0_2_가){

    KS
}


KS{

    getElementDistance(FireDepartmentConnectionSystem.OutLet, Wall )<=50 m
    getElementDistance(FireDepartmentConnectionSystem.OutLet, Column )<=50 m

} 

//연결송수관설비의 화재안전기준(NFSC 502) 6조 (방수구) 3호



Check(NFSC502_6_0_3){

     IF CS1 THEN KS1 ELSE IF CS2 THEN KS2

}





CS1{

   Space mySpace{

      getFloorNumber(Space)>=11

   }

   

    isInstalled(FireDepartmentConnectionSystem.Port, mySpace)=True

}



KS1{

       getObjectProperty(FireDepartmentConnectionSystem.Port.shapeType)="DoubleType"

}





CS2{

   getResult(NFSC502_6_0_3_가)=True

   OR getResult(NFSC502_6_0_3_나)=True

}



KS2{

getObjectProperty(FireDepartmentConnectionSystem.Port.shapeType)="SingleType"

} 

//연결송수관설비의 화재안전기준(nfsc502) 6조 (방수구) 3호 가목



Check(NFSC502_6_0_3_가){

        KS      

}



KS{

   getFloorUsage()="ApartmentHouse"

} 

//연결송수관설비의 화재안전기준(NFSC 502) 6조 (방수구) 3호 나목



Check(NFSC502_6_0_3_나){

            KS

}



KS{

       isExist(SprinklerSystem)=True

       getObjectCount(	FireDepartmentConnectionSystem.Port, Floor.One)>=2

} 

//연결송수관설비의 화재안전기준(NFSC 502) 6조 (방수구) 4호



Check(NFSC502_6_0_4){



    KS

}



KS{

    getObjectVerticalDistance(FloorSlab, FireDepartmentConnectionSystem.Port.HosePort) > 0.5m
OR   getObjectVerticalDistance(FloorSlab, FireDepartmentConnectionSystem.Port.HosePort)  <= 1m 

//연결송수관설비의 화재안전기준(NFSC 502) 6조 (방수구) 5호



Check(NFSC502_6_0_5){

      KS

}



KS{

    getObjectProperty(FireDepartmentConnectionSystem.Port.isShared)= FALSE

    OR getObjectProperty(FireDepartmentConnectionSystem.Port.typeForWater)="IndoorFireHydrantDischarge"


Port myPort{
Port.typeForWater = "Delivery"
}
    getObjectProperty(myPortt.diameter)=65 mm 

} 

//연결송수관설비의 화재안전기준(NFSC 502) 6조 (방수구) 7호 

Check(NFSC502_6_0_7){
      KS
}

KS{
   isObjectProperty(FireDepartmentConnectionSystem.OutLet.is"개폐기능")=True
} 

//연결송수관설비의 화재안전기준(NFSC 502) 7조 (방수기구함)

Check(NFSC502_7){
    KS
}

KS{
   getResult(NFSC502_7_1)=True
   getResult(NFSC502_7_2)=True
} 

//연결송수관설비의 화재안전기준(NFSC 502) 7조 (방수기구함) 1호



Check(NFSC502_7_0_1){

       KS

}



KS{

    Floor myFloor{

           isObjectProperty(Floor.isEscape)=True

    }



    Floor myFloor2{

         Floor.number>EFN

    }

   

    Floor myFloor3{

         Floor.nmber

//연결송수관설비의 화재안전기준(NFSC 502) 7조 (방수기구함) 2호

Check(NFSC502_7_0_2){
     KS
}

KS{
    getResult(NFSC502_7_0_2_나)=True

}

 

//연결송수관설비의 화재안전기준(NFSC 502) 7조 (방수기구함) 2호 나목



Check(NFSC502_7_0_2_나){



             KS

}



KS{

      IF getObjectPropety(RadialSprayNozzle.Port.shapeType)="SingleType"



      THEN getObjectCount(RadialSprayNozzle)=1

      

      ELSE IF getObjectPropety(RadialSprayNozzle.Port.shapeType)="DoubleType"

            

           getObjectCount(RadialSprayNozzle)=2

        

      END IF



}