//     비상콘센트설비의 화재안전기준(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
}