//유도등 및 유도표지의 화재안전기준(nfsc 303) 6조 (통로유도등 설치기준) 1항

Check(NFSC303_6_1){
         KS
}


KS{
 Corridor myCorridor{
       isGothrough(SpecificFireFightingBuilding.Room, Corridor, Ground)=True 
 }
   
 Stair myStair{
        isGothrough(SpecificFireFightingBuilding.Room, Stair, Ground)=True   
 }


       hasObject(myCorridor, LeadingLight.isForPassage)=True
       hasObject(myStair, LeadingLight.isForPassage)=True
       getResult(NFSC303_6_1_1)=True
       getResult(NFSC303_6_1_2)=True
       getResult(NFSC303_6_1_3)=True
}


//유도등 및 유도표지의 화재안전기준(nfsc 303) 6조 (통로유도등 설치기준) 1항1호

Check(NFSC303_6_1_1){
        KS
}

KS{
    getResult(NFSC303_6_1_1_가)=True
    getResult(NFSC303_6_1_1_나)=True
    getResult(NFSC303_6_1_1_다)=True

}



//유도등 및 유도표지의 화재안전기준(nfsc 303) 6조 (통로유도등 설치기준) 1항 1호 가목

Check(NFSC303_6_1_1_가){
         KS
}

KS{
   isinstalled(Corridor, LeadingLightForCorridors)=True
}


//유도등 및 유도표지의 화재안전기준(nfsc 303) 6조 (통로유도등 설치기준) 1항 1호 다목

Check(NFSC303_6_1_1_다){
           KS
}

KS{ 
   Floor myFloor{
       getFloorNumber()<0
       OR hasObject(Floor, Window)=False
   }
   
   IF getFloorUsage(myFloor)="WholesaleMarket"
      OR getFloorUsage(myFloor)="RetailMarket"
      OR getFloorUsage(myFloor)="PassengerVehicleTransportTerminal"
      OR getFloorUsage(myFloor)="UndergroundStation"
      OR getFloorUsage(myFloor)="UndergroundShoppingCenter" 
      THEN   //  복도·통로 중앙부분의 바닥에 설치하여야 한다.
   ELSE THEN
       getObjectVerticalDistance(FloorSlab, LeadingLightForCorridors )<= 1 m
}


//유도등 및 유도표지의 화재안전기준(nfsc 303) 6조 (통로유도등 설치기준) 1항 2호

Check(NFSC303_6_1_2){
        KS
}

KS{
     getResult(NFSC303_6_1_2_가)=True
     getResult(NFSC303_6_1_2_나)=True
     getResult(NFSC303_6_1_2_다)=True
}


// 유도등 및 유도표지의 화재안전기준(nfsc 303) 6조 (통로유도등 설치기준) 1항 2호 가목

Check(NFSC303_6_1_2_가){
          KS
}

KS{
     IF  // isPartitioned(Room.Passage, c)=True  type c: 벽체 등으로 구획
         THEN   isInstalled(Room.Passage,LeadingLightForCorridors)=True 
     ELSE THEN isInstalled(Room.Passage, LeadingLightForLivingRoom )=True
}


//유도등 및 유도표지의 화재안전기준(nfsc 303)  6조 (통로유도등 설치기준) 1항 2호 다목

Check(NFSC303_6_1_2_다){
      KS
}

KS{

   IF hasObject(Room.Passage, Column)=False
      
      THEN   getObjectVerticalDistance(FloorSlab,LeadingLightForLivingRoom )>=1.5 
}


//유도등 및 유도표지의 화재안전기준(nfsc 303) 6조 (통로유도등 설치기준) 1항 3호

Check(NFSC303_6_1_3){
          KS
}

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


//유도등 및 유도표지의 화재안전기준(nfsc 303) 6조 (통로유도등 설치기준) 1항 3호 가목 

Check (NFSC303_6_1_3_가){
           KS
}

KS{
   IF // getObjectCount(RampLanding, "1개층" )>=2
      // OR getObjectCount(StairLanding, "1개층" )>=2
      THEN // isInstalled(StairLanding, LeadingLightForStairs , "2개마다")=True

   ELSE THEN   isInstalled(RampLanding, LeadingLightForStairs)=True
               OR isInstalled(StairLanding, LeadingLightForStairs)=True   
   END IF      

}




//유도등 및 유도표지의 화재안전기준(nfsc 303) 6조 (통로유도등 설치기준) 1항 3호 나목

Check(NFSC303_6_1_3_나){
         KS
}

KS{
        getObjectVerticalDistance(FloorSlab, LeadingLightForStairs)=<=1 m
}


//유도등 및 유도표지의 화재안전기준(nfsc 303) 6조 (통로유도등 설치기준) 1항 1호 나목

Check(NFSC303_6_1_1_나){
       KS
}

KS{
  isInstalled("구부러진 모퉁이", LeadingLightForCorridor)=True
  // 20m마다 설치 , 함수 필요 
}


//유도등 및 유도표지의 화재안전기준(nfsc 303) 6조 (통로유도등 설치기준) 1항 2호 나목

Check(NFSC303_6_1_2_나){
          KS
}

KS{
       isInstalled("구부러진 모퉁이", LeadingLightForCorridor)=True
       // 20m마다 설치 , 함수 필요 
}