//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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 }