//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 21조 (방화벽의 구조) 1항

Check(REFB_21_1){
     KS 
}

KS{
   getResult(REFB_21_1_1)=True
   getResult(REFB_21_1_2)=True
   getResult(REFB_21_1_3)=True
}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 21조 (방화벽의 구조) 1항 1호

Check(REFB_21_1_1){
     KS
}

KS{
   Wall myWall{
       isObjectProperty(Wall.isFireProofWall)=True
   }
   
   isObjectProperty(myWall.isfireResistantStructure)=True
}




//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 21조 (방화벽의 구조) 1항 2호

Check(REFB_21_1_2){
     KS
}

KS{
   Object myObject{
      //방화벽의 양쪽 끝과 윗쪽 끝
   }  

   Wall myWall{
      isObjectProperty(Wall.isExternal)=True
   }

    getObjectDistance(myObject, myWall)>=0.5 m
    getObjectDistance(myObject, Roof)>=0.5 m
}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 21조 (방화벽의 구조) 1항 3호

Check(REFB_21_1_3){
      KS
}

KS{
     Door myDoor{
      isObjectProperty(Door.isEntrance)=True
      isInstalled(Door, myWall)=True
    }

    getObjectWidth(myDoor)<=2.5 m
    getObjectHeight(myDoor)<=2.5 m
    isObjectProperty(myDoor.isStrictFireproofDoor)=True
  
}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 21조 (방화벽의 구조) 2항
Check(REFB_21_2){
     KS
}

KS{
     getResult(REFB_14_1) = TRUE
     getResult(REFB_14_2) = TRUE
}

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 23조 (방화지구안의 지붕ㆍ방화문 및 외벽등) 1항

Check(REFB_23_1){

     IF CS THEN KS

}



CS{


     Building myBuilding{
getObjectProperty(Building.SpecialPurposeDistrict.type) = "FirePreventionDistrict"
     }



     Roof myRoof{

          hasObject(myBuilding, Roof) = TRUE

     }



     isObjectProperty(myRoof.isFireResistantStructure) != TRUE

}



KS{

     isObjectProperty(myRoof.Material.nonCombustibility) = TRUE

}

check(REFB_24_1){

      KS}



KS{

    (check(EDBA_61_1_1)=TRUE

    OR check(EDBA_61_1_2)=TRUE

    OR check(EDBA_61_1_3)=TRUE

    OR check(EDBA_61_1_4)=TRUE)

    OR check(EDBA_61_1_5)=TRUE)

    OR check(EDBA_61_1_6)=TRUE)

    OR check(EDBA_61_1_7)=TRUE)

    AND (getObjectProperty(Room.Wall.Material.noncombustible)= TRUE

    AND (getObjectProperty(CeilingCornice | WindowSill.Material.noncombustible)= TRUE

    OR !(getObjectProperty(CeilingCornice | WindowSill.Material.noncombustiblel)= TRUE)

    AND (isGoThrough(Room, Corridor | Stair | Passage,Ground)= TRUE

    AND (isFireResistant(getWall(Corridor))=TRUE

    AND isFireResistant(getWall(Stair))=TRUE

    AND isFireResistant(getWall(Passage))=TRUE

    AND isFireResistant(getObject(CeilingCovering))=TRUE)

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 24조 (건축물의 마감재료) 2항



check(REFB_24_2){

     IF CS THEN KS

}





CS{

    getResult(REFB_24_2_1)=TRUE

    OR getResult(REFB_24_2_2)=TRUE

}



KS{

  (isObjectProperty(CeilingCovering.InteriorFinish.Material.nonCombustibility)=TRUE

OR isObjectProperty(CeilingCovering.InteriorFinish.Material.quasiNonCombustibility)=TRUE )


(isObjectProperty(Room.Wall.InteriorFinish.Material.nonCombustibility)=TRUE

 OR isObjectProperty(Room.Wall.InteriorFinish.Material.quasiNonCombustibility)=TRUE

)

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 24조 (건축물의 마감재료) 2항1호
check(REFB_24_2_1){
       KS
}

KS{

  Building myBuilding{
     getResult(EDBA_61_1_1)=TRUE
      OR getResult(EDBA_61_1_2)=TRUE
      OR getResult(EDBA_61_1_3)=TRUE
      OR getResult(EDBA_61_1_4)=TRUE
      OR getResult(EDBA_61_1_5)=TRUE
      OR getResult(EDBA_61_1_6)=TRUE
      OR getResult(EDBA_61_1_7)=TRUE
  }
     
  Room myRoom{
      getSpace(myBuilding.Room)
  }
    getFloorNumber(myRoom)<0 

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 24조 (건축물의 마감재료) 2항2호
check(REFB_24_2_2){
       KS
}

KS{
     Building myBuilding{
       getResult(EDBA_61_1_1)=TRUE
    }
      
    str= myBuilding.usage

    getSpaceUsage(Room)=str
}




check(REFB_24_3){
      KS
}

KS{
     
}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 24조 (건축물의 마감재료) 4항


Check(REFB_24_4){
IF CS THEN KS
}

Building myBuilding{
getResult(EDBA_61_1_2)=TRUE
}

CS{
isExist(myBuilding)=TRUE
}

KS{
isObjectProperty(myBuilding.Material.isEmittingPollutant)=FALSE
}

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 24조의2
Check(REFB_24-2_3_2){
   KS
}

KS{
   getResult(REFB_24-2_3_2_가)= True
   OR getResult(REFB_24-2_3_2_나)= True
   OR getResult(REFB_24-2_3_2_다)= True
}


//  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 24조의2 (소규모 공장용도 건축물의 마감재료) 3항 2호 가목

Check(REFB_24-2_3_2_1){

     KS

}



KS{

     getObjectMaterial(Heartwood) = "FiringPolystyreneInsulation"

}


//  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 24조의2 (소규모 공장용도 건축물의 마감재료) 3항 2호 나목

Check(REFB_24-2_3_2_2){

     KS

}



KS{

     getObjectMaterial(Heartwood) = "ChangePolyurethanFormInsulation"

}


//  건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 24조의2 (소규모 공장용도 건축물의 마감재료) 3항 2호 다목
Check(REFB_24-2_3_2_3){
     IF CS THEN KS
}

CS{
     getResult(REFB_24-2_3_2_1) = FALSE
     getResult(REFB_24-2_3_2_2) = FALSE
}

KS{
     getObjectProperty(Heartwood.Material.flameResistance) = TRUE
     OR getObjectProperty(Heartwood.Material.nonCombustibility) = TRUE
     OR getObjectProperty(Heartwood.Material.quasiNonCombustibility) = TRUE
}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 24조의2 (소규모 공장용도 건축물의 마감재료) 1항

check(REFB_24-2_1){

      KS

}

KS{

     getResult(REFB_*_3) = TRUE

     (getBuildingUsage() != "Dormitory"

     OR getBuildingUsage() != "Cafeteria"

     OR getSpaceUsage() != "Dormitory"

     OR getSpaceUsage() != "Cafeteria")

}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 24조의2 (소규모 공장용도 건축물의 마감재료) 2항
check(REFB_24-2_2){
      KS
}
KS{
     Door myDoor{
     isObjectProperty(Door.isEntrance) = TRUE
     }
     getObjectDistance(Building.IndoorElement, Door) <= 30
     isObjectProperty(Door.effectiveWidth) >= 1.5m
}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 24조의2 (소규모 공장용도 건축물의 마감재료) 3항

Check(REFB_24-2_3){
    KS
}

KS{
    getResult(REFB_24-2_3_2)=True
}

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 25조 (지하층의 구조) 1항 1호

check(REFB_25_1_1){

     IF !(CS) THEN KS

}



KS{

     Floor myFloor1{

          hasSpace(Floor,Room) = TRUE

          getTotalArea(Room) >= 50 m2

     }



     Floor myFloor2{

          isObjectProperty(Floor.isEscape) = TRUE

     }



     Door myDoor{

          isObjectProperty(Door.functionType) = "Emergency"

          (isDirectlyAccessible(Door, myFloor2) = TRUE

          OR isDirectlyAccessible(Door, Ground) = TRUE)

     }

     

     hasSpace(myFloor1, myDoor)

     OR (hasSpace(myFloor1, VentilatorPipe) = TRUE

     (isDirectlyAccessible(VentilatorPipe, myFloor2) = TRUE

     OR isDirectlyAccessible(VentilatorPipe, Ground) = TRUE))

}



CS{

     Floor myFloor1{

          hasSpace(Floor,Room) = TRUE

          getTotalArea(Room) >= 50 m2

     }



     Stair myStair{

          isObjectProperty(Stair.isDirect) = TRUE

          hasSpace(myFloor1, Stair) = TRUE

     }



     getObjectCount(myStair) >= 2

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 25조 (지하층의 구조) 1항 1의2호
check(REFB_25_1_1-2){
     IF CS THEN KS
}

CS{
     (getBuildingUsage() = "ClassIINeighborhoodLivingFacility.PerformanceHall"
     OR getBuildingUsage() = "ClassIINeighborhoodLivingFacility.Pubs"
     OR getBuildingUsage() = "ClassIINeighborhoodLivingFacility.BilliardRoom"
     OR getBuildingUsage() = "ClassIINeighborhoodLivingFacility.Karaoke"
     OR getBuildingUsage() = "CulturalAndAssemblyFacility.WeddingHall"
     OR getBuildingUsage() = "CulturalAndAssemblyFacility.PerformanceHall"
     OR getBuildingUsage() = "TrainingFacility.TrainingFacilityInLivingZone"
     OR getBuildingUsage() = "TrainingFacility.??LivingZone"
     OR getBuildingUsage() = "LodgingFacility.Inn"
     OR getBuildingUsage() = "AmusementFacility.Pubs"
     OR getBuildingUsage() = "AmusementFacility.Tavern"
     OR getResult(ERSASP_2) = TRUE)

     getTotalFloorArea(Room) >= 50 m2
}

KS{
     Stair myStair{
          isObjectProperty(Stair.isDirect) = TRUE
     }

     getObjectCount(myStair) >= 2
}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 25조 (지하층의 구조) 1항 2호

check(REFB_25_1_2){

     IF CS THEN KS

}



CS{

     getTotalFloorArea(Floor) >= 1000 m2

}



KS{

     Floor myFloor{

          isObjectProperty(Floor.isEscape) = TRUE

     }



     Stair myStair{

          isObjectProperty(Stair.isDirect) = TRUE



          (isDirectlyAccessible(Stair, Ground) = TRUE

          OR isDirectlyAccessible(Stair, myFloor) = TRUE)



          (isObjectProperty(Stair.isEscape) = TRUE

          OR isObjectProperty(Stair.isSpecialEscape) = TRUE)

     }



     Zone myZone{

          isObjectProperty(Zone.isFirePartition) = TRUE

     }



     hasSpace(myZone, myStair) = TRUE

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 25조 (지하층의 구조) 1항 3호
check(REFB_25_1_3){
     getTotalFloorArea(Room) >= 1000 m2
     isExist(VentilationSystem) = TRUE
}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 25조 (지하층의 구조) 1항 4호

check(REFB_25_1_4){

Floor myFloor{
Floor.number < 0
}
     getTotalFloorArea(myFloor) >= 300 m2

     getObjectCount(Hydrant) >= 1

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 25조 (지하층의 구조) 2항
check(REFB_25_2){
     IF !(CS) THEN KS
}

CS{
     getBuildingUsage() = "House"
}

KS{
     getResult(REFB_25_2_1) = TRUE
     getResult(REFB_25_2_2) = TRUE
     getResult(REFB_25_2_3) = TRUE
     getResult(REFB_25_2_4) = TRUE
     getResult(REFB_25_2_5) = TRUE
     getResult(REFB_25_2_7) = TRUE
}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 25조 (지하층의 구조) 2항 1호

check(REFB_25_2_1){

Door myDoor{
Door.functionType = "Emergency"
Door.Floor.number < 0
}
     getObjectWidth(myDoor, a) >= 0.75 m 

     getObjectHeight(myDoor) >= 1.5 m

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 25조 (지하층의 구조) 2항 2호

Check(REFB_25_2_2){

Door myDoor{
Door.functionType = "Emergency"
 < 0
}
     isEgressDirection(myDoor) = TRUE

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 25조 (지하층의 구조) 2항 3호

check(REFB_25_2_3){

Door myDoor{
Door.functionType = "Emergency"
Door.Floor.number < 0
}
     getSpaceDistance(myDoor, Door) >= 3 m 

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 25조 (지하층의 구조) 2항 4호

check(REFB_25_2_4){

     IF CS THEN KS

}



CS{
Door myDoor{
Door.functionType = "Emergency"
Door.Floor.number < 0
}
Floor myFloor{
Floor.number < 0 
}
     getObjectVerticalDistance(myFloor, myDoor) >= 1.2 m

}



KS{

     isConnectedTo(Wall, Ladder) = TRUE

     getObjectProperty(Ladder.footholdWidth) >= 20 cm

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 25조 (지하층의 구조) 2항 5호

check(REFB_25_2_5){

     

     Floor myFloor(

          isObjectProperty(Floor.isEscape) = TRUE

     )



     Stair myStair{

          isObjectProperty(Stair.isDirect) = TRUE

          (isDirectlyAccessible(Stair, Ground) = TRUE

          OR isDirectlyAccessible(Stair, myFloor) = TRUE)

     }



     Corridor myCorridor{

          isDirectlyAccessible(Corridor, myFloor) = TRUE

          OR isDirectlyAccessible(Corridor, Ground) = TRUE

     }

Door myDoor{
Door.functionType = "Emergency"
Door.Floor.number < 0
}

     (isDirectlyAccessible(myDoor, myStair) = TRUE

     OR isDirectlyAccessible(myDoor, myCorridor) = TRUE

     OR isGoThrough(myDoor, Corridor, myStair) = TRUE

     OR isGoThrough(myDoor, Corridor, myCorridor) = TRUE)

Passage myPassage{
isObjectProperty(Passage.isEscape) = TRUE
}

     getSpaceWidth(myPassage) >= 0.75 m



     isObjectProperty(myPassage.InteriorFinish.Material.nonCombustibility) = TRUE

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 25조 (지하층의 구조) 2항 7호

check(REFB_25_2_7){     
Door myDoor{
Door.functionType = "Emergency"
Door.Floor.number < 0
}

Light myLight{
isObjectProperty(Light.isEmergency) = TRUE
}

Passage myPassage{
isObjectProperty(Passage.isEscape) = TRUE
}

     hasElement(myDoor, LeadingLight) = TRUE

     hasElement(myPassage, myLight) = TRUE

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 25조 (지하층의 구조) 1항
check(REFB_25_1){
KS
}


KS{
     getResult(REFB_25_1_1) = TRUE
     AND getResult(REFB_25_1_1-2) = TRUE
     AND getResult(REFB_25_1_2) = TRUE
     AND getResult(REFB_25_1_3) = TRUE
     AND getResult(REFB_25_1_4) = TRUE
}

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 29조 (피난용승강기의 설치 및 구조) 1항 



Check(REFB_29_1){

   IF (!CS1 AND CS2)THEN KS 

}



CS1{



   Building myBuilding{

         isObjectProperty(Building.isQuasiHighriseBuilding )=True

   }



    getBuildingUsage()="myBuilding.MultiUnitHouse"

}

CS2{

    isObjectProperty(Building.isHighBuilding) = TRUE

}

KS{

   getResult(REFB_30)=True

   getResult(REFB_29_2)=True

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 29조 (피난용승강기의 설치 및 구조) 2항 

Check(REFB_29_2){
       KS
}

KS{
   getResult(Unimplemented_EFSMA)
    
}

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 3조 (내화구조) 1호

Check (REFB_3_0_1){
     IF CS THEN KS
}
CS{
     isInstalled(Wall) = TRUE
}
KS{
     getResult(REFB_3_0_1_가)=TRUE
    getResult(REFB_3_0_1_나)=TRUE
    getResult(REFB_3_0_1_다)=TRUE
    getResult(REFB_3_0_1_라)=TRUE
    getResult(REFB_3_0_1_마)=TRUE
}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 3조 (내화구조) 1호 나목

Check (REFB_3_0_1_나){
     KS
}
KS{
     getObjectProperty(Wall.Structure.materialType) = "SteelFrame"  
     (isInstalled(WireMeshMortar, Wall.DoubleSide) = TRUE
     getObjectWidth(WireMeshMortar) >= 4cm)
     (isInstalled(ConcreteBlock, Wall.DoubleSide) = TRUE 
     OR (getObjectWidth(ConcreteBlock) >= 5cm )
     (isInstalled(Brick, Wall.DoubleSide) = TRUE
     OR getObjectWidth(Brick) >= 5cm )
     (isInstalled(Stone, Wall.DoubleSide) = TRUE
     OR getObjectWidth(Stone) >= 5cm)
}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 3조 (내화구조) 1호 다목

Check (REFB_3_0_1_다){
     IF CS THEN KS
}
CS{
getObjectProperty(Wall.Structure.materialType) = "ConcreteBlock" OR "Brick" OR "Stone"
isObjectProperty(Structure.isReinforcedSteelStructure) = TRUE
}
KS{
getObjectThickness(Wall.Structure) >= 5cm
}     



//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 3조 (내화구조) 1호 라목

Check (REFB_3_0_1_라){
     KS
}

KS{
     getObjectProperty(Wall.Structure.materialType) = "Brick"
     getObjectThickness(Wall.Structure) >= 19cm
}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 3조 (내화구조) 1호 마목

Check (REFB_3_0_1_마){
     KS
}
KS{
     getObjectProperty(Wall.Structure.materialType) = "AeratedConcretePanel" OR "AeratedConcreteBlock"
     getObjectThickness(Wall.Structure) >= 10cm
}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 3조 (내화구조) 4호

Check (REFB_3_0_4){
     IF CS THEN KS
}
CS{
     isInstalled(FloorSlab) = TRUE
}
KS{
     getResult(REFB_3_0_4_가)=TRUE
    getResult(REFB_3_0_4_나)=TRUE
    getResult(REFB_3_0_4_다)=TRUE
}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 3조 (내화구조) 1호 다목

Check (REFB_3_0_4_나){
     IF CS THEN KS
}
CS{
getObjectProperty(FloorSlab.Structure.materialType) = "ConcreteBlock" OR "Brick" OR "Stone"
isObjectProperty(Structure.isReinforcedSteelStructure) = TRUE
}
KS{
getObjectThickness(FloorSlab.Structure) >= 5cm
}     



//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 3조 (내화구조) 4호 다목

Check (REFB_3_0_4_다){
     KS
}
KS{
     (isInstalled(WireMeshMortar, Steel.DoubleSide) = TRUE
     getObjectWidth(WireMeshMortar) >= 5cm)
     OR (isInstalled(ConcreteBlock, Wall.DoubleSide) = TRUE 
     getObjectWidth(ConcreteBlock) >= 5cm)
}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 3조 (내화구조) 6호

Check (REFB_3_0_6){
     IF CS THEN KS
}
CS{
     isInstalled(Roof) = TRUE
}
KS{
     getResult(REFB_3_0_6_가)=TRUE
    getResult(REFB_3_0_6_나)=TRUE
    getResult(REFB_3_0_6_다)=TRUE
}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 3조 (내화구조) 6호 나목

Check (REFB_3_0_6_나){
     IF CS THEN KS
}
CS{
getObjectProperty(Roof.Structure.materialType) = "ConcreteBlock" OR "Brick" OR "Stone"
isObjectProperty(Structure.isReinforcedSteelStructure) = TRUE
}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 3조 (내화구조) 6호 다목

Check (REFB_3_0_6_다){
     IF CS THEN KS
}
CS{
getObjectProperty(Roof.Structure.materialType) = "GlassBlock" OR "WiredSheetGlass"
isObjectProperty(Structure.isReinforcedSteelStructure) = TRUE
}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 3조 (내화구조) 7호

Check (REFB_3_0_7){
     IF CS THEN KS
}
CS{
     isInstalled(Stair) = TRUE
}
KS{
     getResult(REFB_3_0_7_가)=TRUE
    getResult(REFB_3_0_7_나)=TRUE
    getResult(REFB_3_0_7_다)=TRUE
    getResult(REFB_3_0_7_라)=TRUE
}



//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 3조 (내화구조) 7호 나목

Check (REFB_3_0_7_나){
     KS
}
KS{
     getObjectProperty(Stair.Structure.materialType) = "PlainConcrete" OR "ConcreteBlock" OR "Brick" OR "Stone"
}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 3조 (내화구조) 7호 다목

Check (REFB_3_0_7_다){
     IF CS THEN KS
}
CS{
getObjectProperty(Stair.Structure.materialType) = "ConcreteBlock" OR "Brick" OR "Stone"
isObjectProperty(Structure.isReinforcedSteelStructure) = TRUE
}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 3조 (내화구조) 7호 라목

Check (REFB_3_0_7_라){
     KS
}
KS{
getObjectProperty(Stair.Structure.materialType) = "SteelFrame"
}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 3조 (내화구조)

Check (REFB_3){
    getResult(REFB_3_1)=TRUE
    getResult(REFB_3_4)=TRUE
    getResult(REFB_3_6)=TRUE
    getResult(REFB_3_7)=TRUE
    getResult(REFB_3_8)=TRUE

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 3조 (내화구조) 1호 가목

Check (REFB_3_0_1_가){
     KS
}
KS{
     getObjectProperty(Wall.Structure.materialType) = "ReinforcedConcrete" OR "SteelFramedReinforcedConcrete"
     getWallThickness(Wall) >= 10cm
}



//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 3조 (내화구조) 4호 가목

Check (REFB_3_0_4_가){
     KS
}
KS{
     getObjectProperty(Wall.Structure.materialType) = "ReinforcedConcrete" OR "SteelFramedReinforcedConcrete"
     getObjectThickness(FloorSlab.Structure) >= 10cm
}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 3조 (내화구조) 6호 가목

Check (REFB_3_0_6_가){
     KS
}
KS{
     getObjectProperty(Roof.Structure.materialType) = "ReinforcedConcrete" OR "SteelFramedReinforcedConcrete"
}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 3조 (내화구조) 7호 가목

Check (REFB_3_0_7_가){
     KS
}
KS{
     getObjectProperty(Stair.Structure.materialType) = "ReinforcedConcrete" OR "SteelFramedReinforcedConcrete"
}

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 1호
check(REFB_30_0_1){
       KS
}
KS{
     getResult(REFB_30_0_1_가) = TRUE
     getResult(REFB_30_0_1_나) = TRUE
     getResult(REFB_30_0_1_다) = TRUE
}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 1호 가목

check(REFB_30_0_1_가){

      KS

}

KS{

     FloorSlab myFloorSlab{

     isFireResistantStructure(FloorSlab) = TRUE

}

     Wall myWall{

     isFireResistantStructure(Wall) = TRUE

}

     Object  myElement{

          getObject(Platform.Object) - getObject(Opening)

     }

     isPartitioned(myElement, , myFloorSlab) = TRUE

     isPartitioned(myElement, , myWall) = TRUE

}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 1호 나목
check(REFB_30_0_1_나){
      KS
}
KS{
     isConnectedTo(Platform, Floor.One.Space) = TRUE
     Door myDoor{
     isObjectProperty(Door.isEntrance) = TRUE
     isInstalled(Door, Floor.One) = TRUE
     }
     isObjectProperty(myDoor.isStrictFireproofDoor) = TRUE
}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 1호 다목

check(REFB_30_0_1_다){

      KS

}

KS{

     isObjectProperty(Space.InteriorFinish.Material.nonCombustibility)=TRUE

}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 1호 마목

Check(REFB_30_0_1_마){
      KS
}

KS{
     
        EC= getObjectCount(myElevator)  
        getFloorArea(myElevator.Platform)>=6*EC m2
}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 1호 아목



Check(REFB_30_0_1_아){

     IF !CS THEN KS

}



CS{

   isExist(SmokeExhaustionSystem)=True

   getResult(Unimplemented_EDIMSFA_*5_0_5_가)=True

}



KS{

    getResult(RFB_14_1)=True

    getResult(RFB_14_2)=True

}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 2호
check(REFB_30_0_2){
      KS
}
KS{
     getResult(REFB_30_0_2_가) = TRUE
     getResult(REFB_30_0_2_나) = TRUE
     getResult(REFB_30_0_2_다) = TRUE
}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 2호 가목



Check(REFB_30_0_2_가){

      KS

}



KS{

          isFireResistantStructure(ElevatorShaft)  =True

}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 2호 나목



Check(REFB_30_0_2_나){

      KS

}



KS{

   Floor myFloor{

     isObjectProperty(Floor.isEscape)=True

   }

   

ElevatorShaft myElevatorShaft1{
     hasObject(Floor,ElevatorShaft)=TRUE
}
ElevatorShaft myElevatorShaft2{
     hasObject(myFloor,ElevatorShaft)=TRUE     


isConnectedTo(myElevatorShaf1t, myElevatorShaft2, SingleStructure)=TRUE


}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 2호 다목
check(REFB_30_0_2_다){
      KS
}
KS{
     isInstalled(Opening.TopSurface, SmokeExhaustionSystem)
     getResult(RFB_14) = TRUE
}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 3호
check(REFB_30_0_3){
      KS
}
KS{
     getResult(REFB_30_0_3_가) = TRUE
     getResult(REFB_30_0_3_나) = TRUE
}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 3호 가목

check(REFB_30_0_3_가){

      KS

}

KS{

     FloorSlab myFloorSlab{

     isFireResistantStructure(FloorSlab) = TRUE

}

     Wall myWall{

     isFireResistantStructure(Wall) = TRUE

}

     Door myDoor{

     isObjectProperty(Door.isEntrance) = TRUE

     }

     Object myElement{

          getObject(Space.Object) - getObject(myDoor)

     }

     isPartitioned(myElement, , myFloorSlab) = TRUE

     isPartitioned(myElement, , myWall) = TRUE

}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 3호 나목
check(REFB_30_0_3_나){
      KS
}
KS{
     Door myDoor{
     isObjectProperty(Door.isEntrance) = TRUE
     }
     isObjectProperty(myDoor.isStrictFireproofDoor) = TRUE
}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준)
check(REFB_30){
      IF CS THEN KS
}
CS{
     getResult(REFB_29_1) = TRUE
}
KS{
     getResult(REFB_30_0_1) = TRUE
     getResult(REFB_30_0_2) = TRUE
     getResult(REFB_30_0_3) = TRUE
}

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조 (직통계단의 설치기준) 1항

Check(REFB_8_1){

        Stair myStair{

             isObjectProperty(Stair.isDirect)=TRUE  

        }



        Passage myPassage{

             isConnectedTo(Room, Passage)=TRUE

        }



     isExist(myPassage)=TRUE

        isConnectedTo(myStair,myPassage)=TRUE

}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조 (직통계단의 설치기준) 2항



Check(REFB_8_2){

getObjectProperty(Building.usage)=“Factory.SemiconductorAndDisplayPanelManufacturingFactory＂

}

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 2항

Check(REFB_8-2_2){



   Zone myZone{

      isObjectProperty(Zone.isEgressSafetyZone)=TRUE

   }

   Stair myStair{

      isObjectProperty(Stair.isSpecialEscape)=TRUE

      isAccessible(myZone, Stair)=TRUE

   }

  Floor myFloor{

         Floor.number>getFloorNumber(myZone)

         OR Floor.number

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항2호
check(REFB_8-2_3_2){

    Zone myZone{
      isObjectProperty(Zone.isEgressSafetyZone)=TRUE
   }

    isObjectProperty(myZone.InteriorFinish.nonCombustibility)=TRUE
}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항3호
check(REFB_8-2_3_3){
   
  Stair myStair{
     isExternal(Stair)=FALSE
     isAccessible(myZone, Stair)=TRUE
  }
  isObjectProperty(Stair.isSpecialEscape)=TRUE
  
}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항4호
check(REFB_8-2_3_4){
   
   Elevator  myElevator{
     isObjectProperty(Elevator.isEmergency)=TRUE
   }

   isDirectlyAccessible(myZone, myElevator)=TRUE
}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항5호
check(REFB_8-2_3_5){
  hasObject(myZone,Hydrant)=True
  hasObject(myZone,LightingSystem)=TRUE
}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항6호
check(REFB_8-2_3_6){
hasObject(myZone, WarningAndCommunicationFacility)=TRUE
}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 1항
check(REFB_8-2_1){
     KS1 AND IF CS THEN KS2
}

     Zone myZone{
          isObjectProperty(Zone.isEgressSafetyZone) = TRUE
     }

     Space mySpace{
          hasSpace(Space, FacilitiesOfABuilding)
     }

     Structure myStructure{
          isObjectProperty(Space.isfireResistantStructure) = TRUE
     }

KS1{
      BSC = getBuildingStoriesCount()
     getFloorNumber(myZone) <= BSC
}

CS{
     getFloorNumber(mySpace) = getFloorNumber(myZone)
}

KS2{
     isPartitioned(myZone, myStructure, mySpace) = TRUE
}



// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항7호
check(REFB_8-2_3_7){
    getResult(REFB_*_1-2)=TRUE
}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항8호
check(REFB_8-2_3_8){

   Zone myZone {
      geObjectProperty(Zone.isEgressSafetyZone) = TRUE
   }
   getSpaceHeight(myZone)>=2.1 m 
}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (직통계단의 설치기준) 3항9호
check(REFB_8-2_3_9){

   isExist(SmokeExhaustionSystem)=TRUE
   getResult(RFB_14_2)=TRUE
   getResult(RFB_14_2_1)=TRUE
   getResult(RFB_14_2_4)=TRUE
}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 8조의2 (피난안전구역의 설치기준) 3항
Check(REFB_8-2_3){
 
   getResult(REFB_8-2_3_2)=TRUE
   getResult(REFB_8-2_3_3)=TRUE
   getResult(REFB_8-2_3_4)=TRUE
   getResult(REFB_8-2_3_5)=TRUE
   getResult(REFB_8-2_3_6)=TRUE
   getResult(REFB_8-2_3_7)=TRUE
   getResult(REFB_8-2_3_8)=TRUE
   getResult(REFB_8-2_3_9)=TRUE
} 

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 1항

Check(REFB_9_1){

     IF (CS1) THEN KS1 ELSE IF (CS2) THEN KS2

CS1{

     Floor myFloor1 {

               Floor.number > 5

               OR Floor.number <= -2

               }

     Stair myStair1 {

          isObjectProperty(Stair.isDirect) = TRUE

     }

            Floor myFloor2 {

                           isObjectProperty(Floor.isEscape)= TRUE

            }



     isGoThrough(myFloor1, myStair1, myFloor2)= TRUE

     OR isGoThrough(myFloor1, myStair1, Ground) = TRUE

}



CS2{     

     Floor myFloor3 {

          Floor.number >= 5

     }

     

     Stair myStair3 {

          isObjectProperty(Stair.isDirect) = TRUE

           (isGoThrough(myFloor3, myFloor2, Stair) = TRUE

          OR isGoThrough(myFloor3, Ground, Stair) = TRUE)

          }

     Stair myStair2 {

          Stair.Floor.number = -1

          }



     isDirectlyAccessible(myStair2, myStair3)=TRUE

          

KS1 {     

     (isObjectProperty(myStair1.isEscape) = TRUE

     OR isObjectProperty(myStair1.isSpecialEscape) = TRUE)

     }

KS2{

       (isObjectProperty(myStair2.isEscape) = TRUE

     OR isObjectProperty(myStair2.isSpecialEscape) = TRUE)

        (isObjectProperty(myStair3.isEscape) = TRUE

     OR isObjectProperty(myStair3.isSpecialEscape) = TRUE)

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 1호
check(REFB_9_2_1){
     KS
}
KS{
getResult(REFB_9_2_1_1) = TRUE
getResult(REFB_9_2_1_2) = TRUE
getResult(REFB_9_2_1_4) = TRUE
getResult(REFB_9_2_1_5) = TRUE
getResult(REFB_9_2_1_6) = TRUE    
getResult(REFB_9_2_1_7) = TRUE
}



//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 1호 가목
check(REFB_9_2_1_1){
     KS
}
KS{
Wall myWall{
     hasElement(Stair.Space, Wall) = TRUE
     hasElement(Wall, Window) = FALSE
     hasElement(Wall, Door) = FALSE
     hasElement(Wall, Opening) = FALSE
}
Stair myStair{
            isObjectProperty(Stair.isEscape)= TRUE
}

isFireResistantStructure(myWall)= TRUE
isPartitioned (myStair, 0, myWall) = TRUE
      
}



//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 1호 나목

check(REFB_9_2_1_2){

     KS

}

KS{

    isObjectProperty(Stair.Space.InteriorFinish.Material.nonCombustibility) = TRUE



}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 1호 라목

check(REFB_9_2_1_4){

IF (CS1 AND CS2) THEN KS

}

CS1 {

Opening myOpening1{

     isConnectedTo(Stair.Space, Opening) = TRUE

     getObjectProperty(Opening.material)= “WireContainedGlass”

     getObjectProperty(Window.panelOperationType)= “FixedSashWindow”

     getObjectProperty(Opening.area)=< 1㎡     

}

CS2 {

Opening myOpening2{

     getObject(Opening) != myOpening1      

}

KS{

getElementDistance(myOpening1, myOpening2, a)>=2m;     

}



}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 1호 마목
check(REFB_9_2_1_5){
     KS
}
KS{

Opening myOpening3{
     getObject(Opening)!= Door
     isConnectedToExternal(Opening) = FALSE
     hasElement(Stair.Space, Opening) = TRUE
}

     getObjectProperty(myOpening3.material)= “WireContainedGlass”
     getObjectProperty(myOpening3.type)= “FixedSashWindow”
     getObjectProperty(myOpening3.area)=< 1㎡
     
}    



//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 1호 바목

Check(REFB_9_2_1_6){

     KS

}

KS {

     Door myDoor{

     isConnectedToExternal(Opening) = FALSE

}

     Space mySpace{

          isExternal(Space)=FALSE

}

     isGoThrough(mySpace,myDoor,Stair.Space.) = TRUE

     isObjectProperty(Door.effectiveWidth) >= 0.9m

     isEgressDirection(Door) = TRUE;



}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 1호 사목
Check(REFB_9_2_1_7){
KS
}
KS {
Floor myFloor {
     isObjectProperty(Floor.isEscape) = TRUE
}

isFireResistantStructure(Stair) = TRUE
(isDirectlyAccessible(Stair,myFloor)= TRUE 
OR isDirectlyAccessible(Stair,Ground) = TRUE) 
 }






//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 2호

Check(REFB_9_2_2){

    IF (CS) THEN KS 

}



CS{

isExternal(Stair) = TRUE

isObjectProperty(Stair.isEscape) = TRUE

}

KS{

     getResult(REFB_9_2_2_1)=TRUE

     getResult(REFB_9_2_2_2)=TRUE

     getResult(REFB_9_2_2_3)=TRUE

     getResult(REFB_9_2_2_4)=TRUE

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 2호 가목

check(REFB_9_2_2_1){

    IF (CS) THEN KS

}





CS {

Opening myOpening1{               getObjectProperty(Opening.material)= “WireContainedGlass”

     getObjectProperty(Window.panelOperationType)= “FixedSashWindow”

     getObjectProperty(Opening.area)=< 1㎡     

}

Door myDoor {

     isAccessible(Stair, Door)=TRUE

}

Opening myOpening2{

     getObject(Opening) != myOpening1 

     getObject(Opening) != myDoor     

}

isExist(myOpening2) = TRUE

}



KS{

getElementDistance(Stair, myOpening2, a)>=2m;     

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 2호 나목
check(REFB_9_2_2_2){
     IF (CS) THEN KS     
}
CS {
     Space mySpace{
          isExternal(Space)=FALSE
}
     Door myDoor{
          isGoThrough(mySpace,Door,Stair) = TRUE
}
isExist(myDoor) = TRUE
}

KS {
     isObjectProperty(myDoor.strictFireproofDoor) = TRUE
     
}



//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 2호 다목
check(REFB_9_2_3){
     KS     
}
KS {
     getObjectProperty(Stair.effectiveWidth)>= 0.9m
}



//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 2호 라목

check(REFB_9_2_2_4){

     KS     

}

KS {

     isObjectProperty(Stair.isFireResistantStructure) = TRUE

     isAccessible(Stair, Ground)= TRUE

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 3호
check (REFB_9_2_3){
IF (CS) THEN KS 
}
CS{
isObjectProperty(Stair.isSpecialEscape) = TRUE
}
KS{
     getResult(REFB_9_2_3_1)=TRUE
     getResult(REFB_9_2_3_2)=TRUE
     getResult(REFB_9_2_3_3)=TRUE
     getResult(REFB_9_2_3_5)=TRUE
     getResult(REFB_9_2_3_6)=TRUE
     getResult(REFB_9_2_3_7)=TRUE
     getResult(REFB_9_2_3_8)=TRUE
     getResult(REFB_9_2_3_9)=TRUE
     getResult(REFB_9_2_3_10)=TRUE
     getResult(REFB_9_2_3_11)=TRUE
}



//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 3호 나목
check (REFB_9_2_3_2){
IF (CS) TEHN KS
}

CS{
     Space mySpace {
          getSpace(Stair.Space)
          getSpace(“Balcony”)
          getSpace(“AncillaryRoom”)
}
isExist(mySpace)=TRUE
}

KS{
   Wall myWall {
getObjectProperty(Wall.isFireResistantStructure = TRUE
}
   isPartitioned(mySpace, 0, myWall)= TRUE
}



//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 3호 다목
check (REFB_9_2_3_3){
CS TEHN KS
}

CS{
     Space mySpace {
          getSpace(Stair.Space)
          getSpace(“AncillaryRoom”)
}
isExist(mySpace)=TRUE
}

KS{
   
}



//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 3호 마목

check (REFB_9_2_3_5){

CS TEHN KS

}

CS{

     Space mySpace {

          getSpace(Stair.Space)

          getSpace(“Balcony”)

          getSpace(“AncillaryRoom”)

}

     Opening myOpening1 {

          hasElement(mySpace,Opening)=TRUE

          isConnectedToExternal(Opening) = TRUE



     Opening myOpening2 {

          getObjectProperty(Opening.material)= “WireContainedGlass”

          getObjectProperty(Window.panelOperationType)= “FixedSashWindow”

          getObjectProperty(Opening.area)=< 1㎡

}

     Opening myOpening3{

          getObject(myOpening1)-getObject(myOpening2)

}

isExist(myOpening3)=TRUE



KS{

     Opening myOpening4{

          getObject(Opening)-getObject(myOpening3)

}

getElementDistance(myOpening3, myOpening4, a)>=2m

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 3호 바목

check (REFB_9_2_3_6){

CS TEHN KS

}

CS{

isExist(Stair.Space)=TRUE

KS{

      Space mySpace1{

          getSpace(“Balcony”)

          getSpace(“AncillaryRoom”)

          hasObject(Stair.Space, Space)=TRUE

}

     Space mySpace2{

          isExternal(Space)=FALSE

}

     Opening myOpening {

          getObject(Stair.Space.Opening) + getObject(mySpace2.Opening) + getObject(mySpace1.Opening)

}

hasSpace(Stair.Space, myOpening) = TRUE


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 3호 사목

check (REFB_9_2_3_7){

CS TEHN KS

}

CS{

     Space mySpace {

          getSpace(“Balcony”)

          getSpace(“AncillaryRoom”)

          hasObject(Stair.Space,Space)=TRUE

}

     Opening myOpening {

          getObject(mySpace.Opening)

}

isExist(myOpening)=TRUE

}



KS{

getObjectProperty(myOpening.material)= “WireContainedGlass”

getObjectProperty(Window.panelOperationType)= “FixedSashWindow”

getObjectProperty(myOpening.area)=< 1㎡

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 3호 아목

check (REFB_9_2_3_8){

IF (CS) TEHN KS

}

CS{

     Space mySpace1 {

          getSpace(“Balcony”)

          getSpace(“AncillaryRoom”)

}

isExist(mySpace1)=TRUE

}

KS{

     Space mySpace2{

          isExternal(Space)=FALSE

}

     Opening myOpening {

           getObject(mySpace2.Opening)
getObject(Stair.Space.Opening)

}

hasSpace(mySpace1,myOpening)= FALSE

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 3호 차목

check (REFB_9_2_3_10){

     KS

}

KS{

     Floor myFloor {

          isObjectProperty(Floor.isEscape) =TRUE

     isObjectProperty(Stair.isFireResistantStructure) = TRUE

     isAccessible(Stair,myFloor)=TRUE

     OR isAccessible(Stair,Ground)=TRUE

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 3호 카목

check (REFB_9_2_3_카){
     KS
}

KS{
getObjectProperty(Door.effectiveWidth) >= 0.9m
isObjectProperty(Door.isEscapeDirection)=TRUE
}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 3항

Check(REFB_9_3) {

     KS

}

KS {

     Stair myStair1{

          isObjectProperty(Stair.isEscape)=TRUE

          OR isObjectProperty(Stair.isSpecialEscape)=TRUE

}

     Space mySpace{

          getObjectProperty(Space.usage) = “RooftopPlaza”
}
          hasObject(Rooftop, mySpace)=TRUE



}

     Stair myStair2{

          hasObject(mySpace.Building,myStair1)=TRUE 

}     

     getObjectProperty(myStair.type)!= “WindingStair”

     isAccessible(myStair2,mySpace)=TRUE

     isEgressDirection(mySpace.Door) = TRUE

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 4항
Check(REFB_9_4) {
     KS
}
     Building myBuilding{
          Building.usage = “SideCorridorTypeMultiUnitHouse”
}

     Space mySpace = getSpace(“Corridor”)
     isConnectedToExternal(mySpace)=TRUE




//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항
check (REFB_9_2){
     getResult(REFB_9_2_1) = TRUE 
     getResult(REFB_9_2_2) = TRUE
     getResult(REFB_9_2_3) = TRUE
     
}



//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 3호 가목

check (REFB_9_2_3_1){

CS THEN KS 

}

CS {

isExist(Stair.Space) = TRUE

}

KS {

     Window myWindow {

          getObjectProperty(Window.area)>= 1 m2

          isObjectProperty(Window.isExternalDirection) = TRUE

           getElementDistance(Window, FloorSlab, a)>=1m



}

     SmokeExhaustionSystem mySmokeExhaustionSystem {

          getElement(SmokeExhaustionSystem)

          getResult(RFB_14)=TRUE

}



     Space mySpace1{

          getSpace(“Balcony”)

}

     Space mySpace2{

          isExternal(Space)=FALSE

}

     Space mySpace3{

          getSpace(“AncillaryRoom”)

          getFloorArea(Space.Floor, ) >= 3㎡

          hasElement(Space,mySmokeExhaustionSystem) = TRUE

          hasElement(Space,myWindow) = TRUE

}

isGoThrough(mySpace2,Stair.Space, ,mySpace1)

OR isGoThrough(mySpace2,Stair.Space, ,mySpace3)


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 3호 자목

check (REFB_9_2_3_9){

IF(CS1) THEN KS1 OR (CS2) TEHN KS2

}

Space mySpace1 {

     isExternal(Space)=FALSE

}

Space mySpace2 = getSpace(“Balcony”) + getSpace(“AncillaryRoom”)

CS1{

     

     isGoThrough(mySpace1,Door,mySpace2) = TRUE

}

KS1 {

     isObjectProperty(Door.isStrictFireproofDoor)= TRUE

}



CS2{

     isGoThrough(mySpace2,Door,Stair.Space) = TRUE

}

KS2{

     isObjectProperty(Door.isFireproofDoor)= TRUE

}

//      장애인ㆍ노인ㆍ임산부 등의 편의증진보장에 관한 법률 시행규칙 2조 (편의시설의 세부기준) 1항


Check(ERCDAPA_2_1){
KS
}

KS{
getResult(ERCDAPA_*_1)=TRUE
}

//장애인ㆍ노인ㆍ임산부 등의 편의증진보장에 관한 법률 시행규칙 별표1 편의시설의 구조·재질등에 관한 세부기준(제2조제1항관련)

Check(ERCDAPA_2_1_*_1_4_나_1){
     IF (CS1 THEN KS1) OR (CS2 THEN KS2)

     ParkingUnit myParkingUnit{
          isObjectProperty(ParkingUnit.isParallelParking) = TRUE
     }

     CS1{
          isObjectProperty(ParkingUnit.isParallelParking) = TRUE
     }

     KS1{
          getObjectWidth(ParkingLotArea.isHandicapParking, a) >= 3.3 m
          getElementLength(ParkingLotArea.isHandicapParking) >= 5 m
     }

     CS2{
          isObjectProperty(ParkingLotArea.isParallelParking) = FALSE
     }

     KS2{
          getObjectWidth(ParkingLotArea.isHandicapParking, a) >= 2 m
          getElementLength(ParkingLotArea.isHandicapParking) >= 6 m
     }
}


check(ERCDAPA_2_1_*_1_4_나_2){
     getObjectGradient(ParkingSpace.Floor) <= 1/50
}


check(ERCDAPA_2_1_*_1_6_가_1){
     
     Door myDoor1{
          isObjectProperty(Door.isEntrance) = TRUE
     }

     Door myDoor2{
          isObjectProperty(Door.isEntrance) = TRUE
          getObject(Door.isEntrance) != getObject(myDoor1)
     }

     getObjectWidth(Door.isEntrance) >= 0.8 m
     isEgressDirection(myDoor1) = isEgressDirection(myDoor2)
     getObjectDistance(myDoor1, myDoor2) >= 1.2 m
}


check(ERCDAPA_2_1_*_1_6_가_2){
     
     isObjectProperty(Door.isAutomatic) = FALSE
     isObjectProperty(Door.isSillFree) = TRUE
}

check(ERCDAPA_2_1_*_1_8_가_2){
     
     getObjectVerticalDistance(FloorSurface,Door.Bottom)
}

check(ERCDAPA_2_1_*_1_8_나){
     
     Stair myStair{
          isObjectProperty(Stair.isEscape) = TRUE
          isObjectProperty(Stair.isOutdoor) = TRUE
     }

     getObjectWidth(myStair) >= 0.9 m 
     getObjectWidth(myStair.StairLanding) >= 0.9 m

     Stair myStair2{
          isObjectProperty(Stair.isEscape) = FALSE
          isObjectProperty(Stair.isOutdoor) = FALSE
     }

     getObjectWidth(myStair2) >= 1.2 m 
     getObjectWidth(myStair2.StairLanding) >= 1.2 m
}


check(ERCDAPA_2_1_*_1_8_다_1){
     
     hasObject(Stair, VerticalSurfaceStair) = TRUE
}

check(ERCDAPA_2_1_*_1_8_다_2){
     
     getObjectWidth(Stair.threadWidth) >= 0.28 m
     getObjectHeight(Stair.riserHeight) <= 0.18m
}

check(ERCDAPA_2_1_*_1_8_다_3){
     
     getObjectGradient(Stair.riserGradient) >= 60
     getObjectLength(Stair.nosingLength) < 3 cm
}

//주차장법 시행규칙 11조 (부설주차장의 구조·설비기준) 2항
Check(ERPA_11_2){
     getResult(ERPA_6_1_9) = TRUE
     getResult(ERPA_6_1_11) = TRUE
}



//주차장법 시행규칙 11조 (부설주차장의 구조·설비기준) 2항 1조
Check(ERPA_11_2_1){
     KS
}

KS{
     Building myBuilding{
          getBuildingUsage() = "CommercialFacility" OR "LodgingFacility", "AmusementFacility", "CulturalAndAssemblyFacility", "ReligiousFacility","BusinessFacility"
     }
          isObjectProperty(myBuilding.ParkingLot.isAttachedParking) = TRUE
          getObjectProperty(ParkingLot.numberOfParkingUnit) > 30
          getObjectProperty(ParkingLot.operationType) = "DriveInParking" OR "MechanicalParking"

}


//주차장법 시행규칙 11조 (부설주차장의 구조·설비기준) 4항
Check(ERPA_11_4){
     IF CS THEN KS
}

CS{
     ParkingLot myParkingLot{
          isObjectProperty(ParkingLot.isAttachedParking) = TRUE
          getObjectProperty(ParkingLot.numberOfParkingUnit) >= 50
     }

     ParkingUnit myParkingUnit{
          getObjectProperty(ParkingUnit) = "ExtensionType"
     }

     hasSpace(myParkingLot, myParkingUnit) = TRUE
}

KS{
     getResult(ERPA_6_1_14) = TRUE
}


//주차장법 시행규칙 11조 (부설주차장의 구조·설비기준) 5항 1호



Check(ERPA_11_5_1){

     KS

}



KS{

    IF  isAdjacent(ParkingUnit, ParkingLot.Driveway)=True

    THEN 

        IF getObjectProperty(ParkingUnit.parkingType)="ParallelParking"

           THEN ParkingLot.Driveway.width>=3.0 m

        ELSE IF getObjectProperty(ParkingUnit.parkingType)="RightAngleParking"

                THEN ParkingLot.Driveway.width>=6.0 m

              ELSE IF getObjectProperty(ParkingUnit.parkingType)="60AngleParking"

                THEN ParkingLot.Driveway.width>=4.0 m

                   ELSE IF getObjectProperty(ParkingUnit.parkingType)="45AngleParking"

                       THEN ParkingLot.Driveway.width>=3.5 m 

                       ELSE IF getObjectProperty(ParkingUnit.parkingType)="CrossParking"

                THEN ParkingLot.Driveway.width>=3.5 m

       END IF



    ELSE THEN

    ParkingLot.Driveway.width>=2.5 m

    END IF 

}


//주차장법 시행규칙 11조 (부설주차장의 구조·설비기준) 5항
Check(ERPA_11_5){
     IF CS THEN KS
}

CS{
     ParkingLot myParkingLot{
          isObjectProperty(ParkingLot.isAttachedParking) = TRUE
          isObjectProperty(ParkingLot.operationType) = "DriveInParking"
     }

     getObjectProperty(myParkingLot.numberOfParkingUnit) >= 8
}

KS{
     getResult(ERPA_11_5_1) = TRUE
     getResult(ERPA_11_5_2) = TRUE
     getResult(ERPA_11_5_3) = TRUE
}


//     주차장법 시행규칙 11조 (부설주차장의 구조·설비기준) 5항 5호

Check(ERPA_11_5_5){
    KS
}

KS{
     getObjectWidth(ParkingLot.Opening) >= 3m
}

//주차장법 시행규칙 16조의2 (기계식주차장의 설치기준) 1호 가목



Check(ERPA_16-2_0_1_가){

   IF CS THEN KS

}



CS{

ParkingLot myParkingLot{
     ParkingLot.operationType = "MechanicalParking"
}
   getObjectProperty(myParkingLot.scale)="MiddleSize"

}



KS{

   Space mySpace{

     getSpaceUsage()="FrontageSpace"

     Space.width>=8.1 m

     Space.length>9.5 m

   }

  

    isExist(mySpace)=True

    OR isExist(DirectionSwitchingEquipment)=True

       getObjectDiameter(DirectionSwitchingEquipment)>=4 m

       isExist(Space)=True

       isAdjacent(DirectionSwitchingEquipment, Space)=True

       Space.width>=1 m

}


//주차장법 시행규칙 16조의2 (기계식주차장의 설치기준) 3호 가목



Check(ERPA_16-2_0_3_가){

   IF CS THEN KS

}



CS{
ParkingLot myParkingLot{
     ParkingLot.operationType = "MechanicalParking"
}
   getObjectProperty(myParkingLot.scale)="MiddleSize"


}



KS{

    myParking.length>=5.05 m

    myParking.width>1.85 m

}


//주차장법 시행규칙 16조의2 (기계식주차장의 설치기준) 1호



Check(ERPA_16-2_0_1){

   

  KS

}



KS{

  isExist(FrontageSpace, MechanicalParkingEquipment.Opening.FrontSurface)=True

  isExist(DirectionSwitchingEquipment, MechanicalParkingEquipment.Opening.FrontSurface)=True

  getResult(ERPA_16-2_0_1_가)=True

   getResult(ERPA_16-2_0_1_나)=True

}


//주차장법 시행규칙 16조의2 (기계식주차장의 설치기준) 1호 나목



Check(ERPA_16-2_0_1_나){

   IF CS THEN KS      

}





CS{
ParkingLot myParkingLot{
     ParkingLot.operationType = "MechanicalParking"
}
   getObjectProperty(myParkingLot.scale)="LargeSize"

}



KS{

   Space mySpace{

     getSpaceUsage()="FrontageSpace"

     Space.width>=10 m

     Space.length>11 m

   }

  

    isExist(mySpace)=True

    OR isExist(DirectionSwitchingEquipment)=True

       getObjectDiameter(DirectionSwitchingEquipment)>=4.5 m

       isExist(Space)=True

       isAdjacent(DirectionSwitchingEquipment, Space)=True

       Space.width>=1 m

}


//주차장법 시행규칙 16조의2 (기계식주차장의 설치기준) 2호

Check(ERPA_16-2_0_2){
   IF CS THEN KS      
}

CS{
   hasObject(MechanicalParkingEquipment,DirectionSwitchingEquipment)=True
   OR 
   //2츠이상으로 주차구획이 배치되어 있고 
   // 출입구가 있는 층의 모든 주차구획을 기계식주차장치 출입구로 사용할 수 있는
   getSpaceUsage()="MechanicalParking"
}

KS{
   getResult(ERPA_6_1_3)=True
   OR getResult(ERPA_11_5_2)=True
}


//주차장법 시행규칙 16조의2 (기계식주차장의 설치기준) 3호

Check(ERPA_16-2_0_3){
       IF CS THEN KS 
}

CS{
   getSpaceUsage()="MechanicalParking"
}


KS{
   Space mySpace{
       isAdjacent(FrontageSpace,Space)=True
   }
   
   isExist(ApproachRoad)=True
   isExist(mySpace)=True
   IF(// 주차장의 출구와 입구가 따로 설치되어 있거나
   OR "진입로".width>6 m) THEN
   //종단경사도가 6퍼센트 이하인 진입로의 길이 6미터마다 
한 대분의 정류장을 확보한 것으로 본다.
   ELSE THEN

   //주차대수 20대를 초과하는 20대마다 한 대분의 정류장을 확보하여야 하며
   getResult(ERPA_16-2_0_3_가)=True
   getResult(ERPA_16-2_0_3_나)=True

  END IF

}


//주차장법 시행규칙 16조의2 (기계식주차장의 설치기준) 3호 나목



Check(ERPA_16-2_0_3_나){

   IF CS THEN KS 

}



CS{
ParkingLot myParkingLot{
     ParkingLot.operationType = "MechanicalParking"
}
   getObjectProperty(myParkingLot.scale)="LargeSize"

}





KS{

   myParking.length>5.3 m

   myParking.width>2.15 m

}

Check(ERPA_16 – 5_1_2) { IF (CS1 then KS1) OR (CS2 then KS2) }
CS1 {
 ParkingLot myParkingLot {
  myParkingLot.operationType = "MechanicalParking" }
 getObjectProperty(myParkingLot.scale) = "MiddleSize"
 MechanicalParkingEquipment myMechanicalParkingEquipment {
  isExist(myMechanicalParkingEquipment, myParkingLot) = true }
 }
KS1{
 Opening myOpening1 {
  isExist(myOpening1, myMechanicalParkingEquipment) = true
  WD1 = getObjectWidth(myOpening1, a) >= 2.3m
  H1 = getObjectHeight(myOpening1, a) >= 1.6m }
 }
CS2 {
 ParkingLot myParkingLot {
  myParkingLot.operationType = "MechanicalParking" }
 getObjectProperty(myParkingLot.scale) = "LargeSize"
 MechanicalParkingEquipment myMechanicalParkingEquipment {
   isExist(myMechanicalParkingEquipment, myParkingLot) = true }
 }
KS2 {
 Opening myOpening2 {
  isExist(myOpening2, myMechanicalParkingEquipment) = true
  WD2 = getObjectWidth(myOpening2, a) >= 2.4m
  H2 = getObjectHeight(myOpening2, a) >= 1.9m }  }

//     주차장법 시행규칙 3조 (주차장의 주차구획) 1항
Check(ERPA_3_1){
     KS
}

KS{
     getResult(ERPA_3_1_1) = TRUE
     getResult(ERPA_3_1_2) = TRUE
}



//  주차장법 시행규칙 3조 (주차장의 주차구획) 1항 1호
Check(ERPA_3_1_1){
     KS
}

KS{
     getObjectProperty(ParkingUnit.parkingType) = "ParallelParking"
}



//  주차장법 시행규칙 3조 (주차장의 주차구획) 1항 2호
Check(ERPA_3_1_2){
     KS
}

KS{
     getObjectProperty(ParkingUnit.parkingType) != "ParallelParking"
}

//주차장법 시행규칙 4조 (노상주차장의 구조·설비기준) 1항 8호 가목



Check(ERPA_4_1_8_가){

    IF CS THEN KS

}



CS{

  getObjectCount(ParkingLot.ParkingUnit)>=20

  getObjectCount(ParkingLot.numberOfParkingUnit)<50

}





KS{



Area myArea{

   isObjectProperty(ParkingLotArea.isHandicapParking)=True

}

    getObjectCount(myArea)>=1

}


//주차장법 시행규칙 4조 (노상주차장의 구조·설비기준) 1항 8호 나목



Check(ERPA_4_1_8_나){

    IF CS THEN KS

}



CS{

  getObjectCount(ParkingLot.ParkingUnit)>=50



}





KS{



    Area myArea{

        isObjectProperty(ParkingLotArea.isHandicapParking)=True

    }

    PLC=getObjectProperty(ParkingLot.numberOfParkingUnit)



    getObjectCount(myArea)>=PLC*2%

    getObjectCount(myArea)<=PLC*4%

    getResult(Unimplemented_LGMO)=True

}


//주차장법 시행규칙 4조 (노상주차장의 구조·설비기준) 1항

Check(ERPA_4_1){
      KS
}

KS{
   getResult(ERPA_4_1_8)=True

}


//주차장법 시행규칙 4조 (노상주차장의 구조·설비기준) 1항8호

Check(ERPA_4_1_8){
     IF CS THEN KS
}

CS{
   isObjectProperty(ParkingLot.isOffStreetParking)=True
}


Area myArea{
   isObjectProperty(ParkingLotArea.isHandicapParking)=True
}

KS{
   isExist(myArea)=True
   getResult(ERPA_4_1_8_가)=True
}

//주차장법 시행규칙 5조 (노외주차장의 설치에 대한 계획기준) 7항

Check(ERPA_5_7){

      IF (!CS1 AND CS2) THEN KS

}



CS2{

     ParkingLot myParkingLot{

     isObjectProperty(ParkingLot.isOffStreetParking)=TRUE

     }

     getObjectProperty(ParkingLot.numberOfParkingUnit) > 400

}

     Opening myOpening1{

     isObjectProperty(myParkingLot.Oepning.isEntrance)=TRUE

     }

     Opening myOpening2{

     isObjectProperty(myParkingLot.Oepning.isExit)=TRUE

     }

     myOpening1 != myOpening2



CS1{



     getObjectProperty(myOpening1.width) = W1

     getObjectProperty(myOpening2.width) = W2

     W1 + W2 >= 5.5m

}



KS2{

     isExist(myOpening1) = TRUE

     isExist(myOpening2) = TRUE     

}


//주차장법 시행규칙 5조 (노상주차장의 구조·설비기준) 8호 

Check(ERPA_5_0_8){
    IF CS THEN KS
}

CS{
  
  ParkingLot myParkingLot{
    isObjectProperty(ParkingLot.isOffStreetParking)=True
  }

  getObjectCount(myParkingLot.ParkingUnit)>=50

}


KS{

    Area myArea{
        isObjectProperty(myParkingLotArea.isHandicapParking)=True
    }

    PLC=getObjectCount(myParkingLot.ParkingUnit)

    getObjectCount(myArea)>=PLC*2%
    getObjectCount(myArea)<=PLC*4%
    getResult(Unimplemented_LGMO)=True
}

//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 12호 나목
Check(ERPA_6_1_12_2){
     KS
}

KS{
     isExist(CrashBarrier) = TRUE
     getObjectProperty(CrashBarrier) = "FallPreventionSafetyFacility"
}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 14호
Check(ERPA_6_1_14){
     KS
}

KS{
     
     ParkingLot myParkingLot{
          isObjectProperty(ParkingLot.isOffStreetParking) = TRUE
     }

     ParkingUnit myParkingUnit{
          getResult(ERPA_3_1_2) = TRUE
          getObjectProperty(ParkingUnit.parkingUseType) = "ExtensionType"
     }

     ParkingUnit myParkingUnit2{
          getResult(ERPA_3_1_2) = TRUE
          getObjectProperty(ParkingUnit.parkingType) = "ParallelParking"
     }

     hasSpace(myParkingLot, myParkingUnit) = TRUE     
     (getObjectProperty(ParkingUnit.numberOf)*0.3 - getObjectNumber(myParkingUnit2)) <= getObjectNumber(myParkingUnit)
}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 4항 3호

Check(ERPA_6_4_3){

     KS

}



KS{

     getSpaceUsage(ParkingLotSubsidiaryFacility) = "GasStation"

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항
Check(ERPA_6_1){
   KS
}

KS{
   getResult(ERPA_6_1_2)=True
   getResult(ERPA_6_1_3)=True
   getResult(ERPA_6_1_4)=True
   getResult(ERPA_6_1_5)=True
   getResult(ERPA_6_1_6)=True
   getResult(ERPA_6_1_7)=True
   getResult(ERPA_6_1_12)=True
   getResult(ERPA_6_1_14)=True

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 3호



Check(ERPA_6_1_3){

    IF CS THEN KS

}



CS{

  isObjectProperty(ParkingLot.isOffStreetParking)=True

}



KS{

  isExist(ParkingLot.Driveway)=True

  getResult(ERPA_6_1_3_가)=True

  getResult(ERPA_6_1_3_나)=True

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 3호 가목

Check(ERPA_6_1_3_가){

      KS

}





KS{

   isAdjacent(ParkingLotAreaMark.Edge, ParkingLot.Driveway)=True

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 3호 나목
Check(ERPA_6_1_3_나){
      KS
}

KS{
   getResult(ERPA_6_1_3_나_1)=True
   getResult(ERPA_6_1_3_나_2)=True
}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 4호

Check(ERPA_6_1_4){

      KS1 AND IF CS THEN KS2

}



KS1{

     ParkingLot myParkingLot{

     isObjectProperty(ParkingLot.isOffStreetParking)=TRUE

     }

     getObjectProperty(myParkingLot.Opening.width) >= 3.5m

}



CS{

     getObjectProperty(ParkingLot.numberOfParkingUnit) >= 50

}



KS2{

     Opening myOpening1{

     isObjectProperty(Opening.isExit)=TRUE

     }

     Opening myOpening2{

     isObjectProperty(Opening.isEntrance)=TRUE

     }

     myOpening1 != myOpening2

     isExist(myOpening1)=TRUE

     isExist(myOpening2)=TRUE

     OR getObjectProperty(Opening.width) >= 5.5m

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 5호
Check(ERPA_6_1_5){
      KS
}

KS{
     getResult(ERPA_6_1_3)=TRUE
     getResult(ERPA_6_1_5_가)=TRUE
     getResult(ERPA_6_1_5_나)=TRUE
     getResult(ERPA_6_1_5_다)=TRUE
     getResult(ERPA_6_1_5_라)=TRUE
     getResult(ERPA_6_1_5_바)=TRUE
}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 5호 가목
Check(ERPA_6_1_5_가){
      KS
}

KS{
     getObjectHeight(ParkingLot.Driveway) >= 2.3m
}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 5호 나목
Check(ERPA_6_1_5_나){
       KS1 AND IF CS THEN KS2
}

KS1{
     
}
CS{

}
KS2{

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 5호 다목
Check(ERPA_6_1_5_다){
       KS AND IF (CS1 THEN KS1 ELSE KS2) OR (CS2 THEN KS3 ELSE KS4)
}

KS{
     Wall myWall{
          hasObject(Ramp,Wall)=TRUE 
     }
     hasObject(Ramp, ParkingLot.Driveway)=TRUE 
     getElementDistance(myWall.Surface,      Curb, a) >= 30cm
     10cm =< getObjectProperty(Curb.height) < 15cm
}

CS1{
     getObjectProperty(ParkingLot.Driveway.shapeType) = "LinearType"
     getObjectProperty(ParkingLot.Driveway.numberOfLane) >= 2

}
KS1{
     getOjbectProperty(ParkingLot.Driveway.width) >= 6m
}
KS2{
     getOjbectProperty(ParkingLot.Driveway.width) >= 3.3m
}

CS2{
     getObjectProperty(ParkingLot.Driveway.shapeType) = "CurvedType"
     getObjectProperty(ParkingLot.Driveway.numberOfLane) >= 2

}
KS1{
     getOjbectProperty(ParkingLot.Driveway.width) >= 6.5m
}
KS2{
     getOjbectProperty(ParkingLot.Driveway.width) >= 3.6m
}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 5호 라목
Check(ERPA_6_1_5_라){
       IF (CS1 THEN KS1) OR (CS2 THEN KS2)
}

CS1{
     getObjectProperty(ParkingLot.Driveway.shapeType) = "LinearType"
}
KS1{
     getObjectProperty(ParkingLot.Driveway.gradient) < 17%
}
CS2{
     getObjectProperty(ParkingLot.Driveway.shapeType) = "CurvedType"
}
KS2{
     getObjectProperty(ParkingLot.Driveway.gradient) < 14%
}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 5호 바목

Check(ERPA_6_1_5_바){

       IF CS THEN (KS1 OR KS2)

}



CS{

     getObjectProperty(ParkingLot.numberOfParkingUnit) >= 50

     hasObject(Ramp, ParkingLot.Driveway.)=TRUE 

}

KS1{

     getObjectProperty(ParkingLot.Driveway.width) >= 6m

     getObjectProperty(ParkingLot.Driveway.numberOfLane) >= 2

}

KS2{

     Opening myOpening1{

     isObjectProperty(Opening.isExit)=TRUE 

     }

     Opening myOpening2{

     isObjectProperty(Opening.isEntrance)=TRUE 

     }

     myOpening1 != myOpening2

     hasObject(ParkingLot.Driveway., myOpening1)=TRUE 

     hasObject(ParkingLot.Driveway., myOpening2)=TRUE 

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 6호
Check(ERPA_6_1_6){
       IF (!CS1 AND CS2) THEN (KS1 AND KS2)
}

CS1{
     Elevator myElevator{
     getObjectProperty(Elevator.usage) = "AutomobileElevator"
     }
     Opening myOpening1{
     isObjectProperty(Elevator.Opening.isEntrance)=TRUE
     }
     Opening myOpening2{
     isObjectProperty(Elevator.Opening.isExit)=TRUE
     }
     myOpening1 != myOpening2
     isExist(myOpening1)=TRUE
     isExist(myOpening2)=TRUE
}
CS2{
     getObjectProperty(ParkingLot.operationType) = "DriveInParking"
     isObjectProperty(ParkingLot.isOffStreetParking)=TRUE
}

KS1{
     
}
KS2{
     getResult(ERPA_16-2_1)=TRUE
     getResult(ERPA_16-2_3)=TRUE
}



//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 7호
Check(ERPA_6_1_7){
       KS
}

KS{
     isObjectProperty(ParkingLot.isOffStreetParking)=TRUE
     getObjectHeight(ParkingLotArea.Space) >= 2.1m
}


//     주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 10호

Check(ERPA_6_1_10){
    KS
}

KS{
     ParkingLot myParkingLot{
          isObjectProperty(ParkingLot.isOffStreetParking) = TRUE
     }
     isInstalled(AlarmSystem, myParkingLot) = TRUE
}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 12호
Check(ERPA_6_1_12){
       IF CS THEN KS
}

CS{
          getObjectProperty(ParkingLot.buildingType)="BuildingType"
          getObjectProperty(ParkingLot.Floor.numberOf) >= 2
}
KS{
     getResult(ERPA_6_1_12_나)=TRUE
}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 4항

Check(ERPA_6_4){

     IF !CS THEN KS

}



CS{

     TFA = getFloorArea(ParkingLot)

     getTotalObjectArea(     ParkingLotSubsidiaryFacility) > TFA*0.2

}



KS{

     ParkingLot myParkingLot{

          isObjectProperty(ParkingLot.isOffStreetParking) = TRUE

     }



     SubsidiaryFacility mySubsidiaryFacility{

          getResult(ERPA_4_1) = TRUE

          OR getResult(ERPA_4_2) = TRUE

          OR getResult(ERPA_4_3) = TRUE

     }



     hasSpace(myParkingLot, mySubsidiaryFacility) = TRUE

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 4항 1호

Check(ERPA_6_4_1){

     KS

}



KS{

     getSpaceUsage(ParkingLotSubsidiaryFacility) = "ControlOffice"

     OR getSpaceUsage(ParkingLotSubsidiaryFacility) = "RestArea"

     OR getSpaceUsage(ParkingLotSubsidiaryFacility) = "PublicToilet"

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 4항 2호

Check(ERPA_6_4_2){

     KS

}



KS{

     getSpaceUsage(ParkingLotSubsidiaryFacility) = "SnackBar"

     OR getSpaceUsage(ParkingLotSubsidiaryFacility) = "CarOrnamentationShop"

     OR getSpaceUsage(ParkingLotSubsidiaryFacility) = "ElectricVehicleChargingStation"

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 4항 4호
Check(ERPA_6_4_4){
     KS
}


KS{
   getResult(Unimplemented_LGMO)
}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 5항

Check(ERPA_6_5){

     IF CS THEN KS

}



CS{

     ParkingLot myParkingLot{

          isObjectProperty(ParkingLot.isOffStreetParking) = TRUE

          getResult(PLA_20_2) = TRUE

          OR getResult(PLA_20_3) = TRUE

     }



     hasSpace(myParkingLot,SubsidiaryFacility) = TRUE

     getTotalFloorArea(myParkingLot.facilityArea)

}



KS{

     getFloorArea(ParkingLotSubsidiaryFacility) <= getTotalObjectArea(ParkingLot)*0.4

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 6항

Check(ERPA_6_6){

     IF CS THEN KS

}



ParkingLot myParkingLot{

     isObjectProperty(ParkingLot.isOffStreetParking) = TRUE

}


Building myBuilding{
Building.usage = "UrbanGunPlanningFacility"
getResult(LPUA_2_0_7) = TRUE
hasSpace(myParkingLot, Building) = TRUE
getSpaceUsage(Building) = getSpaceUsage(SubsidiaryFacility)

}

Building myBuilding1{
Building.usage = "UrbanGunPlanningFacility"
}

CS{

     getObjectNumber(myBuilding) >= 2

}



KS{

     (getFloorArea(myBuilding1)- getFloorArea(myBuilding)) <= (getTotalObjectArea(ParkingLot) + getTotalObjectArea(SubsidiaryFacility))*0.4

}


//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 3호 나목
Check(ERPA_6_1_3_나){
     IF CS THEN KS
}

CS{
   getSpaceUsage()="ParkingLot"
   getObjectProperty(ParkingLot.parkingUseType)="TwowheeledVehicle"
}

KS{
   IF      getObjectProperty(ParkingUnit.parkingType)="ParallelParking"
       IF getObjectCount(Opening)>=2
       THEN  ParkingLot.Driveway.width>=2.25 m
       ELSE IF getObjectCount(Opening)=1
       THEN  ParkingLot.Driveway.width>=3.5 m
       END IF
   ELSE IF getObjectProperty(ParkingUnit.parkingType)="RightAngleParking"
       IF getObjectCount(Opening)>=2
       THEN  ParkingLot.Driveway.width>=4.0 m
       ELSE IF getObjectCount(Opening)=1
       THEN  ParkingLot.Driveway.width>=4.0 m
       END IF
   ELSE IF getObjectProperty(ParkingUnit.parkingType)="45AngleParking"
       IF getObjectCount(Opening)>=2
       THEN  ParkingLot.Driveway.width>=2.3 m
       ELSE IF getObjectCount(Opening)=1
       THEN  ParkingLot.Driveway.width>=3.5 m
       END IF
  END IF
}



//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 3호 나목

Check(ERPA_6_1_3_나){

     IF CS THEN KS

}



CS{

   getSpaceUsage()="ParkingLot"

   isObjectProperty(ParkingLot.isOffStreetParking)=True

   getObjectProperty(ParkingLot.parkingUseType)!="TwowheeledVehicle"

}



KS{

   IF      getObjectProperty(ParkingUnit.parkingType)="ParallelParking"

       IF getObjectCount(Opening)>=2

       THEN  ParkingLot.Driveway.width>=3.3 m

       ELSE IF getObjectCount(Opening)=1

       THEN  ParkingLot.Driveway.width>=5.0 m

       END IF

   ELSE IF getObjectProperty(ParkingUnit.parkingType)="RightAngleParking"

       IF getObjectCount(Opening)>=2

       THEN  ParkingLot.Driveway.width>=6.0 m

       ELSE IF getObjectCount(Opening)=1

       THEN  ParkingLot.Driveway.width>=6.0 m

       END IF

   ELSE IF getObjectProperty(ParkingUnit.parkingType)="60AngleParking"

       IF getObjectCount(Opening)>=2

       THEN  ParkingLot.Driveway.width>=4.5 m

       ELSE IF getObjectCount(Opening)=1

       THEN  ParkingLot.Driveway.width>=5.5 m

       END IF

   ELSE IF getObjectProperty(ParkingUnit.parkingType)="45AngleParking"

       IF getObjectCount(Opening)>=2

       THEN  ParkingLot.Driveway.width>=3.5 m

       ELSE IF getObjectCount(Opening)=1

       THEN  ParkingLot.Driveway.width>=5.0 m

       END IF

getObjectProperty(ParkingUnit.parkingType)="CrossParking"

       IF getObjectCount(Opening)>=2

       THEN  ParkingLot.Driveway.width>=3.5 m

       ELSE IF getObjectCount(Opening)=1

       THEN  ParkingLot.Driveway.width>=5.0 m

       END IF

  END IF

}

//     국토의 계획 및 이용에 관한 법률 37조 (용도지구의 지정) 1항 9호
Check(LPUA_37_1_5){
     KS
}

KS{
     getSiteUsage() = "DisasterPreventionDistrict"
}



//     국토의 계획 및 이용에 관한 법률 37조 (용도지구의 지정) 1항 8호
Check(LPUA_37_1_8){
     KS
}

KS{
     getSiteUsage() = "SettlementDistrict"
}



//     국토의 계획 및 이용에 관한 법률 37조 (용도지구의 지정) 1항 9호
Check(LPUA_37_1_9){
     KS
}

KS{
     getSiteUsage() = "DevelopmentPromotionDistrict"
}

//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 1항 1호 가목
Check(LPUA_77_1_1_1){
     IF CS THEN KS
}
     
CS{
     getObjectProperty(SpecialPurposeArea.type) = "ResidentialArea"
}

KS{
     getObjectProperty(Building.buildingToLandRatio) = BTL
     BTL <= 70
}


//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 1항 1호 나목
Check(LPUA_77_1_1_2){
     IF CS THEN KS
}
          
CS{
     getObjectProperty(SpecialPurposeArea.type) = "CommercialArea"
}

KS{
     getObjectProperty(Building.buildingToLandRatio) = BTL
     BTL <= 90
}


//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 1항 1호 다목
Check(LPUA_77_1_1_3){
     IF CS THEN KS
}
     
CS{
     getObjectProperty(SpecialPurposeArea.type) = "IndustrialArea"
}

KS{
     getObjectProperty(Building.buildingToLandRatio) = BTL
     BTL <= 70
}


//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 1항 1호 라목
Check(LPUA_77_1_1_4){
     IF CS THEN KS
}
     
CS{
     getObjectProperty(SpecialPurposeArea.type) = "GreenArea"
}

KS{
     getObjectProperty(Building.buildingToLandRatio) = BTL
     BTL <= 20
}


//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 1항 2호 가목
Check(LPUA_77_1_2_1){
     IF CS THEN KS
}
          
CS{
     getObjectProperty(SpecialPurposeArea.type) = "ConservationManagementArea"
}

KS{
     getObjectProperty(Building.buildingToLandRatio) = BTL
     BTL <= 20
}


//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 1항 2호 나목
Check(LPUA_77_1_2_2){
     IF CS THEN KS
}
          
CS{
     getObjectProperty(SpecialPurposeArea.type) = "ProductionManagementArea"
}

KS{
     getObjectProperty(Building.buildingToLandRatio) = BTL
     BTL <= 20
}


//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 1항 2호 다목
Check(LPUA_77_1_2_3){
     IF CS THEN KS
}
          
CS{
     getObjectProperty(SpecialPurposeArea.type) = "PlanningManagementArea"
}

KS{
     getObjectProperty(Building.buildingToLandRatio) = BTL
     BTL <= 40
}


//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 1항 3호
Check(LPUA_77_1_3){
     IF CS THEN KS
}
          
CS{
     getObjectProperty(SpecialPurposeArea.type) = "AgriculturalAndForestryArea"
}

KS{
     getObjectProperty(Building.buildingToLandRatio) = BTL
     BTL <= 20
}


//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 1항 4호
Check(LPUA_77_1_4){
     IF CS THEN KS
}
          
CS{
     getObjectProperty(SpecialPurposeArea.type) = "NaturalEnvironmentConservationArea"
}

KS{
     getObjectProperty(Building.buildingToLandRatio) = BTL
     BTL <= 20
}


//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 2항
Check(LPUA_77_1){
     KS
}

KS{
     getResult(LPUA_36_2) = TRUE
}


//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 3항 3호
Check(LPUA_77_3_3){
     KS
}

KS{
     getResult(LPUA_40) = TRUE
     getObjectProperty(SpecialPurposeZone.type) = "FisheryResourcesProtectionZone"
}


// 국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 3항 4호 

Check(LPUA_77_3_4){
      KS
}


KS{
getObjectProperty(SpecialPurposeZone.type) = "NaturalPark"
}


// 국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 3항 5호

Check(LPUA_J77_3_5){
      KS
}

KS{
   getObjectProperty(SpecialPurposeZone.type) = "AgriculturalAndIndustrialComplexes"
 
} 


//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 3항 6호 

Check(LPUA_77_3_6){
         KS
}


KS{
    getObjectProperty(SpecialPurposeZone.type) = "NationalIndustrialComplexes"
    OR  getObjectProperty(SpecialPurposeZone.type) = "GeneralIndustrialComplexes"
    OR getObjectProperty(SpecialPurposeZone.type) = "UrbanHighTechIndustrialComplexes"
    OR getObjectProperty(SpecialPurposeZone.type) = "SemiIndustrialComplex"

}





//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 1항
Check(LPUA_77_1){
     KS
}

KS{
     getResult(LPUA_77_1_1) = TRUE
     OR getResult(LPUA_77_1_2) = TRUE
     OR getResult(LPUA_77_1_3) = TRUE
     OR getResult(LPUA_77_1_4) = TRUE
}


//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 3항
Check(LPUA_77_3){
     IF CS THEN KS
}
          
CS{
     getResult(LPUA_77_3_1) = TRUE
     OR getResult(LPUA_77_3_2) = TRUE
     OR getResult(LPUA_77_3_3) = TRUE
     OR getResult(LPUA_77_3_4) = TRUE
     OR getResult(LPUA_77_3_5) = TRUE
     OR getResult(LPUA_77_3_6) = TRUE
}

KS{
     getObjectProperty(Building.buildingToLandRatio) = BTL
     BTL <= 80
}


//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 3항 1호
Check(LPUA_77_3_1){
     KS
}

KS{
     getResult(LPUA_37_1_8) = TRUE
     getObjectProperty(SpecialPurposeDistrict.type) = "SettlementDistrict"
}


//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 3항 2호
Check(LPUA_77_3_2){
     KS
}

KS{
     getResult(LPUA_37_1_9) = TRUE
     getObjectProperty(SpecialPurposeDistrict.type) = "DevelopmentPromotionDistrict"
     getObjectProperty(SpecialPurposeArea.type) != "UrbanArea"
}


//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 1항 1호
Check(LPUA_77_1_1){
     KS
}

KS{
     getObjectProperty(SpecialPurposeArea.type) = "UrbanArea"
}


//국토의 계획 및 이용에 관한 법률 77조 (용도지역의 건폐율) 1항 1호
Check(LPUA_77_1_2){
     KS
}

KS{
     getObjectProperty(SpecialPurposeArea.type) = "ControlArea"
}

// 국토의 계획 및 이용에 관한 법률 78조 (용도지역에서의 용적률) 1항

Check(LPUA_78_1){
KS
}

KS{
getResult(LPUA_78_1_1)=TRUE
getResult(LPUA_78_1_2)=TRUE
getResult(LPUA_78_1_3)=TRUE
getResult(LPUA_78_1_4)=TRUE
}



// 국토의 계획 및 이용에 관한 법률 78조 (용도지역에서의 용적률) 1항 1호

Check(LPUA_78_1_1){
IF CS THEN KS
}

CS{
getObjectProperty(Building.SpecialPurposeArea.type) = "UrbanArea"
}
KS{
getResult(LPUA_78_1_1_가)=TRUE
OR getResult(LPUA_78_1_1_나)=TRUE
OR getResult(LPUA_78_1_1_다)=TRUE
OR getResult(LPUA_78_1_1_라)=TRUE

}



// 국토의 계획 및 이용에 관한 법률 78조 (용도지역에서의 용적률) 1항 1호 가목

Check(LPUA_78_1_1_가){
IF CS THEN KS
}

CS{
getObjectProperty(Building.SpecialPurposeArea.type) = "ResidentialArea"
}

KS{
getFloorAreaRatio() <= 500%
}



// 국토의 계획 및 이용에 관한 법률 78조 (용도지역에서의 용적률) 1항 1호 나목

Check(LPUA_78_1_1_나){
IF CS THEN KS
}

CS{
getObjectProperty(Building.SpecialPurposeArea.type) = "CommercialArea"
}

KS{
getFloorAreaRatio() <= 1500%
}



// 국토의 계획 및 이용에 관한 법률 78조 (용도지역에서의 용적률) 1항 1호 다목

Check(LPUA_78_1_1_다){
IF CS THEN KS
}

CS{
getObjectProperty(Building.SpecialPurposeArea.type) = "IndustrialArea"
}

KS{
getFloorAreaRatio() <= 400%
}



// 국토의 계획 및 이용에 관한 법률 78조 (용도지역에서의 용적률) 1항 1호 라목

Check(LPUA_78_1_1_라){
IF CS THEN KS
}

CS{
getObjectProperty(Building.SpecialPurposeArea.type) = "GreenArea"
}

KS{
getFloorAreaRatio() <= 100%
}



// 국토의 계획 및 이용에 관한 법률 78조 (용도지역에서의 용적률) 1항 2호

Check(LPUA_78_1_2){
IF CS THEN KS
}

CS{
getObjectProperty(Building.SpecialPurposeArea.type) = "ControlArea"
}

KS{
getResult(LPUA_78_1_2_가)=TRUE
OR getResult(LPUA_78_1_2_나)=TRUE
OR getResult(LPUA_78_1_2_다)=TRUE
}



// 국토의 계획 및 이용에 관한 법률 78조 (용도지역에서의 용적률) 1항 2호 가목

Check(LPUA_78_1_2_가){
IF CS THEN KS
}

CS{
getObjectProperty(Building.SpecialPurposeArea.type) = "ConservationManagementArea"
}

KS{
getFloorAreaRatio() <= 80%
}



// 국토의 계획 및 이용에 관한 법률 78조 (용도지역에서의 용적률) 1항 2호 나목

Check(LPUA_78_1_2_나){
IF CS THEN KS
}

CS{
getObjectProperty(Building.SpecialPurposeArea.type) = "ProductionManagementArea"
}

KS{
getFloorAreaRatio() <= 80%
}



// 국토의 계획 및 이용에 관한 법률 78조 (용도지역에서의 용적률) 1항 2호 다목

Check(LPUA_78_1_2_다){
IF CS THEN KS
}

CS{
getObjectProperty(Building.SpecialPurposeArea.type) = "PlanningManagementArea"
}

KS{
getFloorAreaRatio() <=100%
}



// 국토의 계획 및 이용에 관한 법률 78조 (용도지역에서의 용적률) 1항 3호

Check(LPUA_78_1_3){
IF CS THEN KS
}

CS{
getObjectProperty(Building.SpecialPurposeArea.type) = "AgriculturalAndForestryArea"
}

KS{
getFloorAreaRatio() <= 80%
}



// 국토의 계획 및 이용에 관한 법률 78조 (용도지역에서의 용적률) 1항 4호

Check(LPUA_78_1_4){
IF CS THEN KS
}

CS{
getObjectProperty(Building.SpecialPurposeArea.type) = "NaturalEnvironmentConservationArea"
}

KS{
getFloorAreaRatio() <= 80%
}



//국토의 계획 및 이용에 관한 법률 78조 (용도지역에서의 용적률) 2항 

Check(LPUA_78_2){
     IF CS THEN KS
}

CS{
    getResult(LPUA_36_2)=True
}

KS{
   getResult(LPUA_78_1)=True
}


// 국토의 계획 및 이용에 관한 법률 78조 (용도지역에서의 용적률) 3항

Check(LPUA_78_3){
IF CS THEN KS
}
CS{
     getResult(LPUA_77_3_2) = TRUE
     getResult(LPUA_77_3_3) = TRUE
     getResult(LPUA_77_3_4) = TRUE
     getResult(LPUA_77_3_5) = TRUE
}
KS{
     BFA = getObjectProperty(Building.floorAreaRatio)
     BFA <= 200
     getResult(Unimplemented_LGMO) = TRUE

//국토의 계획 및 이용에 관한 법률 시행령 46조 (도시지역 내 지구단위계획구역에서의 건폐율 등의 완화적용) 10항

Check(EDLPUA_46_10){
     IF CS THEN KS
}
CS{
     getResult(EDLPUA_46_1)=TRUE
     OR getResult(EDLPUA_46_2)=TRUE
     OR getResult(EDLPUA_46_3)=TRUE
     OR getResult(EDLPUA_46_4)=TRUE
     OR getResult(EDLPUA_46_7)=TRUE
}
KS{
     BBTR = getObjectProperty(Building.buildingToLandRatio)
     BFAR = getObjectProperty(Building.floorAreaRatio)

     (BBTR < 1.5*getObjectProperty(Building.SpecialPurposeArea.buildingToLandRatio)
     OR BBTR < 1.5*getObjectProperty(Building.SpecialPurposeZone.buildingToLandRatio))

     (BFAR < 2*getObjectProperty(Building.SpecialPurposeArea.floorAreaRatio)
     OR BFAR < 2*getObjectProperty(Building.SpecialPurposeZone.floorAreaRatio))

}


//국토의 계획 및 이용에 관한 법률 시행령 46조 (도시지역 내 지구단위계획구역에서의 건폐율 등의 완화적용) 4항

Check(EDLPUA_46_4){
     IF CS THEN KS
}


CS{
  
         getObjectUsage(Zone)="DistrictUnitPlanningZones"
}


KS{
         getResult(EDLPUA_84_1)=True
         getResult(EDLPUA_84_1)=True
         getResult(EDLPUA_84_8)=True
}

//EDLPUA 47조 1항



Check(EDLPUA_47_1){

     IF CS THEN KS

}



CS{

     getObjectUsage(Zone)="DistrictUnitPlanningZones"

}



KS{
SpecialPurposeArea mySpecialPurposeArea{
getObjectProperty(Building.SpecialPurposeArea.type) = "DevelopmentPromotionDistrict"
}

BLR= getObjectProperty(Building.SpecialPurposeArea.buildingToLandRatio) OR getObjectProperty(mySpecialPurposeArea.buildingToLandRatio)

FAR= getObjectProperty(Building.SpecialPurposeArea.floorAreaRatio) OR getObjectProperty(mySpecialPurposeArea.floorAreaRatio)


   getBuildingToLandRatio()<=BLR*150%

   getFloorAreaRatio(FAR)<=200%

}

//국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 3항 2호

Check(EDLPUA_84_3_2){
      IF CS THEN KS
}

CS{
   getObjectProperty(Building.SpecialPurposeDistrict.type)="DevelopmentPromotionDistrict"
}

KS{
    getBuildingToLandRatio()<=40%
}


//국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 8항 

Check(EDLPUA_84_8){
     KS
}

KS{
      IF getObjectProperty(GreenNaturalArea.UrbanAndGunPlanningFacility.type)="AmusementPark"
      
           THEN   getBuildingToLandRatio() <30 
                               getResult(Unimplemented_UPMO)
     
      ELSE IF getObjectProperty(GreenNaturalArea.UrbanAndGunPlanningFacility.type)="Park"

          THEN    getBuildingToLandRatio() <30 
                                 getResult(Unimplemented_UPMO)
      
      END IF
     
} 



//     국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 용적률) 1항 
Check(EDLPUA_84_1){
     KS
}

KS{
     getResult(EDLPUA_84_1_1) = TRUE
     OR getResult(EDLPUA_84_1_2) = TRUE
     OR getResult(EDLPUA_84_1_3) = TRUE
     OR getResult(EDLPUA_84_1_4) = TRUE
     OR getResult(EDLPUA_84_1_5) = TRUE
     OR getResult(EDLPUA_84_1_6) = TRUE
     OR getResult(EDLPUA_84_1_7) = TRUE
     OR getResult(EDLPUA_84_1_8) = TRUE
     OR getResult(EDLPUA_84_1_9) = TRUE
     OR getResult(EDLPUA_84_1_10) = TRUE
     OR getResult(EDLPUA_84_1_11) = TRUE
     OR getResult(EDLPUA_84_1_12) = TRUE
     OR getResult(EDLPUA_84_1_13) = TRUE
     OR getResult(EDLPUA_84_1_14) = TRUE
     OR getResult(EDLPUA_84_1_15) = TRUE
     OR getResult(EDLPUA_84_1_16) = TRUE
     OR getResult(EDLPUA_84_1_17) = TRUE
     OR getResult(EDLPUA_84_1_18) = TRUE
     OR getResult(EDLPUA_84_1_19) = TRUE
     OR getResult(EDLPUA_84_1_20) = TRUE
     OR getResult(EDLPUA_84_1_21) = TRUE
}


//     국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 1항 1호
Check(EDLPUA_84_1_1){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "ClassIExclusiveResidentialArea"
}

KS{
     getBuildingToLandRatio() <= 50
}


//     국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 1항 2호
Check(EDLPUA_84_1_2){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "ClassIIExclusiveResidentialArea"
}

KS{
     getBuildingToLandRatio() <= 50
}


//     국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 1항 3호
Check(EDLPUA_84_1_3){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "ClassIGeneralResidentialArea"
}

KS{
     getBuildingToLandRatio() <= 60
}


//     국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 1항 4호
Check(EDLPUA_84_1_4){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "ClassIIGeneralResidentialArea"
}

KS{
     getBuildingToLandRatio() <= 60
}


//     국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 1항 5호
Check(EDLPUA_84_1_5){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "ClassIIIGeneralResidentialArea"
}

KS{
     getBuildingToLandRatio() <= 50
}


//     국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 1항 6호
Check(EDLPUA_84_1_6){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "QuasiResidentialArea"
}

KS{
     getBuildingToLandRatio() <= 70
}


//     국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 1항 7호
Check(EDLPUA_84_1_7){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "CentralCommercialArea"
}

KS{
     getBuildingToLandRatio() <= 90
}


//     국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 1항 8호
Check(EDLPUA_84_1_8){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "GeneralCommercialArea"
}

KS{
     getBuildingToLandRatio() <= 80
}


//     국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 1항 9호
Check(EDLPUA_84_1_9){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "NeighboringCommercialArea"
}

KS{
     getBuildingToLandRatio() <= 70
}



//     국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 1항 10호
Check(EDLPUA_84_1_10){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "CirculationBusinessArea"
}

KS{
     getBuildingToLandRatio() <= 80
}




//     국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 1항 11호
Check(EDLPUA_84_1_11){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "ExclusiveIndustrialArea"
}

KS{
     getBuildingToLandRatio() <= 70
}



//     국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 1항 12호
Check(EDLPUA_84_1_12){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "GeneralIndustrialArea"
}

KS{
     getBuildingToLandRatio() <= 70
}



//     국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 1항 13호
Check(EDLPUA_84_1_13){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "QuasiIndustrialArea"
}

KS{
     getBuildingToLandRatio() <= 70
}



//     국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 1항 14호
Check(EDLPUA_84_1_14){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "GreenConservationArea"
}

KS{
     getBuildingToLandRatio() <= 20
}


//     국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 1항 15호
Check(EDLPUA_84_1_15){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "GreenProductionArea"
}

KS{
     getBuildingToLandRatio() <= 20
}


//     국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 1항 16호
Check(EDLPUA_84_1_16){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "GreenNaturalArea"
}

KS{
     getBuildingToLandRatio() <= 20
}


//     국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 1항 17호
Check(EDLPUA_84_1_17){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "ConservationManagementArea"
}

KS{
     getBuildingToLandRatio() <= 20
}


//     국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 1항 18호
Check(EDLPUA_84_1_18){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "ProductionManagementArea"
}

KS{
     getBuildingToLandRatio() <= 20
}


//     국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 1항 19호
Check(EDLPUA_84_1_19){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "PlanningManagementArea"
}

KS{
     getBuildingToLandRatio() <= 40
}


//     국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 1항 20호
Check(EDLPUA_84_1_20){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "AgriculturalAndForestryArea"
}

KS{
     getBuildingToLandRatio() <= 20
}



//     국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 1항 21호
Check(EDLPUA_84_1_21){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "NaturalEnvironmentConservationArea"
}

KS{
     getBuildingToLandRatio() <= 20
}



용적률) 3항 
Check(EDLPUA_84_3){
     IF CS THEN KS
}
CS{
     getResult(EDLPUA_84_3_1) = TRUE
     getResult(EDLPUA_84_3_2) = TRUE
     getResult(EDLPUA_84_3_3) = TRUE
     getResult(EDLPUA_84_3_4) = TRUE
     getResult(EDLPUA_84_3_5) = TRUE
     getResult(EDLPUA_84_3_6) = TRUE
}
KS{
     getResult(Unimplemented_UPMO) = TRUE
}



//국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 3항 1호

Check(EDLPUA_84_3_1){
      IF CS THEN KS
}

CS{
   getObjectProperty(Building.SpecialPurposeDistrict.type)="SettlementDistrict"
}

KS{
    getBuildingToLandRatio()<=60%
}


//국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 3항 3호

Check(EDLPUA_84_3_3){
      IF CS THEN KS
}

CS{
   getObjectProperty(Building.SpecialPurposeDistrict.type)="FisheryResourcesProtectionZone"
}

KS{
    getBuildingToLandRatio()<=40%
}


//국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 3항 4호

Check(EDLPUA_84_3_4){
      IF CS THEN KS
}

CS{
   getObjectProperty(Building.SpecialPurposeDistrict.type)="ParkProtectionZone"
}

KS{
    getBuildingToLandRatio()<=60%
}


//국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 3항 5호

Check(EDLPUA_84_3_5){
      IF CS THEN KS
}

CS{
   getObjectProperty(Building.SpecialPurposeDistrict.type)="AgriculturalIndustrialComplex"
}

KS{
    getBuildingToLandRatio()<=70%
}


//국토의 계획 및 이용에 관한 법률 시행령 84조 (용도지역안에서의 건폐율) 3항 6호

Check(EDLPUA_84_3_6){
      IF CS THEN KS
}

CS{
   getObjectProperty(IndustrialComplex.type)="NationalIndustrialComplex"
   OR getObjectProperty(IndustrialComplex.type)="GeneralIndustrialComplex"
   OR getObjectProperty(IndustrialComplex.type)="UrbanHighTechIndustrialComplex"
   OR getObjectProperty(IndustrialComplex.type)="Semi-IndustrialComplex"
}

KS{
    getBuildingToLandRatio()<=70%
}

//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 1항
Check(EDLPUA_85_1){
     KS
}

KS{
     getResult(EDLPUA_85_1_1) = TRUE
     OR getResult(EDLPUA_85_1_2) = TRUE
     OR getResult(EDLPUA_85_1_3) = TRUE
     OR getResult(EDLPUA_85_1_4) = TRUE
     OR getResult(EDLPUA_85_1_5) = TRUE
     OR getResult(EDLPUA_85_1_6) = TRUE
     OR getResult(EDLPUA_85_1_7) = TRUE
     OR getResult(EDLPUA_85_1_8) = TRUE
     OR getResult(EDLPUA_85_1_9) = TRUE
     OR getResult(EDLPUA_85_1_10) = TRUE
     OR getResult(EDLPUA_85_1_11) = TRUE
     OR getResult(EDLPUA_85_1_12) = TRUE
     OR getResult(EDLPUA_85_1_13) = TRUE
     OR getResult(EDLPUA_85_1_14) = TRUE
     OR getResult(EDLPUA_85_1_15) = TRUE
     OR getResult(EDLPUA_85_1_16) = TRUE
     OR getResult(EDLPUA_85_1_17) = TRUE
     OR getResult(EDLPUA_85_1_18) = TRUE
     OR getResult(EDLPUA_85_1_19) = TRUE
     OR getResult(EDLPUA_85_1_20) = TRUE
     OR getResult(EDLPUA_85_1_21) = TRUE
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 1항 1호
Check(EDLPUA_85_1_1){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "ClassIExclusiveResidentialArea"
}

KS{
     getFloorAreaRatio() >= 50
     getFloorAreaRatio() <= 100
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 1항 2호
Check(EDLPUA_85_1_2){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "ClassIIExclusiveResidentialArea"
}

KS{
     getFloorAreaRatio() >= 100
     getFloorAreaRatio() <= 150
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 1항 3호
Check(EDLPUA_85_1_3){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "ClassIGeneralResidentialArea"
}

KS{
     getFloorAreaRatio() >= 100
     getFloorAreaRatio() <= 200
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 1항 4호
Check(EDLPUA_85_1_4){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "ClassIIGeneralResidentialArea"
}

KS{
     getFloorAreaRatio() >= 150
     getFloorAreaRatio() <= 250
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 1항 5호
Check(EDLPUA_85_1_5){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "ClassIIIGeneralResidentialArea"
}

KS{
     getFloorAreaRatio() >= 200
     getFloorAreaRatio() <= 300
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 1항 6호
Check(EDLPUA_85_1_6){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "QuasiResidentialArea"
}

KS{
     getFloorAreaRatio() >= 200
     getFloorAreaRatio() <= 500
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 1항 7호
Check(EDLPUA_85_1_7){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "CentralCommercialArea"
}

KS{
     getFloorAreaRatio() >= 400
     getFloorAreaRatio() <= 1500
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 1항 8호
Check(EDLPUA_85_1_8){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "GeneralCommercialArea"
}

KS{
     getFloorAreaRatio() >= 300
     getFloorAreaRatio() <= 1300
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 1항 9호
Check(EDLPUA_85_1_9){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "NeighboringCommercialArea"
}

KS{
     getFloorAreaRatio() >= 200
     getFloorAreaRatio() <= 900
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 1항 10호
Check(EDLPUA_85_1_10){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "CirculationBusinessArea"
}

KS{
     getFloorAreaRatio() >= 200
     getFloorAreaRatio() <= 1100
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 1항 11호
Check(EDLPUA_85_1_11){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "ExclusiveIndustrialArea"
}

KS{
     getFloorAreaRatio() >= 150
     getFloorAreaRatio() <= 300
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 1항 12호
Check(EDLPUA_85_1_12){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "GeneralIndustrialArea"
}

KS{
     getFloorAreaRatio() >= 200
     getFloorAreaRatio() <= 350
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 1항 13호
Check(EDLPUA_85_1_13){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "QuasiIndustrialArea"
}

KS{
     getFloorAreaRatio() >= 200
     getFloorAreaRatio() <= 400
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 1항 14호
Check(EDLPUA_85_1_14){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "GreenConservationArea"
}

KS{
     getFloorAreaRatio() >= 50
     getFloorAreaRatio() <= 80
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 1항 15호
Check(EDLPUA_85_1_15){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "GreenProductionArea"
}

KS{
     getFloorAreaRatio() >= 50
     getFloorAreaRatio() <= 100
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 1항 16호
Check(EDLPUA_85_1_16){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "GreenNaturalArea"
}

KS{
     getFloorAreaRatio() >= 50
     getFloorAreaRatio() <= 100
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 1항 17호
Check(EDLPUA_85_1_17){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "ConservationManagementArea"
}

KS{
     getFloorAreaRatio() >= 50
     getFloorAreaRatio() <= 80
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 1항 18호
Check(EDLPUA_85_1_18){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "ProductionManagementArea"
}

KS{
     getFloorAreaRatio() >= 50
     getFloorAreaRatio() <= 80
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 1항 19호
Check(EDLPUA_85_1_19){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "PlanningManagementArea"
}

KS{
     getFloorAreaRatio() >= 50
     getFloorAreaRatio() <= 100
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 1항 20호
Check(EDLPUA_85_1_20){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "AgriculturalAndForestryArea"
}

KS{
     getFloorAreaRatio() >= 50
     getFloorAreaRatio() <= 80
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 1항 21호
Check(EDLPUA_85_1_21){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "NaturalEnvironmentConservationArea"
}

KS{
     getFloorAreaRatio() >= 50
     getFloorAreaRatio() <= 80
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 6항 
Check(EDLPUA_85_6){
     KS
}

KS{
     getResult(EDLPUA_85_6_1) = TRUE
     OR getResult(EDLPUA_85_6_2) = TRUE
     OR getResult(EDLPUA_85_6_3) = TRUE
     OR getResult(EDLPUA_85_6_4) = TRUE
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 6항 1호
Check(EDLPUA_85_6_1){
     IF CS THEN KS
}

CS{
     getBuildingUsage() != "UrbanArea"
     getBuildingUsage() = "DevelopmentPromotionDistrict"
}

KS{
     getFloorAreaRatio() <= 100
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 6항 2호
Check(EDLPUA_85_6_2){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "FisheryResourcesProtectionZone"
}

KS{
     getFloorAreaRatio() <= 80
}


//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 6항 3호
Check(EDLPUA_85_6_3){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "ParkProtectionZone"
}

KS{
     getFloorAreaRatio() <= 100
}



//     국토의 계획 및 이용에 관한 법률 시행령 85조 (용도지역 안에서의 용적률) 6항 4호
Check(EDLPUA_85_6_4){
     IF CS THEN KS
}

CS{
     getObjectProperty(IndustrialComplex.type) = "AgriculturalIndustrialComplex"
}

KS{
     getFloorAreaRatio() <= 150%
}

//  소방시설 설치ㆍ유지 및 안전관리에 관한 법률 11조 (소방시설기준 적용의 특례) 4항
Check(IMSFA_11_4){
     IF CS THEN KS
}
CS{
     getResult(IMSFA_11_4_4) = TRUE
}
KS{
     isInstalled(FireFightingFacility) = TRUE OR FALSE
}


//  소방시설 설치ㆍ유지 및 안전관리에 관한 법률 11조 (소방시설기준 적용의 특례) 4항 4호
Check(IMSFA_11_4_4){
     KS
}

KS{
     getResult(SCHSA_19) = true
     isInstalled(FireBrigade, SpecificFireFithtingBuilding) = TRUE
}

//     소방시설 설치ㆍ유지 및 안전관리에 관한 법률 8조 (주택에 설치하는 소방시설) 1항

Check(IMSFA_8_1){

     IF CS THEN KS

}



CS{

     getResult(IMSFA_8_1_1) = TRUE

     OR getResult(IMSFA_8_1_2) = TRUE

}



KS{

Sensor mySensor{
Sensor.isSelfcontainedTypeFireAlarmDevice = TRUE
}
     isExist(mySensor) = TRUE

     OR isExist(FireExtinguisher) = TRUE

}


//     소방시설 설치ㆍ유지 및 안전관리에 관한 법률 8조 (주택에 설치하는 소방시설) 1항 1호
Check(IMSFA_8_1_1){
     KS
}

KS{
     getBuildingUsage() = "DetachedHouse"
}


//     소방시설 설치ㆍ유지 및 안전관리에 관한 법률 8조 (주택에 설치하는 소방시설) 1항 2호
Check(IMSFA_8_1_2){
     KS
}

KS{
     getBuildingUsage() = "MultiUnitHouse"
     getBuildingUsage() != "ApartmentHouse"
     getBuildingUsage() != "Dormitory"
}

//소방시설 설치ㆍ유지 및 안전관리에 관한 법률 시행령 16조 (유사한 소방시설의 설치 면제의 기준)
Check(EDIMSFA_16){
     KS
}

KS{
     getResult(EDIMSFA_*_6) = TRUE
}

//소방시설 설치ㆍ유지 및 안전관리에 관한 법률 시행령 18조 (소방시설을 설치하지 아니하는 특정소방대상물의 범위) 2항
Check(EDIMSFA_18_2){
     KS
}

KS{
     getResult(EDIMSFA_11_4) = TRUE
     getResult(EDIMSFA_*_7) = TRUE
}

//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업) 1호


Check(ERSASP_2_0_1){
IF CS THEN KS
}

CS{
getObjectProperty(Building.business) = "EDFA_21_0_8"

}
KS{
getResult(ERSASP_2_0_1_1)= TRUE
OR getResult(ERSASP_2_0_1_2)= TRUE

}


//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업) 2호


Check(ERSASP_2_0_2){
KS
}

KS{
getObjectProperty(Building.business)= "PMVA_2_0_10"
OR getObjectProperty(Building.business)= "PMVA_2_0_16_1"
OR getObjectProperty(Building.business)= "PMVA_2_0_16_2"
OR getObjectProperty(Building.business)= "PMVA_2_0_16_4"
}




//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업) 3호


Check(ERSASP_2_0_3){
IF CS THEN KS
}

CS{
getObjectProperty(Building.business)= "AEOPE_2_0_1_"
}

KS{
getResult(ERSASP_2_0_3_가)= TRUE
OR getResult(ERSASP_2_0_3_나)= TRUE
}


Check(ERSASP_2_0_3_나3){
IF CS THEN KS
}

CS{
getObjectProperty(Building.business)= "AEOPE_2_0_1"
}
KS{
getResult(ERSASP_2_0_1)= TRUE
OR getResult(ERSASP_2_0_2)= TRUE
OR getResult(ERSASP_2_0_4)= TRUE
OR getResult(ERSASP_2_0_5)= TRUE
OR getResult(ERSASP_2_0_6)= TRUE
OR getResult(ERSASP_2_0_7)= TRUE
OR getResult(ERSASP_2_0_7-2)= TRUE
OR getResult(ERSASP_2_0_7-3)= TRUE
OR getResult(ERSASP_2_0_7-4)= TRUE
OR getResult(ERSASP_2_0_7-5)= TRUE
OR getResult(ERSASP_2_0_8)= TRUE
}


//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업) 5호


Check(ERSASP_2_0_5){
KS1 AND IF CS THEN !KS2
}


KS1{
getObjectProperty(Building.business)= "GIPA_2_0_6"
OR getObjectProperty(Building.business)= "GIPA_2_0_6-2"
OR getObjectProperty(Building.business)= "GIPA_2_0_7"
OR getObjectProperty(Building.business)= "GIPA_2_0_8"
}


CS{
getObjectProperty(Building.business)= "GIPA_2_0_6"
OR getObjectProperty(Building.business)= "GIPA_2_0_7"
}

KS2{
Space mySpace{
Space.usage = "GIPA_2_0_6"
OR Space.usage = "GIPA_2_0_7"
}
Floor myFloor{
hasObject(Floor,mySpace)=TRUE
}
Door myDoor{
isObjectProperty(mySpace.Door.isEntrance)=TRUE
}

(getObjectProperty(myFloor.number)=1
OR isDirectlyAccessible(myFloor, Ground)=TRUE)
isConnectedToExternal(myDoor)=TRUE
}


//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업) 6호


Check(ERSASP_2_0_6){
KS
}

KS{
getObjectProperty(Building.business)= "MIPA_2_0_13"
}



//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업) 7호


Check(ERSASP_2_0_7){
KS
}

KS{
getObjectProperty(Building.business)= "MCHA_2_0_11"
}



//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업)7-2호




Check(ERSASP_2_0_7-2){
KS
}

KS{
getObjectProperty(Building.business)= "AccommodationForExaminers"
}



//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업) 7의3호


Check(ERSASP_2_0_7-3){
KS
}

KS{
getObjectProperty(Building.business)= "GunShootingRange"
}



//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업) 7-4호


Check(ERSASP_2_0_7-4){
KS
}

KS{
getObjectProperty(Building.business)="IUSA_10_1_2_9"
}


//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업) 7-5호


Check(ERSASP_2_0_7-5){
KS
}

KS{
getObjectProperty(Building.business)="MassageParlor"
}


//다중이용업소의 안전관리에 관한 특별법 시행령 2조 (다중이용업)





Check(ERSASP_2){

KS

}



KS{

Building myBuilding{

getResult(ERSASP_2_1)= TRUE

OR getResult(ERSASP_2_2)= TRUE

OR getResult(ERSASP_2_3)= TRUE

OR getResult(ERSASP_2_5)= TRUE

OR getResult(ERSASP_2_6)= TRUE

OR getResult(ERSASP_2_7)= TRUE

OR getResult(ERSASP_2_7-2)= TRUE

OR getResult(ERSASP_2_7-3)= TRUE

OR getResult(ERSASP_2_7-4)= TRUE

OR getResult(ERSASP_2_7-5)= TRUE

}









}

//소화기구 및 자동 소화장치의 화재안전기준(nfsc 101) 4조 (설치기준) 1항
Check(NFSC101_4_1){
    getResult(NFSC101_4_1_2)=TRUE
    getResult(NFSC101_4_1_8)=TRUE
    getResult(NFSC101_4_1_9)=TRUE
}



//소화기구 및 자동 소화장치의 화재안전기준(nfsc 101) 4조 (설치기준) 1항 1호
Check(NFSC101_4_1_1){
     getResult(NFSC101_*_1) = TRUE
}


//소화기구 및 자동 소화장치의 화재안전기준(nfsc 101) 4조 (설치기준) 1항 2호
Check(NFSC101_4_1_2){
    getResult(NFSC101_*_3)=TRUE
}


//소화기구 및 자동 소화장치의 화재안전기준(nfsc 101) 4조 (설치기준) 1항 4호

Check(NFSC101_4_1_4){
     KS
}

KS{
     getResult(NFSC101_4_1_4_가)=True
     getResult(NFSC101_4_1_4_나)=True  
}


//소화기구 및 자동 소화장치의 화재안전기준(nfsc 101) 4조 (설치기준) 1항 4호 가목



Check(NFSC101_4_1_4){

       KS

}



KS{

     isInstalled(FireExtinguisher, Floor)=True

     

     IF getObjectProperty(FireExtinguisher.sizeType)="SmallSize"

     THEN getObjectDistance(SpecificFireFightingBuilding.Wall, FireExtinguisher.One)<=20 m

          getObjectDistance(SpecificFireFightingBuilding.Column, FireExtinguisher.One)<=20 m



     ELSE IF getObjectProperty(FireExtinguisher.sizeType)="LargeSize"

     THEN getObjectDistance(SpecificFireFightingBuilding.Wall, FireExtinguisher.One)<=30 m

          getObjectDistance(SpecificFireFightingBuilding.Column, FireExtinguisher.One)<=30 m



     END IF 

}


//소화기구 및 자동 소화장치의 화재안전기준(nfsc 101) 4조 (설치기준) 1항 3호 나목

Check(NFSC101_4_1_3_나){
    IF CS THEN KS
}

CS{
    isFirePartitioned(Floor.One, Room.Two, SpecificFireFightingBuilding)=True
}

KS{
   Room myRoom{
         isFirePartion(Room, a, 33)=True
   }
   isInstalled(FireExtinguishingEquipment, myRoom)=True
}


//소화기구 및 자동 소화장치의 화재안전기준(nfsc 101) 4조 (설치기준) 1항 7호
Check(NFSC101_4_1_7){
     IF CS THEN KS
}

CS{
     Space mySpace{
     getSpaceUsage() = "Kitchen"
     }

}

KS{
     AutomaticFireExtinguishingEquipment myAutomaticFireExtinguishingEquipment{
     isObjectProperty(AutomaticFireExtinguishingEquipment.isKitchenType) = TRUE
     }
     hasSpace(mySpace,myAutomaticFireExtinguishingEquipment) = TRUE
     getResult(NFSC101_4_1_7_3)=TRUE
}


//소화기구 및 자동 소화장치의 화재안전기준(nfsc 101) 4조 (설치기준) 1항 7호 다목
Check(NFSC101_4_1_7_다){
     KS
}
KS{
     ShutdownEquipment myShutdownEquipment{
     isObjectProperty(ShutdownEquipment.type)="GAS"
     }
     Space mySpace{
     isObjectProperty(Space.usage) = "Kitchen"
     }
     Pipe myPipe{
     isInstalled(Pipe, mySpace) = TRUE
     }
     Valve myValve{
     isObjectProperty(Valve.isShutoffValve) = TRUE
     isInstalled(Valve, myPipe) = TRUE
     }
     isElementDistance(myShutdownEquipment, myValve) <= 2m
}


//소화기구 및 자동 소화장치의 화재안전기준(nfsc 101) 4조 (설치기준) 1항 8호
Check(NFSC101_4_1_8){
     getResult(NFSC101_4_1_8_가)=TRUE
     getResult(NFSC101_4_1_8_나)=TRUE
     getResult(NFSC101_4_1_8_마)=TRUE
}


//소화기구 및 자동 소화장치의 화재안전기준(nfsc 101) 4조 (설치기준) 1항 8호 가목
Check(NFSC101_4_1_8_가){
     KS
}

Zone myZone{
     isObjectProperty(Zone.isProtectionZone)=TRUE
}

02.m <= getObjectVerticalDistance(myZone.FloorSlab, AutomaticFireExtinguishingEquipment.Head, a) <= 3.7m
     


//소화기구 및 자동 소화장치의 화재안전기준(nfsc 101) 4조 (설치기준) 1항 8호 나목
Check(NFSC101_4_1_8_나){
     KS
}
KS{
     Zone myZone{
          isObjectProperty(Zone.isProtectionZone)=TRUE
     }
     {hasObject(myZone.Ceiling, FireDetector) = TRUE
     OR isExternal(FireDetector) = FALSE}
     getResult(NFSC203_7) = TRUE

}


//소화기구 및 자동 소화장치의 화재안전기준(nfsc 101) 4조 (설치기준) 2항

Check(NFSC101_4_2){

     KS

}



KS{

     FireExtinguisher myFireExtinguisher{

     getObjectProperty(FireExtinguishingEquipment.extinguishingAgentType) = "GasType"

     }

     Space mySpace{

          (getFloorNumber(Space) = -1

     OR hasSpace(Space, Window) = FALSE

     OR isObjectProperty(Room.isEnclosed)=TRUE)

     getObjectProperty(Space.FloorSlab) < 20 m2

     }



     getSpace(mySpace, myFireExtinguisher) = FALSE

}

//     간이스프링클러설비의 화재안전기준(NFSC103A) 4조 (수원) 1항

Check(NFSC103A_4_1){

     KS

}



KS{

     getResult(NFSC103A_4_1_2) = TRUE

}


//     간이스프링클러설비의 화재안전기준(NFSC 103A) 4조 (수원) 1항 2호

Check(NFSC103A_4_1_2){

     IF CS THEN KS

}



CS{

     WaterSource myWaterSource{

          isObjectProperty(Tank.isWaterSource) = TRUE

     }



     isInstalled(myWaterSource) = TRUE

}



KS{

     getObjectCount(AutomaticWaterSupplyEquipment) >= 1

}


// 간이스프링클러설비의 화재안전기준(NFSC103a) 4조 (수원) 2항



Check(NFSC503A_4_2){

     IF !CS1 AND CS2 THEN KS     

}

CS1{

     getResult(NFSC503A_4_2_1) = TRUE

     OR getResult(NFSC503A_4_2_2) = TRUE

}

CS2{

     isObjectProperty(SimpleSprinklerSystem.Tank.isWaterSource) = TRUE

}

KS{

     isObjectProperty(Tank.isShared) = FALSE

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 4조 (수원) 2항 1호



Check(NFSC503A_4_2_1){

     KS

}

KS{

     Valve myValve1{

     isObjectProperty(Valve.isFootValve) = TRUE

     isObjectProperty(Valve.systemType) = "SimpleSprinklerSystem"

     }

     Port myPort1{

     getObjectProperty(Port.typeForWater) = "Obsorption"

     isObjectProperty(Valve.systemType) = "SimpleSprinklerSystem"

     }

     Valve myValve2{

     isObjectProperty(Valve.isFootValve) = TRUE

     isObjectProperty(Valve.systemType) != "SimpleSprinklerSystem"

     }

     Port myPort2{

     getObjectProperty(Port.typeForWater) = "Obsorption"

     isObjectProperty(Valve.systemType) != "SimpleSprinklerSystem"

     }

     getObjectVerticalLocation(myValve1|myValve1, myValve2|myPort2) < 0

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 4조 (수원) 2항 2호







Check(NFSC503A_4_2_2){



     KS



}



KS{



Pipe myPipe{

getObjectProperty(Pipe.usage)= "WaterSupplyPipe"

getObjectProperty(Pipe.systemType)="SimpleSprinklerSystem"
isObjectProperty(Pipe.isRiser)= TRUE

}



     Tank myTank{ 



     getObjectProperty(Tank.operationType) = "ElevatedWaterTank"



     }



     Port myPort1{



     getObjectProperty(Port.typeForWater) = "Supply"



     isConnectedTo(Port,myTank) = TRUE



     isConnectedTo(Port,myWaterSupplyPipe) = TRUE



     }







     Port myPort2 {



     getObject(Port) - getObject(myPort1)



     }







     Distance1 = getObjectVerticalDistance(myPort1, Ground.Surface, b)  



     Distance2 = getObjectVerticalDistance(myPort2, Ground.Surface, b)







     Distance1 - Distance2 < 0



}


//      간이스프링클러설비의 화재안전기준(nfsc 103a) 4조 (수원)



Check(NFSC503A_4){

     getResult(NFSC503A_4_4) = TRUE

     getResult(NFSC503A_4_5) = TRUE

     getResult(NFSC503A_4_6) = TRUE

}


//      간이스프링클러설비의 화재안전기준(nfsc 103a) 4조 (수원) 4항 3호

Check(NFSC503A_4_4_3){
     KS
}
KS{
     isInstalled(Tank.SideSurface, WaterLevelGauge) = TRUE
}


//      간이스프링클러설비의 화재안전기준(nfsc 103a) 4조 (수원) 4항 3호

Check(NFSC503A_4_4_3){
     IF CS THEN KS
}
CS{
     getObjectVerticalLocation(Tank.TopSurface, FloorSlab) = TRUE
}
KS{
     isInstalled(Ladder, Tank.SideSurface) = TRUE
     isObjectProperty(Ladder.isFixed) = TRUE
}


//      간이스프링클러설비의 화재안전기준(nfsc 103a) 4조 5호(수원)

Check(NFSC503A_4_5){
     IF CS THEN KS
}
CS{
     Space mySpace{
     isExternal(Space) = FALSE
     }
     hasSpace(mySpace,Tank) = TRUE
KS{
     hasSpace(mySpace,LightingSystem) = TRUE
}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 4조 (수원) 4항 6호

Check(NFSC503A_4_2_6){
     KS
}
KS{
     Valve myValve{
     isObjectProperty(Valve.isDeliveryValveForCleaning) = TRUE
     }
     Pipe myPipe{
     isObjectProperty(Pipe.usage) = "WaterDrainPipe"
     }
     isInstalled(Tank.BottomSurface, myValve) = TRUE
     OR isInstalled(Tank.BottomSurface, myPipe) = TRUE
}

//      간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 2항

Check(NFSC503A_5_2){
     IF CS THEN KS
}

CS{
     getObjectProperty(PressurizedWaterSupplySystem.supplyType)="PumpType"
}
KS{
     getResult(NFSC503A_5_2_3) = TRUE
     getResult(NFSC503A_5_2_4) = TRUE
     getResult(NFSC503A_5_2_5) = TRUE
     getResult(NFSC503A_5_2_6) = TRUE
     getResult(NFSC503A_5_2_7) = TRUE

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치)2항 3호

Check(NFSC503A_5_2_3){
     KS
}

KS{
isObjectProperty(Pump.isShared) = FALSE
}







// 간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (수원) 2항 4호



Check(NFSC503A_5_2_4){

     IF !CS THEN KS

}

CS{

     getObjectVerticalLocation(WaterSource, Pump) > 0

     OR isObjectProperty(Pump.isVerticalPump) = TRUE

}

KS{

     Valve myValve{

     isObjectProperty(Valve.isCheckValve) = TRUE

     }

     isInstalled(Pump.Outlet, myValve) = TRUE

     isInstalledInOrder(PressureGauge, myValve) = TRUE

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치)2항 5호



Check(NFSC503A_5_2_5){

     KS

}



KS{

     Pipe myPipe{

     isObjectProperty(Pipe.isForTest) = TRUE

     }

     isInstalled(PressurizedWaterSupplySystem,myPipe) = TRUE

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치)2항 6호

Check(NFSC503A_5_2_6){
     KS
}

KS{
     Pipe myPipe{
     isObjectProperty(Pipe.isCirculationPipe) = TRUE
     }
     isInstalled(PressurizedWaterSupplySystem,myPipe) = TRUE
}



// 간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 2항 7호

Check(NFSC503A_5_2_7){
     IF !CS THEN KS1 AND KS2
}
CS{
     isObjectProperty(SimpleSprinklerSystem.isCabinetType)=TRUE
}
KS1{
     isExist(PressurizedWaterSupplySystem) = TRUE
}
KS2{
     getResult(NFSC503A_5_2_7_가) = TRUE
}


//  간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 2항 7호 가목

Check(NFSC103A_5_2_7_1){

     KS

}



KS{

     getObjectProperty(Pump.dischargePressure) = PDP

     getObjectProperty(Sprinkler.dischargePressure) = SDP

     getObjectProperty(PressurizedWaterSupplySystem.ratedDischargePressure) = PWSDP

     

     (SDP + 0.2 <= PDP)

     OR(PDP = PWSDP)

}


//      간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 2항 8호



Check(NFSC503A_5_2_8){

     IF (!CS1 AND CS2) THEN KS

}

CS1{

     isObjectProperty(SimpleSprinklerSystem.isCabinetType) = TRUE

}

CS2{



getObjectVerticalLocation(Pump, WaterSource,) < 0      

}

KS{

     isInstalled(PressurizedWaterSupplySystem, WaterLiftingDevice) = TRUE

     getResult(NFSC503A_5_2_가) = TRUE

     getResult(NFSC503A_5_2_나) = TRUE

}


//      간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 2항 8호 가

Check(NFSC503A_5_2_8_가){
     KS
}
KS{
     isInstalled(WaterLiftingDevice, Tank)=TRUE
     isObjectProperty(Tank.isShared) = FALSE
}


//      간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 2항 8호 나목

Check(NFSC503A_5_2_8_나){
     KS
}
KS{
     isObjectProperty(Tank.amountOfEffectiveWater) >= 10L
}


/      간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 3항

Check(NFSC503A_5_3){
     IF CS THEN KS
}
CS{
     isObjectProperty(PressurizedWaterSupplySystem.supplyType) = "ElevatedWaterTankType"
}
KS{
     getResult(NFSC503A_5_3_1)=TRUE
     getResult(NFSC503A_5_3_2)=TRUE

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 3항 1호



Check(NFSC503A_5_3_1){

     KS

}

KS{

     Tank myTank{

     isObjectProperty(Tank.operationType) = "ElevatedWaterTank"

     }

     Head myHead{

     hasSpace(TopFloor,Head) = TRUE

     }

     getObjectVerticalDistance(myTank.BottomSurface,myHead) >= Pipe.frictionHeadLossH + 10m 

}


//간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 3항 2호



Check(NFSC503A_5_3_2){

     KS

}

KS{

     Tank myTank{

     isObjectProperty(Tank.operationType) = "ElevatedWaterTank"

     }

     Pipe myPipe1{

     isObjectProperty(Pipe.isOverflowPipe) = TRUE

     }
     Pipe myPipe2{

     getObjectProperty(Pipe.usage) = "WaterDrainPipe"

     }
     Pipe myPipe3{

     getObjectProperty(Pipe.usage) = "WaterSupplyPipe"

     }
     isInstalled(myTank,WaterLevelGauge) = TRUE

     isInstalled(myTank,myPipe2) = TRUE

     isInstalled(myTank,myPipe3) = TRUE

     isInstalled(myTank,myPipe1) = TRUE

     isInstalled(myTank,Manshole) = TRUE

}


/      간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 4항



Check(NFSC503A_5_4){

     IF CS THEN KS

}

CS{

     getObjectProperty(PressurizedWaterSupplySystem.supplyType) = "HydropneumaticTankType"

}

KS{

     getResult(NFSC503A_5_4_1)=TRUE

     getResult(NFSC503A_5_4_2)=TRUE



}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 4항 2호



Check(NFSC503A_5_4_2){

     KS

}

KS{

     Tank myTank{

     isObjectProperty(Tank.operationType) = "HydropneumaticTank"

     }

     Pipe myPipe{

     isObjectProperty(Pipe.usage)="WaterSupplyPipe"

     OR isObjectProperty(Pipe.usage)="WaterDrainPipe"

     OR isObjectProperty(Pipe.usage)="AirSupplyPipe"

     }

     AirCompressor myAirCompressor{

     isObjectProperty(AirCompressor.isAutomatic) = TRUE

     }

     isInstalled(WaterLevelGauge, myTank) = TRUE

     isInstalled(myPipe, myTank) = TRUE

     isInstalled(Manshole, myTank) = TRUE

     isInstalled(PressureGauge, myTank) = TRUE

     isInstalled(SafetyDevice, myTank) = TRUE

     isInstalled(AirCompressor, myTank) = TRUE

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 7항

Check(NFSC503A_5_7){
     IF CS THEN KS
}
CS{
     SpecificFireFightingBuilding mySpecificFireFightingBuilding{
     getResult(_*_5_1_마_1)) = TRUE
     getResult(_*_5_1_마_6)) = TRUE
     getResult(_*_5_1_마_7)) = TRUE
     }
}
KS{
     SimpleSprinklerSystem mySimpleSprinklerSystem{
          isObjectProperty(SimpleSprinklerSystem.isDirectCoupledType) != TRUE
          isObjectProperty(SimpleSprinklerSystem.isCabinetType) != TRUE
     }

     isInstalled(PressurizedWaterSupplySystem, mySpecificFireFightingBuilding) = TRUE
     isInstalled(mySimpleSprinklerSystem, mySpecificFireFightingBuilding) != TRUE
}
     

//간이스프링클러설비의 화재안전기준(nfsc 103a) 6조 (간이스프링클러설비의 방호구역·유수검지장치)

Check(NFSC503A_6){
     KS2 AND IF CS THEN KS1
KS2{
     getResult(NFSC503A_6_1)=TRUE
     getResult(NFSC503A_6_2)=TRUE
     getResult(NFSC503A_6_3)=TRUE
     getResult(NFSC503A_6_4)=TRUE
}
CS{
     isObjectProperty(SimpleSprinklerSystem.isCabinetType) = TRUE
}
KS1{
     getResult(NFSC503A_6_3)=TRUE
}


//간이스프링클러설비의 화재안전기준(nfsc 103a) 6조 (간이스프링클러설비의 방호구역·유수검지장치) 1호

Check(NFSC503A_6_0_1){
     KS
}
KS{
     Zone myZon{
     isObjectProperty(Zone.isProtectionZone) = TRUE
     }
     isObjectProperty(myZone.FloorSlab.area) < 1000 m2
}


//간이스프링클러설비의 화재안전기준(nfsc 103a) 6조 (간이스프링클러설비의 방호구역·유수검지장치) 2호

Check(NFSC503A_6_0_2){
     KS
}
KS{
     Zone myZone{
     isObjectProperty(Zone.isProtectionZone) = TRUE
     }
     isInstalled(myZone,WaterflowIndicator) = TRUE
}


//간이스프링클러설비의 화재안전기준(nfsc 103a) 6조 (간이스프링클러설비의 방호구역·유수검지장치) 3호



Check(NFSC503A_6_0_3){

     IF (CS1 THEN KS1) OR (CS2 THEN KS2)

}

     Zone myZone{

     isObjectProperty(Zone.isProtectionZone) = TRUE

     }

CS1{

     getObjectCount(Floor.One.SimpleSprinklerHead) > 10

}

KS1{

     getObjectCount(Zone.One.Floor) < 2

}

CS2{

     getObjectCount(Floor.One.SimpleSprinklerHead) <= 10

}

KS2{

     getObjectCount(myZone.One.Floor) <= 3

}


//간이스프링클러설비의 화재안전기준(nfsc 103a) 6조 (간이스프링클러설비의 방호구역·유수검지장치) 4호



Check(NFSC503A_6_0_4){

     KS

}

KS{


     (isExternal(WaterflowIndicator)=FALSE

     OR isPartitioned(WaterflowIndicator, ProtectiveWireMesh) = TRUE)

     0.8m <= getObjectVerticalDistance(FloorSlab, WaterflowIndicator, a) <= 1.5m



     Door myDoor{

     getObjectProperty(Door.width) >= 0.5m

     getObjectProperty(Door.height) >= 1m

     }

     hasObject(WaterflowIndicator.Space,myDoor)=TRUE

}


//     간이스프링클러설비의 화재안전기준(nfsc 103a) 6조 (간이스프링클러설비의 방호구역·유수검지장치)
Check(NFSC503A_6){
     IF CS THEN KS
}

     ParkingLot myParkingLot{
          hasSpace(SpecificFireFightingBuilding, ParkingLot) = TRUE
     }

CS{
     isInstalled(SimpleSprinklerSystem, SpecificFireFightingBuilding) = TRUE
}

KS{
     getObjectProperty(SprinklerSystem.type) != "WetPipeSprinklerSystem"
}

//간이스프링클러설비의 화재안전기준(nfsc 103a) 7조 ( 제어반 ) 

Check(NFSC503A_7){
     IF !CS THEN KS
}
CS{
     isObjectProperty(SimpleSprinklerSystem.isCabinetType) = TRUE
}
KS{
     hasObject(SimpleSprinklerSystem, ControlPanel)=TRUE
     getResult(NFSC503A_7_2)=TRUE
}


//간이스프링클러설비의 화재안전기준(nfsc 103a) 7조 ( 제어반 ) 2호

Check(NFSC503A_7_0_2){
     IF CS THEN KS
}
CS{
     isObjectProperty(SimpleSprinklerSystem.isDirectCoupledType) = TRUE
}
KS{
     getResult(NFSC103_13)=TRUE
}

//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 1항 1호

Check(NFSC503A_8_1_1){
     IF CS THEN KS
}
CS{
     isObjectProperty(Pipe.workingPressure) < 1.2
}
KS{
     getResult(NFSC503A_8_1_1_가)=TRUE
     getResult(NFSC503A_8_1_1_나)=TRUE
     getResult(NFSC503A_8_1_1_다)=TRUE
}


//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 1항 1호



Check(NFSC503A_8_1_1_가){

     KS

}

KS{

     getObjectProperty(Pipe.Material) = "KS_D_3507"

}


//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 1항 1호

Check(NFSC503A_8_1_1_나){
     IF CS THEN KS
}
CS{
     isObjectProperty(Pipe.systemType) = "WetPipeSprinklerSystem"
}
KS{
     getObjectProperty(Pipe.Material) = "KS_D_5301"
}


//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 1항 1호

Check(NFSC503A_8_1_1_다){
     KS
}
KS{
     getObjectProperty(Pipe.Material) = "KS_D_3595"
}


//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 1항 2호

Check(NFSC503A_8_1_2){
     IF CS THEN KS
}
CS{
     isObjectProperty(Pipe.workingPressure) >= 1.2
}
KS{
     getObjectProperty(Pipe.Material) = "KS D 3562"
}


//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 2항

Check(NFSC503A_8_2){
     IF CS THEN KS1 OR KS2
}

CS{
     getResult(NFSC503A_8_2_2) = TRUE
     OR getResult(NFSC503A_8_2_3) = TRUE
}
KS1{
     getResult(NFSC503A_8_1) = TRUE
}
KS2{
     isObjectProperty(Pipe.isSyntheticResinForfirefighting) = TRUE
}


Check(NFSC103A_8_2_2){
     KS
}
KS{
     Duct myDcut{
     isFireResistantStructure(Duct) = TRUE
     }
     isInstalled(Pipe, Duct) = TRUE
     OR isInstalled(Pipe, Pit.Inside) = TRUE
}




//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 2항 3호

Check(NFSC503A_8_2_3){
     KS
}
KS{     
     SprinklerSystem mySprinklerSystem{
     isObjectProperty(SprinklerSystem.type) = "WetPipeSprinklerSystem"
     }
     (isObjectProperty(Ceiling.Material.nonCombustibility)=TRUE
     OR isObjectProperty(Ceiling.Material.quasiNonCombustibility)=TRUE)
     (isObjectProperty(CeilingCovering.Material.nonCombustibility)=TRUE
     OR isObjectProperty(CeilingCovering.Material.quasiNonCombustibility)=TRUE)
     isInstalled(mySprinklerSystem, Ceiling)=TRUE
     isInstalled(mySprinklerSystem, CeilingCovering)=TRUE
}


//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 4항 1호

Check(NFSC503A_8_4_1){
     KS
}
KS{
     Pipe myPipe{
          isInstalled(Pump.Inlet, Pipe) = TRUE
     }
     isInstalled(myPipe,Filter) = TRUE
}



// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 4항 2호

Check(NFSC103A_8_4_2){
     IF CS THEN KS
}
CS{
     getObjectVerticalLocation(Pump, Tank) < 0 
}
KS{
     Pipe myPipe{
          isInstalled(Pump.Inlet, Pipe) = TRUE
     }
     isInstalled(myPipe, Pump.One) = TRUE
}


//     옥내소화전설비의 화재안전기준(NFSC 102) 6조 (배관 등) 8항 1호

Check(NFSC102_6_8_1){

     KS

}



KS{

     Pipe myPipe{

          isObjectProperty(Pipe.isForTest) = TRUE

     }



     Valve myValve{

          isObjectProperty(Valve.isShutoffValve) = TRUE

          isInstalled(Valve, Pump.Outlet) = TRUE

     }



     Valve myValve2{

          isObjectProperty(Valve.isShutoffValve) = TRUE

          isInstalled(Valve, Pump.Outlet) = FALSE

     }



     Valve myValve3{

          isObjectProperty(Valve.isFloatControlValve) = TRUE

     }



     isDiverged(Pump, myPipe) = TRUE

     getObjectDistance(StraightPipeLine, myPipe) < getObjectDistance(StraightPipeLine, myValve)



     isInstalled(myValve2, myPipe) = TRUE

     isInstalled(myValve3, myPipe) = TRUE

}


//  간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 6항 2호

Check(NFSC103A_8_6_2){

     KS

}

KS{

     Pipe myPipe{

          isObjectProperty(Pipe.isForTest) = TRUE

     }

     

     isConnectedTo(myPipe, DischargeMeasuringEquipment) = TRUE

     getObjectProperty(DischargeMeasuringEquipment.measurementCapacity) = DME

     getObjectProperty(Pump.ratedDischargePressure) = PDP



     PDP*1.75 <= DME

}


//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 1항

Check(NFSC503A_8_1){
     getResult(NFSC503A_8_1_1)=TRUE
     getResult(NFSC503A_8_1_2)=TRUE
}



//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 3항

Check(NFSC503A_8_3){
     getResult(NFSC503A_8_3_2)=TRUE
     getResult(NFSC503A_8_3_3)=TRUE
}



//     간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 3항 1호
Check(NFSC103A_8_3_1){
     IF (CS1 THEN KS1) OR (CS2 THEN KS2)
}

     Pipe myPipe{
          getObjectProperty(Pipe.usage) = "WaterSupplyType"
          isObjectProperty(myPipe.isDirectCoupledType) != TRUE
     }

     Pipe myPipe2{
          getObjectProperty(Pipe.usage) = "WaterSupplyType"
          isObjectProperty(myPipe.isDirectCoupledType) = TRUE
     }

CS1{
     isExist(myPipe) = TRUE
}

KS1{
     isObjectProperty(myPipe.isShared) = FALSE
}

CS2{
     isExist(myPipe2) = TRUE
}

KS2{
     isObjectProperty(myPipe.isShared) = FALSE
     getObjectProperty(Pipe.diameter) >= 32mm
}



// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 3항 2호

Check(NFSC503A_8_3_2){
     KS2 AND IF CS THEN KS1
}
KS2{
     Valve myValve{
     isObjectProperty(Valve.isShutoffValve)=TRUE
     }
     isObjectProperty(myValve.isIndicatingValve) = TRUE
}
CS{
     Pipe myPipe{
     isInstalled(Pipe, Pump.Inlet) = TRUE
     }
     isInstalled(myValve, myPipe) = TRUE
}
KS1{
     isObjectProperty(myValve.isIndicatingValve) = TRUE
     isObjectProperty(myValve.isButterflyValve) = TRUE
}



//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 3항 3호

Check(NFSC503A_8_3_3){
     getResult(NFSC503A_*_1) = TRUE
}



//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 4항

Check(NFSC503A_8_4){
     IF CS THEN KS     
}
CS{
     isInstalled(Pump.Inlet, Pipe) = TRUE
}
KS{
     getResult(NFSC503A_8_4_1) = TRUE
     getResult(NFSC503A_8_4_2) = TRUE
}



//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 5항

Check(NFSC503A_8_5){
     IF CS THEN KS
}

CS{
     Pipe myPipe1{
Pipe.systemType = "SimpleSprinklersystem"
}
     Pipe myPipe2{
Pipe.systemType = "FireDepartmentConnectionSystem"
}
Pipe.isShared(myPipe1, myPipe2) = TRUE
}
KS{
     Pipe myPipe3{
     isObjectProperty(Pipe.isRiser) = TRUE
     }
     Port myPort{
     getObjectProperty(Port.typeForWater) = "Delivery"
     Pipe myPipe4{
     isConnectedTo(Pipe, myPort) = TRUE
     }
     
     isObjectProperty(myPipe3.diameter) >= 100 mm     
     getObjectProperty(myPipe4.diameter) >= 65 mm
}


//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 6항



Check(NFSC503A_8_6){

     getResult(NFSC503A_8_6_1) = TRUE

     getResult(NFSC503A_8_6_2) = TRUE

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 7항



Check(NFSC503A_8_7){

     KS

}

KS{

     Valve myValve1{

     isObjectProperty(Valve.isCheckValve) = TRUE

     }

     PP = isObjectProperty(Pump.shutoffPressure)

     Valve myValve2{

     isObjectProperty(Valve.isReliefValve) = TRUE

     isObjectProperty(Valve.reliefPressure) < PP

     }



     isInstalledInOrder(myValve1, Pipe, Pump) = TRUE

     isObjectProperty(Pipe.diameter) >= 20mm

     isInstalled(myValve2, Pipe) = TRUE

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 9항

Check(NFSC503A_8_9){
     KS
}
KS{
     getResult(NFSC503A_8_9_1) = TRUE
     getResult(NFSC503A_8_9_2) = TRUE
     getResult(NFSC503A_8_9_3) = TRUE
}
}


//  간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 9항 1호

Check(NFSC103A_8_9_1){

     KS

}



KS{

     isObjectProperty(Pipe.isBranchLines) = TRUE

     isObjectProperty(Pipe.hasTournamentArragement) = FALSE

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 9항 2호

Check(NFSC503A_8_9_2){
     IF !CS THEN KS
}
CS{
     getResult(NFSC503A_8_9_2_가) = TRUE
}
KS{
     Pipe myPipe{
     isObjectProperty(Pipe.isBranchLines) = TRUE
     }
     Head myHead{
     isIntalled(SimpleSprinkler.Head, myPipe.One) = TRUE
     getObjectVerticalLocation(CeilingCovering, SimpleSprinkler.Head) < 0
     }
     getObjectCount(myHead) <= 8  
}


9항 3호

Check(NFSC503A_8_9_3){
     IF CS THEN KS
}
     Pipe myPipe1{
     isObjectProperty(Pipe.isBranchLines) = TRUE
     }
     Pipe myPipe2{
     isObjectProperty(Pipe.isFlexibleTube) = TRUE
     }
CS{
     isInstalledInOrder(myPipe1, myPipe2, Head) = TRUE
}
KS{
     getResult(NFSC503_10_3) = TRUE
}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 10항



Check(NFSC503A_8_10){

     IF CS THEN KS

}

     Pipe myPipe1{

     isObjectProperty(Pipe.isBranchLines) = TRUE

     }

     Head myHead{

     isObjectProperty(Head.installationDirectionType) = "TopDownType"

     }

CS{

     isInstalled(myHead, myPipe1) = TRUE

}

KS{

     Pipe mypipe2{

     isConnectedTo(myPipe1, Pipe) = TRUE

     isConnectedTo(myHead, Pipe) = TRUE

     }

     getObjectVerticalLocation(myPipe1, myPipe1) > 0 

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 11항

Check(NFSC503A_8_11_1){
     IF (CS1 AND CS2) THEN KS
}
CS{
     isObjectProperty(WaterflowIndicator.type) = "PreactionWaterflowIndicator"
     isObjectProperty(WaterflowIndicator.systemType) = "SimpleSprinklerSystem"
     }
KS{
     getResult(NFSC503A_8_11_1) = TRUE
     getResult(NFSC503A_8_11_2) = TRUE
}



11항 1호



Check(NFSC503A_8_11_1){

     KS

}

KS{

     Valve myValve{

     isObjectProperty(Valve.isIndicatingValve) = TRUE

     }
     Pipe myPipe{

     isObjectProperty(Pipe.isSecondaryPipe) = TRUE

     }
     isInstalled(myValve, myPipe) = TRUE

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 11항 2호

Check(NFSC503A_8_11_2){
     IF CS THEN KS
}
CS{
     Valve myValve{
     isObjectProperty(Valve.isIndicatingValve) = TRUE
     }
     WaterflowIndicator myWaterflowIndicator{isObjectProperty(WaterflowIndicator.type) = "PreactionWaterflowIndicator"
     }
     isInstalledInOrder(myValve, Pipe, myWaterflowIndicator) = TRUE
}
KS{
     getResult(NFSC503A_8_11_2_가) = TRUE
     getResult(NFSC503A_8_11_2_나) = TRUE
}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 11항 2호 가목

Check(NFSC503A_8_11_2_가){
     KS
}
KS{
     Pipe myPipe{
     isObjectProperty(Pipe.usage) = "WaterDrainPipe"
     isObjectProperty(Pipe.isRiser) = TRUE
     }
     Valve myValve{
     isObjectProperty(Valve.isShutoffValve) = TRUE
     }
     isConnectedTo(Pipe, myPipe) = TRUE
     isInstalled(myValve, Pipe) = TRUE
}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 11항 2호 나목

Check(NFSC503A_8_11_2_나){
     KS
}
KS{
     isInstalled(AutomaticDrainSystem, Pipe) = TRUE
     isInstalled(PressureSwitch, Pipe) = TRUE
}
     



// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 12항



Check(NFSC503A_8_12){

     IF !CS THEN KS

}

CS{

     WaterflowIndicator myWaterflowIndicator{

     isObjectProperty(WaterflowIndicator.type) = "PreactionWaterflowIndicator"

     }

     isInstalled(myWaterflowIndicator, SimpleSprinklerSystem) = TRUE

}

KS{

     getResult(NFSC503A_8_12_1) = TRUE

     getResult(NFSC503A_8_12_2) = TRUE

     getResult(NFSC503A_8_12_3) = TRUE

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 12항 1호



Check(NFSC503A_8_12_1){

     KS

}

KS{

     Pipe myPipe{

     isObjectProperty(Pipe.isBranchLines) = TRUE

     isFarthestDistance(WaterflowIndicator, Pipe) = TRUE

     }

     isInstalled(TestingDevice, myPipe.End) = TRUE

     isConnectedTo(TestingDevice, myPipe.End) = TRUE

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 12항 2호



Check(NFSC503A_8_12_2){

     KS

}

KS{

     Pipe myPipe{

     isObjectProperty(Pipe.isForTest) = TRUE

     }

     Head myHead{

     isObjectProperty(Head.openAndCloseType) = "OpenType"
getObjectProperty(Head.systemType) = "SimpleSprinklerSystem"
     }

     BD = getObjectDiameter(NFSC503A_8_12_1.myPipe)

     getObjectDiameter(myPipe, a) = BD 

     isInstalled(myHead, myPipe.End) = TRUE

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 12항 3호

Check(NFSC503A_8_12_3){
     KS
}
KS{
     Pipe myPipe1{
     isObjectProperty(Pipe.isForTest) = TRUE
     }
     Pipe myPipe2{
     isObjectProperty(Pipe.usage) = "WaterDrainPipe"
     }
     isInstalled(myPipe2, myPipe1.End) = TRUE
}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 13항

Check(NFSC503A_8_13){
     KS
}
KS{
     getResult(NFSC503A_8_13_1) = TRUE
     getResult(NFSC503A_8_13_2) = TRUE
     getResult(NFSC503A_8_13_3) = TRUE
}


// 간이스프링클러설비의 화재안전기준(NFSC 103A) 8조 (배관 및 밸브) 13조 1호



Check(NFSC103A_8_13_1){

     IF(CS1 THEN KS1) OR (CS2 THEN KS2)

}

Pipe myPipe{

     isObjectProperty(Pipe.isBranchLines) = TRUE

}

CS1{

     getObjectInterval(SimpleSprinkler.Head) <= 3.5m

}

KS1{

     getObjectCountInInterval(Hanger, SimpleSprinkler.Head) >= 1

     isInstalled(Hanger, myPipe) = TRUE

}



CS2{

     getObjectInterval(SimpleSprinkler.Head) > 3.5m

}

KS2{

     Head myHead{

     isObjectProperty(Head.installationDirectionType) = "BottomUpType"

     }

     isInstalled(Hanger, myPipe, b, 3.5) = TRUE

getObjectCountInInterval(Hanger, SimpleSprinkler.Head) >= 1

     getObjectDistance(myHead, Hanger) >= 8cm 



}


//간이스프링클러설비의 화재안전기준(NFSC 103A) 8조 (배관 및 밸브) 13조 2

Check(NFSC103A_8_13_2){
     IF(CS1 THEN KS1) OR (CS2 THEN KS2)
}
Pipe myPipe1{
     isObjectProperty(Pipe.isCrossMains) = TRUE
}
Pipe myPipe2{
     isObjectProperty(Pipe.isBranchLines) = TRUE
}
CS1{
     getObjectInterval(myPipe2) <= 4.5m
}
KS1{
     getObjectCountInInterval(Hanger, myPipe2) >= 1
     isInstalled(Hanger, myPipe1) = TRUE
}

CS2{
     getObjectInterval(myPipe2) > 4.5m
}
KS2{
     isInstalled(Hanger, myPipe1, b, 4.5) = TRUE
getObjectCountInInterval(Hanger, myPipe2) >= 1
}


//간이스프링클러설비의 화재안전기준(NFSC 103A) 8조 (배관 및 밸브) 13조 3호

Check(NFSC103A_8_13_3){
     KS
}
KS{
     Pipe myPipe{
     isObjectProperty(Pipe.isFeedMains) = TRUE
     }
     isInstalled(Hanger, myPipe, b, 4.5) = TRUE
     getObjectCountInInterval(Hanger, myPipe) >= 1
}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 15항

Check(NFSC503A_8_15){
     KS
}
KS{
     getResult(NFSC503A_8_15_1) = TRUE
}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 15항 1호

Check(NFSC503A_8_15_1){
     KS
}
KS{
     Pipe myPipe{
     isObjectProperty(Pipe.usage) = "WaterDrainPipe"
     }
     isParallel(FloorSlab, myPipe) = TRUE  
}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 16항

Check(NFSC503A_8_16){
     KS
}
KS{
     getResult(NFSC503A_8_16_1) = TRUE
     getResult(NFSC503A_8_16_2) = TRUE
     getResult(NFSC503A_8_16_3) = TRUE
     getResult(NFSC503A_8_16_4) = TRUE
}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 16항 1호

Check(NFSC503A_8_16_1){
     IF CS THEN KS
}
CS{
     isObjectProperty(SimpleSprinklerSystem.isDirectCoupledType) = TRUE
}
KS{
     getResult(NFSC503A_8_16_1_가) = TRUE
     getResult(NFSC503A_8_16_1_나) = TRUE
}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 16항 1호 가복



Check(NFSC503A_8_16_1_가){

     KS

}

KS{

     ShutdownEquipment myShutdownEquipment{

     isObjectProperty(ShutdownEquipment.type) = "Water"

     }

     Valve myValve1{

     isObjectProperty(Valve.isIndicatingValve) = TRUE

     }

     Valve myValve2{

     isObjectProperty(Valve.isCheckValve) = TRUE

     }

     Valve myValve3{

     isObjectProperty(Valve.isTestValve) = TRUE

     getObjectCount(Valve) = 2

     }

     isInstalledInOrder(WaterGauge, myShutdownEquipment, myValve1, myValve2, PressureGauge, WaterflowIndicator, myValve3) = TRUE

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 16항 1호 나목

Check(NFSC503A_8_16_1_나){
     KS
}
KS{
     ShutdownEquipment myShutdownEquipment{
     isObjectProperty(ShutdownEquipment.type) = "Water"
     }
     Pipe myPipe{
     isObjectProperty(Pipe.systemType) != "SimpleSprinklerSystem" 
     }
     isInstalled(myShutdownEquipment, myPipe) = TRUE
}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 16항 2호



Check(NFSC503A_8_16_2){

     IF (!CS1 AND CS2) THEN KS

}

CS1{

     getObjectVerticalLocation(WaterSource, Pump) > 0

}

CS2{

     PressurizedWaterSupplySystem myPressurizedWaterSupplySystem{

     isObjectProperty(PressurizedWaterSupplySystem.supplyType) != "DirectCoupledType" OR "PressurizedTankType"

     }

     isInstalled(Pipe, myPressurizedWaterSupplySystem) = TRUE

     OR      isInstalled(Valve, myPressurizedWaterSupplySystem) = TRUE

}

KS{

     Tank myTank{

     isObjectProperty(Tank.operationType) = "HydropneumaticTank"

     }

     Valve myValve1{

     isObjectProperty(Valve.isCheckValve) = TRUE

     }

     Valve myValve2{

     isObjectProperty(Valve.isIndicatingValve) = TRUE

     }

     Valve myValve3{

     isObjectProperty(Valve.isTestValve) = TRUE

     }

     Pipe myPipe{

     isObjectProperty(Pipe.isForTest) = TRUE

     }

     isInstalledInOrder(WaterSource,  CompoundGauge | VacuumGauge, Pump | myTank, PressureGauge, myValve1, myPipe, myValve2, WaterflowIndicator, myValve3) = TRUE

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 16항 3호



Check(NFSC503A_8_16_3){

     IF CS THEN KS

}

CS{

     PressurizedWaterSupplySystem myPressurizedWaterSupplySystem{

     isObjectProperty(PressurizedWaterSupplySystem.supplyType) = "PressurizedTankType"

     }

     isInstalled(Pipe, myPressurizedWaterSupplySystem) = TRUE

     OR      isInstalled(Valve, myPressurizedWaterSupplySystem) = TRUE

}

KS{

     Tank myTank{

     isObjectProperty(Tank.operationType) = "PressurizedTank"

     }

     Valve myValve1{

     isObjectProperty(Valve.isCheckValve) = TRUE

     }

     Valve myValve2{

     isObjectProperty(Valve.isIndicatingValve) = TRUE

     }

     Valve myValve3{

     isObjectProperty(Valve.isTestValve) = TRUE

     getObjectCount(Valve) = 2

     }

     Pipe myPipe{

     isObjectProperty(Pipe.isForTest) = TRUE

     }

     isInstalledInOrder(WaterSource,  myTank, PressureGauge, myValve1, myPipe, myValve2, WaterflowIndicator, myValve3) = TRUE

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 16항 4호



Check(NFSC503A_8_16_4){

     IF (!CS1 AND CS2) THEN KS

}

CS1{

     getObjectVerticalLocation(WaterSource, Pump) > 0

}

CS2{

     SimpleSprinklerSystem mySimpleSprinklerSystem{

     isObjectProperty(SimpleSprinklerSystem.isCabinetType) = TRUE

     }

     isInstalled(Pipe, mySimpleSprinklerSystem.PressurizedWaterSupplySystem) = TRUE

     OR      isInstalled(Valve, mySimpleSprinklerSystem.PressurizedWaterSupplySystem) = TRUE

}

KS{

     Tank myTank{

     isObjectProperty(Tank.operationType) = "HydropneumaticTank"

     }

     Valve myValve1{

     isObjectProperty(Valve.isCheckValve) = TRUE

     }

     Valve myValve2{

     isObjectProperty(Valve.isIndicatingValve) = TRUE

     }

     Valve myValve3{

     isObjectProperty(Valve.isTestValve) = TRUE

     getObjectCount(Valve) = 2

     }



     isInstalledInOrder(WaterSource,  CompoundGauge | VacuumGauge, Pump | myTank, PressureGauge, myValve1, myPipe, myValve2, myValve3) = TRUE

}

// 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 



Check(NFSC503A_9){

     IF CS THEN KS

}

CS{

     isInstalled(SimpleSprinkler.Head, Building) = TRUE

}

KS{

     getResult(NFSC503A_9_1) = TRUE

     getResult(NFSC503A_9_3) = TRUE

     getResult(NFSC503A_9_4) = TRUE

     getResult(NFSC503A_9_6) = TRUE

     getResult(NFSC503A_9_8) = TRUE

     getResult(NFSC503A_9_9) = TRUE

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 1항

Check(NFSC503A_9_1){
     KS
}
KS{
     isObjectProperty(SimpleSprinkler.Head.openAndCloseType) = "EnclosedType"
}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 3호



Check(NFSC503A_9_0_3){

     KS

}

KS{

     getObjectDistance(SimpleSprinkler.Head, Ceiling | CeilingCovering | PlenumSpace | Duct | Shelf) <= 2.3m

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 4호



Check(NFSC503A_9_0_4){

     IF (CS1 THEN KS1) OR (CS2 THEN KS2) OR (CS3 THEN KS3)

}

CS1{

     isObjectProperty(Head.installationDirectionType) = "BottomUpType" OR "TopDownType"

}

KS1{

     getObjectDistance(Deflector, Ceiling | CeilingCovering) >= 25mm

     getObjectDistance(Deflector, Ceiling | CeilingCovering) <= 102mm

}

CS2{

     isObjectProperty(Head.shapeType) = "SideWallType" 

}

KS2{

     getObjectDistance(Deflector, Ceiling | CeilingCovering) >= 102mm

     getObjectDistance(Deflector, Ceiling | CeilingCovering) <= 152mm

}

CS3{

     isObjectProperty(Head.shapeType) = "FlushType" 

}

KS2{

     getObjectDistance(Deflector, Ceiling | CeilingCovering) <= 102mm

}


/ 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 6호



Check(NFSC503A_9_0_6){

     IF !CS THEN KS

}

CS{

     DBSH = getObjectDistance(Head.One, Head.One)

     getObjectdistance(Ceiling.Surface, Beam.BottomSurface) > 55cm

     getObjectdistance(Beam.BottomSideSurface, SimpleSprinkler.Head) <= DBSH/2

}

KS{

Beam myBeam{
isInstalled(Beam, SpecificFireFightingBuilding) = TRUE
}
     DCH = getObjectInterval(Head, myBeam)

     Head myHead{

     getObjectDistance(Head, myBeam) = DCH

     }

     

     IF getElementDistance(myHead.Deflector.Center, Beam) < 0.75m THEN getObjectVerticalLocation(myHead.Deflector, Beam.BottomSurface) < 0



     ELSE IF getElementDistance(myHead.Deflector.Center, Beam) >= 0.75m 

     OR getElementDistance(myHead.Deflector.Center, Beam) < 1m THEN getObjectVerticalLocation(myHead.Deflector, Beam.BottomSurface) < 0 

     getElementDistance(myHead.Deflector, Beam.BottomSurface) < 0.1m



     ELSE IF getElementDistance(myHead.Deflector.Center, Beam) >= 1m 

     OR getElementDistance(myHead.Deflector.Center, Beam) < 1.5m THEN getObjectVerticalLocation(myHead.Deflector, Beam.BottomSurface) < 0 

     getElementDistance(myHead.Deflector, Beam.BottomSurface) < 0.15m



     ELSE IF getElementDistance(myHead.Deflector.Center, Beam) >= 1.5m 

     THEN getObjectVerticalLocation(myHead.Deflector, Beam.BottomSurface) < 0 

     getElementDistance(myHead.Deflector, Beam.BottomSurface) < 0.3m

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 8호

Check(NFSC503A_9_0_8){
     IF CS THEN KS
}
CS{
     isInstalled(SimpleSprinklerSystem, SpecificFireFightingBuilding) = TRUE

}
KS{
     getResult(NFSC503_15_1) = TRUE
}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 9호

Check(NFSC503A_9_0_9){
     IF CS THEN KS
}
CS{
     isExist(NFSC503A_6_0_7.mySpace) = TRUE
}
KS{
     Head myHead{
     isObjectProperty(Head.responseType) = "StandardResponseType"
     }
     isInstalled(myHead, NFSC503A_6_0_7.mySpace) = TRUE
     getResult(NFSC503_10) = TRUE
}

//     간이스프링클러설비의 화재안전기준(NFSC 103A) 별표1 (간이헤드 수별 급수관의 구경) 1항

Check(NFSC103A_*_1){

     getResult(NFSC103A_*_1_1) = TRUE

     getResult(NFSC103A_*_1_2) = TRUE

     getResult(NFSC103A_*_1_3) = TRUE

     getResult(NFSC103A_*_1_4) = TRUE

}

     

     Pipe myPipe{

     getObjectProperty(Pipe.usage) = "WaterSupplyPipe"

     }

     Pipe myPipe2{

     isObjectProperty(Pipe.isBranchLines) = TRUE

     }

     PD = getObjectProperty(Pipe.diameter)

     SSHN = getObjectCount(SimpleSprinkler.Head.)



Check(NFSC103A_*_1_2){

     IF CS THEN KS

}

CS{

     Head myHead{

     getObjectProperty(SimpleSprinkler.Head.openAndCloseType) = "EnclosedType"

     }

     isInstalled(myHead) = TRUE

}

KS{

     IF PD = 25 THEN SSHN = 2

     OR IF PD = 32 THEN SSHN = 3

     OR IF PD = 40 THEN SSHN = 5

     OR IF PD = 50 THEN SSHN = 10

     OR IF PD = 65 THEN SSHN = 30

     OR IF PD = 80 THEN SSHN = 60

     OR IF PD = 100 THEN SSHN = 100

     OR IF PD = 125 THEN SSHN = 160

     OR IF PD = 150 THEN SSHN >= 161

}

Check(NFSC103A_*_1_3){

     IF CS THEN KS

}

CS{

     Head myHead1{

     getObjectProperty(SimpleSprinkler.Head.openAndCloseType) = "EnclosedType"

     }

     isInstalled(myHead1) = TRUE

     Head myHead2{

     getObjectVerticalLocation(Head, CeilingCovering, )  <  0
     }

     Head myHead3{

     isInstalled(Head, CeilingCovering.Inside) = TRUE

     }

     isInstalled(myHead2, myPipe2) = TRUE

     isInstalled(myHead3, myPipe2) = TRUE

}

KS{

     IF PD = 25 THEN SSHN = 2

     OR IF PD = 32 THEN SSHN = 4

     OR IF PD = 40 THEN SSHN = 7

     OR IF PD = 50 THEN SSHN = 15

     OR IF PD = 65 THEN SSHN = 30

     OR IF PD = 80 THEN SSHN = 60

     OR IF PD = 100 THEN SSHN = 100

     OR IF PD = 125 THEN SSHN = 160

     OR IF PD = 150 THEN SSHN >= 161

}

//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 1항 1호

Check(NFSC102_6_1_1){
     IF CS THEN KS
}
CS{
     isObjectProperty(Pipe.workingPressure) < 1.2
}
KS{
     getResult(NFSC102_6_1_1_가)=TRUE
     getResult(NFSC102_6_1_1_나)=TRUE
     getResult(NFSC102_6_1_1_다)=TRUE
}



//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 1항 1호 가목

Check(NFSC102_6_1_1_가){
     KS
}
KS{
     getObjectProperty(Pipe.Material) = "KS_D_3507"
}


//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 1항 1호 나목

Check(NFSC102_6_1_1_나){
     IF CS THEN KS
}
CS{
     isObjectProperty(Pipe.systemType) = "WetPipeSprinklerSystem"
}
KS{
     getObjectProperty(Pipe.Material) = "KS_D_5301"
}



//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 1항 1호 다목

Check(NFSC102_6_1_1_다){
     KS
}
KS{
     getObjectProperty(Pipe.Material) = "KS_D_3576"
     OR getObjectProperty(Pipe.Material) = "KS_D_3595"
}


//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 1항 2호

Check(NFSC102_6_1_2){
     IF CS THEN KS
}
CS{
     isObjectProperty(Pipe.workingPressure) >= 1.2
}
KS{
     getObjectProperty(Pipe.Material) = "KS D 3562"
}


//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 2항 

Check(NFSC102_6_2){
     IF CS THEN KS1 OR KS2
}

CS{
     getResult(NFSC102_6_2_2) = TRUE
     OR getResult(NFSC102_6_2_3) = TRUE
}
KS1{
     getResult(NFSC102_6_1) = TRUE
}
KS2{
     isObjectProperty(Pipe.isSyntheticResinForfirefighting) = TRUE
}


Check(NFSC102_6_2_2){
     KS
}
KS{
     Duct myDcut{
     isFireResistantStructure(Duct) = TRUE
     }
     isInstalled(Pipe, Duct) = TRUE
     OR isInstalled(Pipe, Pit.Inside) = TRUE
}



//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 5항 1호
Check(NFSC102_6_5_1){
     KS
}
KS{
     Pipe myPipe{
          isInstalled(Pump.Inlet, Pipe) = TRUE
     }
     isInstalled(myPipe,Filter) = TRUE
}



//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 5항 2호
Check(NFSC102_6_5_2){
     IF CS THEN KS
}
CS{
     getObjectVerticalLocation(Pump, Tank) < 0 
}
KS{
     Pipe myPipe{
          isInstalled(Pump.Inlet, Pipe) = TRUE
     }
     isInstalled(myPipe, Pump.One) = TRUE
}



//     옥내소화전설비의 화재안전기준(NFSC 102) 6조 (배관 등) 8항 1호
Check(NFSC102_6_8_1){
     KS
}

KS{
     Pipe myPipe{
          isObjectProperty(Pipe.isForPerformanceTest) = TRUE
     }

     Valve myValve{
          isObjectProperty(Valve.isShutoffValve) = TRUE
          isInstalled(Valve, Pump.Outlet) = TRUE
     }

     Valve myValve2{
          isObjectProperty(Valve.isShutoffValve) = TRUE
          isInstalled(Valve, Pump.Outlet) = FALSE
     }

     Valve myValve3{
          isObjectProperty(Valve.isFloatControlValve) = TRUE
     }

     isDiverged(Pump, myPipe) = TRUE
     getObjectDistance(Pump.StartPart, myPipe) < getObjectDistance(Pump.StartPart, myValve)

     isInstalled(myValve2, myPipe) = TRUE
     isInstalled(myValve3, myPipe) = TRUE
}


//     옥내소화전설비의 화재안전기준(NFSC 102) 6조 (배관 등) 8항 2호
Check(NFSC102_6_8_2){
     KS
}

KS{
     
     Pipe myPipe{
          isObjectProperty(Pipe.isForPerformanceTest) = TRUE
     }

     isInstalled(DischargeMeasuringEquipment, myPipe) = TRUE
}


//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 1항

Check(NFSC102_6_1){
     KS
}
KS{
     getResult(NFSC102_6_1_1) = TRUE
     getResult(NFSC102_6_1_2) = TRUE
}


//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 2항 3호
Check(NFSC102_6_2_3){
     KS
}
KS{     
     SprinklerSystem mySprinklerSystem{
     isObjectProperty(SprinklerSystem.type) = "WetPipeSprinklerSystem"
     }
     (isObjectProperty(Ceiling.Material.nonCombustibility)=TRUE
     OR isObjectProperty(Ceiling.Material.quasiNonCombustibility)=TRUE)
     (isObjectProperty(CeilingCovering.Material.nonCombustibility)=TRUE
     OR isObjectProperty(CeilingCovering.Material.quasiNonCombustibility)=TRUE)
     isInstalled(mySprinklerSystem, Ceiling)=TRUE
     isInstalled(mySprinklerSystem, CeilingCovering)=TRUE
}





//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 2항 3호
Check(NFSC102_6_2_3){
     KS
}
KS{
     Pipe myPipe{
     isObjectProperty(Pipe.usage) = "WaterSupplyPipe"
     }     
     isObjectProperty(Pipe.isShared) = FALSE
}



//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 5항

Check(NFSC102_6_5){
     IF CS THEN KS     
}
CS{
     isInstalled(Pump.Inlet, Pipe) = TRUE
}
KS{
     getResult(NFSC503A_8_4_1) = TRUE
     getResult(NFSC503A_8_4_2) = TRUE
}



//     옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 6항

Check(NFSC102_6_6){

     IF (CS1 THEN KS1) OR (CS2 THEN KS2) OR (CS3 THEN KS3) OR (CS4 THEN KS4)

}

Port myPort{
Port.typeForWater = "IndoorFireHydrantDischarge"
}

     Pipe myPipe{

          isObjectProperty(Pipe.isBranchLines) = TRUE

          isConnectedTo(Pipe, myPort) = TRUE

     }



     Pipe myPipe2{

          isObjectProperty(Pipe.isRiser) = TRUE

     }



CS1{

     getObjectProperty(myPipe.systemType) = "HoseReelHydrantSystem"

}



KS1{

     getObjectProperty(myPipe.diameter) >= 25mm

}



CS2{

     getObjectProperty(myPipe.systemType) != "HoseReelHydrantSystem"

}



KS2{

     getObjectProperty(myPipe.diameter) >= 40mm

}



CS3{

     getObjectProperty(myPipe2.systemType) = "HoseReelHydrantSystem"

}



KS3{

     getObjectProperty(myPipe2.diameter) >= 32mm

}



CS4{

     getObjectProperty(myPipe2.systemType) != "HoseReelHydrantSystem"

}



KS4{

     getObjectProperty(myPipe2.diameter) >= 50mm

}


//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 7항

Check(NFSC503A_6_7){

     IF CS THEN KS

}



CS{

     Pipe.isShared(SimpleSprinklersystem.Pipe,      FireDepartmentConnectionSystem.Pipe) = TRUE

}

KS{

     Pipe myPipe1{

     isObjectProperty(Pipe.isRiser) = TRUE

     }

     Port myPort{

     getObjectProperty(Port.typeForWater) = "Delivery"

     Pipe myPipe2{

     isConnectedTo(Pipe, myPort) = TRUE

     }

     

     isObjectProperty(myPipe1.diameter) >= 100 mm     

     getObjectProperty(myPipe2.diameter) >= 65 mm

}


//     옥내소화전설비의 화재안전기준(NFSC 102) 6조 (배관 등) 8항
Check(NFSC102_6_8){
     KS
}

KS{
     getResult(NFSC102_6_8_1) = TRUE
     OR getResult(NFSC102_6_8_2) = TRUE
}


//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 9항
Check(NFSC503A_6_9){
     KS
}
KS{
     Valve myValve1{
     isObjectProperty(Valve.isCheckValve) = TRUE
     }
     PP = getObjectProperty(Pump.shutoffPressure)
     Valve myValve2{
     isObjectProperty(Valve.isReliefVavle) = TRUE
     isObjectProperty(Valve.reliefPressure) < PP
     }

     isInstalledInOrder(myValve1, Pipe, Pump) = TRUE
     isObjectProperty(Pipe.diameter) >= 20mm
     isInstalled(myValve2, Pipe) = TRUE
}



//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 11항
Check(NFSC503A_6_11){
     IF CS THEN KS
}
     Pipe myPipe{
     isObjectProperty(Pipe.usage) = "WaterSupplyPipe"
     }
     Valve myValve1{
     isObjectProperty(Valve.isShutoffValve) = TRUE
     }
S{
     isInstalled(myValve1,myPipe) = TRUE
     isInstalled(myValve1,myPort) = FALSE
}
KS{
     isObjectProperty(myValve1.isIndicatingValve) = TRUE
     Valve myValve2{
     isInstalled(Valve, Pump.Inlet) = TRUE
     }
     isObjectProperty(myValve2.isIndicatingValve) = TRUE
     isObjectProperty(myValve2.isButterflyValve) = FALSE
 }


//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 13항
Check(NFSC503A_6_13){
     KS
}
KS{
     getResult(NFSC503A_8_13_2) = TRUE
     getResult(NFSC503A_8_13_3) = TRUE
     getResult(NFSC503A_8_13_4) = TRUE
}


//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 13항 2호

Check(NFSC503A_6_13_2){

 IF !CS THEN KS 

}

CS{

     isShared(HookingUpSprinklerSystem.Pipe, SprinklerSystem.Pipe, WaterSprayExtingushingSystem.Pipe, FoamExtinguishingSystem.Pipe) = TRUE

     OR isShared(HookingUpSprinklerSystem.Pipe, FireDepartmentConnectionSystem.Pipe) = TRUE

}

KS{

     Port myPort{ 

     getObjectProperty(HookingUpSprinklerSystem.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 102) 6조 (배관 등) 13항 3호

Check(NFSC503A_6_13_3){

  KS

}

KS{

     Port myPort{ 

     getObjectProperty(IndoorFireHydrantSystem.Port.typeForWater) = "FireDepartmentConnection" 

      }

      getObjectVerticalDistance(Ground, myPort) >= 0.5m

      getObjectVerticalDistance(Ground, myPort) <= 1m

}


//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 13항 4호
Check(NFSC503A_6_13_4){
KS{
     Port myPort{
     isObjectProperty(Port.typeForWater) = "FireDepartmentConnection"
     }
     
     (isObjectProperty(myPort.shapeType)="DoubleType"
     isObjectProperty(myPort.diameter) = 65mm)
     OR isObjectProperty(myPort.shapeType) = "SingleType"
}

//  옥내소화전설비의 화재안전기준(nfsc 102) 7조 (함 및 방수구 등) 2항
Check(NFSC503A_7_2){
     getResult(NFSC503A_7_2_1) = TRUE
     getResult(NFSC503A_7_2_2) = TRUE
     getResult(NFSC503A_7_2_3) = TRUE
}


//  옥내소화전설비의 화재안전기준(nfsc 102) 7조 (함 및 방수구 등) 2항 1호

Check(NFSC503A_7_2_1){

     KS2 AND IF CS THEN KS1

}

KS2{

     isInstalled(옥내소화전방수구, SpecificFireFightingBuilding.Floor.One) = TRUE

     getElementDistance(SpecificFireFightingBuilding.Wall|SpecificFireFightingBuilding.Column, 옥내소화전방수구.One) <= 25m

}

CS{

     getBuildingUsage() = "MultiUnitHouse"

}     

KS2{

     Door myDoor{

     isObjectProperty(Door.isEntrance) = TRUE

     }

     Floor myFloor{

     isInstalled(myDoor, Floor) = TRUE

     }

Port myPort{
Port.typeForWater="IndoorFireHydrantDischarge"
}
     isInstalled(myPort, myFloor.One) = TRUE

}


//  옥내소화전설비의 화재안전기준(nfsc 102) 7조 (함 및 방수구 등) 2항 2호

Check(NFSC503A_7_2_2){

  KS

}

KS{
Port myPort{
Port.typeForWater="IndoorFireHydrantDischarge"
}

     getObjectVerticalLocation(myPort, FloorSlab) > 0

      getObjectVerticalDistance(FloorSlab, myPort) <= 1.5m

}


//  옥내소화전설비의 화재안전기준(nfsc 102) 7조 (함 및 방수구 등) 2항 3호

Check(NFSC503A_7_2_3){

  IF (CS1 THEN KS1) OR (CS2 THEN KS2)

}

CS1{


     ! HoseReelIndoorFireHydrantSystem

}

KS2{

     isObjectPropertyt(Hose.diameter) >= 40mm

}

CS1{

     HoseReelIndoorFireHydrantSystem

}

KS2{

     isObjectPropertyt(Hose.diameter) >= 25mm

}


//  옥내소화전설비의 화재안전기준(nfsc 102) 7조 (함 및 방수구 등) 3항
Check(NFSC503A_7_3){
     getResult(NFSC503A_7_3_1) = TRUE
}


//  옥내소화전설비의 화재안전기준(nfsc 102) 7조 (함 및 방수구 등) 3항 1호



Check(NFSC503A_7_3_1){

     KS

}

KS{

     IndicatingLamp myIndicatingLamp{

     isObjectProerpty(IndicatingLamp.systemType) = "IndoorFireHydrantSystem"

     }

     isInstalled(myIndicatingLamp, IndoorFireHydrantSystemCabinet.TopSurface) = TRUE

}


//     옥내소화전설비의 화재안전기준(NFSC 102) 7조 (함 및 방수구 등) 3항 2호

Check(NFSC102_7_3_2){

     KS

}



KS{

     isInstalled(IndicatingLamp, IndoorFireHydrantSystemCabinet, a, Top) = TRUE

}

//     비상콘센트설비의 화재안전기준(nfsc 504) 4조 (전원 및 콘센트 등) 1항
Check(NFSC504_4_1){
     KS
}

KS{
     getResult(NFSC504_4_1_2) = TRUE
     getResult(NFSC504_4_1_3) = TRUE
}


//     비상콘센트설비의 화재안전기준(nfsc 504) 4조 (전원 및 콘센트 등) 1항 2호

Check(NFSC504_4_1_2){

     IF CS THEN KS

}



     Floor myFloor{

          getFloorNumber < 0

          hasSpace(Floor, SpecificFireFightingBuilding) = TRUE

     }



     Floor myFloor2{

          getFloorNumber >= 0

          hasSpace(Floor, SpecificFireFightingBuilding) = TRUE

     }



CS{

     (getBuildingStoriesCount() >= 7

     getGrossFloorArea(myFloor2) >= 2000m2)

     OR getTotalFloorArea(myFloor) >= 3000m2

}



KS{

     isInstalled(EmergencyPower, EmergencyPowerOutletSystem) = TRUE

     getObjectProperty(EmergencyPowerReceivingSystem.type) = "InhousePowerGenerationSystem"

     OR getObjectProperty(EmergencyPowerReceivingSystem.type) = "EmergencyPowerReceivingSystem"

}


//     비상콘센트설비의 화재안전기준(nfsc 504) 4조 (전원 및 콘센트 등) 1항 3호

Check(NFSC504_4_1_3){

     IF (CS1 THEN KS1) OR (CS2 THEN KS2)

}



CS1{

     getObjectProperty(EmergencyPowerReceivingSystem.type) = "InhousePowerGenerationSystem"

}



KS1{

     getResult(NFSC504_4_1_3_4) = TRUE

}



CS2{

     getObjectProperty(EmergencyPowerReceivingSystem.type) = "EmergencyPowerReceivingSystem"

}



KS2{

     getResult(Unimplemented_NFSC_602) = TRUE

}


//     비상콘센트설비의 화재안전기준(nfsc 504) 4조 (전원 및 콘센트 등) 1항 3호 라목

Check(NFSC504_4_1_3_4){

     KS

}



KS{

     Room myRoom{

          isInstalled(EmergencyPower, Room) = TRUE

     }



     isFirePartitioned(myRoom) = TRUE

}


//     비상콘센트설비의 화재안전기준(nfsc 504) 4조 (전원 및 콘센트 등) 5항
Check(NFSC504_4_5){
     KS
}

KS{
     getResult(NFSC504_4_5_2) = TRUE
     getResult(NFSC504_4_5_3) = TRUE
}


//     비상콘센트설비의 화재안전기준(nfsc 504) 4조 (전원 및 콘센트 등) 5항 2호
Check(NFSC504_4_5_2){
     KS
}

KS{
     getObjectVerticalLocation(FloorSlab, EmergencyPowerOutlet) >= 0.8m
     getObjectVerticalLocation(FloorSlab, EmergencyPowerOutlet) <= 1.5m
}


//     비상콘센트설비의 화재안전기준(nfsc 504) 4조 (전원 및 콘센트 등) 5항 3호
Check(NFSC504_4_5_3){
     IF (CS1 THEN KS1) OR (CS2 THEN KS2)
}

CS1{
     Building myBuilding{
          getBuildingUsage() = "ApartmentHouse"
     }

     Floor myFloor{
          getFloorArea(Floor) < 1000m2
     }

     Floor myFloor2{
          hasSpace(myBuilding, Floor) = TRUE
     }

     isExist(myFloor) = TRUE
     OR isExist(myFloor2) = TRUE
}

KS1{
     Door myDoor{
          isObjectProperty(Door.isEntrance) = TRUE
     }

     getObjectDistance(myDoor.Stair.Space, EmergencyPowerOutlet) < 5m
     OR getObjectDistance(myDoor.Stair.AncillaryRoom, EmergencyPowerOutlet) < 5m
}

CS2{
     Building myBuilding{
          getBuildingUsage() = "ApartmentHouse"
     }

     Floor myFloor{
          getFloorArea(Floor) >= 1000m2
          hasSpace(myBuilding, Floor) = FALSE
     }

     isExist(myFloor) = TRUE
}

KS2{
     Door myDoor{
          isObjectProperty(Door.isEntrance) = TRUE
     }

     getObjectDistance(myDoor.Stair.Space, EmergencyPowerOutlet) < 5m
     OR getObjectDistance(myDoor.Stair.AncillaryRoom, EmergencyPowerOutlet) < 5m
}


//     비상콘센트설비의 화재안전기준(nfsc 504) 4조 (전원 및 콘센트 등) 5항 3호 가목
Check(NFSC504_4_5_3_1){
     IF CS THEN KS
}

Door myDoor{
          isObjectProperty(Door.isEntrance) = TRUE
     }

Floor myFloor{
     getFloorNumber(Floor) < 0
}

CS{
     getFloorArea(myFloor) >= 3000m2
}

KS{
     getObjectDistance(myDoor.Stair.Space, EmergencyPowerOutlet) > 25m
     OR getObjectDistance(myDoor.Stair.AncillaryRoom, EmergencyPowerOutlet) > 25m
}



//     비상콘센트설비의 화재안전기준(nfsc 504) 4조 (전원 및 콘센트 등) 5항 3호 나목
Check(NFSC504_4_5_3_2){
     IF CS THEN KS
}

CS{
     getResult(NFSC504_4_5_3_1) = FALSE
}

KS{
     getObjectDistance(myDoor.Stair.Space, EmergencyPowerOutlet) > 25m
     OR getObjectDistance(myDoor.Stair.AncillaryRoom, EmergencyPowerOutlet) > 25m
}