//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 17조 (채광 및 환기를 위한 창문등) 1항

check(REFB_17_1){

     IF (getResult(REFB_*_1-3) = FALSE) THEN KS

}



KS{ 

     Window myWindow{

          hasElement(Room, myWindow) = TRUE

     }

     

     getElementArea(myWindow) >= getFloorArea(Room)*0.1

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 17조 (채광 및 환기를 위한 창문등) 2항

check(REFB_17_2){

     IF !CS THEN KS

}



CS{

     AirConditioningSystem myAirConditioningSystem{

          isObjectProperty(AirConditioningSystem.isCentralControl)

     }



VentilatorEquipment myVentilatorEquipemnt{

isObjectProperty(VentilatorEquipment.isMechanical)=TRUE

}



     hasElement(Room, myVentilatorEquipemnt)= TRUE 

     OR hasElement(Room, myAirConditioningSystem) = TRUE

}



KS{

     Window myWindow{

          hasElement(Room, Window) = TRUE

     }

          getElementArea(myWindow) >= getFloorArea(Room)*0.05

}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 17조 (채광 및 환기를 위한 창문등) 3항

check(REFB_17_3){

     IF CS THEN KS

}



CS{

Door myDoor{
getObjectProperty(Door.panelOperationType) = "SlidingDoor"
}

     Room myRoom{

          isPartitioned(Room, myDoor, Room) = TRUE

     }

}



KS{

     myRoom = Room

}


//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 17조 (채광 및 환기를 위한 창문등) 4항

check(REFB_17_4){

     getObjectHeight(Railing) >= 1.2 m

     OR getObjectHeight(FallPreventionSafetyFacility) >= 1.2 m

     

}