//     스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항
Check(NFSC103_15_1){
     IF !CS THEN KS
}

CS{
     getResult(NFSC103_15_1_1) = TRUE
     OR getResult(NFSC103_15_1_2) = TRUE
     OR getResult(NFSC103_15_1_3) = TRUE
     OR getResult(NFSC103_15_1_4) = TRUE
     OR getResult(NFSC103_15_1_5) = TRUE
     OR getResult(NFSC103_15_1_6) = TRUE
     OR getResult(NFSC103_15_1_7) = TRUE
     OR getResult(NFSC103_15_1_8) = TRUE
     OR getResult(NFSC103_15_1_10) = TRUE
     OR getResult(NFSC103_15_1_11) = TRUE
     OR getResult(NFSC103_15_1_13) = TRUE
     OR getResult(NFSC103_15_1_14) = TRUE
     OR getResult(NFSC103_15_1_15) = TRUE
}

KS{
     isInstalled(SprinklerSystem) = TRUE
}


//     스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 1호
Check(NFSC103_15_1_1){
     KS
}

KS{
     getBuildingUsage() = "Stair.Space"
     OR getSpaceUsage() = "Ramp"
     OR getSpaceUsage() = "Elevator.ElevatorShaft"
     OR getSpaceUsage() = "EmergencyElevatorPlatform"
     OR getObjectProperty(Duct.isPipeDuct) = TRUE
     OR getObjectProperty(Pit.isPipePit) = TRUE
     OR getBuildingUsage() = "BathRoom"
     OR getBuildingUsage() = "SwimmingPool"
     OR getBuildingUsage() = "Toilet"
}


//     스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 2호
Check(NFSC103_15_1_2){
     KS
}

KS{
     getBuildingUsage() = "CommunicationsApparatusRoom"
     OR getBuildingUsage() = "ElectronicEquipmentRoom"
}


//     스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 3호

Check(NFSC103_15_1_3){

     KS

}



KS{

     getBuildingUsage() = "GeneratorRoom"

     OR getBuildingUsage() = "TransformerRoom"

     OR isInstalled(
Transformer, Room) = TRUE

}


//     스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 4호
Check(NFSC103_15_1_4){
     KS
}

KS{
     getBuildingUsage() = "Hospital.수술실"
     OR getBuildingUsage() = "Hospital.응급처치실"
}


//     스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 5호
Check(NFSC103_15_1_5){
     IF CS THEN KS
}

CS{
     isObjectProperty(Ceiling.Material.nonCombustibility) = TRUE
     isObjectProperty(CeilingCovering.Material.nonCombustibility) = TRUE
}

KS{
     getResult(NFSC103_15_1_5_1) = TRUE
     OR getResult(NFSC103_15_1_5_2) = TRUE
}


//     스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 5호 가목
Check(NFSC103_15_1_5_1){
     KS
}

KS{
     getObjectDistance(Ceiling, CeilingCovering) < 2m
}


//     스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 5호 나목
Check(NFSC103_15_1_5_2){
     KS
}

KS{
     Wall myWall{
          isConnectedTo(Wall, Ceiling) = TRUE
          isConnectedTo(Wall, CeilingCovering) = TRUE
     }

     isObjectProperty(myWall.Material.nonCombustibility) = TRUE
     getObjectDistance(Ceiling, CeilingCovering) >= 2m
}


//     스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 6호
Check(NFSC103_15_1_6){
     KS
}

KS{
     (isObjectProperty(Ceiling.Material.nonCombustibility) = TRUE
     isObjectProperty(CeilingCovering.Material.nonCombustibility) = FALSE)
     OR (isObjectProperty(Ceiling.Material.nonCombustibility) = FALSE
     isObjectProperty(CeilingCovering.Material.nonCombustibility) = TRUE)
     getObjectDistance(Ceiling, CeilingCovering) < 1m
}


//     스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 7호
Check(NFSC103_15_1_7){
     KS
}

KS{
     isObjectProperty(Ceiling.Material.nonCombustibility) = FALSE
     isObjectProperty(CeilingCovering.Material.nonCombustibility) = FALSE
     getObjectDistance(Ceiling, CeilingCovering) < 0.5m
}


//     스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 8호
Check(NFSC103_15_1_8){
     KS
}

KS{
     getBuildingUsage() = "펌프실"
     OR getBuildingUsage() = "물탱크실"
     OR getBuildingUsage() = "엘리베이터 권상기실"
}


//     스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 10호
Check(NFSC103_15_1_10){
     KS
}

KS{
     getSpaceUsage() = "EntranceHall"
     OR getSpaceUsage() = "Lobby"

     getObjectVerticalLocation(Ground, Space) >= 20m
}


//     스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 11호
Check(NFSC103_15_1_11){
     KS
}

KS{
     getSpaceUsage() = "ColdStorage"
     OR getSpaceUsage() = "RefrigerationRoom"
}


//     스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 13호
Check(NFSC103_15_1_13){
     KS
}

KS{
     getObjectMaterial(SpecificFireFightingBuilding.Material.nonCombustibility) = TRUE
     (getResult(NFSC103_15_1_13_1) = TRUE
     OR getResult(NFSC103_15_1_13_2) = TRUE
     OR getResult(NFSC103_15_1_13_3) = TRUE)
}


//     스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 13호 가목
Check(NFSC103_15_1_13_1){
     KS
}

KS{
     getBuildingUsage() = "PurificationPlant"
     OR getBuildingUsage() = "오물처리장"
}


//     스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 13호 나목
Check(NFSC103_15_1_13_2){
     KS
}

KS{
     getBuildingUsage() = "PulpMill.WorkPlace"
     OR getBuildingUsage() = "BeverageFactory.WorkPlace"
}



//     스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 13호 다목
Check(NFSC103_15_1_13_3){
     KS
}

KS{
     getBuildingUsage() = "ProcessingFactory"
     isObjectProperty(Space.hasCombustible) = FALSE
}


//     스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 14호
Check(NFSC103_15_1_14){
     KS
}

KS{
     (getBuildingUsage() = "Indoor.TennisCourts"
     OR getBuildingUsage() = "Indoor.게이트볼장"
     OR getBuildingUsage() = "Indoor.정구장")

     (getObjectProperty(Floor.InteriorFinish.Material.nonCombustibility) = TRUE
     OR getObjectProperty(Floor.InteriorFinish.Material.quasiNonCombustibility) TRUE)

     (getObjectProperty(Wall.InteriorFinish.Material.nonCombustibility) = TRUE
     OR getObjectProperty(Wall.InteriorFinish.Material.quasiNonCombustibility) TRUE)

     (getObjectProperty(Ceiling.InteriorFinish.Material.nonCombustibility) = TRUE
     OR getObjectProperty(Ceiling.InteriorFinish.Material.quasiNonCombustibility) TRUE)

     isObjectProperty(Space.hasCombustible) = FALSE
     hasSpace(Auditorium, SportsFacility) = FALSE
     getObjectProperty(Floor.number) > 0
}


//     스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 15호
Check(NFSC103_15_1_15){
     KS
}

KS{
     getResult(EDBA_46_4) = TRUE
     getBuildingUsage() = "MultiUnitHouse"
     isObjectProperty(Space.isEscape) = TRUE
}