//소화기구 및 자동 소화장치의 화재안전기준(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

}